Читать книгу Reliability Analysis, Safety Assessment and Optimization - Enrico Zio - Страница 42

Binary decision diagram (BDD) is used to represent a Boolean function. A Boolean function can be represented as a rooted, directed, acyclic graph, which consists of several nodes and two terminal nodes. The two terminal nodes are labeled 0 (FALSE) and 1 (TRUE). Each node u is labeled by a Boolean variable xi and has two child nodes called low child and high child. The edge from a node to a child represents an assignment of the value FALSE (or TRUE, respectively) to variable xi. The advantage of BDD in reliability assessment is that its accuracy and efficiency are high [6]. The algorithm to compute the probability of a gate from a BDD is based on the Shannon Decomposition, which is defined by recursive equations.