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

• 作者: 卢涤非 斯进 袁莹
• 来源期刊: 控制工程
• 学科: 工学
• 关键词: 禁止弧 库所不变 petri网 入侵检测
• 年，卷（期）: 2017,（9）
• 所属期刊栏目: 智能控制技术及应用
• 页码范围: 1781-1785
• 页数: 5页
• 分类号: TP277
• 字数: 5126字
• 语种: 中文
• DOI: 10.14107/j.cnki.kzgc.150450

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	卢涤非	浙江警察学院计算机与信息技术系	11	38	4.0	6.0
2	斯进	浙江警察学院计算机与信息技术系	16	113	6.0	10.0
3	袁莹	浙江警察学院计算机与信息技术系	4	2	1.0	1.0