在离散事件系统中寻找诊断路径的方法  

Method of Searching Diagnosis Trajectory in Discrete Event System

作　　者：王晓宇[1,2] 欧阳丹彤[1,2] 赵相福[1,2] 冯宇轩[1,2] 

机构地区：[1]吉林大学计算机科学与技术学院,长春130012 [2]吉林大学符号计算与知识工程教育部重点实验室,长春130012

出　　处：《吉林大学学报（理学版）》2010年第3期439-443,共5页Journal of Jilin University:Science Edition

基　　金：国家自然科学基金重大项目基金(批准号:60496320;60496321);国家自然科学基金(批准号:60973089;60773097;60873148);吉林省科技发展计划项目基金(批准号:20060532;20080107);欧盟合作项目(批准号:155776-EM-1-2009-1-IT-ERAMUN-DUS-ECW-L12)

摘　　要：利用简单的编码理论提出一种在离散事件系统的故障诊断中快速找到诊断路径的方法.该方法通过状态编码,降低了在离散事件系统诊断同步过程中的时间复杂度,消减了诊断路径冗余.能够在给定的观测集合上快速提取诊断路径,更适合实际观测事件较少的系统.在模型完备假设下,除首次根据观测集合进行诊断需要指数级时间外,后续观测诊断时间降低到多项式级.实验验证了方法的有效性.A method of searching diagnosis path in model based diagnosis of discrete events system is proposed by using an easy coding theory. Time-complexity in the synchronization of discrete events system and redundancy trajectory in diagnosis could be reduced via the method of state coding,by which diagnosis trajectory could be extracted more effetely on a given observation set. The method is more suitable for less observation events systems. Based on the assumption of a complete model,except the exponential time needed in the first time running,the following diagnosis time was reduced to polynomial level. The experimental results illustrate the validity,completeness and correctness of the method.

关 键 词：模型故障诊断 离散事件系统 故障传播 

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