火箭弹气动弹性发散计算研究

本文对火箭弹气动弹性发散计算进行了较详细的研究，包括与气动弹性发散计算方法有关的结构质量一刚度模型、气动升力模型和安全裕度要求等。     

某型飞机机翼Ⅱ梁框检修周期的计算

本文建立某型飞机Ⅱ梁框结构裂纹形成寿命NP 与裂纹扩展寿命N P 之间的可靠度模型 ,将安全寿命设计与损伤容限设计原理有机结合 ,计算了在给定结构可靠度下该型飞机机翼Ⅱ梁框的检修周期     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

基于用户自定义变更的本体进化

提出一种基于用户自定义变更的本体进化方法。首先给出了该方法的形式化描述,建立了本体一致性模型和原子变更及冲突消解方法,然后对用户自定义变更模型进行语义描述,将用户自定义变更转换成原子变更,并对其进行了优化。最后给出了用户自定义变更及优化的实例。结果表明:本方法可以很好地满足本体进化过程中用户的复杂需求,并实现了本体变更的形式化描述,解决了各种变更中的冲突问题。     

King公式法热线探头校正方法及计算程序

本文提供了一种直接用 King 公式来表示恒温式热线风速仪探头的校正结果的方法及计算程序。该法能较准确地反映探头的特性,并为计算机处理数据提供方便。     

钝体燃烧器后能量逆转和紊流参数的数学模拟

本文用非定常数值法研究了钝体燃烧器后的紊流参数分布和能量逆转,并对Boussinesq的雷诺应力模式和双方程k-ε紊流模型提出了改进方案。这样不仅计算出了能量逆转区,而且紊流参数分布也与实验相符。     

炮风洞中进行高温喷流底部热流、压力测量试验

本文介绍了在北京空气动力研究所炮风洞 M 数为6、7、8的气流中进行具有高温喷流的模型底部热流和压力测量试验的有关试验技术。试验结果表明底部对流热流和压力测量值随外流 M 数增大而减小,他们都大于无外流时的测值。辐射热流不受外流影响。     

超声速流中激波/湍流附面层干扰数值模拟

采用修正的B／L湍流模型以及多块结构化网格求解了二维N-S方程。分别对超声速流和高超声速流中的激波／湍流附面层干扰进行了数值研究。本文首先研究了进口马赫数为2．96的超声速流。计算结果准确预测了入射斜激波在平直壁面引起湍流附面层分离的流动特征：分离点的反射激波、分离包引起的膨胀扇以及再附点的反射激波。计算的壁面压力分布与实验值吻合较好，计算的分离区长度与实验值比较有一定误差。本文还对进口马赫数为9．22的高超声速流中压缩角引起的激波／湍流附面层干扰进行了数值研究。计算结果与实验结果吻合较好。     

形态图计算中的投影空间维数和投影空间模型

确定投影空间维数和建立投影空间模型是计算机视觉领域中形态图计算时一个十分重要的基本问题，本文根据态图计算时特征视图拓扑结构等价的特点，指出轴测投影下的投影空间是二维空间，透视投影空间为三维空间，并分别了投影空间模型的建立方法，从而使复杂物体形科计算是简单可行。     

煤油结焦的抑制方法研究

在用航空煤油作为高温涡轮叶片冷却介质的研究中，关键的问题是煤油的“结焦“。本文研究抑制煤油沸腾时结焦问题的方法，实验结果表明，煤油在管内沸腾流动，当工作压力大于０．５ＭＰａ时，可以基本上消除“结焦”。这一关键问题的解决，为将煤油作为高温涡轮叶片的冷却介质研究工作提供了重要的参考。