The development of techniques for quantitative, model-based evaluation of computer system
dependability has a long and rich history. A wide array of model-based evaluation …

The proposed tool, using a novel" compression algorithm" is capable of reducing any
complicated series-parallel system to a visible sequence of series and parallel blocks in a …

A coherent system with independent components and known minimal paths (cuts) is
considered. In order to compute its reliability, a tree structure T is constructed whose nodes …

研究了无圈有向网络结点集合的两部分划分(点化分) 与极小割集之间的关系·
通过对网络结点集合的满足一定条件的两部分点划分, 直接得到了网络的极小割集 …

The relation between node partition and cut set of an acyclic directed network was studied.
The minimal cutsets could be obtained directly by partitioning the node set of network into …

Various computing systems have been rapidly developed in recent years and widely
implemented in many fields. The functionality, size and complexity of the computing systems …