计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2011年
2期
580-583
,共4页
事故树%最小割集%Petri网%可达图%死标识
事故樹%最小割集%Petri網%可達圖%死標識
사고수%최소할집%Petri망%가체도%사표식
为简化事故树分析过程中最小割集求解算法的步骤,在构建事故树Petri网模型的基础上,探讨了事故树Petri网模型的性质,给出了事故树的逻辑表达式与事故树Petri网模型的可达死标识之间的关系,进而提出了利用Petri网可达图求解事故树最小割集的算法,以及在给定基本事件发生时,中间事件和顶事件发生与否的判断方法.结合实例,借助开源的Petri网工具PIPE实现了事故树最小割集的求解,表明了该算法的有效性和可行性.
為簡化事故樹分析過程中最小割集求解算法的步驟,在構建事故樹Petri網模型的基礎上,探討瞭事故樹Petri網模型的性質,給齣瞭事故樹的邏輯錶達式與事故樹Petri網模型的可達死標識之間的關繫,進而提齣瞭利用Petri網可達圖求解事故樹最小割集的算法,以及在給定基本事件髮生時,中間事件和頂事件髮生與否的判斷方法.結閤實例,藉助開源的Petri網工具PIPE實現瞭事故樹最小割集的求解,錶明瞭該算法的有效性和可行性.
위간화사고수분석과정중최소할집구해산법적보취,재구건사고수Petri망모형적기출상,탐토료사고수Petri망모형적성질,급출료사고수적라집표체식여사고수Petri망모형적가체사표식지간적관계,진이제출료이용Petri망가체도구해사고수최소할집적산법,이급재급정기본사건발생시,중간사건화정사건발생여부적판단방법.결합실례,차조개원적Petri망공구PIPE실현료사고수최소할집적구해,표명료해산법적유효성화가행성.
