操作系统与模块支持层隔离机制的研究

新一代航空电子系统是一种高度综合化、模块化的系统,使用层次性的软件体系结构可以减低软件开发费用、提高系统安全性.本文参考欧洲航空电子标准ASMC,对操作系统与模块支持层的隔离机制进行了深入研究,分析了嵌入式操作系统VxWorks结构,尝试了将其内核和模块支持层进行隔离.     

质量方法学的整合

2003年1月《质量进展》发表了一篇有关6σ的社论后引起广泛关注，尤其是一些人抱怨过去关于6σ有不少言过其实的宣传或者缺乏负面的报导。在此背景下，《质量进展》发起了一场讨论，让那些在通常基础上使用质量工具和方法的人们自己回答一个问题：最好的质量体系是什么?讨论的结果表明，这些人使用的方法从基础的ISO9000到更复杂的鲍得里奇奖都有涉及，一些人偏爱单一的方法学，另一些人偏爱两种或两种以上方法的组合。所涉及的方法学有：1．ISO9000；2．质量操作系统；3．精益生产；4．6σ；5．精益生产和6σ组合；6．戴明思想／系统思考；7．复杂性理论；8．鲍得里奇奖；9．上述全部；10．其他。本文阐述了几种常用的方法学及其组合的实际应用情况。显然，不存在一个正确的回答“最好的质量体系是什么?”问题的答案，关键是使用一种方法学或者有意义的组合，并且对组织起作用。     

V-22“鱼鹰”倾转旋翼机最新发展：航速300节的空降突击利器

倾转旋翼机对近代航空工程而言井不是个新鲜的名词军事及战术上的需求一直推动着航空技术的发展直到近40年内由于材料的革命以及动力系统的改进才逐渐由理想成为现实，成为可行性及战场适用性的装备．连带地使相关的战术运用臻于成熟而且衍生出新的战术。     

分布式操作系统MTA—OS中核心软件的设计研究

本文首先提出了一个分布式操作系统MTA—OS,它是以一个完成空-空多目标攻击数字仿真任务的仿真系统为背景的。结合本系统的具体特点,文中论述了其核心软件的设计思想,并对进程管理和信箱管理机制及其实现技术进行了重点讨论。     

基于层次存储结构的权能查找机制

与传统系统相比,基于权能的系统可以在不完全信任程序的情况下安全地运行程序。从权能的概念入手,论述了权能的基本工作原理。针对现有顺序权能查找机制在查找效率方面的不足,设计出一种基于层次存储结构的权能查找机制,可提高安全系统的权能查找速度,进而提高整个系统的运行效率。     

基于S3C2440的网络隔离器设计与实现

介绍了一种网络隔离器的设计与实现方法。以三星公司的ARM9芯片S3C2440为载体,以SPI（串行外设接口）数据传输为手段,结合自定义数据传输协议,实现了无操作系统的网络数据隔离器。对系统的总体结构、软硬件实现方法进行了详细说明,重点介绍隔离系统的工作原理及内部工作流程,并对数据传输协议的安全性进行了研究。基于本文设计思想研制的网络隔离器,能有效过滤内部网络与外部网络之间传输的非认证数据,确保了内部网络的安全性。     

基于云计算的航天操作系统中的任务分区#br# 与迁移关键技术研究#br#

云计算是一种按需提供资源的模式，虚拟化是云计算实现按需服务的基础.基于云计算的航天操作系统使得任务可以根据任务需求分配不同的物理资源，解决了航天器小型化趋势下如何充分利用物理资源的问题.本文通过虚拟化容器实现航天操作系统对分区的要求，设计了合理的任务调度和容器调度方案.通过仿真实验，验证了调度方案在满足航天操作系统对容错要求的同时,提高了航天器物理资源的利用率和负载均衡.     

AirNet空管自动化系统应用浅析

<正>引言黑龙江空管分局于2007年6月开始安装、使用国产空管自动化处理系统AirNet,并于2008年1月使之开始成为哈尔滨主用自动化处理系统。AirNet空管自动化系统作为国内少数主用的国产自动化处理系统使用至今,能够满足管制部门的需求,本文对其应用情况进行阐述。     

操作系统共享数据临界保护正确性测试方法

研究了共享数据临界保护正确性测试,提出一种基于共享数据地址监控的临界保护正确性测试方法(SVAM,Shared Variable Address Monitor).SVAM由实时地址监控模块和共享变量地址列表组成.当系统运行时,SVAM在地址总线上实时监测共享变量的写操作,当系统在更新共享变量值时没有关闭中断说明对该变量的操作破坏了临界保护,存在运行风险.理论分析证明了SVAM的正确性,仿真试验证明了该方法的有效性.      

基于ROS的空间即插即用架构软件解决方案

为了支持航天器软硬件系统的即插即用,必须配备一套中间层软件系统来自动处理组件的自发现、自配置和通信,针对这一需求提出一种基于机器人操作系统（ROS）实现空间即插即用软件架构的方案。在分析和对比ROS框架与SPA架构的基础上,根据SPA异质网络架构的特征,提出了基于ROS的SPA软件架构（RSPA）;对SPA协议在ROS框架下的实现问题进行了研究;设计了一种基于ROS的SPA演示系统。相比于以往的空间即插即用架构软件实施方案,RSPA具有清晰的网络模型,更容易扩展,并且可以有效利用ROS稳定的基础框架和丰富的工具加速软件构建过程。