一种基于Petri网模型求解故障树最小割集的算法
Petri网作为一种动态的图形化建模工具,可用于表达系统的逻辑关系和描述系统的动态行为,文中利用Petri网的这一特点对故障树进行建模,并在此基础上提出了一种新的求解故障树最小割集的算法,最后以实例说明了这一求解过程.该算法与以往方法相比,提高了执行效率,且可同时得到最小路集,为系统的可靠性分析工作提供了一种新的途径.
故障树、Petri网、最小割集
24
TP393(计算技术、计算机技术)
2004-07-31(万方平台首次上网日期,不代表论文的发表时间)
共3页
299-300,306