中国机械工程
中國機械工程
중국궤계공정
CHINA MECHANICAl ENGINEERING
2008年
9期
1044-1047
,共4页
Petri网%关联矩阵%重复事件%最小割集
Petri網%關聯矩陣%重複事件%最小割集
Petri망%관련구진%중복사건%최소할집
在应用Petri网模型构建系统故障逻辑关系图的基础上,提出了一种应用Petri网的关联矩阵求最小割集的算法.具体方法是在关联矩阵中按行、列查找所表达的输入、输出关系,直到找到基本事件,并将对应事件按"与"、"或"关系展开,这样可以直接从关联矩阵中得出割集,再按照布尔吸收律、等幂率或素数法求出最小割集.应用关联矩阵法求有重复事件Petri网模型的最小割集简单明了.进行了基于Visual C+ 6.0的算法程序编制,并通过了检验.通过对某舰艇防空系统故障最小割集的求解说明了求解过程并证明了该算法的正确性.
在應用Petri網模型構建繫統故障邏輯關繫圖的基礎上,提齣瞭一種應用Petri網的關聯矩陣求最小割集的算法.具體方法是在關聯矩陣中按行、列查找所錶達的輸入、輸齣關繫,直到找到基本事件,併將對應事件按"與"、"或"關繫展開,這樣可以直接從關聯矩陣中得齣割集,再按照佈爾吸收律、等冪率或素數法求齣最小割集.應用關聯矩陣法求有重複事件Petri網模型的最小割集簡單明瞭.進行瞭基于Visual C+ 6.0的算法程序編製,併通過瞭檢驗.通過對某艦艇防空繫統故障最小割集的求解說明瞭求解過程併證明瞭該算法的正確性.
재응용Petri망모형구건계통고장라집관계도적기출상,제출료일충응용Petri망적관련구진구최소할집적산법.구체방법시재관련구진중안행、렬사조소표체적수입、수출관계,직도조도기본사건,병장대응사건안"여"、"혹"관계전개,저양가이직접종관련구진중득출할집,재안조포이흡수률、등멱솔혹소수법구출최소할집.응용관련구진법구유중복사건Petri망모형적최소할집간단명료.진행료기우Visual C+ 6.0적산법정서편제,병통과료검험.통과대모함정방공계통고장최소할집적구해설명료구해과정병증명료해산법적정학성.
