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

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

进气道喘振诱发因素及其可靠性分析

针对飞机进气道的典型故障-喘振的诱发因素进行全方位的分析论证，并为从事航空工程的人员提供一种对动力装置整体性能进行可靠性评估方案，篇末对世界上比较先进的进气道气动设计思想及其喘振机理进行分析，可以为飞机设计师在设计飞机过程中具体分析问题提供一定的参考。     

污水处理装置在冶金行业中的应用

对污水处理装置的技术参数、技术要求及设计方案的选择、工作原理做了进一步的阐述。对工业循环冷却水的处理有实际指导意义。     

表贴式永磁电机的两种充磁方式

研究了表贴式永磁电机的两种充磁方式。首先利用已有文献电机参数验证了有限元模型的正确性,对比分析了两种充磁方式下电机磁密和磁钢磁势的分布特点,研究表明内转子结构平行充磁方式具有提供更大的气隙磁通潜力,而外转子结构则相反。接着研究了两种充磁方式,不同气隙下气隙总磁通随极对数和磁钢厚度的变化规律。同时明确了两种充磁方式各自使用场合,给出了最佳磁钢厚度的取值范围。本文工作有助于正确选择表贴式永磁电机的充磁方式和磁钢厚度,以发挥磁钢潜力,改善电机性能。     

多点压力扫描阀测量系统在激波／湍流边界层干扰实验中的应用

多点压力测量是航空气动力研究及高性能流体机械研究中的重要测试手段。利用计算机和多点压力扫描阀系统，可以高效地完成这项任务，并可能在实验中实现数据采集及整个实验过程的自动化。我们利用ＨＰ１０００／Ａ７００计算机－ＨＰ２２５０－测控装置－压力传感器－高速扫描阀组成的测量控制系统，在超音速风洞内对激波／湍流边界层干扰产生的流场进行了快速多点压力数据采集，并取得了可靠的结果。本文对测试和校正过程中的程序设计、测试方法和应用经验进行了介绍。     

利用CAD工程图自动生成数控加工程序

本文介绍了利用工程图自动生成孔加工程序的方法。既可以自动选择图中不同尺寸的孔,又可以避免同一坐标位置多个同尺寸的圆的问题。同时又克服了手工编程容易出现错误的问题。也避免了其他自动编程软件需要在图上选择要加工的孔困难。     

大型内螺纹的数控铣削加工

介绍大型精密内螺纹旋风铣削加工的工艺方法和编程,主要针对螺纹直径为非标准、工件材质过硬且孔数较多的大型精密内螺纹的加工。实践表明,该方法加工效率高,且可严格控制螺纹的精度。     

紧凑热交换器优化设计

对各种传热表面的板翅式紧凑热交换器进行了优化设计计算，建立了通用优化程序系统。此程序既适用于一般地面热交换器，也适用于飞机空调中的热交换器。与传统的设计计算相比较，优化设计的效果很好。热交换优化后，肋片的形状变得更加合理，芯体传热表面更加紧。通过各种肋片的计算得出，条状肋片为板翅式肋片中的最佳者。     

死刑复核程序之功能及其完善

死刑复核程序是我国独有的一道针对死刑适用而设立的程序,从司法层面来说有着不容忽视的功能.本文以死刑复核程序的功能定位人手,立足于最高院统一收回死刑核准权,对死刑复核程序进行分析并针对死刑核准权收归最高院的决定对死刑复核程序的完善提出建议.     

Delta并联微操作手运动学的矢量法分析

利用矢量运算的方法,分析了三维平动Delta并联微操作手的运动学特性.基于雅可比矩阵的可逆性,研究了Delta并联机构的正逆运动奇异性问题. 研究表明,微操作手的雅可比矩阵中存在灵敏参数,灵敏参数的大小及方位影响着位移输入与输出间的关系;利用矢量运算方法进行运动学奇异性问题分析更为简洁和直接.