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

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

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

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

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

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

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

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

应用聚类分析对关联规则进行分组

关联规则是要从大量的数据中找到数据之间的规律，但有时所产生的规律十分繁多，从而形成新的知识管理问题。针对该问题本文提出了一个新的算法，该算法利用系统聚类分析方法对规则进行分组，从而可更好地帮助用户解所发现的规律，该方法的距离（RatioD）是基于关联规则本身，因此，可对规则进行高效地分组。实验结果表明，该算法是有效的。     

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

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

线性四元树表示图象的距离变换

二元数组表示的图象使用的距离概念运用于线性四元树表示。指出棋盘距离特别适合于线性四元树。定义线性四元树的棋盘距离变换为树中各个黑四分形中心到最近边界四分形黑一白边界的距离。这里提出的距离变换算法主要特点是(1)它是一种代数方法,(2)各个四分形只计算一次距离,和(3)距离信息非常快地传递到区域内部。该算法可以推广到线性八元树表示的三维客体。     

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

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

某工程频分制遥测系统设计与研制

介绍了某工程战斗弹上所用的频分制遥测系统 ,对该系统的遥测参数进行了分析 ,确定了六个主要参数可以对导弹的工作状态进行判断。并对遥测系统进行了分析 ,确定了系统的主要技术指标。最后对研制中所出现的几个关键技术问题进行了分析和讨论。靶试结果表明 ,该系统设计合理 ,为战斗弹的靶试提供了重要的参数。     

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

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