|
|||||
|
|
| 一种基于BDD求解PIS的新方法 | |
| 引用本文： | 汪有涛,沙基昌,董萍. 一种基于BDD求解PIS的新方法[J]. 系统工程与电子技术, 2000, 22(11): 75-77 |
| 作者姓名： | 汪有涛 沙基昌 董萍 |
| 作者单位： | 1. 空军雷达学院数学教研室,武汉,430010 2. 国防科技大学,长沙,410073 3. 武钢信息中心,武汉,430081 |
| 摘 要： | 提出了基于双择判决有向图 (BinaryDecisionDigraph ,BDD)求解故障树的全部PIS的新方法 ,该方法将故障树转化为BDD ,通过反对称规律将故障树的BDD转化为对偶BDD ,再基于该对偶BDD用迭代算法实施第二次对偶运算 ,从而达到求原故障树全部质蕴涵集的目的 |
| 关 键 词： | 故障树形图分析 系统可靠性 计算机技术 |
| 修稿时间： | 1999-10-28 |
A New Method for Calculation of PIS Based on BDD |
|
| Wang Youtao,Sha Jichang,Dong Ping. A New Method for Calculation of PIS Based on BDD[J]. System Engineering and Electronics, 2000, 22(11): 75-77 | |
| Authors: | Wang Youtao Sha Jichang Dong Ping |
| Abstract: | 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.; |
| Keywords: | Fault tree analysis System reliability Computer technique |
| 本文献已被 万方数据 等数据库收录！ | |