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

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

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

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

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

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

我国完成光电雷达综合跟踪试验台校准技术研究

据航空报报道，2005年年底，填补国内机载光电配套设备行业空白的两项重要科研攻关项目——“某型光电雷达综合试验台校准技术研究”、“某型光电雷达跟踪试验台校准技术研究”在中国一航航空产品部主持下顺利通过了科技成果鉴定。这两项科研攻关项目是由一航计测和一航光电所共同研制生产的。     

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

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

空间卫星目标动态电磁散射特性仿真与分析

给出了空间轨道飞行目标动态宽带散射特性建模方法,重点对某卫星动态宽带电磁散射特性进行了仿真,并通过轨道飞行过程中卫星一维距离像的积累获取了散射中心历程图,提出了由飞行过程中形成的散射中心历程图来判断卫星的结构特点的思路.     

从儒家"忠恕"思想看普遍伦理研究——对普遍伦理研究中几个关系的思考

普遍伦理是近年来伦理学研究的重点和热点问题，在这种研究中，中国传统儒家的忠恕之道成为一个重要的思想资源，但是，在这种研究中，许多重要的关系和问题没有得到应有的关注。文章认为，正是从儒家忠恕思想入手，可以比较清晰地揭示这些问题，以及在这些问题方面所应该处理的关系，从而将普遍伦理的研究进一步深化。     

用亚稳态正电子素研究络合的瞬态反应（Ⅲ）

本文用自制的装有 BaF_2探头的高探测效率的正电子湮没寿命谱仪测量了在室温下正电子素 o-Ps 与 p-RPhG 及 m-RPhG(R=NO_2,Cl,H,CH_3,cH_3O)在20%(V/V)二氧六环水溶液中的络合形成速度常数。实验结果表明,这些o-Ps-M 络合形成速度常数 K 值均与作为配位体的 p-RPhG、m-RPhG 的碱性解离常数 K 的负对数 pK_2 呈线性函数。这表明上述瞬态络合反应满足线性自由能关系,由此可推断出上述络合反应的一些重要性质。     

天津机场定位研究

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

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

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