论文部分内容阅读
跑道侵入是机场场面运行中目前影响飞行安全的重要问题。根据此问题提出了一种跑道侵入风险分析的新方法,采用多agent建模理论,建立本体agent跑道侵入风险分析模型。针对跑道侵入事故中典型的场景,利用基于时态逻辑的LEADSTO(Language and Environment for Analysis of Dynamics by Simula Ti On)语言实现了事故发生过程的仿真。实验结果和理论分析说明了时态逻辑建模风险分析方法的有效性。规范飞行员或管制员行为和警觉性可以避免事故发生。与传统方