一种基于peri网的可靠性分析方法.docxVIP

一种基于peri网的可靠性分析方法 1 基于连通性的网络可靠性测度 可靠性是规划和设计通信网络的性能评价的重要指标。通信网络的可靠性一般包括网络的生存性、抗毁性及有效性等多个方面,涉及到网络通信设备、拓扑结构、通信协议等许多因素。网络的抗毁性表示破坏网络的困难程度,用粘聚度和连通度来测度,用图论算法可以算出;网络的生存性是指网络在随机故障条件下的连通性;而网络的有效性则是基于网络业务性能的可靠性测度。当网络的节点或链路发生故障时,直接导致网络的连通性变坏,以致无论如何进行网络管理,网络的时延、吞吐量等业务性能指标都会下降。由于目前有关网络有效性测度的定义和算法尚不成熟,问题又十分复杂,因此连通性是测度网络可靠度的较为实用可行的评价指标。通常的连通性指标包括:端端可靠度、K端可靠度、全端可靠度。目前关于它的计算已经提出了一些方法,如计算端端可靠度问题的全概率解法、生成树法、Monte-Carlo方法。但是如果网络的维修人员有限而出现资源竞争时,因为这时网络系统的状态变化是一个离散事件动态系统的变化过程,以上算法大都难以应用。一般的Monte-Carlo法也难以建模。Petri网是进行离散事件动态系统建模与仿真分析的有力工具,它可以清晰自然地描述系统中的各种逻辑关系及常见的同步、资源共享、竞争、冲突等现象。但通常的Petri网的描述能力仍然有限,对复杂系统建模时,容易造成状态组合爆炸现象。因此,又提出了有色Petri网(CPN)、随机Petri网(SPN)、面向对象的Petri网(OOPN)等高级Petri网模型,有的模型已用于进行系统可靠性问题的建模与分析,表现出了一定的优越性。但是目前的Petri网模型对故障过程及其影响的描述方面还不自然,特别是对每一故障的发生都引入库所和变迁进行描述,加大了所建模型的关联复杂性。本文吸取了各种OOPN模型的优点并进行了扩展,引入了信息弧、公共库所等新概念,提出了扩展的OOPN模型GOOPN,可以统一处理上述三种连通性可靠性指标的分析,而且能方便地考虑有限维修人资源、维修申请排队及维修优先权等复杂情况。当网络的拓扑及维修资源发生变化时,模型只需改变参数设置,即可使模型方便地进行不同设计或维修方案的比较,为网络系统的可靠性分析提供一种新的途径。 2 挖掘模型 2.1 城市petri网分类 目前的OOPN有几种不同的定义和描述,GOOPN进行的扩展主要是引入了信息弧和公共库所,这是现有的各种OOPN模型中没有定义的。信息弧由库所指向变迁,使得库所Token对变迁的使能产生作用,但在变迁激发时库所不发生Token的迁移消耗,公共库所则允许OOPN中的外部对象对其进行操作。信息弧与公共库所的引入,大大简化了Petri网在可靠性问题建模时的关联结构。此外,GOOPN还具有变迁激发优先权及库所排队规则。这些特点使得GOOPN能适用于复杂系统可靠性问题的建模。下面给出GOOPN的形式化定义。 定义1GOOPN=(P,O,T,F,FMG,FIH,C,W,Π,D,Que,Pr,M0)。 其中P=PL∪PP——库所集;PL——局部库所集;PP——公共库所集;T——变迁集。O={Oi}Ii=1i=1Ι——子GOOPN对象集;OPP={PPi|?Oi∈O}——GOOPN子对象的公共变迁集,P∪O≠,P∩T∩O=,且P,T,O——有限集。F——POPP×T∪T×POPP上的二元关系(称为流关系)。POPP=P∪POPP。FMG:F|POPP×T→{0,1},FMG(p,t)=0时,表示(p,t)为信息弧,FMG(p,t)=1时,表示(p,t)为实体弧(即通常Petri网中的弧)。FIH:F|POPP×T→{0,1},FIH(p,t)=0时,表示(p,t)为禁止弧,FIH(p,t)=1时,表示(p,t)为非禁止弧。F|POPP×T分别表示F在集合POPP上的限制集。C:P∪T→S——颜色函数;S——有限非空集合(颜色集),且C=CP∪CT;Cp(p)?S——库所p的颜色集;CT(t)——变迁t的颜色集。W={Pre,Post}——权函数;Pre:CPOPP×CT→N+——输入函数;Post:CPOPP×CT→N+——输出函数;N+——正整数集。Π:CT→|R0→R|——与每个变迁关联的随机时延分布函数;R0——非负实数集。M:P→|CP→N0|——库所的标识;N0——非负整数集;M0——初始标识。D:CT→[M|POPP→{0,1}],其中[M|POPP→{0,1}]——M|POPP上的布尔条件表达式,M|POPP表示M在POPP上的限制。Que:P→{FIFO,LIFO}——定义在库所集上的排队规则,FIFO表示先入先出,LIFO表示后入先出。Pr:CT→N+——变迁激发优先权函数。 由于上述定义中允许子对象集O为空