面向人机交互式软件的测试模型建模方法

从测试用例自动生成和自动执行的角度来探讨如何对人机交互软件建立测试模型。采用UML活动图模型来描述软件的人机交互过程。为了能够从活动图模型中生成一组确定的可执行的测试用例，给出了一组规则来细化基于活动图的测试模型所表达的语义，同时也对活动图做了一些扩展，以支持基于模型的测试用例自动生成及其自动执行。给出的建模方法，能够减少某些冗余的测试用例。     

用最优轨迹分析法研究战斗机的敏捷性

利用最优轨迹分析法确定战斗机的敏捷性，并将最优控制问题转换为参数优化问题，由非线性数学规划理论解出参数变化规律。从典型示例飞机分析了不同迎角限制和推力下的控制策略及对功能敏捷性的影响。仿真结果表明，在转弯过程中适当放宽迎角限制和增加推力都能增大转弯速率，缩短转弯时间，从而改善飞机的功能敏捷性。     

飞机穿越微下击暴流风场进场着陆运动特性

应用模糊逻辑建模与辨识的方法建立了微下击暴流模型，利用此模型对A300飞机进场着陆时穿越微下击暴流进行了模拟，分析了低空风切变模型中高度因素的影响，说明了二维模型比一维模型更为优越。结果表明，提出的建模方法能够更好地以映出飞机穿赵微下击暴流的动态特性。通过分析初始高度对飞机穿越微下击暴流动态性能的影响，得出了一些重要的结论，从而对低空风切变危害飞机安全的物理本质有了进一步的认识。     

基于EBA-FLC的飞机急滚机动分支分析与控制

结合扩展分支分析(EBA)和模糊逻辑控制(FLC),提出了一种新的闭环分支控制方法,即EBA-FLC方法,并将其应用于某机动飞机的无侧滑滚转机动研究。揭示了飞机全局非线性动力学特性,实现了无侧滑滚转机动的闭环分支控制,使飞机在大范围内具有期望的动力学特性,改善了飞机无侧滑滚转机动的动态和稳态特性。     

过失速区的一种极限环振荡

本文采用谐波线化方法将飞机过失速区非线性继电器型的升力突变特性线性化,求得近似的简便的解析公式,确定出极限环振荡特性,并分析了产生此极限环振荡的物理原因。计算结果表明,本文采用的近似解析公式求得的结果与简化的非线性纵向扰动运动方程模拟计算结果相一致,同时也与参考文献[1]用图解法和参考文献[2]用数值积分法给出的结果相吻合。     

一种过失速区飞行敏捷性评估方法的研究

在评估过失速机动飞行的敏捷性中，首先建立了具有过失速机动（ＰＳＴ）能力的战斗机Ｆ２的数学模型，对常规战斗机Ｆ１与ＰＳＴ战斗机Ｆ２的空战进行了数值仿真，计算了在两架战斗机中Ｆ２首先攻击时间（ｔ１）和攻击时间范围（ＴＷＩＦＥ）。结果表明，战斗机Ｆ２比Ｆ１更具有空中格斗优势，空战中发动机推力、迎角变化率、操纵规律和离轴发射角（μ０）等因素对战斗机过失速机动敏捷性有一定影响。     

飞行动力学中非线性特性研究

本文介绍了飞机大迎角时的一些重要的非线性现象,综合评述了研究飞机非线性动态特性的各种方法,着重讨论了近年来应用这些方法研究飞机非线性动态特性方面所取得的成果——空气动力和力矩非线性对飞机动态特性的影响,空气动力纵向和横航向交叉耦合对飞机动态特性的影响以及高机动性飞机大迎角时全局稳定性的研究等。     

美国SpaceX超重-星舰首飞分析及对中国航天产业的启示

重复使用运载器研制是航天发展的不懈追求，美国太空探索技术公司（SpaceX）两级完全重复使用运载器超重-星舰实现首次发射，发射阶段圆满，后续飞行失控后执行自毁程序。本文介绍了超重-星舰的首飞情况与方案演进，根据超重-星舰总体方案反演分析其应用模式，梳理了超重-星舰的核心关键技术，总结了超重-星舰对航天产业的影响。最后给出了超重-星舰对中国航天产业发展的启示与建议。