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

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

中心极限定理用于近似计算时必须注意的问题

本文着重指出,在运用中心极限定理近似计算独立同泊松分布随机变量之和的概率时,通常只注意了取n适当大的值,从而导致了差异较大的不同结果。本文指出了不仅要使n适当的大,而且也要使nλ足够地大。当X_h是其他离散型随机变量时,也要考虑类似的问题。     

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

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

空天飞机的计算流体力学分析

本文分析了空天飞机空气动力学的特点和计算流体力学在发展空天飞机中的作用,讨论了发展空天飞机对计算流体力学的要求。强调了计算流体力学、地面试验和飞行试验应该相互结合成一个整体。在这基础上,探讨了利用地面试验对计算程序进行“确认”、“校准”和“鉴定”以及鉴定计算程序对地面试验的要求。本文还从计算方法、外流、进气道流动、喷管流动、燃烧室流动等方面,综述了空天飞机计算流体力学分析的最近进展和尚待解决的问题。最后对发展我国空天飞机计算流体力学提出了建议。     

应力极值分布、强度威布尔分布的可靠性

本文运用应力—强度干涉理论,推导了应力为Ⅰ型极小值分布,强度为威布尔分布的可靠度计算公式,并对冗长的计算公式进行简化,在简化公式的基础上,运用一定的数学技巧,改变积分公式中的积分变量和上下限。将被积函数化成在某一区域内的可积函数。采用de Boor编制的一种严谨的自适应Romberg外推格式的FORTRAN程序进行数值积分。对应予不同的组合参数,给出应力服从Ⅰ型极小值分布,强度服从威布尔分布的可靠度数值。本文最后讨论了服从这两种分布的组合参数的变化对可算度数值变化的影响。     

数值模拟高超音速化学非平衡流的隐式格式

针对高超音速化学非平衡流提出了两种隐式格式.一种是近似因子分解算法对角化形式在隐式TVD(全变差递减)格式上的推广,另一种可视为隐式TVD格式的LU分解形式.数值试验表明,本文给出的算法保持了TVD格式的高分辨率特性,同时计算量大大减少,是高超音速化学非平衡流数值模拟的有效方法.     

基于对象的仿真建模系统

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

皮托管式轴对称进气道跨音速内,外流场的AF—2方法计算

本文构造了轴向大扰动,径向小扰动轴对称速势方程的AF-2分解格式,计算了IC型皮托管式进气道的跨音速内外流场,并对这种分解格式进行了线化的稳定性分析。分析表明:AF-2方法的稳定性优于SLOR方法,其收敛速度至少比SLOR方法快10倍。     

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

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

无波动,无自由参数的耗散差分格式（NND）在喷流计算中的应用

本文用文献[1]建立的无波动、无自由参数的耗散差分格式(NND格式),对无粘喷流流动进行了数值模拟,并就一典型的自由射流流动,与国外高精度、高分辨率的PLM差分格式(Piecewise-Linear Method)的计算结果和实验结果作了比较,得到了很一致的结果,且所用的计算时间少于PLM格式。