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

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

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

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

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

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

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

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

8mm辐射计特性参数测试及定标

文中简介了小口径天线毫米波辐射计定标系统的设计原理、结构、输出亮温的计算模型 ,研究了从液氮温度到室温范围内进行多点定标的方法 ,并对 8mm辐射计进行了特性参数测试及定标实验 ,得出了微波辐射计的定标方程和灵敏度、线性度、稳定度以及积分时间等指标。在该系统上按给定的程序进行定标 ,精度为 1 .0 6K。     

伪码调相与PAM复合测距系统研究

介绍了PAM伪随机码的构成原理,推导了PAM伪随机码的自相关函数和功率谱密度。结合图形分析了它们的性质特点。设计了伪码调相与PAM复合测距系统,并分析了在加性高斯白噪声信道中的各个阶段的信号形式。研究了复合测距系统的性能,详细推导了复合测距系统的信噪比增益。结果表明,与单纯的伪码测距系统相比,复合测距系统有更强的抗干扰性能和测距能力。     

基于偏差信息的星载计算机系统负载平衡算法的研究

相邻结点负载平衡算法具有计算简单、额外开销小的优点。但由于采用局部的观点平衡负载，限制了结点信息得到的范围，使得系统在某种情况下达不到全局平衡，本文提出了基于偏差信息的星载计算机系统负载平衡算法，它改变了结点传递的实际负载信息，使修改后的负载信息能体现出结点及其周边结点的负载形势，以此弥补了相邻结点负载平衡算法的不足，并将其应用在星载计算机系统上，首先，介绍了相邻结点负载平衡算法及其存在的不足；其次，描述了基于偏差信息的星载计算机系统负载平衡算法，最后，通过仿真实验，给出了这种算法同其它几种负载平衡算法的比较，并证明了它的正确性与可行性。     

不同风速下海洋粗糙面散射系数的计算

在考虑风速的条件下,计算了海洋粗糙面的散射特性。用矩量法(MOM)计算了一维介质海洋粗糙面在Durden-Vesecky功率谱下的散射系数,由此获得了一定风速时的双站散射系数。仿真结果表明,计算值与文献数据非常吻合。由计算的不同风速下双站散射系数可知,风速对海洋粗糙面散射特性的影响较大。在一定的海拔高度上,散射角相同(除后向散射方向外)时,风速越大,散射就越强。     

空间光学遥感器主镜背部形状的选择

本文阐述了空间光学遥感器中主镜轻量化的必要性．对双凹、平背、单拱和双拱4种形状主镜在重力载荷下的变形进行了分析计算，得出了背部3点支撑方式下双凹主镜最优的结论，并进一步研究了3点支撑的双凹主镜面形变化RMS值随规一化支撑半径r／R的变化规律．     

歼击机特殊部件设计载荷谱编制技术

介绍了用飞行模拟仿真法编制新机设计载荷谱的技术途径和特点.重点阐述了整体油箱压力/应力谱和垂尾阵风侧滑机动谱等歼击机特殊部件设计载荷谱编制技术.整体油箱载荷谱编制的关键在于各种载荷状态的压力计算,还应考虑地-空-地循环.垂尾谱不能完全由飞行模拟获得,而必须以空测统计数据为基础.