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

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

航空机载产品“三化”情况调研报告

国防科工委将“三化”作为“九五”期间标准化工作重点任务的决定受到了广大科技人员的欢迎。航空机载设备的“三化”已取得一定成绩。当前开展“三化”尚存在缺乏顶层“立法”和总体规划，技术基础薄弱，必须改进成果评价方法等问题。航空工业应把“三化”作为一项重要技术政策，并成立一个高层次的领导班子，精心组织，统一规划和协调，坚定不移地推进这项工作；当前宜把航空电子综合系统作为航空工业“三化”的重点；搞好“三化”还应解决好坚持与科研、生产和使用三结合，把“三化”与“九五”预研和型号研制相结合等问题。     

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

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

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

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

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

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

组合夹具计算机模拟组装及信息管理

组合夹具计算机模拟组装及信息管理软件系统,建立了完整的8mm槽系组合夹具元件库,在人机交互组装方式下,可以快速模拟组装组合夹具,大大降低了试组装夹具的劳动强度;将夹具信息和产品信息集成为一个整体,并通过数据库管理系统,可以方便地实现信息的检索、查询,解决了生产中组合夹具类工装管理困难的问题。     

天津机场定位研究

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

移动机器人在部分未知环境中作业的定位算法

通过对移动机器人在部分未知环境中的运动分析,结合多传感器信息,提出一种新的移动机器人在未知环境中的定位算法.该算法可根据移动机器人的运动过程,不断更新其位置状态,并能对下一步位置状态进行预估计,然后根据实测传感器信息对预估值进行修正,获得实际位置状态.     

利用热源温度场迭加法诊断持续点热源的强度及位置

可重复使用运载器的防热瓦故障会使航天器的局部结构产牛热源，并在结构中形成温度场。应用热源温度场迭加法的解函数，解得结构温度历程，然后据此温度的变化率趋势判断出热源位置，在此基础上依据多点测最值构造出辨识参数用于热强度识别，通过对一薄壁结构模型算例的计算仿真，证明了本文所提方法的有效性。论文工作为进一步开展热源诊断技术研究，提供了可资工程实践应用的数值算法体系以及有益的数值计算结论。