Computing the SKT Reliability of Acyclic Directed Networks Using Factoring Method

来源 :计算机科学技术学报(英文版) | 被引量 : 0次 | 上传用户:wzy_shun
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
This paper presents a factoringalgorithm for computing source-to-K terminal (SKT) reliability, the probability that a source s can send message to a specified set of terminals K, in acyclic directed networks (AD-networks) in which bothnodes and edges can fail. Based on Pivotal decomposition theorem, a newformula is derived for computing the SKT reliability of AD-networks. By establishing a topological property of AD-networks, it is shown that the SKT reliability of AD-networks can be computed by recursively applying this formula. Two new Reliability-Preserving Reductions are alsointroduced. The recursion tree generated by the presented algorithm hasat most 2(|V| - |K|- |C|) leaf nodes, where |V| and |K| are the numbers of nodes and terminals, respectively, while |C| is the number of the nodes satisfying some specified conditions. The computation complexity of the new algorithm is O (|E||V|2(|V| -|K| -|C|)) in the worst case, where |E| is the number of edges. Forsource-to-all-terminal (SAT) reliability, its computation complexity is O (|E|). Comparison of the new algorithm with the existing ones indicates that the new algorithm is more efficient for computing the SKT reliability of AD-networks.
其他文献
As Daqing Oilfield is developing oil layer with a big potential,the requirement for the quality of well cementation is higher than ever before.Cement rock is a
利用北京正负电子对撞机(BEPC)上的北京谱仪(BES)收集的7.8×106个J/Ψ事例,研究了J/Ψ→Σ0衰变.其衰变分支比为BR(J/Ψ→Σ0)=(0.97±0.04±0.24)×10-3,角分布具有dN/dcos
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
Some organic phosphines labeled with 117mSn(Ⅳ) have been provedpromising for imaging and pain palliation of bone tumor. In this paper, a prelimi-nary investiga
The second order statistics for cyclostationary signals were introduced, and their performance were discussed. It especially researched the time lag character
The satisfiability(SAT) problem is abasic problem in computing theory. Presently, an active area of researchon SAT problem is to design efficient optimization a
There exist the complicated waveguide modes as well as the surface waves in the electromagnetic field induced by a horizontal electric dipole in layered Iossles
Objective: To study the mechanism of cancer, the DNA for BAC was cloned from an ascites hepatoma cell line Hca-F25/CL-16A3 using PCR. Methods: The nucleotide se
On Dawning-1000, the two-dimension mesh interconnection network enables low-latency, high-bandwidth communication, however, these capabilities have not been rea