首页 | 本学科首页   官方微博 | 高级检索  
     

一种高阶离散事件系统的诊断方法
引用本文:欧阳丹彤,迟晋进,王晓宇,赵相福,孟祥宇.一种高阶离散事件系统的诊断方法[J].吉林大学学报(工学版),2015,45(2).
作者姓名:欧阳丹彤  迟晋进  王晓宇  赵相福  孟祥宇
作者单位:1. 吉林大学计算机科学与技术学院,长春130012;符号计算与知识工程教育部重点实验室,长春130012
2. 浙江师范大学数理信息学院,浙江金华,321004
3. 吉林大学计算机科学与技术学院,长春,130012
摘    要:为了保证诊断结果的正确性及唯一性,提出了高阶离散事件系统的可诊断性定义和可诊断性判定算法。在待诊断系统的诊断过程中,构建了可同时用于可诊断性判定的诊断机,对每个状态编译故障行为,所以不需在每次重构系统行为后遍历全部模型进行故障判断,并且在不影响诊断结果的前提下,根据约束条件对诊断机状态之间的转移进行限制,减少不必要节点的产生。

关 键 词:人工智能  高阶离散事件系统  故障诊断  可诊断性

Approach of diagnosis of higher-order discrete event systems
OUYANG Dan-tong,CHI Jin-jin,WANG Xiao-yu,ZHAO Xiang-fu,MENG Xiang-yu.Approach of diagnosis of higher-order discrete event systems[J].Journal of Jilin University:Eng and Technol Ed,2015,45(2).
Authors:OUYANG Dan-tong  CHI Jin-jin  WANG Xiao-yu  ZHAO Xiang-fu  MENG Xiang-yu
Abstract:
Keywords:artificial intelligence  HDES  fault diagnosis  diagnosability
本文献已被 CNKI 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号