摘要
空中交通管制系统是生产实际中的一种典型的离散事件动态系统 (Discrete event dynam icsystem,DEDS) ,而 Petri网理论是研究 DEDS的有力工具之一。为了描述空中交通管制系统受到外部控制的交互机制及层次结构 ,文中引入 Petri网概念的一类扩充——开放 Petri网的概念 ,并用开放 Petri网对空中交通管制辅助决策系统进行建模与分析 ,阐述了空中交通管制辅助决策系统的开放 Petri网控制器 ,给出了空中交通管制辅助决策系统的组成、功能和工作过程 ,以及采用人机交互进行仿真和验证 ,最后提出了有待于更深入研究的设想 。
Air traffic control system is a typical discrete event dynamic system (DEDS) in practice, while Petri net theory is widely used to study DEDS as a powerful tool. To describe interactive mechanism and arrangement structure of the external control in air traffic control systems, this paper introduces the conception of open Petri net by expanding Petri net theory. And a model of air traffic control subsidiary decision system is developed and analyzed on the basis of the open Petri net. The open Petri net controller of the air traffic control subsidiary decision system is described and the composition, the function and the working process of the controller are also discussed, which then are simulated and validated through interaction between man machine. Finally this paper puts forward some suggestions on more thorough research to realize air traffic control and management integration.
出处
《南京航空航天大学学报》
CAS
CSCD
北大核心
2000年第2期206-211,共6页
Journal of Nanjing University of Aeronautics & Astronautics
基金
国家自然科学基金 !(编号 :79870 0 32 )资助项目
