4)通过建立总体的Petri网故障诊断流程,使得基于Petri网故障诊断的过程系统化,可以使诊断清晰简洁;对实际的故障电网诊断,按照所建立的流程步骤,通过MATLAB编程计算,验证了此类模型诊断方法的可行性、有效性。通过在本课题研究过程中的思考,针对本文研究的问题给出了总结与展望。
2 Petri网理论及其在电力系统故障诊断中的应用
Petri网是一种有向加权的网状信息流模型,由事件和条件两个不同类型的节点构成,在这种有向图的基础上对不同的事件布入托肯,即一种表示事件状态信息的一种标记,在一定规则下,当事件之间的条件满足时,事件状态发生变化,以此可以反映出系统的静态和动态的过程。
2。1 Petri网基本理论
2。1。1 Petri网
N=(P,T,F)称为有向网的充分必要条件是[17]:
(2。1)
其中,P和T分别为有向网的库所集和变迁集,他们中的元素分别称为库所和变迁,用p和t表示;F是由p元素和t元素组成的有序偶的集合,也可以称作流关系或弧,表示为(p,t),或者(t,p),表示两种弧的方向相反,;每一个库所存放一种资源,资源的流动由流关系决定;dom(F)是F所含有序网的第一个元素所组成的集合[17],;cod(F)是F所含有序偶的第二个元素的集合[17],。Petri网定义,Petri网是在有序网的基础上添加初始标记和权函数集W组成的一个五元组:。
在Petri网中用托肯来表示库所中所存放的资源,初始标识集表示库所中初始托肯的布入情况;权函数集W表示流关系的约束条件,它表示资源的转移量,缺省表明权值为1。库所是可以存放无限托肯的场所,当建模需要对库所容量进行限制时,增加数组K来表示库所容量的函数集,,此时Petri网表示为一个6元组:
2。1。2 Petri网的推理
1。 推理规则
根据前述反应的静态系统结构,系统的动态行为需要通过托肯的数目变化和变迁点火来体现,有如下变迁点火的条件和规律定义:
1)以(i为变迁t的所有输入库所的编号)表示变迁t的输入库所的托肯数目,当满足关系式(W称为流的权值),那么变迁被称作使能的;
2)只有使能的变迁才能点火。只有当它所代表的事件真实发生,即它满足相关评价函数时;文献综述
3)当某一个变迁使能时且点火时,该变迁的所有输入库所将转移出W(p,t)个托肯,相应的变迁的输出库所中将增加W(p,t)个托肯。
2。 库所标识的产生
1)库所p没有变迁的输入而仅有变迁的输出,那么库所p成为初始库所,p的托肯数由初始给定;
2)库所p仅有变迁输出而没有变迁输入,变迁p称为终止库所,P的托肯数为输入变迁产生的托肯最大值;
3)当库所p既是输入库所又是输出库所时,此时若输入库所与输出库所同时触发点火,则该库所中的托肯数目变化可以由公式表示为:
Petri网的推理过程就是通过初始标识和评价函数,根据点火条件确定点火变迁,使得托肯按照加权弧的约束由输入库所迁移到输出库所,完成一次状态变化;再根据变化后的状态确定下一次的点火变迁,再次点火触发,完成托肯的转移;根据这种规则不断推理,当网络中没有变迁可以触发时,Petri网达到了最终的稳态,追踪所有点火的变迁节点和库所中托肯的分布,就可以的到问题的解。 基于Petri网的电网故障诊断研究(3):http://www.youerw.com/zidonghua/lunwen_97027.html