浅谈型号软件研制中的标准化

概述了航天型号计算机软件的特点,论述了研制过程中实施计算机软件工程标准的必要性及开展的标准化工作。     

仿真软件YHSIM中“集中－混合”式数值积分技术

连续系统实时仿真软件ＹＨＳＩＭ中所采用的运用多种数值积分方法进行“集中一混合”式数值积分的积分程序的工作原理和实现技术,在本文中作了介绍。     

军用软件产品质量管理探讨

软件工程管理的目标是生产出高质量的软件，主要介绍了质量评估，软件测试和技术评审几个方面的内容，并对软件进行质量保证如何进行作了探讨。     

一个ATS平行测试程序的实现

自动测试系统(ATS)测试软件通常设计为一系列的数据采集、计算、显示(打印)的组合串,此法虽能完成给定的任务,但效率较低。本文介绍了一个ATS测试软件的平行程序设计方法,文中讨论了该软件的程序结构、通讯和同步,也介绍了ATS的系统配置、被测仪表特点及特殊要求。     

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

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

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

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

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

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

激光雷达系统仿真软件

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

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

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

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

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