-
题名一种离散事件系统边界可诊断性验证方法
被引量：1
- 1
-
-
作者
冉宁
李婷婷
张照彦
郝晋渊
-
机构
河北大学电子信息工程学院
河北大学节能技术研发中心
河北大学物联网智能技术研究中心
河北大学中央兰开夏传媒与创意学院
-
出处
《电子测量技术》
北大核心
2022年第8期83-90,共8页
-
基金
国家自然科学基金(61903119)
河北省高等学校科学技术研究项目(BJ2021008)
+5 种基金
河北省引进留学人员资助项目(C20190319)
河北省高等学校人文社会科学研究项目(SY202106)
河北省人力资源社会保障课题(JRS-2020-3025)
河北省社会科学发展研究课题(20210301141)
保定市文化艺术科学规划项目(BWGY044)
2021年度河北大学高校思想政治理论课研究专项资助。
-
文摘
针对有效验证离散事件系统故障后是否具有可诊断性问题,设计了一种基于Petri网的边界可诊断性的验证方法。首先,根据Petri网的结构特性,提出了显示可达图的概念及其构建算法;其次,提出了一种基于显示可达图的验证器及其构造算法,分析系统故障发生后是否具有可诊断性以及计算满足系统可诊断性的边界值;最后,通过实例对所设计的方法进行验证。实验结果表明,设计方法可以有效验证系统故障后是否具有可诊断性并计算系统满足可诊断性的边界值,计算过程较为简单,对实际工业应用中离散事件系统故障可诊断性问题具有借鉴意义。
-
关键词
离散事件系统
PETRI网
故障诊断
边界可诊断性
-
Keywords
discrete event system
Petri net
fault diagnosis
boundary diagnosability
-
分类号
TP11
[自动化与计算机技术—控制理论与控制工程]
TN0
[电子电信—物理电子学]
-
