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

摘要：

在终端区入侵检测应用中,因其结构较为复杂,且航空器的运行数量较多,存在防御冲突危险,研究影响航空安全,对此基于禁止弧及库所不变Petri网框架构建终端入侵检测方案.首先,对终端区的航空运行结构进行分析,基于Petri网模型框架构建终端区的约束模型,并以此作为终端入侵检测基础;然后,利用所构建的终端区航空约束模型,利用禁止弧及库所不变原理,建立终端区入侵检测控制策略,并基于变迁使能对航空指令进行控制决策;最后,通过在实际案例中的实验分析表明,所提终端入侵检测方案能有效处理终端入侵检测问题,并可有效降低管制员工作负荷.

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

所属期刊栏目：24

分类号：TP277(自动化技术及设备)

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

在线出版日期：2017-10-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1781-1785