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

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

中国飞机强度研究所振动研究室简介

中国飞机强度研究所振动研究室主要从事飞机结构最新动力学分析方法和动强度试验技术研究。该室由六个专业组组成，拥有40名技术人员，其中工程师10名，高级工程师19名，研究员4名。各专业组情况如下。     

联合技术系统公司对美国导弹防御火箭发动机进行试验

联合技术系统公司对美国导弹防御火箭发动机进行试验据联合技术系统公司９月２９日报道，该公司对陆基拦截机可移动喷管固体火箭发动机成功地进行了点火试验，这是美国陆军国家导弹防御技术准备计划的关键部件。发动机和多枢轴柔性密封，即喷管控制中的一种新概念，由联合...     

复合材料面内剪切Iosipescu方法分析及试验研究

讨论了采用Ｖ形开槽试样的Ｉｏｓｉｐｅｓｃｕ剪切试验方法的应用，分析了影响试验的因素，对Ｔ３００／５２２２复合材料单向板及π／４多向铺层层合板进行了试验研究，试验结果表明，此方法可以很好地用于复材料剪切试验。     

飞行管理系统定位误差分析

飞行中,通过确定飞机位置,即可判定飞机是否在预定航线上及偏航距离多大。目视飞行中,飞杨位置通常按它附近的地标相关位置确定。对于装备有飞行管理系统(FMS)的飞机,在仪表飞行情况下,通过近程或远程导航传感器传     

飞机空中应急放油试飞

应急放油是现代飞机保证飞行安全、提高飞机性能的重要措施，也是新机定型试飞的科目之一。本文主要对某新型飞机应急放油系统的试验结果进行了分析和总结，并将该机应急放油系统和其它飞机进行了对比，认为该机应急放油系统的设计较为合理。最后对新机进行应急放油试飞提出了几点建议。     

快速傅里叶变换(FFT)在导弹测试系统中的应用

快速傅里叶谱分析在系统动态测试中的应用,提出了以阶跃信号为激励源,以快速傅里叶变换和阶跃型信号快速傅里叶变换的高精度算法为核心的动态测试系统,取得了预期的结果。这种与以往完全不同的测试系统,将为火箭系统分析,系统设计和动态测试提供一种精度高、适应性强、实时性好的新方法。     

模拟技术在电子对抗飞行试验中的应用

文章叙述了模拟技术在电子对抗飞行试验中的应用，美国空军研制，鉴定和改进机载电子干扰系统的情况以及确定如何充分发挥系统的潜在能力。