一种软件脆弱性自动分析定位的方法

摘要： 为了更好地满足航空航天领域中使用的多种嵌入式软件的高可靠性要求，设计一种软件脆弱性自动分析定位的方法.该方法基于程序切片技术，改进现有的前向计算动态切片算法，利用动态程序切片收集程序运行时的动态信息，构造程序切片谱，设定相关统计量统计程序语句的脆弱性可疑度，生成脆弱性定位报告.在发现软件中存在的脆弱性后，该方法对导致此脆弱性的程序代码根源实现了自动分析定位.基于此方法设计开发了软件脆弱性自动定位工具并进行了实例验证分析，实验证明了该方法的有效性.     

刹车装置性能试验台系统设计

主要介绍了刹车装置性能试验台的实现机理、采用的方案,有助于增进对液压试验台设计和可编程控制器PLC应用方面的了解。     

战术导弹折叠翼快速展开性能的测试技术

介绍某些战术导弹折叠翼快速展开特性测试技术。详细地介绍了测量方法、项目、数据处理和主要结果。试验是在北京空气动力研究所一座低速风洞中进行的。试验结果表明，获得的数据具有很高精度和可靠性，重复性也是令人满意的。     

基于关联分析的机载电子设备SRU级故障诊断方法

针对机载设备二类检测设备将故障隔离到SRU的要求,对LRU的内部结构进行了分析,提出了点、底项、组底项的概念,用关联值表示点与点之间、点与SRU之间及组底项之间的关联关系;针对多SRU结构UUT,提出逐级排除法故障诊断方法.     

自由飞试验模型惯性矩的测定

作者根据多年来自由飞试验的实践,叙述了自由飞模型惯性矩的调试、计算、误差分析与处理的经验与方法。     

计算机帧时间对半实物仿真的影响

半实物仿真试验中,要求计算机帧时间与计算积分步长相一致,但在实际试验中不容易精确地做到。本文分析了这种不一致给半实物仿真试验带来的影响,给出了解决的办法,文章中还给出了一实例来说明。     

电液位置伺服系统的动态试验研究

本文研究了快速响应的电液位置伺服系统动态试验,着重讨论了在实践中如何选择伪随机二位式最大长度序列(PRBS)参数的问陋,并提出快速响应系统PRBS参数选择的原则,使系统辨识精度提高约15％。     

历经十年寿命试验的消旋天线机构轴承的可靠性分析

解决了一个计算可靠性问题的特例。分析了消旋天线机构轴承历经10年寿命试验的可靠性问题。并给出了轴承在不同可靠寿命要求下的可靠度(对应不同置信度)。