计算无线通信网络2_终点可靠性的快速算法

  • 格式:pdf
  • 大小:254.39 KB
  • 文档页数:4

收稿日期:2003-07-10;修订日期:2003-09-16 基金项目:国家自然科学基金资助项目(69973011) 作者简介:高飞(1968-),男,辽宁铁岭人,讲师,博士研究生,主要研究方向:网络容错分析; 王光兴(1937-),男,辽宁沈阳人,教授,博士生导师,主要研究方向:网络管理系统、网络容错系统; 阎家斌(1964-),男,辽宁沈阳人,副教授,主要研究方向:数值分析.文章编号:1001-9081(2004)01-0025-03计算无线通信网络22终点可靠性的快速算法高 飞1,王光兴1,阎家斌2(东北大学信息科学与工程学院,辽宁沈阳110003; 2.东北大学数学系,辽宁沈阳110003)(gaofei1968@ )摘 要:提出计算无线通信网络从源点到汇点(ST )可靠性的一个新拓扑公式。

该公式本质上是将容斥原理公式和不交和公式融合在一起,公式中各项和网络的一类特殊子网络一一对应,与相应的Satyanarayanna 公式比较,该公式包含更少的项和更少的算术运算。

提出一个计算从网络源点到汇点(ST )可靠性算法。

这个算法本质上是通过系统地枚举网络的一类特殊子网络而计算其ST 可靠性或生成可靠性表达式。

由于所需枚举的子网络数量小于相应的Satyanarayanna 算法需枚举的子网络数量,因此新算法性能优于Satyanarayanna 算法。

最后通过一个具体例子说明了这个结论。

关键词:算法;可靠性;可靠性表达式;容斥原理;无线通信网络中图分类号:TP393.04;TP302.7 文献标识码:AA R apid Algorithm for Computing STR eliability of R adio 2communication N et worksG AO Fei 1,WAN G Guang 2xing 1,YAN Jia 2bin 2(1.School of Inf orm ation Science and Technology ,Northeastern U niversity ,S henyang L iaoning 110003,China ;2.Depart ment of M aths ,Northeastern U niversity ,S henyang L iaoning 110003,China )Abstract :A new topological formula for computing ST reliability of radio 2communication networks (RCN )from sources to terminals is bining Inclusion Exclusion principle with disjoint sum of products formula ,the new formula contains terms which corres pond one by one to a class of special subnetworks.For a given network ,terms of the new formula are fewer than those corres ponding Satyaranayanna formula.An algorithm for computing ST reliability is presented.It com 2putes ST reliability or produces a ST reliability expression by enumerating a class of special subnetworks of given networks.Because the number of this class of subnetworks needed to be enumerated is relativel y small ,the new algorithm πs performance is better than Satyaranayanna πs algorithm.Finally an example illustrates the conclusion.K ey w ords :algorithm ;reliability ;reliability expression ;inclusion exclusion principle ;radio 2communication network1 引言无线通信网络不仅价格便宜,而且适合某些特殊场合,例如:移动通信网络、自组网及数据采集系统等,其可靠性问题已经引起人们的重视。

在文献[1]中提出一个概率无向图模型,并且证明了计算RCN 的K 2终点可靠性是NP 2难问题,提出一个计算RCN 的22终点可靠性的近似算法。

对于一些特殊的RCN 也被研究[2,3],在文献[4]中给出了K 2终点可靠性的因子分解算法。

文献[6]是网络可靠性的研究的重大突破,对此网络可靠性学者已经取得了共识[7]。

在文献[6]中提出了P 无圈子图的概念,使得计算网络的ST 可靠性最终归结为枚举网络中所有P 无圈子图。

后来Satyanarayanna 等人将上述思想推广到计算SA T 和SKT 可靠性[7,8]。

文献[5]改进了文献[6]的结果,提出了adp 无圈子图的概念,使得网络的ST 可靠性计算归结为网络中所有adp 无圈子图枚举,因为adp 无圈子图是一类特殊的P 无圈子图,一般地说,给定一个网络,其adp 无圈子图的数量远远小于P 无圈子图的数量。

本文考虑的RCN 网络可用一概率有向图G (V ,E )表示,其结点有两种状态运行和失效,边可靠,结点失效概率已知且相互独立,V 中有两个特殊结点s 和t ,RCN22可靠性是指s 能传送信息到达t 的概率。

由于并行边在RCN 中并不起作用,因此为了讨论方便假定RCN 中无并行边。

容斥原理是解决有线网络可靠性的有效方法,该原理对于RCN 同样成立。

