典型文献
一种离散事件系统边界可诊断性验证方法
文献摘要:
针对有效验证离散事件系统故障后是否具有可诊断性问题,设计了一种基于Petri网的边界可诊断性的验证方法.首先,根据Petri网的结构特性,提出了显示可达图的概念及其构建算法;其次,提出了一种基于显示可达图的验证器及其构造算法,分析系统故障发生后是否具有可诊断性以及计算满足系统可诊断性的边界值;最后,通过实例对所设计的方法进行验证.实验结果表明,设计方法可以有效验证系统故障后是否具有可诊断性并计算系统满足可诊断性的边界值,计算过程较为简单,对实际工业应用中离散事件系统故障可诊断性问题具有借鉴意义.
文献关键词:
离散事件系统;Petri网;故障诊断;边界可诊断性
中图分类号:
作者姓名:
冉宁;李婷婷;张照彦;郝晋渊
作者机构:
河北大学电子信息工程学院 保定071002;河北大学节能技术研发中心 保定071002;河北大学物联网智能技术研究中心 保定071002;河北大学中央兰开夏传媒与创意学院 保定071002
文献出处:
引用格式:
[1]冉宁;李婷婷;张照彦;郝晋渊-.一种离散事件系统边界可诊断性验证方法)[J].电子测量技术,2022(08):83-90
A类:
边界可诊断性
B类:
离散事件系统,系统边界,验证方法,有效验证,系统故障,Petri,结构特性,构造算法,边界值,验证系统,计算系统,较为简单,工业应用,故障可诊断性
AB值:
0.199308
机标中图分类号,由域田数据科技根据网络公开资料自动分析生成,仅供学习研究参考。