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

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

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

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

基于对象的仿真建模系统

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

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

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

DERA的核心压气机发展验证计划

对DERA的核心压气机发展验证计划作了简要介绍,重点围绕核心压气机设计研制思想、方法和设计研究体系的发展验证,分析和说明了已取得的各项进展。最后对这一研究计划的意义进行了分析和讨论。     

A320系列机型绿点速度特性分析

绿点速度是空客系列机型特有的光洁构型、一发失效条件下的最佳操纵速度。为了研究绿点速度的设计依据,利用空客PEP性能软件计算A320系列机型光洁构型、一发失效条件下、不同校正表速所对应的爬升角、等待燃油流量和飘降下滑角,分析了绿点速度状态、最大升阻比状态下的爬升、等待、飘降性能与最佳爬升/等待/飘降性能相互之间的关系。结果表明:绿点速度小于最大升阻比速度,随着飞行高度增加逐渐逼近最大升阻比速度;绿点速度下的爬升/等待/飘降性能对应于最大升阻比性能、最佳爬升/等待/飘降性能的均值。     

华东地区围护结构节能研究

根据南京市的典型年逐时气象参数，对于该市的某一座高层建筑物，应用自编的逐时动态负荷模拟程序，输入围护结构（窗户、墙体和屋顶）相关的物理参数及其与周围环境的关系（地点及朝向等），计算围护结构冬季采暖期散热量及夏季制冷得热量。结果表明，采用双层塑窗代替单层塑窗，使用节能墙体代替传统墙体能够使得冬季围护结构传散热量减少51％，夏季围护结构总得热量减少46％。因此，这一结果为华东地区建筑节能技术提供了理论依据。     

Exploration and implementation of commonality valuation method in commercial aircraft family design

Commercial aircraft family design can reduce development costs, shorten development cycles, and expand the market coverage of aircraft. Commercial aircraft family development has become one of the most important features of modern aircraft design. This paper explores the effects of commonality on different aircraft models in a commercial aircraft family. The existing product commonality indexes are summarized and their limitations in the application to aircraft design are discussed. Then a new component commonality index is proposed based on the component decomposition structure. A model for calculating the aircraft program value is established,which considers development costs, manufacturing costs, sale price, operation costs and residual costs. The effects of aircraft commonality on time and economic costs of both development and manufacturing, and on sale price, are analyzed and quantified. The commonality evaluation strategy is obtained, which features comprehensive consideration of the aircraft program value and time costs. The break-even analysis of aircraft is proceeded on the basis of costs and price data. By using a real option method, the strategy considers the uncertainty of the aircraft program and the flexibility of the manufacturer. This strategy proves to be rational and applicable to aircraft design based on the calculation of three examples and the analysis of parameter sensitivity.     

全民健身运动的体育资源开发调查与分析

摘 运用文献资料法、专家访谈法、问卷调查法、数理统计法来进行调查与研究，从长沙市全民健身运动开展的体育资源利用实际情况出发，对长沙市全民健身运动开展的情况进行分析，根据全民健身运动过程中体育资源利用的情况，结合实际，提出了全民健身运动开展体育资源开发的对策，希望能为建立符合长沙市实际情况需要的全民健身运动发展模式寻求理...     

现代喷气战斗机的发动机安装设计

发动机安装设计是飞机设计的一项重要工作,战斗机的发动机安装设计工作尤为重要且任务复杂.本文在收集整理大量文献资料的基础上,概述现代战斗机发动机的安装设汁,重点剖析了国外八个型号战斗机的发动机安装设计实例,比较各型战机的发动机安装设计异同,包括安装形式设计和安装节等结构部件的细节设计等.通过实例剖析和异同比较,有助于深入理解发动机安装设计的特点和规律,发展我国有自身特色的发动机安装设计解决方案.