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

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

PDM技术及其在直升机研制中的作用

本文首先分析了当前直升机在运用CAD/CAE/CAM技术进行研制中存在的一些问题,接着提供了解决的方法,介绍了PDM的概念、构成、主要功能。最后简述了PDM技术在直升机研制中的作用,以及企业在实施PDM当中应注意的一些问题。     

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

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

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

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

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

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

海湾上空“杀人蜂”

F／A-18E／F“超级大黄蜂”是美国海军最新型战斗机，其中F／A-18E为单座型，F／A-18F为双座型。这种飞机可以执行侦察、对地攻击、空战等多种任务。2002年才开始部署在航母上，今年年初又随美军航母进驻海湾地区，为可能爆发的战争做准备。在美伊战争中，“超级大黄蜂”不仅首次执行了攻击任务，还在后来每天的战斗中，成为美军对伊拉克进行空中打击的必然选择。     

40Gb/s系统技术解决方案探讨

40Gh／8系统的应用面临光信号的色散、衰减、交换、编码等方面技术的挑战。利用固定补偿模块或源色散补偿技术可以实现光的精确色散及补偿。赖曼式放大器对40Gh／s系统的光传输提供了有力的技术支持，利用赖曼放大器以及全光交换机或光电光交换机则可以实现光信号的有效放大和高性能交换，而带外FEC技术和相应的编码技术可以进一步提高系统的容错能力及传输速率。     

公制螺纹丝锥CAD系统

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

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

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