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

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

航空电子产品电磁环境效应模块化设计方法

对高强度辐射场（HIRF）环境特点与干扰类型进行分析，采用理论计算、计算机仿真技术（CST）的仿真分析及实测等方法分别对某型飞机航空电子系统综合显示单元的外部强电磁辐射场孔缝耦合、场线耦合及芯片前端电路影响关键芯片的相关规律进行了研究，给出了相关设计建议。结果表明，可通过分析孔缝、场线耦合获得进入关键芯片前端电路的电磁干扰能量，再结合关键芯片前端电路网络对干扰的插入损耗分析，获得关键芯片在外部强场激励下的感应电压。     

XS 211模块化卧式加工中心

曾在CIMT2007展出的MAG公司XS 211机床是基于"简单而紧凑"的模块化概念设计的,可提供高柔性和高精度加工,而投入成本低廉.     

日本可重复使用空间自由飞行器在轨应用成果斐然

概述日本可重复使用的实验观测两用空间自由飞行器的主要设计特点，分析了在轨应用取得的成果，介绍了第二次飞行计划。     

确定航空燃油喷嘴最佳几何参数的一种计算程序

介绍了确定航空燃油嘴最佳几何参数的一种计算程序，本程序经实践证明是简便实用的，可用于测绘件的反设计，对新研制件也可提供参考。     

VAX set 简介

1,VAX set 的基本思想软件开发是一项复杂的工作。在软件开发过程中,应该有一套统一的方法和工具,使软件生命周期中某些重复性工作以自动化或半自动化方式去完成.在建立了一套统一的软件开发方法和工具之后,首先能使开发组的成员尽快适