分布式离散事件系统的安全可诊断性算法

• 作者: 张立明 欧阳丹彤 罗知雨 耿雪娜
• 来源期刊: 吉林大学学报（理学版）
• 学科: 工学
• 关键词: 分布式离散事件系统 安全 诊断器 故障诊断
• 年，卷（期）: 2018,（3）
• 所属期刊栏目: 计算机科学
• 页码范围: 594-600
• 页数: 7页
• 分类号: TP301.6
• 字数: 4322字
• 语种: 中文
• DOI: 10.13413/j.cnki.jdxblxb.2018.03.22

摘要

采用有限状态自动机对分布式离散事件系统建模,提出一种分布式离散事件系统的安全可诊断性算法.首先,获得系统的全局模型,剪枝并确定系统是否可诊断.若系统可诊断,则构建该系统的安全诊断器,在全局模型中添加安全标签,判断系统是否安全可诊断.实验结果表明:该算法可判断分布式离散事件系统是否安全可诊断,缩小了求解空间;最好情况下实例状态数约缩减至7倍,平均情况下实例状态数约缩减5.45倍.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	欧阳丹彤	吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室	108	781	15.0	23.0
2	张立明	吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室	27	139	7.0	10.0
3	耿雪娜	长春理工大学计算机科学与技术学院	2	2	1.0	1.0
4	罗知雨	吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室	1	1	1.0	1.0