吉林大学学报（理学版）2018，Vol.56Issue(3)：594-600,7.DOI:10.13413/j.cnki.jdxblxb.2018.03.22
分布式离散事件系统的安全可诊断性算法
Algorithm of Safe Diagnosability for Distributed Discrete Event Systems
摘要
Abstract
The finite state automata was used to model distributed discrete event systems ,then we proposed an algorithm of safe diagnosability for distributed discrete event systems .First ,we got the global model of the system ,pruning and determining w hether the given system could be diagnosed or not .If the system could be diagnosed ,the safe-diagnostor of the system was constructed .Then the safe labels were added to the global model to determine whether the system was safe diagnosable or not .The experimental results show that the algorithm can judge whether the distributed discrete event system is safe diagnosable or not ,and the solution space is reduced .The state numbers are approximately reduced by 7 times in the best case ,and the state numbers are approximately reduced by 5 .45 times in the average case .关键词
分布式离散事件系统/安全/诊断器/故障诊断Key words
distributed discrete event system/safe/diagnostor/fault diagnosis分类
信息技术与安全科学引用本文复制引用
欧阳丹彤,罗知雨,耿雪娜,张立明..分布式离散事件系统的安全可诊断性算法[J].吉林大学学报（理学版）,2018,56(3):594-600,7.基金项目
国家自然科学基金(批准号:61672261 （）
61502199 （）
61402196 （）
61373052). （）
