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

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

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

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

平直地面对一类圆极化波的等效反射系数

本文研究了入射波电场为任意线极化时,平直地面反射波中左旋圆极化分量和右旋圆极化分量的数学描述,引入了地面对这类波的等效反射系数的概念,并给予了物理解释,讨论了应用的有关问题。     

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

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

超声波法测量燃速初探

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

喷管内型面烧蚀对发动机能量的影响

根据同一推进剂不同结构的两种型号发动机的试验结果，分析了喷管内型面烧蚀对发动机能量影响，提出了在两种烧蚀率相差较大的材料之间镶嵌一种烧蚀率适中的材料，可减少喷管内型面的烧蚀，提高喷管推力效率。     

超声振动体的耦合振动研究

对一些典型的大尺寸超声振动体如圆柱体、空心圆柱体、长条形六面体和大矩形六面体。本文用通用有限元软件对耦合系数的分布进行了分析，并在耦合振动频率方程的基础上研究了耦合系数与耦合振动的强度之间的关系。     

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

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

空气压强对激光推进器冲量耦合系数影响

设计并加工了激光推进器实验模型,以空气为推进工质,利用脉冲式CO2激光器,研究了空气压强对激光推进器冲量耦合系数影响。实验结果表明,空气压强对激光推进器性能有显著影响。在文中实验条件下,当空气压强大于6 kPa时,激光推进器冲量耦合系数随压强减小而减少较慢;当空气压强小于6 kPa时,激光推进器冲量耦合系数随压强减小而减少很快。     

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

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