一种基于BDD求解PIS的新方法  

A New Method for Calculation of PIS Based on BDD

作　　者：汪有涛[1] 沙基昌[2] 董萍 

机构地区：[1]空军雷达学院数学教研室,武汉430010 [2]国防科技大学,长沙410073 [3]武钢信息中心,武汉430081

出　　处：《系统工程与电子技术》2000年第11期75-77,共3页Systems Engineering and Electronics

摘　　要：提出了基于双择判决有向图 (BinaryDecisionDigraph ,BDD)求解故障树的全部PIS的新方法 ,该方法将故障树转化为BDD ,通过反对称规律将故障树的BDD转化为对偶BDD ,再基于该对偶BDD用迭代算法实施第二次对偶运算 。This paper puts forward a new algorithm to get PIS of non-coherent system. There are three stages in this algorithm. First, the fault tree is changed into BDD. Second, the BDD of fault tree is turned into the BDD of dual fault tree based on the regularity of inverse symmetry. Finally, the dual operation is put into effect on the BDD of dual fault tree with recur algorithm, thus the PIS is obtained.\;

关 键 词：故障树形图分析 系统可靠性 BDB PIS 

分 类 号：N945.17[自然科学总论—系统科学]