计算机系统的发展趋势综述

本文从主机系统和操作系统两大方面论述了计算机系统的发展趋势。其中，主机系统中论述了巨型机、工作站、网络和个人机发展的趋势；在操作系统一节中，着重对Windows OS/2和UNIX加以评述。     

实时多任务操作系统的汉化

描述了实时多任务操作系统汉字处理中的特点，着重对操作系统中与设备无关的功能对汉化的影响，汉字外码内码的选择，汉化与实时性、多任务特性的相互影响等几个问题进行了讨论。     

UNIX系统的安全性及优化

通过作者在ＳＧＩ图形工作站上ＵＮＩＸ操作系统的实践，给出一些提高ＵＮＩＸ系统的安全性及优化的方法。     

用于OBDH中的实时多任务操作系统设计

参照欧空局的软件工程规范，研制了为星上数据管理任务服务的实时多任务操作系统ＲＴ８６，它的硬件环境是两个互为冷备份的主控单元（ＭＣＵ），通过１５５３Ｂ串行数据总线与多个远置单元（ＲＴＵ）联接，完成 遥测、遥控及星上多项数据库管理任务。本文介绍了其设计要点，完成星上遥测、遥控及星上多项数据库管理任务。本文介绍了其设计要点，做到了系统设计思路简单清晰，程序于修改维护，可靠性高，它为星上应用软件开发提供了     

基于Klocwork的C/C++软件静态检查

为了保证基于Linux与VxWorks操作系统的C/C++软件代码的质量,需要对软件源代码进行Klocwork检查。分别以SVN与ClearCase作为配置管理工具,将Klocwork工具分别在不同的操作系统下完成安装与配置之后,对C/C++源代码进行Klocwork检查。介绍了Linux环境下配置管理工具SVN客户端安装、SVN版本库的代码更新、Klocwork工具的安装与配置、ClearCase版本库的代码更新、以及Klocwork分别在Linux与VxWorks操作系统下进行Klocwork检查的步骤。给出了Klocwork检查分别在Linux与VxWorks操作系统中的详细检查步骤与检查脚本,以及对已经被检查出来的缺陷的处理。典型案例表明,Klocwork检查有助于及时发现并解决C/C++软件源代码的各种缺陷,从而提高软件质量和安全性。     

海洋卫星水色仪羽流污染DSMC模拟研究

在当前和今后很长一段时间内,我国卫星姿轨控系统都将液体小发动机作为主要推进系统。对于长寿命、高可靠卫星,羽流污染评估具有重要意义,而数值模拟则是有效方法。采用DSMC方法模拟了海洋卫星单组元轨控发动机羽流对水色仪表面可能造成的污染,通过这个算例验证了DSMC方法在羽流污染模拟中的重要作用。假设羽流组分为NH3、N2、H2,水色仪表面温度为100K,计算结果显示在水色仪所在位置发动机羽流造成污染影响最小,可以忽略不计。这表明推进系统选择合理,卫星结构设计合理。     

空间科学实验机器人辅助遥操作系统

建立了一个面向空间舱内晶体生长科学实验的地面模拟机器人遥操作系统。该系统通过基于虚拟现实的预测仿真来克服通讯时延的影响，并通过仿真图形和实际视频图像的叠加来对虚似仿真环境进行校准，以提高预测仿真的保真性。操作员利用空间鼠标等人机交互工具实时控制仿真机器人系统的运动，通过遥控与自主相结合的方式，并借助全局和局部视觉信息，完成了在空间晶体生长科学实验中更换晶体炉料棒的作业任务。     

满足适航要求的嵌入式操作系统测试方法

以被定义为DO-178C Level A级软件的自主版权嵌入式实时操作系统为应用模型，提出了一种基于DO-178C标准的嵌入式实时操作系统的测试方法。提出的测试模式解决了操作系统内核在目标机中难以测试的问题，同时对操作系统在目标机环境进行测试的一些具体问题给出了解决方案。方法既适合现阶段国军标对软件测试提出的要求，又保证了嵌入式操作系统软件测试活动与适航要求的符合性。     

多余度机载系统消息映射与配置的改进设计

针对基于ARINC653操作系统的多余度机载系统消息映射和配置传统设计方法工作量大,维护困难的缺陷,提出一种改进的设计方法,以减少传统设计方法的复杂性,有效提高消息映射和配置设计的效率,增强系统的维护性.