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

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

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

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

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

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

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

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

大直径、高动态性能测试、试验设备研制成功

2007年2月9日,3KTD-550型三轴转台出所验收评审会在九江召开。参加会议的有某军种装备部、海军某部、上海交通大学等单位的代表,项目组的科研人员也参加了会议。     

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

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

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

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

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

本文用自制的装有 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 呈线性函数。这表明上述瞬态络合反应满足线性自由能关系,由此可推断出上述络合反应的一些重要性质。