【摘要】：為刻畫跑道侵入場景的動態(tài)過程,規(guī)范不安全事件危險分析流程,提出基于多agent仿真和形式化推理的危險分析方法。通過總結(jié)時態(tài)邏輯方法特征,建立一種典型跑道侵入場景的多agent形式化模型,并給出場景形式化規(guī)則屬性。選取真實跑道侵入案例,建立不安全事件仿真模型,實現(xiàn)事件的時態(tài)邏輯仿真,生成動態(tài)軌跡,并結(jié)合場景規(guī)則屬性進行形式化推理分析。試驗結(jié)果表明,跑道侵入場景仿真能使分析者從具體操作層面理清不安全事件發(fā)生的邏輯過程,規(guī)范化形式推理分析能識別出誘發(fā)不安全事件發(fā)生的危險要素。
[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.
【作者單位】： 中國民航大學天津市空管運行規(guī)劃與安全技術(shù)重點實驗室;中國民用航空華東地區(qū)管理局;
【基金】：空管科研課題(GKG20141003) 中央高校基本科研業(yè)務(wù)費專項資金資助(3122013P008,3122014D040)
【分類號】：V328
，

本文編號：2420543