-
题名嵌入式Linux在数字信号处理系统中的应用研究
被引量：1
- 1
-
-
作者
涂刚
阳富民
-
机构
华中科技大学计算机学院应用系
-
出处
《计算机工程与设计》
CSCD
北大核心
2006年第20期3734-3736,共3页
-
基金
国家863高技术研究发展计划基金项目(2002AA445010)
-
文摘
结合数字信号处理芯片ADSP-BF561的硬件特性对其上运行的嵌入式Linux系统进行了改进。原有系统在具有双核结构的处理器ADSP-BF561上运行Linux2.6嵌入式操作系统,但系统运行效率低下,不能满足网络多媒体电话应用的实时需求。通过设计合适的系统引导模式、多种程序混合执行模式、线程实现方案、双核通讯方案,解决了嵌入式Linux系统及DSP算法的自动加载,不同编译器执行代码的混合运行,双核的同步与数据传输等问题,实现了嵌入式Linux系统在ADSP-BF561芯片上的高效运行,满足了实时应用需求。
-
关键词
嵌入式系统
LINUX
数字信号处理
实时
多媒体
-
Keywords
embedded system
Linux
data signalprocessing
real-time
multimedia
-
分类号
TP316.2
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向应用的Web服务组合设计和验证框架
- 2
-
-
作者
辜希武
李瑞轩
卢正鼎
-
机构
华中科技大学计算机学院应用系
-
出处
《计算机工程与应用》
CSCD
北大核心
2008年第34期132-136,共5页
-
基金
国家自然科学基金No.60403027
No.60773191
国家高技术研究发展计划(863)No.2007AA01Z403~~
-
文摘
针对Web服务组合设计规范缺乏形式化的语义和验证方法的问题,提出了一个自顶向下的Web服务设计和验证的框架-iFrame4WS。在iFrame4WS中,将Web服务组合的设计方案划分为描述层、抽象层和执行层,并通过抽象层的形式化模型和形式化验证来检查Web服务组合的正确性。
-
关键词
WEB服务
WEB服务组合
形式化模型
-
Keywords
Web services
Web services composition
formal model
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名数据仓库实化视图的联机维护
- 3
-
-
作者
刘小宁
马光志
-
机构
华中科技大学计算机学院应用系
-
出处
《计算机应用研究》
CSCD
北大核心
2001年第6期49-50,68,共3页
-
文摘
数据仓库实化视图的联机维护是数据仓库系统维护的一项关键技术，采用这种技术，能够在不影响用户正常业务的情况下，实现数据仓库中实化视图数据的及时更新。但联机分析处理（ＯＬＡＰ）作为数据仓库的一个主要应用，在数据仓库实化视图的联机维护过程中会产生严重的数据不一致问题。为了解决这个问题，引入“维护库”（ＭａｉｎｔａｉｎｉｎｇＤａｔａｂａｓｅ）的概念，提出基于事务触发的视图维护算法ＴＶＭ；采取应答机制，达到数据的一致性。
-
关键词
实化视图
集成器
数据仓库
联机维护
数据库
-
Keywords
Materialized View
View's On-line Maintenance
Monitor,Integrator,Maintaining Database
TVM
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
-
