型号软件可靠性和安全性设计标准化研究

通过编制国家军用标准《软件可靠性和安全性设计准则》的实践,概述了型号软件可靠性和安全性设计标准化研究的重要性,论述了其标准中的软件设计工作涉及到的软件需求分析、软件设计和软件实现等三个阶段需要特别注意的几个关键问题,而且均属于标准化范畴研究的问题。     

航天软件可靠性安全性技术应用发展趋势

从航天工程应用的角度介绍了国外软件可靠性安全性技术应用发展趋势，结合作者在实时嵌入式软件可靠性测试与安全性分析方面的实践进行了总结。     

宽覆盖多光谱CCD相机模装及模态分析

文章以结构设计软件AutoDesk Inventor对宽覆盖多光谱CCD相机结构进行精确造型、模装，进行了干涉检查。应用大型结构分析软件PATRAN、NASTRAN，建立了该相机超大规模有限元模型，完成了该相机的模态分析，得出了该相机相应的固有频率和模态，验证了相机结构设计的合理性。     

激光雷达系统仿真软件

从激光雷达约束条件入手 ,研究了通用激光雷达仿真模型 (GL M) ,其中包括大气传输模型、探测器噪声模型、发射与接收模型、目标反射数据库。着重分析、讨论了各种天气和系统条件下 ,对激光雷达性能的影响。根据模型 ,研制了通用仿真软件 ,最后给出了计算机仿真结果。     

可编程数字下变频器的关键技术

可靠、灵活的数字下变频技术在无线通信系统中得到越来越广泛的应用。文中指出影响数字下变频器性能的主要因素 ,并提出采用经典的 CORDIC算法来降低硬件电路的复杂性。最后 ,用线性内插的方法实现了输入输出速率的分数倍变换     

一种软件实现的程序控制流错误检测方法

在太空环境中，由于宇宙射线的存在，计算机系统的硬件经常发生各种瞬态或永久故障，致使软件系统的执行流程产生错误。针对太空环境的强辐射特点，提出了一种对程序的控制流进行检查的纯软件方法RSCFC，它首先把程序划分为“基本模块”，然后给每个基本模块赋予一“关系标记”和错误探测指令。通过对程序运行期间生成的“即时标记”和事先嵌入程序的模块位置信息的“与”运算来探测控制流错误。该方法在几个C语言标准程序上进行了实现，并进行了故障注入实验，结果表明在没有RSCFC时，大约20．7％～68．8％的分支故障会产生探测不到的不正确输出，而在RSCFC存在的情况下，该区间会降低到2．8％～20．4％。与其它的软件控制流错误检测方法相比较，它具有探测率高，对原始代码影响小的特点。     

电子战信息分析系统软件的语言选取

阐述了人工智能语言Ｐｒｏｌｏｇ的背景及作为专家系统软件开发的优势，并以电子战信息分析系统为例，介绍了电子战信息分析系统功能，论述了为满足电子战信息分析系统软件处理不同部分的需要，采用了不同的编程语言，主要用到了Ｐｒｏｌｏｇ和Ｃ＋＋。用一段小例程来说明，并指出在特殊情况下也可以通过不同语言之间的转换，以满足实际情况的需要。     

软件测试过程的基本模型POCERM

软件测试过程包含着测试计划的制定，测试大纲的编制，测试用例的生成，测试的实施，测试结果与问题的分析和报告，以及软件测试的管理等项工作。     

坐标测量机组合系统

介绍了一种坐标测量机组合系统，该系统是由一系列组件和通用测量软件ＣＭ－ＭＤＰＳ组合构成。对两坐标机械位移系统、万能工具显微镜、老式三坐标测量机，均可选用本系统组件建造一台现代化的小型台式三坐标测量机，或单坐标、两坐标机。可实现对中、小型工件的空间几何要素的测量和参数计算、空间几何尺寸的计算、形状和位置误差的计算。本系统具有系统组件灵活多样、软件丰富形象、便于操作、性能价格比最优等特点，是老式坐标测量机升级的最佳选择。最后，介绍了应用坐标测量机组合系统对万能工具显微镜进行改造，使之升级为小型台式三坐标测量机的实例。     

风洞试验多通道数据采集与动态参数实时处理系统

为新型飞机发动机进气道动态畸变参数测试而研制了两代全数字化、智能化测试系统。64通道独立同时采样；高速32bit浮点运算DSP对畸变参数作实时处理；100Mbyte以上大容量在线存储器，存储全部原始数据、中间结果和处理结果；被测参数时间历程曲线、采样数据时间历程曲线及2D、3D动态图形和数表显示及输出；系统自检功能及坏点自动检测与修补功能；图形化及汉化菜单，友好的人机界面。硬件与软件的模块化与开放式结构，以便广泛应用于其他需要作多通道数据采集和动态参数实时处理的场合。