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

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

杨振宁的科学研究艺术

杨振宁教授是位著名的物理学家，诺贝尔物理学奖金获得者。他在物理学研究中取得的成就同科学研究的艺术是分不开的。本文分析了如下三个问题：第一“对称性支配相互作用”与杨米尔斯规范场理论；第二，科学研究中的风格和ｔａｓｔｅ；第三，科学研究方向的选择。该文无论是对年青的研究还是对成熟的学者从事科学研究都有指导意义。     

Kevlar/Nomex蜂窝夹层结构表面粘贴镀铜箔聚酰亚胺薄膜的工艺研究

文章对Kevlar面板Nomex蜂窝夹层结构表面粘贴镀铜箔聚酰亚胺薄膜的工艺进行了研究,分析了工艺特点、工艺流程、工艺难点,以及针对工艺难点所采取的工艺措施,最后根据产品的研制情况给出结论。     

大型内螺纹的数控铣削加工

介绍大型精密内螺纹旋风铣削加工的工艺方法和编程,主要针对螺纹直径为非标准、工件材质过硬且孔数较多的大型精密内螺纹的加工。实践表明,该方法加工效率高,且可严格控制螺纹的精度。     

宇航科学文献情报源初析

本文通过对《宇航学报》1981～1988年322篇论文中2466条参考文献的统计分析,得出以下结论,(a)宇航科学的文献情报源重在期刊类文献。(b)以《宇航学报》、《航空学报》、《AIAA,Jourual》等六种期刊类文献为重点文献。(c)中文的引文作者和论文作者相对集中。(d)期刊类文献的半衰期为8～10年。     

基于对象的仿真建模系统

基于面向对象的思想，图形用户界面和仿真程序自动生成技术研制开发出一个基于对象的辅助仿真建模系统ＳｉｍＭｏｄｅｌ，介绍了ＳｉｍＭｏｄｅｌ的系统结构和模型描述框架，讨论了仿真程序生成器的运行机制，提出了有向网络图递归深广优先搜索算法。     

美国航空预研计划及其管理

首先根据世界航空工业发展形势，以美国近期的十二项典型重大航空预研计划为例，叙述其预研计划所包括的内容及执行效果，最后，透过所述的预研计划，分析了美国航空预研计划及其管理的特点，并对我国航空技术预研工作提出几点建议。     

高科技与微型涡轮发动机的研制

在收集、分析国外某些微型涡轮发动机的文献和实物的基础上，结合参加自行设计微型涡轮发动机的体会，提出应用现有的和正在发展中的新技术、新材料、新工艺，将对微型涡轮发动机的性能和研制周期产生较大的影响。     

离心式喷嘴工况理论分析

对离心式喷嘴的最大流量原理进行了证明，并求得了该原理成立的边界条件。分析了离心式喷嘴的工况，结果表明，当喷嘴压降等于或大于临界截面处平均余区的１．５倍时，其工况处于临界或超临界状态。导出了波沿离心式喷嘴中液体自由表面的传播速度及其频率的计算公式，从中可以看出，波的传播速度及其频率取决于喷嘴压降及喷嘴的几何特性。     

雨流计数法及其在程序中的具体实现

根据雨流计数法的规则和在实际中应用的体会，介绍了雨流计数法在程序中实现的具体方法。它适合用各种语言编写，在计取循环数时采用的“四点法”使程序的实现比用其他方法更加准确可靠，简单明了。