专用瞄准设备自动检定系统

介绍了专用瞄准设备自动检定系统的系统配置、工作原理及软件设计，并对系统的测量不确定度进行了分析和评定。     

80x86汇编语言安全性编码规则检查工具的设计与实现

从安全性角度提出80x86汇编语言程序的编码规则.通过分析航天型号典型案例.依据型号软件的应用特点,从代码结构、指令使用、中断控制、算法设计等角度对安全性编码规则进行分类,提出具体要求.设计了对应规则的检查方法和检查工具,采用静态分析方法,从软件源代码中提取安全性规则的相关元素,判断代码与规则的符合性,实现规则自动检查.     

多通道智能场强计的研制

介绍87C51单片机在研制多通道场强计中的应用情况以及软件和硬件的研究设计。     

北京航天指控中心卫星任务数字仿真软件的设计

首先给出了北京航天指控中心仿真软件的设计模型,阐述了仿真软件仿真的内容,并详细介绍了仿真软件的总体结构和关键进程的设计方法,最后显示了仿真的结果,在实际应用中该软件得到了验证。     

K8V变稳飞机飞行试验验证系统

介绍了Ｋ８Ｖ变稳飞机飞行试验验证系统的组成及功能,分别阐述了该系统的飞控软件综合验证子系统、机上地面试验数据采集与处理子系统和飞行试验数据处理分析子系统等三部分的组成、工作原理、以及在飞行试验各个阶段的不同特点和作用。通过Ｋ８Ｖ变稳飞机飞行试验的应用,表明该系统能够满足变稳飞机的软件维护、系统验收试飞及后续的应用研究,具有实时,快速,准确,自动化等优点,可为Ｋ８Ｖ变稳飞机应用研究提供重要的支持手段     

脉冲多卜勒引信实时校准技术初步研究

脉冲多卜勒引信实时校准技术主要对引信回波模拟源的无线电引信技术指标进行准确评定,以达到校准的目的。目前对该类专用测试设备的校准仍停留在分项校准的状态,无法全面地对整个专用测试设备进行评定,本文利用"宽带数字接收+软件无线电"技术和解调算法,实现对引信回波模拟源的系统级校准的目的。     

TlcsVTE原型中功能覆盖率算法的实现

TlcsVTE原型是针对某型号上位测控软件研制的测试环境,旨在对该型号的上位测控软件进行确认测试。本文重点阐述TlcsVTE中功能覆盖率算法的实现思路。该算法是基于被测软件运行环境的体系结构以及被测软件的功能分解进行设计的。该原型中采用了本文所述的算法辅助测试人员对被测软件进行功能测试以及覆盖率的实时统计。应用该原型测试被测软件,功能覆盖率可达100%。     

软件故障树分析实例研究

软件故障树分析(SFTA)是硬件或系统FTA的扩展,可应用于安全性关键软件的验证和可靠性分析.本文首先阐述了SFTA的原理和应用过程,然后介绍了结合某嵌入式软件进行实际应用的过程以及最小割集的生成,并在此基础上提出了对该软件的改进建议.     

卫星测控应用中心远程容灾系统方案设计

随着航天技术的发展,各种卫星如综合侦察卫星、气象与海洋监视卫星、数据与中继卫星等,其数据的信息速率存储、处理的数据量越来越大,对卫星测控应用中心大容量、高速率数据的安全性、可靠性要求也越来越高。在自然灾害,如地震、洪水;人为破坏,如恐怖活动、战争等条件下,确保卫星测控应用中心的安全与快速恢复能力,将非常重要。本文从原理上设计了一套远程数据容灾系统方案,以保证卫星测控应用中心在自然灾害或人为破坏后能够快速恢复其基本功能。分析表明,该方案具有很好的可靠性、安全性。     

航天工程地面测控软件的软件生存周期模型

软件生存周期模型(Software Life Cycle Model)是用于描述软件从开始研制到退出应用全过程中,各种活动如何执行的范化模型。对于航天工程地面测控软件,瀑布模型、演化模型、螺旋模型、原型模型等传统模型往往不能非常有效地适应其特性,存在一定的困难和问题。本文结合这些经典软件生存周期模型,在分析航天工程地面测控软件高可靠、需求易变等特点的基础上,提出了更具针对性的生存周期模型——构造增量模型。