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

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

FDI飞机舵面损伤故障全局检测的非线性数学模型

阐述了飞机在单舵面损伤故障下 ,建立故障状态下的数学模型 ,以及同样输入条件下飞机正常运动时的数学模型 ,得到飞机在相同飞行条件下损伤时的气动系数和无损伤正常时的气动系数 ,最终得到气动系数的残差。这将为以后飞机过载残差和角加速度残差奠定基础。论文中结合一定的算例给予证实推论的正确性。     

电子工作台在模拟电子技术中的应用

本文简要地介绍了电子工作台的特点和使用方法，结合我们设计具体模拟电子线路的实践，说明了电子工作台在模拟电子技术中的应用。     

DZ125材料涡轮叶片榫齿磨削

叙述ＤＺ１２５高温合金定向铸造涡轮叶片齿磨削工艺试验及参数的确定。     

卫星工程的产品开发环境初探

从方法论的角度探讨了在并行工程的思想指导下，我国卫星工程的产品开发环境的构造问题提出ＣＡＤ技术在卫星工程中的应用，不仅仅是一个软硬件构成与投资问题，人们对卫星产品开发过程的认识，产品开发的组织形式起着更加关键作用。同时讨论了卫星工程ＣＡＤ集成框架系统的构成思路。     

复合斜面的数学模型和磨削加工

描述了复合斜面的数学模型和加工方法，指出该加工方法可操作性好，提高了零件的加工精度。     

从波音777的研制成功看CSCW及其在航空工业中的应用

介绍了CSCW的概念及其分类,波音公司利用CSCW研制波音777所取得的效果;CSCW对发展航空工业的重要作用,提出了发展CSCW的建议。     

公制螺纹丝锥CAD系统

本文介绍了公制螺纹丝锥CAD系统的功能、结构和应用效果,着重探讨了在系统开发过程中遇到的标准引用、数据压缩、哑图库的应用等问题。     

CAD系统在某舵机设计中的应用

文中从某军品舵机的应用实践出发，就如何发挥ＣＡＤ软件的作用和如何更好的应用ＣＡＤ技术作了一些探讨，在舵机系统的ＣＡＤ过程中，不仅在三维建模和模装方面进行了细致的工作，而且在三维实体转换成二维工程图和有限元分析方面也做了不少工作。