可修复节点无线传感器网络可靠性符号计算  

Symbolic computation method for reliability evaluation of wireless sensor network with repairable node

作　　者：聂晨华 高西[1] 董荣胜[1] 

机构地区：[1]桂林电子科技大学广西可信软件重点实验室,广西桂林541004

出　　处：《计算机工程与设计》2015年第8期2033-2039,2113,共8页Computer Engineering and Design

基　　金：国家自然科学基金项目(61363070);广西可信软件重点实验室重点课题基金项目(kx201401)

摘　　要：利用动态故障树模型的事件元素与逻辑门元素建立WSN可靠性结构,研究容错技术中可修复节点背景下的WSN可靠性,针对可修复节点建立基于马尔科夫随机过程的容错动态逻辑门模型。针对簇型WSN应用通信可靠性问题,将给出的可修复传感器节点模型应用在该簇型WSN可靠性结构上,形成WSN可靠度计算的基础结构。为降低计算复杂性,利用BDD符号计算技术将WSN的可靠性结构转换到BDD结构,递归构建基于故障树的WSN可靠性结构的BDD,在BDD上遍历计算WSN可靠度,优化计算过程。实验结果表明,这种面向符号计算的研究方法具有可行性。A wireless sensor network （WSN） reliability structure model based on event elements and logic gate elements of dynamic fault tree was introduced to analyze the reliability of WSN with repairable node in fault-tolerant technology. The fault-tolerant dynamic logic gates model based on Markov random process evaluation technology was built for repairable nodes. Considering the application communication reliability of the hierarchical clustering of WSN, repairable nodes fault-tolerant model was applied in WSN relia- bility structure, and the WSN reliability was calculated. To reduce the complexity of WSN reliability calculation, an algorithm using BDD （binary decision diagram） was proposed to transform the WSN reliability structure to the BDD structure. A recuraive method was used to build the BDD based on the WSN reliability structure. The WSN reliability was calculated by traversing on the BDD, which optimized the reliability calculation process. The experimental results show that the symbolic computation orien- ted research method is feasibility.

关 键 词：无线传感器网络 动态故障树 可靠性结构 可修复节点 马尔科夫链 二元决策图 

分 类 号：TP302.7[自动化与计算机技术—计算机系统结构]