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

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

反射式仪表刻度盘的刻度

某些反射式仪表或测量系统，如检流计、光线示波器、测量转台低转速的反光机构以及其它光学仪器等，其指示部分多是平直的线性均匀刻度盘。采用这种刻度盘定地指示被测信号的变化还是可以的；但是，由于一般反射镜偏转角与被测信号是正比关系，而反射光点在刻度盘上的偏移量与反射镜偏转角（或被测信号）不是线性关系，所以，采用这种刻度盘定量地测定被测信号会产生误差。为此，要对线性刻度盘进行非线性修正。1偏移误差在测量过程中，当反射镜偏转a角时，则新位置的反射镜法线ON与原位法线OC夹角，根据光杠杆原理，反射光线与入射光线的…     

俄2005年前建立统一的航空电子联合企业

到2005年前，俄罗斯将建立航空电子生产方面的统一国防系统——“航空电子”联合企业。2004年9月18日，普京签署了关于在航空仪表制造联合体基础上建立“航空电子联合企业”股份公司的命令。现在主要是重组方面的工作。“航空电子”联合企业有19家航空仪表制造企业加入。     

影响复飞决断的人为因素

飞行员在进近失败时 ,或着陆不具备条件时 ,能够果断地作出复飞决断 ,这才是有良好心理素质、严格遵守法规的表现。影响飞行员作出复飞决断的人为因素包括 :爱面子、侥幸心理、急躁情绪和没有复飞的思想技术准备     

确定航空燃油喷嘴最佳几何参数的一种计算程序

介绍了确定航空燃油嘴最佳几何参数的一种计算程序，本程序经实践证明是简便实用的，可用于测绘件的反设计，对新研制件也可提供参考。