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

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

电子工作台在模拟电子技术中的应用

本文简要地介绍了电子工作台的特点和使用方法，结合我们设计具体模拟电子线路的实践，说明了电子工作台在模拟电子技术中的应用。     

从波音777的研制成功看CSCW及其在航空工业中的应用

介绍了CSCW的概念及其分类,波音公司利用CSCW研制波音777所取得的效果;CSCW对发展航空工业的重要作用,提出了发展CSCW的建议。     

独立函数的表达式及完备性

给出独立函数的逻辑表达式和递推关系式。证明了独立函数系的线性完备性。讨论逻辑函数关于独立函数系的展开式、不同极性独立函数系展式之间的关系,以及与Reed-Muller展式之间的关系。这些问题的结论为建立新型的通用逻辑模块奠定了理论基础。     

日本可重复使用空间自由飞行器在轨应用成果斐然

概述日本可重复使用的实验观测两用空间自由飞行器的主要设计特点，分析了在轨应用取得的成果，介绍了第二次飞行计划。     

飞机动态机动指标测量

表征飞机在空中格斗时动态机动性能的新参数，是完成任务所需时间和机动的空间方位的函数，虽然这些参数是针对指向即发射空战和滚转反应机动提出的，但是，这种方法适用于大部分空战机动。该参数可用于预测空战效果和一架飞机相对另一架飞机时间优势。     

湿度换算软件包

湿度不论是在科研领域还是在工业生产中，都是一个很重要的参量指标，在具体的应用中，各领域对湿度参量的使用单位和范围要求是不同的，由此我们编写了一套“湿度换算软件包”，可以在湿度的不同参量和单位间进行换算。本文主要介绍了该软件的主要功能、使用说明以及同国外其它同类软件的数据比对情况。     

Riemann积分及其性质的非标准刻画

在非标准扩大模型下，利用内序列族定义了Riemann积分，并在此基础上讨论了可积的条件及积分的一些性质。     

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

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