top of page

Recent Posts

Archive

Tags

Checking Correctness of a Symbolic Reliability Expression for a Capacitated Network | Journal of Eng

For detecting faults in hand derivations and for debugging computer programmes, checking a symbolic reliability expression for a flow network is useful. This testing can be done in a systematic way, although it may be a terrific challenge. When a reliability system or network has a flow constraint, three exhaustive tests are given. These checks refer to expressions of unreliability and reliability for non-coherent as well as coherent systems, and to instances in which both nodes and branches are unreliable. Additional features of reliability expressions derived from different techniques are discussed. All the experiments and other related findings are explained and illustrated by examples.


留言


bottom of page