作者：黄宝军; 房晓丹; 王洁宁跑道侵入风险分析动态系统
摘要：跑道侵入是机场场面运行中目前影响飞行安全的重要问题。根据此问题提出了一种跑道侵入风险分析的新方法，采用多agent建模理论，建立本体agent跑道侵入风险分析模型，针对跑道侵入事故中典型的场景，利用基于时态逻辑的LEADSTO（Language and Environment for Analysis of Dynamics by Simula TiOn）语言实现了事故发生过程的仿真。实验结果和理论分析说明了时态逻辑建模风险分析方法的有效性。规范飞行员或管制员行为和警觉性可以避免事故发生。与传统方法对比，本方法能对动态系统仿真，在时态性和复杂程度上具有一定的优势。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
