一种高阶离散事件系统的诊断方法  

Approach of diagnosis of higher-order discrete event systems

作　　者：欧阳丹彤[1,2] 迟晋进 王晓宇[1,2] 赵相福[3] 孟祥宇[1] 

机构地区：[1]吉林大学计算机科学与技术学院,长春130012 [2]符号计算与知识工程教育部重点实验室,长春130012 [3]浙江师范大学数理信息学院,浙江金华321004

出　　处：《吉林大学学报（工学版）》2015年第2期562-568,共7页Journal of Jilin University:Engineering and Technology Edition

基　　金：国家自然科学基金项目(61402196;61272208;61402196;61003101;61170092);中国博士后科学基金项目(2013M541302);吉林省科技发展计划项目基金(20101501;20121805;2014052006TJ)

摘　　要：为了保证诊断结果的正确性及唯一性,提出了高阶离散事件系统的可诊断性定义和可诊断性判定算法。在待诊断系统的诊断过程中,构建了可同时用于可诊断性判定的诊断机,对每个状态编译故障行为,所以不需在每次重构系统行为后遍历全部模型进行故障判断,并且在不影响诊断结果的前提下,根据约束条件对诊断机状态之间的转移进行限制,减少不必要节点的产生。To ensure the correctness and uniqueness of the diagnosis,the definition of diagnosability is presented and an algorithm is proposed to test the diagnosability of Higher-order Discrete Event Systems（HDES）.To diagnose HDES,it is needed to construct a diagnosis engine of HDES,which is also used for testing the diagnosability.The state of diagnosis engine includes sets of faults,thus,it is not necessary to traverse the whole graph to search faults when the behavior has been reconstructed.Furthermore,in the premise of no influence on the diagnosis results,the transition between states is constrained,thus,to avoid the generation of unnecessary nodes.

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

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]