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

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

嵌入式操作系统定制的通用性研究

嵌入式系统的专用性和资源约束要求嵌入式操作系统必须是可定制的。嵌入式操作系统的多样性为应用开发者提供了对操作系统选择的多种可能性,却导致嵌入式操作系统相关联的配置工具的多样性及配置方式的迥异,增加了应用开发者根据已有的操作系统模块选择配置应用需要的操作系统的难度。为方便用户对不同的操作系统进行配置,本文建立了一个统一的定制过程模型,并在此基础上实现了一个嵌入式Linux的配置剪裁器。     

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

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

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

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

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

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

一种基于工具总线的CASE集成模型

简要分析了当前CASE环境的集成机制，并给出了一种基于工具总线的工具集成机制的理论架构以及实现。该机制引入了工具适配器对工具总线的底层机制进行封装，满足了系统对集成的应用工具的位置无关性的要求。     

嵌入式应用软件设计方法学研究综述

嵌入式系统的资源（CPU、存储器等)有限，具有专用性(很多硬件设备根据应用定制)，要求实时处理，因此嵌入式应用软件设计方法学必须满足这些特性。本文对嵌入式应用软件设计方法学进行了综合研究(包括结构化的软件设计方法学、面向对象的软件设计方法学和基于构件的软件设计方法学)，讨论了各种方法学的特点及其适用场合，总结了嵌入式应用软件设计方法学的发展规律，指出了未来的发展方向。     

安全关键软件的防危性测评技术研究

为了评估安全关键软件的防危性，该文在分析软件可靠性与防危性异同的基础上，建立了相应的防危性评估指标，同时研究了传统统计测试方法确定所需防危性测试用例数的局限性。紧接着，使用贝叶斯函数动态地表示软件失效率的密度函数，提出了一种增量记忆型的防危性测试方法，该方法可根据软件出现失效时间的早晚及次数动态地确定所需测试用例数的增量，达到了改进传统测试方法局限性的目的，使安全关键软件测试失效后可经受更严格的测试，同时减小了测试工作量，为证明该方法的合理性、有效性，使用了大量例证。最后，就该领域内的相关工作及发展方向进行了展望。     

水波现象的光学模型及其三维仿真研究与应用

水波现象因涉及到复杂的物理过程一直是计算机图形学研究的热门领域，也是具有相当难度的。通常运用光线追踪、求解复杂的微分方程来模拟水波复杂的物理、光学现象，但这种精确的模拟方法渲染一帧往往要好几个小时。本文充分利用当今3D硬件的可编程能力，用Perlin噪声函数建立水波物理模型、立方体环境映射等技术建立水波光学模型，尽管这种方法建立的水波模型并非很准确，但视觉效果较为逼真，很适于仿真、游戏等实时性要求很高的应用领域     

一种基于灵巧连接件的软件体系结构

为了提高软件的重用性和维护性,本文提出了一种基于灵巧连接件的软件体系结构SCBSA。SCBSA是构件化和独立连接件思想相结合的产物,它将连接件进一步构件化得到灵巧连接件,从而形成了一个彻底的构件化体系结构。文章对SCBSA的主要概念和体系结构风格以及SCBSA的实现环境进行了详细讨论,然后列举了一个SCBSA的应用实例,最后将SCBSA与相关研究工作进行了详细比较分析,并对SCBSA的特点进行了总结。