【摘要】：針對狀態(tài)事件故障樹生成系統(tǒng)可達(dá)圖過程中存在的狀態(tài)空間爆炸問題,提出了一種基于時序關(guān)系的系統(tǒng)失效可達(dá)圖生成方法。通過分析觸發(fā)和被觸發(fā)類型事件的時序關(guān)系,對存在時序關(guān)系的事件進(jìn)行排序,根據(jù)時序關(guān)系獲得系統(tǒng)構(gòu)件間的所有不可同時到達(dá)狀態(tài)對,對構(gòu)件間的可同時到達(dá)狀態(tài)建立笛卡爾積,獲得系統(tǒng)的所有可同時到達(dá)狀態(tài)對,根據(jù)連接表和最小割集獲得系統(tǒng)失效的狀態(tài)可達(dá)圖,從而有效解決系統(tǒng)失效可達(dá)圖生成過程中存在的狀態(tài)空間爆炸問題。應(yīng)用基于時序關(guān)系的系統(tǒng)失效可達(dá)圖方法生成魚攻系統(tǒng)失效可達(dá)圖,實驗結(jié)果驗證了該方法的可行性與穩(wěn)定性;同時也為表明其能有效地緩解狀態(tài)空間爆炸問題,為狀態(tài)事件故障樹生成系統(tǒng)可達(dá)圖提供了一種新的方法。
[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.
【作者單位】： 南京航空航天大學(xué)計算機科學(xué)與技術(shù)學(xué)院;
【基金】：十三五重點基礎(chǔ)科研項目(JCKY2016206B001) 江蘇省六大人才高峰項目(XXRJ-004) 軟件新技術(shù)與產(chǎn)業(yè)化協(xié)同創(chuàng)新中心資助
【分類號】：TP399-CB

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

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

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

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

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

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

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

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

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

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

10 周建濤，葉新銘;一種構(gòu)造Petri網(wǎng)可達(dá)圖的方法[J];內(nèi)蒙古大學(xué)學(xué)報(自然科學(xué)版);1999年03期

相關(guān)碩士學(xué)位論文 前8條

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

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

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

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

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

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

7 楊顏公;進(jìn)程網(wǎng)的仿真與可達(dá)圖技術(shù)研究[D];北方工業(yè)大學(xué);2015年

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

，

本文編號：2346793