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

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

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

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

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

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

用传递函数试验方法确定运载火箭结构模态参数

本文以运载火箭为例,阐述了通过传递函数(随机激振)求模态参数的方法。由传递函数的虚频、实频、相频曲线识别出固有频率、固有振型、模态阻尼比、模态刚度和横态质量等参数,并与传统的正弦调谐激振法求得的结果进行了比较,最后讨论了两种方法的优缺点。     

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

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

应用扩展连续算法研究推力矢量飞机动力学特性

应用扩展的分支和连续算法对推力矢量控制飞机的飞行运动力学特性进行了研究。与标准的分支和连续算法不同，扩展后的分支和连续算法可用于计算飞机特定配平状态的连续曲线，所以不仅能获得飞行性能指标，同时可确定飞机的稳定性。本中扩展分支和连续算法被用于检验推力矢量控制律的有效性，确定了飞行包线边界，分析了配平飞行的稳定性的操纵性以及预测飞行偏离。结果表明，扩展连续方法可获得大量的飞行动力学信息，在推力矢量控制飞机的初步设计中具有广泛的应用前景。     

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

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

捆绑火箭竖立状态下地面风激振动模型风洞试验研究

火箭竖立在发射台上时的地面风激振动载荷是火箭尾段结构的设计状态。本文是捆绑火箭的地面风激振动的风洞试验研究的部分结果。文中介绍了地面风载荷模型风洞试验的原理、模型相似要求,以及模拟试验技术、试验方法与数据处理等。并讨论了助推器、外表面突出物与鼓包不对称分布的影响等。     

连续自由流电泳微重力下分离模式蛋白质的研究

以连续自由流电泳的区带电泳模式分离血红蛋白和细胞色素C，比较了不同缓冲液甘油浓度下的分离效果，确定了最终装载在神舟4号飞船上A3—2型电泳仪的电泳分离条件，通过地面和空间实验，初步探讨了微重力对连续自由流电泳分离的影响，并对电泳的分离产物做了多种检测．     

一个基于故障树模型的诊断系统

提出一种基于故障树模型的诊断方法，并基于该方法实现了一个验证性的诊断系统。基于故障树的层次诊断模型，提出了确定性推理方法和可能性推理方法及面向故障树的基于框架和广义规则的混合知识表示方法。最后在ＣＯＭ－ＰＡＱ４８６微机上，Ｗｉｎｄｏｗｓ环境下，用ｂｏｒｌａｎｄＣ＋＋实现了该诊断系统，并通过对一个电路系统实验台的诊断验证了方法的有效性。