带标签Petri网系统的分散式故障预测

发布时间：2021-09-15 22:01

　　为了应对例如大规模信息物理系统等具有复杂逻辑结构的研究对象中的故障预测问题,本文提出用离散事件系统的方法来对系统的逻辑结构进行建模。然后,针对离散事件系统中的故障预测问题,本文使用带标签的Petri网将其转化为标准的Petri网语言下的故障预测形式。由于大规模信息物理系统通常具有分布式的结构特点,故集总参数下的现有理论,如,故障可预测性等,不能直接套用。为此,本文提出分散式故障预测的概念,并将现有自动机领域的研究成果拓展到了Petri网语言。具体来说,本文研究的是由无界的带标签Petri网模拟的离散事件系统中,分散式的故障预测问题。本文假设系统由一系列的本地代理（预估器）共同监控,每个本地代理都有自己的本地观测,作为一个团队他们协同合作,一起预测系统中可能出现的故障。协同可预测性,作为是否存在一组分散式预估器,使得故障可以不被错报且不被漏报的充分必要条件,本文的主要工作就是在由带标签Petri网模拟的系统中验证这个性质。本文证明了协同可预测性是可判别的,即使系统的Petri网是一个无界网络。特别地,本文提供了一种方法,将协同可预测性的验证问题转化为了可以被有效解决的模型校验问题。同时,... 

【文章来源】：上海交通大学上海市 211工程院校 985工程院校 教育部直属院校

【文章页数】：76 页

【学位级别】：硕士

【部分图文】：

–1棋盘上的随机运动。

信息传输系统中的研究对象通常被称为消息,包裹,或者呼叫请求(比如在电话网络里)。消息一般是由位于某个“信号源”的用户发出,希望能够传达到别的用户所在的“目的地”。大多数情况下,信号的来源与目标之间不是直接联系的,而要通过一个或多个的中间点。为了让信号顺利传输,必须经过许多中继服务器,或者说切换装置,简单的如电路的开关,复杂的如电脑的处理器,又或是传输介质,如无线电等。类似如图2–2所示的排队模型经常被用来描述这类系统的动作。一个信息传输系统的重要特点是其需要一种控制机制,来确保服务器的使用权限公平有效,传输过程的目标能够达到(即,信号成功地送达目的地)。这些控制机制,或者有时称为协议,会相当复杂。因此1,设计与验证这些机制就成为了挑战性的问题。

物料需要经过两个机器,而第二个机器前的缓存容量被限制到了两个。因此,有可能一个工件完成了一号机的加工,却发现二号机正忙而且两个缓存位都已经被占据了。这种情况下,工件就必须留在一号机内,即使已经不需要加工了。同时,其他正在排队准备进入一号机的原料也被迫停留在队列中。本文称这种情况为堵塞。

【参考文献】：
期刊论文
[1]模糊Petri网络知识表示方法及其在变压器故障诊断中的应用[J]. 王建元,纪延超.  中国电机工程学报. 2003(01)
[2]Petri网络在变压器故障诊断中的应用[J]. 王建元,纪延超.  电网技术. 2002(08)
[3]基于冗余嵌入Petri网技术的变电站故障诊断[J]. 赵洪山,米增强,杨奇逊.  电力系统自动化. 2002(04)
[4]动态系统的故障诊断方法综述[J]. 陈玉东,施颂椒,翁正新.  化工自动化及仪表. 2001(03)
[5]模糊推理Petri网及其在故障诊断中的应用[J]. 高梅梅,吴智铭.  自动化学报. 2000(05)



本文编号：3396885