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

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

高超声速风洞测力数据的关联研究

通过比较分析法研究AGARD-B标模在BIA的FD-07风洞中气动力测量数据与其它高超声速风洞设备测量结果的相互关联。其目的，既可以综合鉴定FD-07风洞的流场性能和测试水平，也可以从另外意义上为数值方法的程序校验提供必要的技术支持。结果表明，在Ma=4.94-7.96范围内，所测得AGARD-B标模的力、力矩和压心位置，不仅随Ma和α的变化趋势与其它风洞一致，而且其变化量比较接近于各风洞测力数据拟合的逼近曲线。     

浅谈企业信息化的标准体系建设

概述了企 业 建 设 信 息 化 标 准 体 系 的 必 要 性 , 简 介 了 企 业 信 息 化 工 程 标 准体 系 的 特 点 、 目 标 和 任 务 , 重 点 阐 述 了 建 立 企 业 信 息 化 工 程 的 标 准 化 内 容 和 方 法 。     

第11届国际计量大会内容介绍

介绍了2003年10月在法国举行的第11届国际计量大会的概况和大会论文发表的情况。     

企业标准体系的建立与完善及对策

介绍企业标准体系的基本构成、特征和建立的原则,就建立完善的企业技术标准体系、制定企业管理标准体系和工作标准等阐述体系建立的途径,并对企业标准体系的管理、完善和改进等有关的几个问题进行探讨。     

技术引进中的标准化工作

阐述了技术引进与标准化的关系，在技术引进阶段应进行的标准化工作内容与要求，呼吁在开展技术引进时应搞好技术引进中的标准化工作，为公司今后更好地开展标准化工作提供了重要依据。     

认真学习GJB/Z9000系列标准建立完善的质量体系

概述了学习GJB/Z9000《质量管理和质量保证》系列标准是军工企业产品发展的需要,简介了该系列标准的主要内容和作用,并结合工作实际学习标准,以便把军工企业的质量体系建设好。     

完善和应用企业标准体系表开展标准化工作

概述了编制企业标准体系表的目的和意义 ,阐述了 86 0 2厂结合工厂实际建立和完善企业标准体系表的做法及应用体系表开展标准化工作的情况。