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

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

最坏风模型及对飞机突防航迹跟踪的影响

针对一类非线性动力学系统,本文推导出二次型性能指标下的微分对策解,由此得到一组含有非线性因素的最环风模型,这一模型特别适用于研究作空间机动飞行的飞机受外界环境扰动的灵敏性问题。最后考察了这一变化风场对飞机突防航迹非线性解耦跟踪的影响。     

利用CAD工程图自动生成数控加工程序

本文介绍了利用工程图自动生成孔加工程序的方法。既可以自动选择图中不同尺寸的孔,又可以避免同一坐标位置多个同尺寸的圆的问题。同时又克服了手工编程容易出现错误的问题。也避免了其他自动编程软件需要在图上选择要加工的孔困难。     

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

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

CAPP系统中特征造型描述法的应用

本文结合专为哈尔滨制氧机厂开发的实用型CAPP系统，对CAPP系统的研制进行了探索性的研究，该系统以Windows作为开发平台，在基于零件特征造型建模的基础上，运用面向对象编程技术完成了一个交互式信息输入子系统，实现了回转体零件CAPP系统的信息输入，这里主要介绍零件特征信息模型的建立与特征信息的数据结构。     

锥体目标空间进动特性分析及其参数提取

空间进动是弹道导弹中段飞行过程中锥体目标特有的运动特性，本文首先建立了锥体目标空间进动数学模型，给出了姿态角与空间进动参数的关系式，并利用进动参数获取了反映目标质量分布特性的惯量比。然后通过对目标RCS回波数据进行多项式拟合，估计进动参数，以此为雷达目标识别提供新的技术思路。仿真实验结果表明本文提出的算法能够有效估计出目标的进动角。     

基于VRML的航天模拟训练系统

使用虚拟现实建模语言（VRML）建立一个航天地面设备仿真实验和导弹弹体虚拟装配的模拟训练系统，操作者可使用浏览器通过网络进行交互式的虚拟实验和弹体装配，实现航天工程中部分高成本，高代价的实物操作训练功能，该系统具有较好的真实效果，显示了虚拟现实技术在航天工程中的广阔应用前景。     

基于HLA的网络对抗系统建模与仿真

介绍了HLA的基本思想,分析了网络对抗仿真系统,给出了网络对抗系统的层次模型以及基于HLA-RTI的实现方法。     

旋转充液系统全飞行过程非线性动力学仿真

本文考虑一类刚认耦合的旋转充液系统的飞行动力学问题，在依据力学变分原理给出基本方程，导出全飞行过程运动状态方程的基础上，建立了相应的仿真模型。可能通过对Navier-Stokes方程求解和液体流动的惯性波振动特性，给出液体的反作用力矩。经过仿真实验，分析角运动的时间序列，给出了比较详尽的飞行不稳定机制分析结果。     

过程体系结构

从系统论的观点出发，明确定义了过程工程领域的基本概念，定义了过程体系结构，采用了一个扩充的ＣＯＳＭＯＳ模型，以支持灵活的过程建模，并在此基础上讨论了过程的工程化支持。