禁止弧及库所不变Petri网航空终端区入侵检测  

Detection of Terminal Intrusion Based on Petri Network with Forbidden Arc and Place Invariant

作　　者：斯进[1] 卢涤非[1] 袁莹 

机构地区：[1]浙江警察学院计算机与信息技术系,杭州310053

出　　处：《控制工程》2017年第9期1781-1785,共5页Control Engineering of China

基　　金：浙江省中青年学科带头人学术攀登项目(pd2013435);浙江省教育厅(Y201430818)

摘　　要：在终端区入侵检测应用中,因其结构较为复杂,且航空器的运行数量较多,存在防御冲突危险,研究影响航空安全,对此基于禁止弧及库所不变Petri网框架构建终端入侵检测方案。首先,对终端区的航空运行结构进行分析,基于Petri网模型框架构建终端区的约束模型,并以此作为终端入侵检测基础;然后,利用所构建的终端区航空约束模型,利用禁止弧及库所不变原理,建立终端区入侵检测控制策略,并基于变迁使能对航空指令进行控制决策;最后,通过在实际案例中的实验分析表明,所提终端入侵检测方案能有效处理终端入侵检测问题,并可有效降低管制员工作负荷。In the application of terminal area intrusion detection, because of its complicated structure, and operation of aircraft in larger quantities, there is risk of defense confrontation, which effects the aviation safety, so the detection of the terminal intrusion based on Petri network with forbidden arc and place invariant is proposed here. Firstly, the structure of the terminal area is analyzed, and based on the Petri net model framework, the constraint model of the terminal area is built, which is to be the basis for the end of terminal intrusion detection; Then, the constructed restraint model of terminal area aviation is used, also with the banning arc and pool invariance principle, the terminal area intrusion detection and control strategy are established and based on the change enable control the decision of aviation instruction; Finally, the experimental analysis of the actual case shows that the terminal intrusion detection scheme can effectively deal with terminal intrusion detection, and can effectively reduce the workload.

关 键 词：禁止弧 库所不变 PETRI网 入侵检测 

分 类 号：TP277[自动化与计算机技术—检测技术与自动化装置]