基于改进谓词/变迁网的飞行方式指示器模型研究  

THE MODEL OF FLIGHT MODE ANNUNCIATOR BASED ON IMPROVED PREDICATE/TRANSITION NETWORK

作　　者：郝磊 耿宏 Hao Lei;Geng Hong(Basic Experiments Center,Civil Aviation University of China,Tianjin 300300,China;College of Electronic Information and Automation,Civil Aviation University of China,Tianjin 300300,China)

机构地区：[1]中国民航大学基础实验中心,天津300300 [2]中国民航大学电子信息与自动化学院,天津300300

出　　处：《计算机应用与软件》2023年第7期77-84,102,共9页Computer Applications and Software

基　　金：中美绿色航线项目(GH201661279);天津市科技攻关计划重点项目(06YFGZGX00700);中国民用航空局科技项目(MY0517413);中央高校基本科研业务费项目(3122017046);中国民航大学实验技术创新基金项目(2017SYCX05);中国民航大学校级教改项目。

摘　　要：为实现空客320飞行仿真中的飞行方式指示器(Flight Mode Annunciator,FMA)仿真,面向离散事件系统,提出一种基于二阶谓词/变迁网的建模方法,并对FMA建模及仿真验证。分析FMA系统功能特点,确定其可用谓词/变迁网建模,但FMA每当飞行方式改变时附带的白色方框提示使传统谓词/变迁网模型繁杂而难以实现。为简化系统模型,在谓词/变迁网的基础上提出继发网,以此为基础定义了适用于离散事件系统的通用型二阶谓词/变迁网,以FMA为例进行了建模及仿真验证。实验结果表明,二阶谓词/变迁网解决了离散事件系统建模时“系统中每一次状态更新都会激活同一个新事件”带来的传统谓词/变迁网模型结构复杂问题,实现了空客320飞行仿真中的FMA仿真。In order to realize fight mode annunciator(FMA)simulation for Airbus 320 flight simulation,the modeling method based on second-order predicate/transition net is proposed for discrete event system and verified by FMA modeling and simulation.The function of FMA system was analyzed to determine if predicate/transition network modeling method was suit for FMA simulation.But the traditional predicate/transition net model would be complicated and difficult to simulate because of the appearance of“white squares”attached to the changing of fight mode.To simplify the model,the secondary network was proposed based on traditional predicate/transition network.On the basis of this,the improved general second-order predicate/transition network for discrete event system was defined.FMA system was modeled and simulated as a verification.The experimental results show that the second-order predicate/transition network solves the problem of complex structure of traditional predicate/transition network caused by"every new state will activate the same new event"in discrete event system,and realizes FMA simulation for Airbus 320 flight simulation.

关 键 词：飞行方式指示器 飞行仿真 离散事件系统 继发网 谓词/变迁网 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]