基于元胞自动机的复杂系统可用性确定方法
【专利摘要】基于元胞自动机的复杂系统可用性确定方法，首先依据复杂网络系统各部分之间结构关系和功能关系建立网络系统模型，然后确定网络节点的可靠性参数，最后用元胞自动机算法和蒙特卡罗仿真对复杂网络系统可用性进行确定。本发明与传统的可用性评价方法相比，元胞自动机不存在组合爆炸和无法求解的问题，且能进行平行计算，大大减少了计算量，提升了计算的效率，从而能对大型复杂的网络系统进行可用性确定，为我国大型复杂网络系统的研制建设提供重要的专业技术支持。
【专利说明】基于元胞自动机的复杂系统可用性确定方法
【技术领域】
[0001]本发明涉及基于元胞自动机的复杂系统可用性确定方法，属于复杂网络系统可靠性【技术领域】。
【背景技术】
[0002]工程中实际系统除了串联系统、并联系统、k/N系统等典型系统外，还有很多典型结构无法表示的大型复杂网络系统。例如卫星通信网络系统、电路网络系统、计算机网络系统等。
[0003]利用传统的方法进行网络系统可用性分析评价时都面临着无法求解的问题，因此一般仅局限于求解小规模网络或具有特殊拓扑结构的网络。利用最小路集和最小割集方法计算网络系统的可靠性时，网络系统结构复杂度的增加会导致求解可靠性的多项式项数急剧增加，产生组合爆炸问题，即使是大型计算机也难以胜任计算工作。
【发明内容】
[0004]本发明的技术解决问题是:克服现有技术的不足，提供了基于元胞自动机的复杂系统可用性确定方法，利用元胞自动机(CA)算法结合蒙特卡罗仿真(MC)通过分析网络系统的连通性等性能来确定网络系统的可用性。
[0005]本发明的技术解决方案是:
[0006]基于元胞自动机的复杂系统可用性确定方法，步骤如下:
[0007](I)根据所述复杂网络系统的拓扑结构，建立网络系统可用性模型，用于表示复杂网络系统中各节点之间结构关系，源节点只有输出连接弧，目标节点只有输入连接弧；
[0008](2)对所述网络系统可用性模型进行蒙特卡罗仿真，确定网络系统中每个节点的节点状态；
[0009](3)根据步骤(2)得到的网络节点状态，利用元胞自动机方法对所述复杂网络系统的连通性进行分析，从而确定网络系统的连通性，若网络系统是连通的，则令计数值Num=Num+T, Num的初始值为0,若网络系统是不连通的,则令计数值Num=Num ；
[0010](4)若T〈Tm，则返回步骤(3)重新确定网络系统连通性，若T≥Tm，则进入步骤(5);T为节点转换时间抽样的最小值，Tm表示网络系统预定的任务时间；
[0011](5)通过公式
【权利要求】
1.基于元胞自动机的复杂系统可用性确定方法，其特征在于步骤如下: (1)根据所述复杂网络系统的拓扑结构，建立网络系统可用性模型，用于表示复杂网络系统中各节点之间结构关系，源节点只有输出连接弧，目标节点只有输入连接弧； (2)对所述网络系统可用性模型进行蒙特卡罗仿真，确定网络系统中每个节点的节点状态； (3)根据步骤(2)得到的网络节点状态，利用元胞自动机方法对所述复杂网络系统的连通性进行分析，从而确定网络系统的连通性，若网络系统是连通的，则令计数值Num=Num+T，Num的初始值为O，若网络系统是不连通的，则令计数值Num=Num ； (4)若T〈Tm，则返回步骤(3)重新确定网络系统连通性，若T≥Tm，则进入步骤(5);T为节点转换时间抽样的最小值，Tm表示网络系统预定的任务时间； (5)通过公式
2.根据权利要求1所述的基于元胞自动机的复杂系统可用性确定方法，其特征在于:所述复杂网络系统包括多个网络节点以及网络节点之间的有向连接弧。
3.根据权利要求1所述的基于元胞自动机的复杂系统可用性确定方法，其特征在于:用G= (N，A)表示为一个网络系统可用性模型，共n个节点，N为n个节点的集合，』￡ iVx灰为连接弧的集合，Ai为节点i的邻居，定义为:Ai=U G Nst (j，i) G A}, st (j, i)表示与节点i直接连接的连接弧，每个节点i被描述成与之相连接的节点的集合。
4.根据权利要求1所述的基于元胞自动机的复杂系统可用性确定方法，其特征在于:所述对所述网络系统可用性模型进行蒙特卡罗仿真确定网络系统中每个节点的节点状态，具体为: (4.1)对网络系统模型中每个节点的转换时间U1, t^tn)进行直接蒙特卡罗抽样，取节点转换时间抽样的最小值作为网络系统变迁发生的时刻T ； (4.2)若节点为可修复节点，则通过公式
5.根据权利要求1所述的基于元胞自动机的复杂系统可用性确定方法，其特征在于:对所述复杂网络系统的连通性进行分析从而确定网络系统的连通性具体为: (5.1)通过四元组:A= {Ld, S, M, f}来表示元胞自动机，A表示元胞自动机，Ld表示元胞空间，S是元胞的有限离散状态集合，M表示元胞自动机的邻居，f?表示状态转移规则，所述状态转移规则包括OR或规则、AND与规则以及k/n规则，k/n规则为:n个单元组成的系统，至少有k个单元正常工作,系统才能正常工作,这样的系统称为n中取k系统； (5.2)当状态转移规则为OR或规则时，定义状态转移函数 w(i)=0R[w(j),…，w(k)] j,…，k G Ai,根据元胞邻居状态确定当前时刻该元胞状态，节点i的元胞状态w(i)=l时表示该节点的状态是正常的，w(i)=0表示节点的状态是故障；当状态转移规则为AND与规则时，定义状态转移函数 w(i)=AND[w(j),…，w(k)] j,…，k G A ”根据元胞邻居状态确定当前时刻该元胞状态； 当状态转移规则为k/n规则时，定义状态转移函数 w(i)=KN[w(j),…，w(k)] j,…，k G A ”根据元胞邻居状态确定当前时刻该元胞状态；(5.3)遍历网络系统的节点状态，如果目标节点的状态为正常，则网络系统是连通的，否则为不连 通。
【文档编号】H04L12/24GK103501235SQ201310300263
【公开日】2014年1月8日 申请日期:2013年7月15日 优先权日:2013年7月15日
【发明者】周波, 顾长鸿, 李琴, 杨静, 李昶, 郑恒, 李海生, 王晋婧, 龚佩佩, 杨卓鹏, 薛恩 申请人:中国航天标准化研究所