摘要：为了提供高性能和柔性,操作系统内核应该只保留最小的功能。今天的操作系统大而低效、更缺乏柔性。我们提出了保护分散式操作系统抽象方法,集成了分散式操作系统抽象和保护抽象的方法,这种新的安全方式在分散式抽象系统里共享用户级的抽象,能够使非特权、不信任的任务在运行时定义并安全的共享生成的抽象。它在对相同的抽象重复调用时,通过消除上下文切换的需求和对通常情况进行优化,可获得较好的柔性。保护分散式抽象的设计强调简单并正确性证明,易于理解和使用。文章介绍了保护分散式操作系统抽象方法,并运用该方法开发了一个基于共享库的原型操作系统——EXLinux/LibOS。

摘要：讨论了安全体系结构的信赖模型的作用,以及三种常见的安全信赖模型。提出了基于数据流分析的安全信赖建模的设计流程,并给出具体案例分析。安全信赖建模的研究将有助于描述网络安全需求和风险分析,确定具体的网络安全机制和策略,也是安全体系结构设计的重要步骤。

摘要：现有常规决策方法和决策支持环境难以对复杂问题进行有效的决策支持和求解,复杂产品虚拟样机即属于该类问题,其决策支持环境的设计是虚拟样机工程需要解决的问题之一。在分析当前各种决策支持系统的特点并与综合集成型决策支持系统进行比较后,提出了只有构建综合集成型决策支持系统才能有效地解决复杂产品虚拟样机设计中的决策支持问题。从虚拟样机决策求解的过程分析了系统的需求,建立了B/S架构的、基于移动Agent技术的综合集成型决策支持系统,并阐明了系统的组织结构和功能,对系统实现的关键技术、仿真、信息和知识的综合集成进行了深入研究,给出了相应的实现方法。

摘要：综合星型及环形拓扑结构的优点,提出一种用于光传操纵系统的超高速实时光纤网络设计方案.所给出的余度设计及分布式共享内存策略增强了整个光传系统的可靠性及容错性能.应用动态数据分组技术既提高了小数据量的传输效率,又提高了大数据量突发传输时的吞吐量.实际性能测试及地面物理飞行仿真验证表明,系统数据传输速率可达2.12Gbps,具有很强的实时性及信息传输确定性,适应了机载环境下光传飞行控制及航空电子系统不断发展的需求.

摘要：对MR阻尼器的基本工作模式和原理进行了分析，总结了MR阻尼器对磁流变液性能的基本要求，从阻尼间隙宽度、活塞有效长度、活塞及活塞杆直径等方面分析了MR阻尼器结构参数的设计原则，探讨了MR阻尼器的线圈缠绕方式确定、磁芯材料选择和磁路计算方法，概括了MR阻尼器设计中应注意的关键性技术问题，可为磁流变器件的设计提供技术参考和经验借鉴。

摘要：时间冗余作为容错的重要手段被广泛应用于安全关键实时系统中。传统客错调度算法为失败任务的重运行(Re-execute)预留了大量的空闲时间,但是重运行的使用会降低系统的资源利用率。提出了一种基于检查点机制的容错调度算法CP-PRA,通过降低错误恢复需要的时间,可以有效地提高系统的资源利用率。给出了该算法的可调度条件,并证明了其算法的正确性。

摘要：软硬件划分是嵌入式系统中的一个关键问题。本文给出了一种贪心算法来搜索问题的最优解。本算法未考虑相邻任务之间的通讯开销。实验结果表明,任务数目的多少对加速比影响不大,影响加速比的关键因素就是硬件的有效面积。

摘要：XP是适合中小型团队在模糊或迅速变化的需求的情况下使用的轻量软件开发过程。文章首先分析了XP中的几个关键实践:简单设计、测试、结对编程和重构.并针对某些应用背景下可能存在的问题提出了相应的修改建议。然后,以举例的方式具体说明如何运用XP的实践。最后,通过XP与传统软件开发方法的比较,分析了XP的主要特征和适用性。

摘要：研究模糊不确定微分对策的鲁棒性。采用Takagi-Sugeno模糊模型描述多人非合作的非线性随机微分对策系统,并将全局模糊模型表示成不确定的形式,采用鲁棒次优H∞控制策略,定义了微分对策系统的鲁棒控制,并设计出稳定的模糊控制器。

摘要：提出了在实现层显式实现连接件的思想,并给出了一种插拔式连接件的实现方法,使连接件这个软件体系结构层概念成为一种插拔式可重用的构造,进而在实现中体现软件体系结构设计,平滑了软件体系结构层和实现层间的差距。