|
|||||
|
|
| 基于时序的离散事件系统的可诊断性 | |
| 作者姓名： | 李占山 陈超 叶寒锋 |
| 作者单位： | 1. 吉林大学符号计算与知识工程教育部重点实验室 长春130012 2. 吉林大学计算机科学与技术学院 长春130012 |
| 基金项目： | 本文家国家自然科学基金项目,吉林省自然科学基金项目,国家教育部博士点专项基金,吉林大学跨学科项目 |
| 摘 要： | 提出一种基于事件之间的时序关系判定可诊断性的方法。首先通过添加通讯事件把全局模型分解成几个局部模型来缩减模型的规模,删除局部模型中的无用路径以降低状态空间;其次利用通讯事件和可观测事件之间的时序关系,对受限局部模型的可诊断性进行判定,得出几个判定性质,然后把这些性质运用到局部模型的可诊断性判定中,以避免同步操作的高复杂性;最后通过实例对可诊断性判定的过程进行分析。 |
| 关 键 词： | 模型分解 受限局部模型 可诊断性 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |