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

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

燃气的基准表及图制定

本文在阐述基准的热力学概念基础上,提出了燃气基准的计算方法,应用CHAPPELL推荐的有关燃气热力性质表达式,导出计算燃气基准的公式,通过微机计算,将结果整理成燃气基准的有关表、图。     

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

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

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

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

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

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

Numerical Simulation of Impact Loading on Solid Propellant Within an Orthotropic Shell

The strain–stress state of the solid propellant rocket engines (SPREs) is simulated under impact. The effect of orientation of elastic and strength properties of orthotropic organoplastic shell material on the strain–stress state of the solid propellant is investigated. Normal and oblique impact of single steel cylinder projectiles, both simultaneous and at different times of multiple, converging steel spheric particles with SPRE are investigated in this study. The investigation is conducted numerically. The numerical modeling was carried out in a three-dimensional formulation by the method of finite elements for the continuous approach of the mechanics of a deformable solid. The destruction of the anisotropic material is described by the tensor-polynomial criterion of the fourth degree, which takes into account the influence of hydrostatic pressure.     

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

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

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

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

管内气体流动的多参数动态数学模型的建立

由于从飞机发动机中引出气流的不稳定流动，对飞机空调系统的精确调节有很大影响。根据气体流动的基本定理，一种适用于小管径、多变量输入输出的可压缩气体管内流动的动态数学模型已在本文推导出，并采用频域和时域方法对数学模型进行了分析。研究结果表明：当气体的入哭喊和波频率上升到一定值时，出口压力将急剧上升。流量的变化对出口压力影响最大。入口温度的变化对出口压力和流量有影响，但入口压力和流量的扰动对出口温度没有     

共轴式小型直升机操纵系统动态特性分析研究

对某共轴式小型遥控直升机纵向系统建立了工程实用的数学模型,分析研究了该系 统动态特性和参数变化对其动特性的影响.通过与试验、试飞比较,证明该模型是正确的、 可信的、其精度符合工程要求.