基于Petri网技术的牵引供电系统故障诊断方法.pdfVIP

{：进禳蕊邂蕊遵褥溶㈧黼i鞭撼、㈣i氍㈧；黼渊黼滁㈣㈧㈣；㈧；l}焖凌臻 基于Petri网技术的牵引供电系统故障诊断方法 张伟 郭其一 (同济大学电气工程系，200331上海∥第一作者，硕十研究生) 摘要介绍一种基于P“网的牵引供电系统故障诊断方 Petri的博士论文中提出的，它实际上是一个有向 法．可用于检测节点是否发生故障和判断信号是否准确。培 图。其基本原理是通过三个基本的结构元素：位置 出了应用实例。与传统方法相比，该方法提高了效率和准确 性，更适台干在缦检测。 之间各元素的有机关系。Petri网最初用于计算机 关键词牵引变电所，Pem同．故障诊断 的并行处理。随着Petri网研究的不断深入，它已成 中腰分类号u231+8：TP206+3 为研究离散事件动态系统的一种有力工具。两个成 Pe硼 功的应用领域是性能评价和通信协议，其他有前途 FauItDia印鹏b0ftllelhcti∞su晰ati0II蚰tIleB晒虹0f mbl砒n0Jogy 的应用领域包括分布式数据库系统、故障诊断等。 Zhangwi，【沁Q1蚋 一个PetTl两中位置集用于描述可能的系统局 Abstr雠t on of fault BlsedPet—net，anewmeth。ddet鳅i119 kxadonsInt瑚ctionsubs【ationis酬toc}leck“tchesatnod船 部状态，变迁用于描述修改系统状态的事件，弧是局 部状态和事件之间的关系。在Petri网模型中，标记 and the new judgeaccuracyof《911出Thspap盯∞r埠ar签the methodwilh恤diti。nal the (token)包含在位置中，他们在位置中的状态变化表 waysthIDL】ghapplied味哪pl豁，aIld 示系统的不同状态。如果一个位置描述一个条件， }10}dsthatthisfa血tdi8盯1。s诘is“tablefofo“一1inedetectm effectiven璐andmore wlch№her accur目cy． 它能包含一个标记或不包含标记。当一个标记表现 Keywor出tfactjonsubstatlon，Pe啊netS，hultdlagno萌s 在这个位置中，条件为真，否则为假。如果一个变迁 nrst-蛐thor’saddre孵 ofElec试c Univ， Dept Eng．T嘶i 的所有输入位置(这些位置连接到这个变迁，弧的方 20033l，Shan妇i，china 向从位置到变迁)至少包含一个标记，那么这个变迁 可能实施(相联系的事件可能发生)。 城市轨道交通采用直流供电制式，供电电压在 定义1【3J： 550～1500 v之间，对于直接从系统高压电网获得 一个三元组Ⅳ=(s，_r；F)是一个Petri网，当 电力的城市轨道交通供电系统，往往需要再设置一 且仅当：