【摘要】：針對狀態(tài)事件故障樹生成系統(tǒng)可達圖過程中存在的狀態(tài)空間爆炸問題,提出了一種基于時序關系的系統(tǒng)失效可達圖生成方法。通過分析觸發(fā)和被觸發(fā)類型事件的時序關系,對存在時序關系的事件進行排序,根據時序關系獲得系統(tǒng)構件間的所有不可同時到達狀態(tài)對,對構件間的可同時到達狀態(tài)建立笛卡爾積,獲得系統(tǒng)的所有可同時到達狀態(tài)對,根據連接表和最小割集獲得系統(tǒng)失效的狀態(tài)可達圖,從而有效解決系統(tǒng)失效可達圖生成過程中存在的狀態(tài)空間爆炸問題。應用基于時序關系的系統(tǒng)失效可達圖方法生成魚攻系統(tǒng)失效可達圖,實驗結果驗證了該方法的可行性與穩(wěn)定性;同時也為表明其能有效地緩解狀態(tài)空間爆炸問題,為狀態(tài)事件故障樹生成系統(tǒng)可達圖提供了一種新的方法。
[Abstract]:In order to solve the problem of state space explosion in the process of state event fault tree generating system Datuk, a method of generating system failure Datuk based on time series relationship is proposed. By analyzing the temporal relationships between triggered and triggered events, the sequence of events with temporal relationships is sorted, and all non-simultaneous arrival state pairs among system components are obtained according to the temporal relationships. The Cartesian product is established for simultaneous reachable states between components, and all simultaneous reachable state pairs of the system are obtained. According to the join table and the minimum cut set, the failure states of the system can be obtained by Datuk. Thus the problem of state space explosion in the process of generating system failure can be effectively solved. The system failure Datuk method based on time series relation is used to generate the fish attack system failure Datuk. The experimental results verify the feasibility and stability of the method. At the same time, it is shown that the state space explosion problem can be effectively alleviated, and a new method is provided for the state event fault tree generation system can be Datuk.
【作者單位】： 南京航空航天大學計算機科學與技術學院;
【基金】：十三五重點基礎科研項目(JCKY2016206B001) 江蘇省六大人才高峰項目(XXRJ-004) 軟件新技術與產業(yè)化協同創(chuàng)新中心資助
【分類號】：TP399-CB

【相似文獻】

相關期刊論文 前10條

1 陳彬;王智學;;目標時序關系的形式定義和建模算法[J];系統(tǒng)工程與電子技術;2009年02期

2 陳彬;王智學;吳越;;任務時序關系的形式化和傳遞閉包建模算法[J];系統(tǒng)仿真學報;2009年06期

3 趙琛;多媒體節(jié)目時序描述的完全性和協調性[J];計算機學報;2000年07期

4 何炎祥,宋強,黃謙;從過程描述語言到Z語言[J];小型微型計算機系統(tǒng);2002年09期

5 丁志軍,蔣昌俊;時序Ada網的語言性質[J];控制與決策;2003年01期

6 謝鴻波;吳遠成;周明天;;基于時序關系的消息推理及安全協議符號跡分析[J];中國電子科學研究院學報;2010年02期

7 劉曉剛;盧濤;;基于情境時序建模的活動異常監(jiān)控方法[J];計算機工程與設計;2013年07期

8 陳睿;蔡希堯;陳平;;基于對象標識的對象持久性語義[J];計算機科學;1992年05期

9 杜軍威;徐中偉;;基于時序Petri網的聯鎖邏輯形式建模與驗證[J];計算機工程與應用;2007年13期

10 周建濤，葉新銘;一種構造Petri網可達圖的方法[J];內蒙古大學學報(自然科學版);1999年03期

相關碩士學位論文 前8條

1 鄭新;中文事件時序關系識別與推理方法研究[D];蘇州大學;2015年

2 廟介璞;基于跨事件的新聞事件時序關系識別方法研究[D];昆明理工大學;2016年

3 張紹臣;事件時序關系建模的研究與實現[D];哈爾濱工業(yè)大學;2009年

4 高一凱;統(tǒng)計與規(guī)則相結合的新聞事件時序關系識別[D];武漢科技大學;2015年

5 王柳英;模糊時序關聯規(guī)則知識提取與知識推理研究[D];華南理工大學;2011年

6 司先波;基于時序關系的金融領域熱點話題檢測[D];哈爾濱工業(yè)大學;2012年

7 楊顏公;進程網的仿真與可達圖技術研究[D];北方工業(yè)大學;2015年

8 周麗霞;基于時序推理的航空旅行最優(yōu)中轉換乘規(guī)劃系統(tǒng)研究[D];沈陽工業(yè)大學;2012年

，

本文編號：2346793