中图分类法:	TB114.3 版次：
著者:	Xing, Liudong,
题名:	Binary decision diagrams and extensions for system reliability analysis / / ,
载体形态:	xxii, 211 pages : illustrations ; 25 cm.
内容提要:	"Recent advances in science and technology have made modern computing and engineering systems more powerful and sophisticated than ever. The increasing complexity and scale imply that system reliability problems not only continue to be a challenge but also require more efficient models and solutions. This is the first book systematically covering the state-of-the-art binary decision diagrams and their extended models, which can provide efficient and exact solutions to reliability analysis of large and complex systems. The book provides both basic concepts and detailed algorithms for modelling and evaluating reliability of a wide range of complex systems, such as multi-state systems, phased-mission systems, fault-tolerant systems with imperfect fault coverage, systems with common-cause failures, systems with disjoint failures, and systems with functional dependent failures. These types of systems abound in safety-critical or mission-critical applications such as aerospace, circuits, power systems, medical systems, telecommunication systems, transmission systems, traffic light systems, data storage systems, and etc. The book provides both small-scale illustrative examples and large-scale benchmar