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

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

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

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

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

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

南航站遥测数据实时软件

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

战术导弹垂直发射系统的现状及发展趋势

介绍了垂直发射装置通用化、箱式化和模块化的总体特征。详细论述了国外现役8种类型的垂直发射系统，根据基本结构特点将垂直发射装置分为模块式结构、独立布置的分离式结构和旋转式结构，另依据发射动力将垂直发射装置分为热发射和冷发射。以热发射的同心筒式结构和冷发射采用的大倾角、模块化设计为例．分析了垂直发射装置的发展趋势。     

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

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

基于改进的Toeplitz化处理的相干源非均匀线阵自适应波束形成算法

针对相干源非均匀线阵的波束形成,提出了Toeplitz化的基于特征空间的线性约束最小方差自适应波束形成算法(TELCMV)。该算法利用阵列接收信号的相关性进行Toeplitz化处理、把期望信号方向向量向信号子空间投影、进行线性约束最小方差波束形成来得到TELCMV权向量;TELCMV权向量没有包含噪声子空间的分量,而期望信号和干扰信号的输出不变,所以提高了输出信干噪比(SINR),收敛速度也快,在低信噪比和小快拍数下能取得较好的波束形成性能。仿真试验结果证明了TELCMV算法的优越性能。     

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

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

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

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

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

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