离散事件系统下基于模型诊断方法的若干问题研究

发布时间：2021-04-14 11:27

　　在离散事件系统环境下，研究基于模型诊断问题。主要包括离线过程中的可诊断性判定及诊断编译；在线诊断方法及诊断确认以及在不同条件下的诊断方法三类。在可诊断判定方法中，提出用逆向编译方法对模型进行编译，将可能发生故障进行预先判断，并且模拟在线过程判断可诊断性，在判断过程中通过剪枝提高效率。提出离线过程中判断故障可诊断性及故障集合可诊断性的方法，并研究该类可诊断性的性质。研究在不完备模型中的可诊断性判断问题及诊断问题，在从物理系统到逻辑系统映射不完全的一类不完备模型上，提出对这类不完备模型的可诊断性判定方法，并进行诊断。通过在线的诊断判断不完备事件的出现，并根据时序将不完备模型添加到模型中，增量地判断可诊断性，或进一步得到诊断结果。提出一种增量的诊断方法，通过加入概率来选择增量诊断中的候选诊断，同时提出一种带有回溯的增量诊断方法，进一步提高增量诊断效率。并充分利用每一次增量诊断的结果。 

【文章来源】：吉林大学吉林省 211工程院校 985工程院校 教育部直属院校

【文章页数】：116 页

【学位级别】：博士

【部分图文】：

诊断基本原理

从物理系统到模型物理系统指的是目标系统、待建模系统，而模型指的是能够被逻辑或计算机接描述。物理系统中具有不同特性的部件、行为可以被定义为离散事件系统中的。物理系统的实际部件没有被明确表示，而其表现出来的情形可以被描述为模型状态，部件可以改变状态的行为可以被描述为模型中的事件；而依赖时间改变以被描述为特定的时间函数，状态根据时间函数改变；部件的状态被触发而改状态的过程被描述为模型中的转移函数。而系统的具体特性，被描述为模型中定元组或者状态及事件的附加参数。们用一个经典的例子来讨论建模，图 2.1 是三容水箱的简图，

们用自动机来描述一个离散事件系统，将其表达为一个五元组的模1（模型）：离散事件系统的模型是一个五元组[64]中 是有限状态集合; 是有限事件集合，包含空事件 ; 是有限，表示系统从一个状态经某事件触发转移到另外一个状态 ，表示系统从确定的某些状态开始; 是标记状态集合， 是终止状态集合，在线过程中， 表示当前终止状态集合。件集合据其性质可以被分为三个子集[33]:可观测事件集合 ，正常件集合 ，这些事件集合之间是彼此独立的，共同构成事件集合。即， ， 。件集合元素的有限长度序列集合记为 。在轨迹中的事件序列描述能够被模型接受的事件序列被称为语言，是模型中任意一条轨迹上言的集合记为 ， 。在完备离散事件系统中， 表示 的前缀。 是前缀关闭的，这表示 ， ， 的前缀也是语言[44]。 2.2 描述的是一个基本的离散事件系统模型：其中 是状态，

【参考文献】：
期刊论文
[1]不完备模型下的离散事件系统诊断方法[J]. 王晓宇,欧阳丹彤,赵剑.  软件学报. 2012(03)
[2]利用结构信息的故障诊断方法[J]. 栾尚敏,戴国忠.  计算机学报. 2005(05)

博士论文
[1]离散事件系统基于模型诊断的若干问题研究[D]. 赵相福.吉林大学 2009



本文编号：3137234