树拓扑片上网络的低能耗映射

针对树拓扑片上网络(NoC)中通信时延受约束的低能耗映射问题,提出了一种递归的二路划分算法RPM(recursive bipartitioning for mapping)。RPM基于分而治之策略,首先将NoC映射转化为多层次的IP核通信任务图划分问题,并采用带参数的Kernighan-Lin算法实现最小割值划分。实验结果表明,与已有算法相比,RPM可以在较短的时间内获得能耗更低的映射解。通过设置不同的参数,RPM既可以用于生成高质量的优化解,也可用于快速的NoC设计空间探索中。     

基于DOM树和递归X—Y分割算法的Zone树模型

在分析DOM树的基础上提出一种基于DOM树和递归X—Y分割算法,可以根据网页的几何布局生成Zone树模型。描述了将Zone树模型和递归X—Y算法应用到文献数据检索的优越性,给出构建Zone树模型的算法。该模型主要用于在线文献的数据提取,具有速度快、准确性高等特点,优于目前大多数浏览器所采用的DOM树结构。     

安全关键系统的防危性技术研究

为设计高防危性的安全关键系统,阐述了安全关键系统防危性的本质含义。并从设计方面研究防危性的实现机制,其中重点研究了基于防危核的高防危保障技术。同时提出了基于反射式技术的编程语言——Open C++的实现机制,为防危核的实现探索了新的途径,也为安全关键系统探索了有效的防危新机制。     

基于马尔可夫模型的可信性评估研究

研究了安全关键实时系统传统的高可信保障机制,提出了一种可支持多级关键度的新可信性保障机制。使用该机制则可根据各子系统的实际可信性需求采用相应的冗余数进行容错处理。为评估该可信性保障机制,改进了传统的多模型可信性评估方法。基于马尔可夫模型,文章建立了一种统一的可信性评估模型,使用该模型则可按不同关键度子系统的实际可信性需求进行独立的评估。同时,该文使用了大量的实例进行例证。     

CASE-DDB的设计和不确定性问题的解决

分布式程序执行行为的不确定性导致其调试工作复杂化,以至于无法用传统的调试工具进行调试。CASE-DDB是一种基于事件的调试工具,用于调试用分布式C++语言编写的分布式应用程序。文中介绍了CASE-DDB的设计思想和基本结构,提出了一种调试执行行为不确定的分布式应用程序的方法。     

一种针对SoC的嵌入式系统软/硬件协同综合算法

嵌入式系统是软件和硬件共存的系统,多数功能部件可以由软件来完成,也可以由硬件来完成,为了综合考虑系统功能和多项性能指标（如成本、硬件面积、功耗和时间性等）来合理划分系统,提出了一种针对SoC的嵌入式软/硬件协同综合方法,建立了对应的数学模型,将嵌入式系统软/硬件协同综合问题转换成为有向图中求最优路径问题,并用条件遍历法得出整个解空间上的可行解。本方法能够同时评价多项性能指标,融入了SoC设计IP核与软件构件重用的思想,是一种自动方法,克服了传统方法的缺陷。通过一个PDA手机平台音频和视频发方系统的实际例子证明了本方法的实用性和有效性。     

基于FSM的Linux内核自动下载工具

通过对传统的下载过程进行分析和研究,提出一种新的Linux内核的自动下载方案。该方案采用有限状态机模型,自动控制Linux引导程序和内核的下载过程。经过编程实现和实际应用,该方案实现的下载工具能够快速、正确地对目标板进行下载Linux内核,提高了目标板下载的效率。     

一个分布式实时操作系统UECnet

本文论述了分布式实时操作系统UECnet的概念和实现。UECnet是一个在三台PC/AT连成的分布式系统上开发的,基于进程模型的分布式实时操作系统原型。它旨在提供一个通用的分布式实时处理环境。在操作系统级,提供了满足实时限制的通信机制,尽量保证进程实时要求的调度算法。在应用程序级,提供构造实时系统的工具,减少大型分布式实时应用系统的开发周期。为适应系统可演化的需要,还提供系统配置(Configuration)能灵活变动的机制。     

改进CamShift算法的眼动跟踪方法

针对CamShift跟踪算法仅采用颜色特征,在存在颜色相近干扰目标、头部快速运动或者虹膜发生形变等情况易发生眼动跟踪不准确或失败等问题,提出一种基于改进CamShift算法的眼动跟踪方法。在CamShift算法中,计算边缘直方图分布,在颜色特征基础上融合边缘特征,同时通过分析饱和度分量抑制噪声影响,并利用基于边缘特征的自定义方法判断虹膜是否发生形变。当发生形变时,自动更新模板,根据历史运动轨迹预测虹膜中心。实验表明,该方法能有效改善眼动跟踪性能,且定位虹膜精确、错误率低、速度快,预测虹膜中心与实际虹膜中心相差极小,达到了准确性、鲁棒性和实时性的要求。