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

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

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

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

称重传感器的一种新的滞后补偿方法(英文)

通过对电阻应变式称重传感器在各种加载卸载情况下的滞后特性的分析 ,建立了其相应的数学模型 ,并初步探讨了一种可以通过程序在仪表中对传感器的重要指标—滞后进行补偿从而提高整个传感器的精度的方法。最后 ,对以上方法进行了验证性试验 ,证明了补偿方法的可行性。     

应力为几何更新过程时结构可靠度

本文讨论应力为几何更新过程时结构可靠度，获得在设计基准期［０，Ｔ］内重复应力循环发生的次数服从几何更新过程时结构可靠度表达式。     

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

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

基于有限元法的隧道荷载模型位移反分析

介绍了一种以荷载模型为求解对象的位移反分析法。它是以通用有限元软件为实验平台，利用隧道位移实测值建立荷载灵敏系数方程，根据最小二乘法原理反求隧道模型的荷载，再将正分析结果和实际值进行对比分析井重新调整隧道荷载模型，最终获得较为符合实际的隧道荷载模型。该方法的优点是既考虑了岩土松动荷载效应又能体现支护结构与周围岩土体的共同作用，且具有较好的操作性。     

均布压力作用各向异性矩形薄板大挠度问题

基于冯·卡门模型，选择中心挠度为摄动参数，利用摄动方法将正交异性矩形薄板大挠问题的非线性偏微分方程组逐级线性化，导出了各级摄动对应的几个线性偏微分方程组，然后再借助变分法求解，得到了均布载荷作用下正交异性矩形薄板的载荷-挠度曲线。     

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

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

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

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

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

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