基于时序的离散事件系统的可诊断性

摘要：

提出一种基于事件之间的时序关系判定可诊断性的方法.首先通过添加通讯事件把全局模型分解成几个局部模型来缩减模型的规模,删除局部模型中的无用路径以降低状态空间；其次利用通讯事件和可观测事件之间的时序关系,对受限局部模型的可诊断性进行判定,得出几个判定性质,然后把这些性质运用到局部模型的可诊断性判定中,以避免同步操作的高复杂性；最后通过实例对可诊断性判定的过程进行分析.

关键词：模型分解、受限局部模型、可诊断性

所属期刊栏目：39

分类号：TP31(计算技术、计算机技术)

资助基金：本文家国家自然科学基金项目60873148,60973089,61170314;吉林省自然科学基金项目20071106,20101501,20100185;国家教育部博士点专项基金20100061110031;吉林大学跨学科项目2009JC038

在线出版日期：2012-12-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：210-214,251