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

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

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

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

依靠先进文化的力量 促进民航生产力发展

在全党开展以实践“三个代表”重要思想为主要内容的保持共产党员先进性教育活动,是党中央为全面加强党的执政能力建设做出的重大决策。今年以来,特别是民航系统第二批先进性教育活动全面启动以来,笔者比较系统地学习了中央编印的《读本》和民航总局党委、管理局党委的有关文件精神,联系个人的思想、工作实际进行思考,感到很有收获。下面,笔者以“三个代表”重要思想为指导,重点围绕依靠先进文化的力量、促进民航生产力发展这个主题,谈几点心得体会。一、代表中国先进生产力的发展要求在“三个代表”重要思想中占有首要地位江泽民同志《在庆…     

碳纤维复合材料自行车发展概况

碳纤维复合材料自行车由于其独特的优点越来越受到重视,本文着重介绍碳纤维复合材料自行车的结构设计、选材及其制造技术,最后分析了市场前景.     

现代制造系统的对立与统一

现代制造系统从它的优化目标到其组织、控制、管理、机制、企业文化等方面均具有对立统一的特点。正是这些特点使得现代制造系统具有极强的生命力。本文对这些对立统一的特点进行了综合分析。     

中国共产党民航总局第二研究所第一次党代会隆重召开——民航总局空管局党委茅顺平书记和民航西南地区管理局党委张智勇副书记到会并分别作重要讲话

10月14日-15口，民航二所第一次党代会隆重召开，总局空管局茅顺平书记和民航西南地区管理局张智勇副书记到会并致贺信。民航二所党委黄荣顺书记、纪委方福江书记、金尔文副所长分别在大会工作了党委工作报告、纪委工作报告和中长期发展规划报告，全面总结了党委、纪委过去的工作情况，客观分析了我所面临的形势，     

发展航天电子技术铸造时代一流企业——记中国航天时代电子公司发展之路

航天电子托举神箭神舟2005年10月12日上午9点,亿万中国人屏息凝神,观看中央电视台转播神舟六号发射实况。"点火",酒泉发射控制大厅中,随着指挥员一声起飞指令,发射操作员迅速按下一个醒目的红色按钮,神箭腾飞而起,喷射出耀眼的火焰。     

树立持续安全理念 严格落实安全责任 继续发展平稳较好的航空安全态势——李健副局长作全国民航安全工作报告

报告共分三部分：一，2008年安全工作回顾；二，2009年安全工作面临的形势和工作思路；三，2009年安全工作主要任务。