论文部分内容阅读
在终端区入侵检测应用中,因其结构较为复杂,且航空器的运行数量较多,存在防御冲突危险,研究影响航空安全,对此基于禁止弧及库所不变Petri网框架构建终端入侵检测方案。首先,对终端区的航空运行结构进行分析,基于Petri网模型框架构建终端区的约束模型,并以此作为终端入侵检测基础;然后,利用所构建的终端区航空约束模型,利用禁止弧及库所不变原理,建立终端区入侵检测控制策略,并基于变迁使能对航空指令进行控制决策;最后,通过在实际案例中的实验分析表明,所提终端入侵检测方案能有效处理终端入侵检测问题,并可有效降低管制员工作负荷。
In the terminal area intrusion detection application, because of its complex structure and large number of aircraft operations, there is a risk of conflict prevention and impact on aviation safety. Based on the Prohibition Arc and Library Petri Nets framework, a terminal intrusion detection scheme . First of all, this paper analyzes the aviation operation structure in the terminal area and constructs the constraint model of the terminal area based on the Petri net model framework, which is used as the basis of the terminal intrusion detection. Then, by using the terminal constraint model of the terminal area, The principle of invariableness is established, and the terminal area intrusion detection control strategy is established. Based on the changes, the aeronautical instruction control decision is made. Finally, the experimental analysis shows that the terminal intrusion detection scheme can effectively deal with the terminal intrusion detection problem , And can effectively reduce the workload of controllers.