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

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

机场水泥混凝土道面接缝密封处理工艺设计的重要性分析

机场水泥混凝土道面的特点之一是接缝多，这些接缝增加了施工、维护的复杂性，又是混凝土道面的薄弱环节，易引起板边、板角破坏。如不对混凝土道面接缝进行密封处理或处理不当，混凝土道面会产生许多不良后果，以至于影响机场道面的正常使用。一般情况下，道面接缝密封出了问题，人们往往只是从施工或缝料质量等方面查找的原因，却忽视了接缝密封工艺设计的缺陷。作曾参与了阿克苏、乌鲁木齐等机场水泥混凝土道面接缝密封施工工作，现就如何在设计中处理好接缝的密封谈几点体会。     

高精度齿轮箱盖制造工艺

论述氢氧涡轮泵高精度齿轮箱上、下盖在研制过程中的主要加工技术关键和采取的主要工艺措施。由于齿轮箱上、下盖工作环境恶劣，设计结构复杂，尺寸精度和形位公差要求高，在二级精度的常规设备上加工困难很大。经合理安排工艺过程，采用了冷锻和工序间时效工艺，选择可靠的装夹表面，充分利用了工艺基准与设计基准一致和一次定位装夹加工基本工艺原则，并克服了车削时的动态误差，达到了设计图样和技术条件的高精度要求。     

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

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

制件小批生产中的工艺工作

叙述了日常的工艺工作与型号产品的关系，提出了工艺人员应具备的业务素质，探讨了新时期的工艺工作以及制件小批生产组织管理方式。     

浅谈表面贴装工艺

简述了表面贴装工艺，通过工艺试验对点焊膏、贴片、再流焊等工艺过程进行了摸索，并掌握了表面贴装工艺的工艺流程和工艺参数。     

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

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