基于跑道侵入场景仿真的危险分析方法
发布时间：2019-02-12 15:07
【摘要】：为刻画跑道侵入场景的动态过程,规范不安全事件危险分析流程,提出基于多agent仿真和形式化推理的危险分析方法。通过总结时态逻辑方法特征,建立一种典型跑道侵入场景的多agent形式化模型,并给出场景形式化规则属性。选取真实跑道侵入案例,建立不安全事件仿真模型,实现事件的时态逻辑仿真,生成动态轨迹,并结合场景规则属性进行形式化推理分析。试验结果表明,跑道侵入场景仿真能使分析者从具体操作层面理清不安全事件发生的逻辑过程,规范化形式推理分析能识别出诱发不安全事件发生的危险要素。
[Abstract]:In order to describe the dynamic process of runway intrusion scene and standardize the flow of unsafe event hazard analysis, a hazard analysis method based on multiple agent simulation and formal reasoning is proposed. By summarizing the features of temporal logic method, a multi-agent formal model of a typical runway intrusion scene is established, and the attributes of the scene formal rules are given. The real runway intrusion case is selected to establish an unsafe event simulation model to realize the temporal logic simulation of the event and to generate the dynamic trajectory. Then the formal reasoning analysis is carried out with the attributes of the scene rules. The experimental results show that the simulation of runway intrusion scene can make the analyzer clear the logical process of unsafe events from the specific operational level, and the normalized formal reasoning analysis can identify the dangerous elements that induce unsafe events.
【作者单位】： 中国民航大学天津市空管运行规划与安全技术重点实验室;中国民用航空华东地区管理局;
【基金】：空管科研课题(GKG20141003) 中央高校基本科研业务费专项资金资助(3122013P008,3122014D040)
【分类号】：V328
，
本文编号：2420543
[Abstract]:In order to describe the dynamic process of runway intrusion scene and standardize the flow of unsafe event hazard analysis, a hazard analysis method based on multiple agent simulation and formal reasoning is proposed. By summarizing the features of temporal logic method, a multi-agent formal model of a typical runway intrusion scene is established, and the attributes of the scene formal rules are given. The real runway intrusion case is selected to establish an unsafe event simulation model to realize the temporal logic simulation of the event and to generate the dynamic trajectory. Then the formal reasoning analysis is carried out with the attributes of the scene rules. The experimental results show that the simulation of runway intrusion scene can make the analyzer clear the logical process of unsafe events from the specific operational level, and the normalized formal reasoning analysis can identify the dangerous elements that induce unsafe events.
【作者单位】： 中国民航大学天津市空管运行规划与安全技术重点实验室;中国民用航空华东地区管理局;
【基金】：空管科研课题(GKG20141003) 中央高校基本科研业务费专项资金资助(3122013P008,3122014D040)
【分类号】：V328
，
本文编号：2420543
本文链接：https://www.wllwen.com/kejilunwen/hangkongsky/2420543.html