在本文中提出了最简路概念,给出一个计算有向RCN 的ST 可靠性的拓扑公式,根据该拓扑公式给出了一个计算RCN 的22终点可靠性的快速算法。

2 定义、符号2.1 定义P ij :一条从i 到j 的路。

最简路S P ij :一条从i 到j 的路,且路上所有结点集合没有子集可以组成P ij 。

P 图:图G 每条弧至少在它的一条从源点s 到汇点t 的S P 路上。

第24卷第1期2004年1月计算机应用Computer ApplicationsVol.24,No.1Jan.,2004P无圈子图:一个子图它是P图且不含圈。

中性序列(Neutral Sequence):由点和边所组成的交替序列,且它的每个内部结点出度与入度正好等于1,且一个P图删去它后仍是一个P图。

并行路:(u,v)是G的一条边,P uv是不为(u,v)的从u 到v的一条路,则称P uv为(u,v)的并行路。

极大P子图:设st路生成的子图为G,若有从s到t的路且该路包含的S P路不在G上,则添加该S P路不在G上的所有边到G上,将所有这样的S P路添加到G上。

这样生成的图称G的极大P子图。

构型:若干st路生成G(V,E)的子图G i,则称以这些路为元素的集合为G i的一个构型。

asp无圈子图:不含特定路集合D中任一路的P无圈子图。

2.2 记号G(V,E):RCN网络,其结点集合为V,边集合为E。

G(V,E)是一个有向概率图,即具有源点S及汇点T有向图,每条弧至少在其一S P路上,且其每个结点正常工作概率已知且相互独立。

s,t:分别表示G的源点和汇点。

A+B(A・B):事件A与事件B的并(交)。

A:表示事件A的补。

m:表示G的最简路的数量。

K P:表示路P上的结点集合。

x i(x i):表示结点x的状态为运行(失效)。

p i:结点v i的工作概率或可靠性。

R(G):表示RCN的22终点可靠性。

3 求RCN22终点可靠性的拓扑公式考虑一RCN网络G(V,E),V=(1,2,……n)和E= (x1,x2,…,x e)为G的结点集合和边集合,n=|V|,e=|E |。

p i表示结点的运行概率,q i=1-p i表示结点失效概率。

网络RCN22终点可靠性的定义为[1]:R(G)=RCN中至少有一从s到t路每个结点均运行的概率=Pr(∑P i)(1)公式(1)中P i=1,2,…,n p,为图G的第i个st路,n p为路的数目,Pr(・)表示概率。

根据布尔代数公理Pr(x+xy)=Pr(x)可知,若P不是最简路,则P的结点集合K P有子集合设为K S P构成最简路S P,Pr(P+S P)=Pr(K S P∪K P)=Pr(K S P)=Pr(S P)。

因此有:定理1:R(G)=Pr(∑S P i)i=1,2,…,m,m为S P路数目。

定理2:S P为st最简路,则为其结点集合K S P所唯一确定。

证明:S P的路长|S P|=|K S P|-1=t,设S P= sw1w2…w t-1t,由于RCN中无并行边,若S P不唯一,设另一S P2路为:w i1,w i2,…,w it-1。

与S P相比在S P2中至少有一结点前移,设为w i,w i的父亲为w t,j<i-1,在G中w i与w j 相邻,那么sw1w2…w j w i w i+1…w t-1t是一P st路。

且其长度小于|Y|-1,这与S P是最简路相矛盾,因此S P为K S P所唯一确定。

定理3:网络G的所有路是都是S P路的充要条件是G的任意一条边都没有并行路。

证明:G若有一条边(u,v)并行路P uv,设P=s…(u, v)…t,则s…P uv…t是G的一条非S P路,因此网络G的所有路是都是S P路则G的任意一条边都没有并行路。

G若有非S P路P,则一定有一S P路,其结点是P的子集,设u是P和S P第一个分开的结点,v是S P上的u的接入点,由于v是P上的结点,因此P上的P uv路是边(u,v)的并行路,所以G的任意一条边都没有并行路则网络G的所有路是都是S P路。

根据容斥原理可知:R(G)=∑m i=1P(S P i)-∑i<j P(S P i)P(S P j)+…+ (-1)k+1P(S P i1)…P(S P ik)+…+(-1)m+1P(S P i1)…P(S P im)共计2m项,这里有许多重复的子图,由于边是永远正常工作的,所有子图只与点有关,所以添加边不影响结果,因此我们把所有子图均变成极大P子图,合并相同的极大P子图,得到如下公式:R(G)=∑d i Pr(G i)(2)引理1:网络G的可靠性为R(G)=∑d i Pr(G i),为G 的P子图,d i=(-1)n i+e i+1。