科研之友
微信
新浪微博
Facebook
分享链接
摘要
为实现空客320飞行仿真中的飞行方式指示器(Flight Mode Annunciator, FMA)仿真，面向离散事件系统，提出一种基于二阶谓词/变迁网的建模方法，并对FMA建模及仿真验证。分析FMA系统功能特点，确定其可用谓词/变迁网建模，但FMA每当飞行方式改变时附带的白色方框提示使传统谓词/变迁网模型繁杂而难以实现。为简化系统模型，在谓词/变迁网的基础上提出继发网，以此为基础定义了适用于离散事件系统的通用型二阶谓词/变迁网，以FMA为例进行了建模及仿真验证。实验结果表明，二阶谓词/变迁网解决了离散事件系统建模时“系统中每一次状态更新都会激活同一个新事件”带来的传统谓词/变迁网模型结构复杂问题，实现了空客320飞行仿真中的FMA仿真。
-
单位自动化学院; 中国民航大学
