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

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

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

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

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

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

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

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

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

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

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

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

三角面元灰度图象三维重建算法研究

三角面元SFS算法是结合三角面元模型和线性反射图来阐述SFS问题的,该算法的基本思想是用三角面元素来近似光滑表面,并用一系列基于节点的线性方程组合来表达该表面。本文在此算法的基础上,求解时通过加权平均迭代,提高了恢复的准确性和迭代的收敛速度。     

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

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

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

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

大客车局部优化造型对其使用性能的影响

随着车速的提高,汽车在行驶中受到的空气阻力便成为不可忽视的问题,因此与减阻节能相关的汽车优化造型也就显得越来越重要了。由于运动物体所受到的空气阻力系数的大小主要取决于它的头部的形状,因而我们对厢式大客车驾驶室前风窗区的几种不同造型在低速风洞中进行了测力的实验研究。实验结果表明,驾驶室前围不同形式的过渡是影响厢式客车空气阻力的重要因素。其中在适当的风窗倾角下,经过良好的圆化处理后,可使厢式大客车的空气阻力减小27%左右。这不仅节省了燃料的消耗,还可以提高汽车的最大行驶速度,改善其加速和爬坡能力。