|
|||||
|
|
| 对离散事件系统的共可诊断性验证 | |
| 引用本文： | 李占山,靳志敏,杨凤杰,徐培治.对离散事件系统的共可诊断性验证[J].吉林大学学报(工学版),2013,43(1):123-129. |
| 作者姓名： | 李占山 靳志敏 杨凤杰 徐培治 |
| 作者单位： | 1. 吉林大学符号计算与知识工程教育部重点实验室,长春,130012 2. 吉林大学符号计算与知识工程教育部重点实验室,长春130012;吉林大学计算机科学与技术学院,长春130012 3. 吉林大学计算机科学与技术学院,长春,130012 |
| 基金项目： | 国家自然科学基金项目(60873148,60973089,61170314,61272208);吉林省自然科学基金项目(20071106,20101501,20100185);高等学校博士学科点专项科研基金项目(20100061110031);吉林大学跨学科项目(2009JC038) |
| 摘 要： | 提出了一种验证离散事件系统共可诊断性的多项式算法,算法通过构建一个检验自动机来实现,将故障路径和正常路径提取出来进行对比。另外将传统的共可诊断性划分为两种情况分别处理可以提高算法效率。可分别用于验证系统的F-共可诊断性和NF-共可诊断性。复杂性分析和案例分析表明本文算法的计算复杂度更低。实验验证了本文方法的高效性和有效性。 |
| 关 键 词： | 人工智能 基于模型的诊断 离散事件系统 验证算法 F-共可诊断性 NF-共可诊断性 |
Codiagnosability verification of discrete event systems |
|
| LI Zhan-shan,JIN Zhi-min,YANG Feng-jie,XU Pei-zhi.Codiagnosability verification of discrete event systems[J].Journal of Jilin University:Eng and Technol Ed,2013,43(1):123-129. | |
| Authors: | LI Zhan-shan JIN Zhi-min YANG Feng-jie XU Pei-zhi |
| Affiliation: | 1.Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education,Jilin University,Changchun 130012,China;2.College of Computer Science and Technology,Jilin University,Changchun 130012,China) |
| Abstract: | A polynomial algorithm of codiagnosability verification of discrete event systems was proposed,which can be used to verify F-codiagnosability and NF-codiagnosability of system respectively.Algorithm is achieved by constructing a test automaton which extracts the fault path and the normal path to compare.In addition,the traditional codiagnosability was divided into two case,it can improve the efficiency of the algorithm.Both complexity analysis and case study have shown that our algorithm has more lower computational complexity.The experimental results verify the effectiveness and efficiency of the method. |
| Keywords: | artificial intelligence model-based diagnosis discrete-event system verification algorithm F-codiagnosability NF-codiagnosability |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |