论文部分内容阅读
文中研究3-状态设备网络系统2-终端可靠度的计算问题。BDD是布尔函数的图形表示形式。武小悦和沙基昌提出了一个采用BDD方法求2-状态网络系统的不交化最小路集,从而直接计算网络系统可靠度的算法。通过引入简化技术,结合归约公式和BDD技术,给出了一个计算3-状态设备网络2-终端可靠度的一个新算法;算法有效地消除了冗余项,并且产生的分枝树具有结点少,可有效得到可靠度符号表达式。
In this paper, the calculation of 2-terminal reliability of 3-state equipment network system is studied. BDD is a graphical representation of a Boolean function. Wu Xiaoyue and Sha Jichang proposed an algorithm to calculate the reliability of the network system directly by using the BDD method to solve the 2-state network system without intersecting the smallest set of paths. A new algorithm for calculating the 2-terminal reliability of 3-state equipment network is given by introducing the simplified technique, combining the reduction formula and BDD technique. The algorithm effectively eliminates the redundant term and the resulting branching tree has a knot Less points, can be effectively symbolic reliability of the expression.