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

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

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

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

将现代光纤陀螺和卫星导航系统GPS用于地面载体的新型导航系统—FNA2012

在军用地面导航领域，连续地知道一个载体的位置和方位是一个切合实际的要求。航迹推算法导航原理已经表明，它是满足军事要求的一种理想的方法，德国Ｔｅｌｄｉｘ正是基于此理论的导航系统的市场领先者之一。时至今日，机械陀螺一直用在航迹推算法导航中，它们已被光纤陀螺取代并与卫星导航系统（ＧＰＳ）组合，产生了组合导航系统，该系统在精度，操作和费效比方面具有显著的优越性。     

汽车铅蓄电池低温大电流放电性能研究概况

本文综述了汽车铅酸电池低温大电流放电性能的研究现状。近期研究表明，温度对正、负极板在低温下的放电容量及充电接受能力有极大的影响。且影响的程度各不相同；提高冷起动性能的主要方法是改进电池的结构；此外，还建立了计算机模拟电池低温放电过程的数学模型。     

揭开04款的“神秘面纱”

“04款新车”，顾名恩义，当然是一款汽车在2004年推出的新车型。从2003年的冬天开始，各大汽车品牌的04款就已经开始陆续粉墨登场：千里马、赛欧、富康、宝来、中华、陆凤SUV、蒙迪欧、派力奥、西耶那、红旗明仕、奇骏……占据了中国汽车市场的绝对江山。     

专科英语、本科英语及成人专科英语的定位和相互关系

专科英语在理论上被界定为专门用途英语(ESP)分支下,介于学术英语(EAP)与职业英语(EOP)之间的业务用途英语(EPP)。而本科(大学)英语在理论体系上属于普通英语(GE)。本文从ESP理论的角度探讨了专科英语,本科英语及成人专科英语的定位和相互关系。     

天津机场定位研究

从区域特征分析入手，通过与纽约、华盛顿机场的对比分析，研究了天津机场的定位问题，并指出它的定位应当是东北五的货运枢纽机场。     

加入世界贸易组织我国汽车工业应采取的对策

概述了我国加入世界贸易组织后将给我国汽车工业带来的积极影响，以及由此而要面临的严峻形势。对此，提出了我国汽车行业应采取的对策和所应持的态度。