|
|||||
|
|
| 分布式离散事件系统的安全可诊断性算法 | |
| 作者姓名： | 欧阳丹彤 罗知雨 耿雪娜 张立明 |
| 作者单位： | 1. 吉林大学 计算机科学与技术学院, 符号计算与知识工程教育部重点实验室, 长春 130012;2. 长春理工大学 计算机科学与技术学院, 长春 130022 |
| 摘 要： | 采用有限状态自动机对分布式离散事件系统建模, 提出一种分布式离散事件系统的安全可诊断性算法. 首先, 获得系统的全局模型, 剪枝并确定系统是否可诊断. 若系统可诊断, 则构建该系统的安全诊断器, 在全局模型中添加安全标签, 判断系统是否安全可诊断. 实验结果表明: 该算法可判断分布式离散事件系统是否安全可诊断, 缩小了求解空间; 最好情况下实例状态数约缩减至7倍, 平均情况下实例状态数约缩减5.45倍. |
| 关 键 词： | 故障诊断 诊断器 分布式离散事件系统 安全 |
| 收稿时间： | 2017-12-11 |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《吉林大学学报(理学版)》浏览原始摘要信息 | |
| 点击此处可从《吉林大学学报(理学版)》下载全文 | |