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

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

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

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

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

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

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

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

现场动平衡技术在生产中的应用

利用美国恩泰克公司提供的DP1500数据采集仪及现场动平衡软件,以实例说明了现场动平衡技术在锅炉引风机、排粉风机、电动机、机泵等转动设备不平衡故障排除中的应用,介绍了不平衡故障的识别方法,揭示出该技术在生产中的实用性、先进性和经济性.     

称重传感器的一种新的滞后补偿方法(英文)

通过对电阻应变式称重传感器在各种加载卸载情况下的滞后特性的分析 ,建立了其相应的数学模型 ,并初步探讨了一种可以通过程序在仪表中对传感器的重要指标—滞后进行补偿从而提高整个传感器的精度的方法。最后 ,对以上方法进行了验证性试验 ,证明了补偿方法的可行性。     

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

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

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

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