分布式离散事件系统的可诊断性判定策略  

Strategy in judging diagnosability of distributed discrete event systems

作　　者：王晓宇[1,2] 欧阳丹彤[1,2] 迟晋进 韩正服[3] 

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

出　　处：《吉林大学学报（工学版）》2015年第5期1541-1549,共9页Journal of Jilin University:Engineering and Technology Edition

基　　金：国家自然科学基金项目(61272208;61133011;61003101;61170092);吉林省科技发展计划项目(20101501;20100185;201101039);高等学校博士学科点专项科研基金项目(20100061110031);浙江省自然科学基金项目(Y1100191)

摘　　要：为了降低通讯可诊断性的计算成本及通讯成本,提出了一种在分布式系统中求解可诊断性的同步策略。通过分布式系统中事件的时序关系,在保证可诊断性不变的前提下,减少同步操作的执行次数,并且化简同步方法,将与可诊断性无关的路径删除,不参与同步。定量讨论了分布式系统的可诊断性,用同步操作及同步成本作为参数,分析了分布式系统结构对可诊断性的影响。A synchronizing strategy of solving the diagnosability in distributed systems is proposed,which is used to reduce the costs of computation and communication.Under the condition of assurance diagnosability,the synchronization operation is decreased and the method is simplified. The trajectories,which are irrelevant with the diagnosability,are deleted,thus,the complexity synchronization operation is reduced due to the absence of these trajectories.The diagnosability of the distributed systems is discussed quantitatively;the synchronization operation and the cost of the synchronization are used as parameters to analyze how the structure of distributed system affects the diagnosability.

关 键 词：人工智能 可诊断性 分布式离散事件系统 同步 

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