跑道侵入是机场场面运行中目前影响飞行安全的重要问题。根据此问题提出了一种跑道侵入风险分析的新方法,采用多agent建模理论,建立本体agent跑道侵入风险分析模型。针对跑道侵入事故中典型的场景,利用基于时态逻辑的LEADSTO(Language a...跑道侵入是机场场面运行中目前影响飞行安全的重要问题。根据此问题提出了一种跑道侵入风险分析的新方法,采用多agent建模理论,建立本体agent跑道侵入风险分析模型。针对跑道侵入事故中典型的场景,利用基于时态逻辑的LEADSTO(Language and Environment for Analysis of Dynamics by Simula Ti On)语言实现了事故发生过程的仿真。实验结果和理论分析说明了时态逻辑建模风险分析方法的有效性。规范飞行员或管制员行为和警觉性可以避免事故发生。与传统方法对比,本方法能对动态系统仿真,在时态性和复杂程度上具有一定的优势。展开更多
为了研究管制员的压力产生过程,采取有效措施缓解管制员的压力,首先对管制员压力问题进行分析,通过查阅资料及调研总结出管制员职业特点及其压力源分类及影响,进而基于BODY-LOOP理论采用逻辑建模语言LEADSTO(Language and Environment f...为了研究管制员的压力产生过程,采取有效措施缓解管制员的压力,首先对管制员压力问题进行分析,通过查阅资料及调研总结出管制员职业特点及其压力源分类及影响,进而基于BODY-LOOP理论采用逻辑建模语言LEADSTO(Language and Environment for Analysis of Dynamics by SimulaTiOn)建立压力产生模型;根据所建模型,实现压力产生模型的仿真,揭示动态的复杂过程中各个环节的变化规律。通过形式化分析,提出了在压力产生过程中不同层次之间的逻辑关系,为研究管制员压力提供了理论依据。研究结果表明:与传统方法对比,本方法能对动态系统进行仿真,在时态性和复杂程度上具有一定的优势,及时发现管制员的压力变化过程,为避免因管制员压力而产生不安全事件提供参考依据。展开更多
文摘跑道侵入是机场场面运行中目前影响飞行安全的重要问题。根据此问题提出了一种跑道侵入风险分析的新方法,采用多agent建模理论,建立本体agent跑道侵入风险分析模型。针对跑道侵入事故中典型的场景,利用基于时态逻辑的LEADSTO(Language and Environment for Analysis of Dynamics by Simula Ti On)语言实现了事故发生过程的仿真。实验结果和理论分析说明了时态逻辑建模风险分析方法的有效性。规范飞行员或管制员行为和警觉性可以避免事故发生。与传统方法对比,本方法能对动态系统仿真,在时态性和复杂程度上具有一定的优势。
文摘为了研究管制员的压力产生过程,采取有效措施缓解管制员的压力,首先对管制员压力问题进行分析,通过查阅资料及调研总结出管制员职业特点及其压力源分类及影响,进而基于BODY-LOOP理论采用逻辑建模语言LEADSTO(Language and Environment for Analysis of Dynamics by SimulaTiOn)建立压力产生模型;根据所建模型,实现压力产生模型的仿真,揭示动态的复杂过程中各个环节的变化规律。通过形式化分析,提出了在压力产生过程中不同层次之间的逻辑关系,为研究管制员压力提供了理论依据。研究结果表明:与传统方法对比,本方法能对动态系统进行仿真,在时态性和复杂程度上具有一定的优势,及时发现管制员的压力变化过程,为避免因管制员压力而产生不安全事件提供参考依据。
