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

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

滑油量对恒速传动装置的影响

本文介绍了中外航空公司飞机发动机恒速传动装置几个故障典例及造成的危害,分析了填加滑油量不当对发动机恒速传动装置的影响,提出了预防措施。     

高频大电压标准器

主要阐述了该标准器的基本原理,从理论上对结构补偿法进行了分析和数学推导,当R/Z_o=1.9～2.0之间时,具有最小的交直流差。设计了匹配的同轴热电转换标准器;进行了误差分析;给出了试验结果,说明该标准器交直流差的重复性和复现性是好的。     

对高频电路原理图绘制问题的探讨

本文结合Protel 99 SE在高频PCB设计中的应用,着重探讨在电路原理图的绘制上需要重点注意的一些特殊问题,并提出解决问题的方法,尽可能地减小对高频PCB设计的影响,提高PCB设计的效率。     

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

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

飞机主操纵系统疲劳试验载荷谱小操纵位移频次问题研究

针对飞机全机主操纵系统疲劳试验载荷谱中小操纵位移频次影响问题进行了分析和讨论,确定了某机全机主操纵系统小操纵位移频次的级别。同时,在原某机全机主操纵系统疲劳试验载荷谱的基础上再次对其小操纵位移频次进行了计算,去掉了这一级别以下对全机主操纵系统疲劳试验无影响的小操纵位移频次,从而完善了主操纵系统疲劳试验载荷谱。另外,对小操纵位移频次问题研究结果在其全机主操纵系统疲劳试验中的实施效果进行了阐述。     

超声波法测量燃速初探

针对国内首次引进的超声波实时燃速测量系统编写了测试软件,用水作为被测试对象,进行了退移速率测量,分析了超声波测量燃速的主要影响因素。结果表明,测量精度主要受材料中声速的约束,声速会受到材料应力(压强)和温度的影响。该软件可以用于厚度、材料内声速和实时燃速测量。     

低频声波对水雾消散作用的实验研究

作者考查了低频声波(<50Hz)对于水雾消散的作用。通过建立声波消雾实验装置,测定了在水雾消散过程中,雾室内的声场分布、温度、消雾时间、雾滴谱的变化过程。实验结果表明声波作用对于水雾的消散具有明显的作用。并且,消雾的效果随着作用声波的频率和声压级(SPL)呈规律性的变化趋势。较低频率和较高声强的声波作用更有利于水雾的消散,在消雾的过程中温度起伏不大。而声致凝聚是声波消雾的主要因素之一。     

镀膜光纤声光相位调制器频率响应特性的研究

本文对光纤声光相位调制器（OF—AOPM）的频率特性进行研究。分析了OF—AOPM的调相原理，研究结果表明：在调制频率远离氧化锌压电薄膜的半波谐振频率的时候，光相位的调制不仅依靠径向应力。同时还依靠轴向应力。通过同时考虑径向和轴向应力的变化，得出了OF—AOPM在整个频率域范围内的响应特性。     

星载合成孔径雷达回波多普勒频率的计算

从星载合成孔径雷达（ＳＡＲ）与目标的相对运动关系出发，以ＳＡＲ发射信号的波长、卫星的轨道参数和目标的位置（地心经纬度）为已知条件，导出了计算目标回小以的多普勒频率的解析公式，这对于星载ＳＡＲ系统的性能 初步设计具有重要作用。