在建立飞机维修仿真中的系统模型时，针对飞机系统中航线可更换组件(LRU)之间的逻辑关系难以表达并伴随多余度系统的问题，提出一种基于扩展可达矩阵的系统建模方法，并通过组件AGENT化的方法，表达了组件在系统中的逻辑和组件状态改变对系统工作逻辑的影响。该方法能抽象飞机系统逻辑，并转化为计算机可实现的对象。通过分析可达矩阵，可明确信号传递与受维修行为所关联的组件。最后，通过构建自动飞行系统(AFS)的逻辑功能模型验证了该方法的可行性。
飞机仿真系统 余度系统 可达矩阵 aircraft simulation system redundancy system reachability matrix AGENT AGENT
