安全关键软件可靠性验证测试方法研究

为了在不降低安全关键软件可靠性验证测试结果可信性的前提下减少测试用例量,在分析经典统计假设测试和无先验贝叶斯统计方法的基础上,提出了一种先验知识动态整合的贝叶斯推断统计测试方法;并提供了软件失效概率的概率密度函数先验分布参数的详细求解办法。实验表明,所提供的安全关键软件可靠性验证测试方法可以用较少的测试用例获得同样的结果可信性。     

有升力时的再入弹道解析解

建立了导弹再入段运动方程的简化式,利用空气阻力、升力及飞行迎角的拟合式,对简化的运动方程进行了近似计算,推导出了飞行速度、迎角、弹道倾角及射程关于飞行高度的表达式。仿真结果表明,该计算方法是可行的。     

直升机动力舱高温段流场及温度场的稳态模拟

利用有限体积法,建立了直升机发动机动力舱的有限元模型,并根据舱内实际冷却气体流通情况,分析了在不同的发动机附件散热量边界条件下,动力舱内流场及温度场的分布,以及流场对温度场的影响,为改善动力舱的冷却情况提供了分析依据。     

可动平尾对直升机纵向飞行品质的影响

简单介绍了直升机纵向飞行品质对平尾设计的基本要求，提出了可动平尾的设计思想，概述了直升机的可动平尾的工作原理及其工作环境。然后主要分析了可动平尾对直升机纵向飞行品质的有利影响，其中包括可动平尾的“主动控制”能力、“低速配平”能力和“总距配平”能力。分析表明，可动平尾设计是直升机构型造反和初始设计时一个较理想的方案。     

直射式喷嘴喷雾特性的实验研究

用二维激光测速测粒仪,对直射式喷嘴在横向气流中所形成喷雾的粒度、平均和脉动速度,以及浓度进行了测量。研究了喷雾的结构,气流速度以及喷射方向对喷雾特性的影响,不同直径的粒子在横向的扩散。为两相流模型的研究以及数值计算结果的验证提供实验数据。      

从系统仿真谈仿真模型的生成

随着计算机科学和系统科学的发展，系统仿真技术愈来愈为人们所关注。其应用范围遍及政治、经济、军事、交通运输、通讯、科学实验、教学及生产管理等社会各部门及领域。而构造仿真模型又是系统仿真中非常重要且必不可少的关键环节。本文对系统仿真模型的生成问题进行了探讨。     

凝相相变过程的热力计算

一般的热力计算软件很少计及凝相物质的相变过程，当燃烧产物温度接近某凝相物质的相变温度时，将出现迭代计算不收敛。根据能量守恒、喉部单位质量流量的流通面积最小和等熵关系，提出了凝相物质在燃烧室、喷喉和喷管出口处于相变过程的热力计算方法，并给出了算例。     

带多圈环形V型稳定器的加力燃烧室两态燃油浓度分布计算

在流场计算和油珠碰壁处理上进一步发展和完善了轨道扩散模型，编制了适用于具有多圈环形V型稳定器和多种喷油布置的加力燃烧室两态燃油浓度计算的通用程序。用于实际加力燃烧室的浓度场计算，可以给出加力燃烧室任意截面上液态、气态和总态燃油浓度分布，各区域内燃油浓度的平均值和周向平均燃油浓度沿径向的分布。     

准则方程形式的探讨

应用积分方程求解换热问题,不仅数学运算较简单而且计算结果具有很好的直观性,容易看出理论解的物理意义,其计算结果使人们一目了然。下面我们利用积分方程,在第一类边界条件求解Pr=0.001～7500的流体绕流平壁层流换热问题。      

导弹水下点火的流体动力研究

对轴对称导弹水下点火这一非线性瞬态流动提出以下数学模型及求解方法。水流场假设为理想不可压势流,用边界积分方程法求解;喷管中的燃气流动按准一维非定常无粘完全气体流动处理,用逆步有限差分格式的特征线法求解;喷入水中的燃气流采用简化的等压泡模型,用Euler-Lagrange方法模拟气泡的演化。按照时间步进方法实现了水、气流动和物体运动的数值耦合求解。数值实验结果反映出导弹水下点火时水气流动的一些重要特性。