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

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

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

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

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

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

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

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

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

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

大型自动化系统的供电与接地

本文是一篇关于运载火箭自动化系统和生产自动化系统的研制经验的总结报告。“供电与接地”的设计质量,不但影响系统的抗干扰特性,而且直接危及设备和人身的安全。本文概要性地论述了系统及其组成设备的供电与接地类型,供电与接地的正确方法,供电与接地在不同研制阶段中常见的错误,地线系统的设计、施工与测量方法等。     

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

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

液体火箭发动机运动循环参数通用计算方法的研究

本文运用网络分析和图论的数学方法，建立起一个能计算各种动力循环方案参数的通用计算模型；同时，为了确保计算的准确、顺利进行，提出了控制参数的概念。最后编制了一个实用的通用计算软件，并用它对不同动力循环方案进行了计算     

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

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

战术导弹动力装置靶场试验与评定

介绍了战术导弹动力装置靶场试验与评定情况,主要内容包括有战术导弹动力装置试验类型、分析内容、参数信息和评定方法,也概略地谈到动力装置靶场试验与评定的发展前景.