Enhanced BDD algorithm for multiple-fault diagnosis

To ensure the unique structure of the final integrated binary decision diagram(BDD), two new rules are added to the connection rules of component connection approach for fault tree conversion to BDD. Through comparing the probabilities of cut sets with the same structure importance, the ordering of checking the fault source is determined. This method can be applied to multiple-fault diagnosis for digital systems with independent basic events. Because this method has no need to determine the sequence of basic events and the minimal cut sets, it's more suitable for computer execution and has higher efficiency than traditional methods of fault tree diagnosis.