基于状态图的航天器测试用例设计

为进一步提高航天器测试效率和测试覆盖性,提出了一种基于状态图的航天器测试用例设计方法,以状态图模型作为测试用例设计的依据,通过模型覆盖准则,由算法生成测试用例,并以自主热控功能的测试为例,对新方法进行了可行性验证,给出了原始用例和新用例的比较结果。该方法有利于准确衡量测试用例覆盖率,缩短用例设计时间,可为工程应用提供参考。     

基于Simulink的无人机自主飞行全程仿真研究

研究在Simulink下进行无人机自主飞行全程仿真的方案,用Aerospace模块建立无人机的非线性数学模型,以Simulink的使能模块构造内回路控制律,Stateflow实现外回路的制导、导航模块,并使用仪表模块和虚拟现实模块实现实时监控,可以搭建出完全基于Simulink的模型,能够实现控制律和控制策略的仿真验证。无人机的多模态仿真结果说明Matlab/Simulink下实现飞行控制全程仿真的有效性。     

基于Stateflow的自动飞行模式转换逻辑研究

现代民用飞机的自动飞行模式有很多种，且各模式间相互关联和影响，容易造成模式转换的混乱。为解决模式转换的混乱问题，对自动飞行模式转换逻辑进行了研究，分别梳理了飞行指引、自动驾驶仪以及横向和纵向模式转换关系。利用Stateflow搭建了自动飞行各功能的模式转换模型，同时利用Matlab的GUI搭建仿真的飞行控制板和自动飞行模式显示界面，模拟仿真飞机的自动飞行模式转换功能。最后通过预期的模式转换矩阵的方式验证平台中模式转换的正确性。