大型挠性充液卫星的动力学模型

研究了带有多个挠性附件和液体燃料贮箱的中继卫星系统的动力学建模问题。给出了微重力下小幅线性晃动等效模型基本参数，用混合坐标法描述中继卫星系统的构形，利用虚功原理推导出的矩阵形式的中继卫星动力学模型简洁且具有一般性，适用于许多开链飞行器系统。     

超音速燃烧室燃烧效率数学模型及气流状态参数的计算

本文分析及提出了超音速燃烧冲压发动机燃烧室燃烧效率的数学模型.该模型综合了氢气喷射方式、燃烧室进口气流参数以及燃烧室结构的影响因素.用这一数学模型求解一组一元流方程.计算出通过燃烧室的气流状态参数,计算结果与试验数据对比,证明这个模型是适用的.     

基于有向图的站坪控制仿真建模技术研究

站坪控制是民航机场运营的关键和薄弱环节,也是一个非常复杂的生产调度过程.本文对站坪控制过程进行了分析,将其分解为若干种活动和事件,以及一系列相关约束条件,然后以有向图作为数学工具,建立了仿真模型,并结合面向对象技术探讨了仿真过程的实现策略.     

基于灰色系统预测直升机航迹的研究

 反直升机智能雷对直升机航迹的预测在作战中非常重要,但在数据非常有限的情况下,准确地预测又很困难。提出了用灰色系统理论解决直升机航迹预测问题,建立了灰色系统 GM预测模型和 n次累加残差模型并对GM预测模型进行修正。在每个采样期间内,实时在线建立GM预测模型和残差模型以提高预测精度。通过实例计算能看出用较少的探测数据可以得到较高的预测精度。     

获取自由飞模型气动导数的综合飞行试验研究

过去已进行过多个机种的自由飞模型大迎角特性试验，但均为单一项目的试验，现介绍了将获取放宽静稳定度特性和气动导数两个项目综合于一个自由飞模型飞行试验项目中的情况，用脉冲升降舵激发起模型的纵向短周期运动，用参数辩识方法获取气动导数，试验结果表明这种方法是可行的，为从事本专业及相关专业的科研人员提供了参考。     

级联三能级原子系统的量子特征

运用油松分布的性质和二元泰勒级数展开方法，研究了初始处于下能级的级联三能级ＪＣ模型中的原子与两个初始相于辐射场的相互作用，得到了原子能级算符、光子数和偶极矩算符的平均值的近似解析解，与前人数值结果相比，更加明确地反映了系统的量子效应。     

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

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

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

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

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

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

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

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