基于时序的离散事件系统的可诊断性

• 作者: 叶寒锋 李占山 陈超
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 模型分解 受限局部模型 可诊断性
• 年，卷（期）: 2012,（8）
• 所属期刊栏目: 人工智能
• 页码范围: 210-214,251
• 分类号: TP31
• 字数: 8811字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.08.045

摘要

提出一种基于事件之间的时序关系判定可诊断性的方法.首先通过添加通讯事件把全局模型分解成几个局部模型来缩减模型的规模,删除局部模型中的无用路径以降低状态空间；其次利用通讯事件和可观测事件之间的时序关系,对受限局部模型的可诊断性进行判定,得出几个判定性质,然后把这些性质运用到局部模型的可诊断性判定中,以避免同步操作的高复杂性；最后通过实例对可诊断性判定的过程进行分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李占山	吉林大学符号计算与知识工程教育部重点实验室	43	234	7.0	13.0
2	陈超	吉林大学计算机科学与技术学院	38	106	5.0	9.0
3	叶寒锋	吉林大学符号计算与知识工程教育部重点实验室	2	11	2.0	2.0