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

被引：2

作者：

汪有涛

沙基昌

董萍

机构：

[1] 空军雷达学院数学教研室!武汉

[2] 国防科技大学!长沙

[3] 武钢信息中心!武汉

来源：

关键词：

故障树形图分析; 系统可靠性; 计算机技术;

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

提出了基于双择判决有向图 (BinaryDecisionDigraph ,BDD)求解故障树的全部PIS的新方法 ,该方法将故障树转化为BDD ,通过反对称规律将故障树的BDD转化为对偶BDD ,再基于该对偶BDD用迭代算法实施第二次对偶运算 ,从而达到求原故障树全部质蕴涵集的目的

引用

页码：75 / 77

页数：3