Ada语言在星载软件上的应用

介绍了星载软件的特点和构成，从提高星载软件可靠性的角度引入了高级程序设计语言－Ada语言与汇编语言的接口调用技术，以及使用Ada 语言开发星载软件和应用技术。     

用I—DEAS软件实现通用件的参数化设计

利用计算机建立通用件库可减少大量的重复操作，提高设计效率，达到较高的标准化水平。基于尺寸驱动的参数化设计可以实现同类零件的相互调用。本文介绍了用I-DEAS软件建立通用件库的过程，并以典型的微波器件为例，详细介绍了通用件库的设计方法。     

Y9可编程遥测系统地面站遥测软件

简介Y9可编程遥测系统地面站计算机分系统遥测软件的设计。内容包括Y9可编程遥测系统地面站对遥测软件的要求、遥测软件开发的硬件及软件环境、遥测软件系统的结构及主要模块功能介绍。     

NASA航天飞行人-系统标准第Ⅰ卷：乘员健康

为保证航天乘员的健康和安全，同时也为处于所有航天飞行阶段的乘员提供健康和体检计划建立此标准，此标准由NASA指令NPD 1000-3（NASA组织机构）和NPD 8900．5（NASA载人航天探索健康和医学政策）授权。     

背入式I-Suit在沙漠RATS测试的评估

背景 2005年的沙漠探索与技术研究（RATS）是由NASA约翰逊航天飞行中心的先进舱外活动小组组织的第七次偏远地区试验。同之前的每次试验一样，这一年的试验对于所有的参与者都提出了新的挑战。主要挑战之一就是有两套加压服装同时参加试验，而这一点从“阿波罗”计划以来从没实现过。[第一段]     

南航站遥测数据实时软件

文章介绍了用自顶向下研制法开发了一个长空1号遥测数据实时处理程序。介绍了主控制模块、下级控制模块双重控制系统的设计思想和实时采集、写盘、计算子功能模块设计方法与技巧以及各模块之间的关系。其中强调了一些实用算法的应用,在充分有效地利用主机系统的资源和发掘其潜力、提高运行速度方面的重要性。     

电路特性仿真软件OrCAD／Pspice的应用

本文通过实例介绍了电路仿真特性软件OrCAD／Pspice在模拟电路、数字电路及数模混合电路几方面的应用。     

基于扩展块的星载软件控制流容错评价方法

空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响，为避免容错算法存储开销和执行开销给系统带入过多的计算压力，提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷，这是星载软件可靠性设计的合理方向。设计了一种适合于弹性添加容错代码的容错方法：扩展块数字签名的控制流检测方法ESCFC（Extend block Signatures for Control Flow Checking）。由空间高能粒子的实验结果和在轨实测结果为系统可靠度建模，提出了算法开销和可靠性效能提升的平衡关系的工程参考和理论依据。定性分析和模拟，充分说明了将该方法运用于航天工程的可行性。     

基本型计算机遥测系统的遥测软件规划设想

本文对基本型遥测软件的特征作了说明。从遥测系统的使用角度,以及功能和性能等方面分析了遥测软件的需求特点,为遥测软件设计提供了依据。由于遥测数据处理的重要性和复杂性,着重对遥测数据处理作了进一步分析。提出按参数性质分类的遥测参数分类方法,和遥测数据处理的层次概念。最后,在以上分析的基础上提出基本型遥测软件开发的指导思想和原则,简要描述基本型遥测软件的规范,软件组织和外部接口。     

基于目标操作化的多引擎协作体系结构研究

基于目标操作化的域原子操作模型,研究分析了面向应用目标的系统设计与实现的基本问题,通过引入解释引擎,提出了面向目标的形式模型与应用软件设计实现的一体化机制;在系统级应用中间件之上,引入组件服务,提出了一个通过处理操作作业流实现目标的、多个操作服务引擎协作的体系结构,通过构造组件适配器,以满足操作服务引擎对异构组件服务的一致性访问.