系統(tǒng)是相互作用的結(jié)構(gòu)和功能的單位,是動(dòng)態(tài)且復(fù)雜的整體,隨著金融、教育、醫(yī)療、科研等領(lǐng)域?qū)ο到y(tǒng)的廣泛應(yīng)用,系統(tǒng)的規(guī)模愈加龐大,結(jié)構(gòu)也愈加復(fù)雜。確保相對(duì)冗雜的動(dòng)態(tài)系統(tǒng)在具體的運(yùn)行過(guò)程當(dāng)中呈現(xiàn)出良好的穩(wěn)定性以及安全性是當(dāng)今形勢(shì)下計(jì)算機(jī)相關(guān)領(lǐng)域中一個(gè)重要的課題。動(dòng)態(tài)故障樹分析法能夠有效對(duì)系統(tǒng)的安全性進(jìn)行分析,目前被廣泛應(yīng)用在動(dòng)態(tài)系統(tǒng)的可靠性分析中。對(duì)于動(dòng)態(tài)系統(tǒng),傳統(tǒng)形式的靜態(tài)故障樹無(wú)法描述其中的時(shí)序邏輯關(guān)系,動(dòng)態(tài)故障樹引入了動(dòng)態(tài)邏輯門合理的解決了這一問題。然而,動(dòng)態(tài)故障樹缺少精確的生成方法,容易導(dǎo)致動(dòng)態(tài)故障樹構(gòu)建過(guò)程中準(zhǔn)確性降低,在建模過(guò)程中潛在問題被發(fā)現(xiàn)的難度較高,進(jìn)而降低了對(duì)動(dòng)態(tài)系統(tǒng)展開的一系列可靠性分析結(jié)果的準(zhǔn)確性。此外,因?yàn)閯?dòng)態(tài)故障樹分析法本身存在相對(duì)較為復(fù)雜的動(dòng)態(tài)特性,現(xiàn)階段展開動(dòng)態(tài)故障樹定量分析的局限性較大,不僅需要專業(yè)人員展開相應(yīng)的分析,而且涉及到的求解時(shí)間較長(zhǎng),也較難達(dá)到高精度的要求,故相關(guān)領(lǐng)域迫切需求一種相對(duì)完善的動(dòng)態(tài)故障樹定量分析方法。為有效解決上述問題,本文基于物料表（BOM）提出一種BOM表與子件表相結(jié)合的動(dòng)態(tài)故障樹搭建方式,根據(jù)BOM表的自動(dòng)加載特性靈活配置故障樹的生... 

【文章來(lái)源】：大連海事大學(xué)遼寧省 211工程院校

【文章頁(yè)數(shù)】：72 頁(yè)

【學(xué)位級(jí)別】：碩士

【部分圖文】：

圖２．１靜態(tài)故障樹中常用的事件符號(hào)??Ｆｉｇ．?２．１?Ｃｏｍｍｏｎ?ｅｖｅｎｔ?ｓｙｍｂｏｌｓ?ｉｎ?ｔｈｅ?ｕｎｉｆｉｅｄ?ｆａｕｌｔ?ｔｒｅｅ??

?一種可配置動(dòng)態(tài)故障樹的定量分析方法研宄???定義２－２：事件、正常事件與故障事件??（１）事件：對(duì)元部件以及系統(tǒng)的狀態(tài)進(jìn)行描述；??（２）正常事件：可以順利的完成相關(guān)的功能，而且不會(huì)出現(xiàn)任何問題和失誤或失??效的情況；??（３）故障事件：無(wú)法順利完成有效功能的事件［３６］。??因?yàn)楣收蠘渫ǔＪ抢脠D形的方式來(lái)體現(xiàn)，所以符號(hào)的重要性毋庸置疑，是在表達(dá)??過(guò)程中不可缺少的一部分。圖２．１便展示了傳統(tǒng)故障樹中使用的符號(hào)。圖２．２展示了常??用的邏輯門符號(hào)。??□〇？?Ａ??＿矩形符號(hào)?圓形符號(hào)?菱形符號(hào)?轉(zhuǎn)入、轉(zhuǎn)出符號(hào)??表示頂事件、中間事?表示底事件?表示為未展開事件?表示換頁(yè)??件??圖２．１靜態(tài)故障樹中常用的事件符號(hào)??Ｆｉｇ．?２．１?Ｃｏｍｍｏｎ?ｅｖｅｎｔ?ｓｙｍｂｏｌｓ?ｉｎ?ｔｈｅ?ｕｎｉｆｉｅｄ?ｆａｕｌｔ?ｔｒｅｅ??（１）矩形符號(hào)：對(duì)中間事件或頂事件進(jìn)行表示。頂事件指的是系統(tǒng)中不愿意出現(xiàn)??的事件，在故障樹的最頂端，而中間事件則是介于頂事件以及底事件二者之間，中間事??件以及底事件都應(yīng)通過(guò)邏輯門對(duì)其展開深入的分解。??（２）圓形符號(hào)：用來(lái)表示底事件，主要是處在故障樹的最底端，通常指的是無(wú)法??分解的事件，在對(duì)故障樹進(jìn)行分析時(shí)，通常會(huì)將全部底事件當(dāng)成定性分析的最終結(jié)果。??（３）菱形符號(hào)：用來(lái)代表未被探明的事件，他也處于故障樹的最底端，是一種未??知的事件，主要是提醒相關(guān)的設(shè)計(jì)工作者不應(yīng)對(duì)其重復(fù)分解，與底事件有一定的不同。??（４）轉(zhuǎn)入、轉(zhuǎn)出符號(hào)：在構(gòu)建大規(guī)模故障樹的過(guò)程中，通常會(huì)用它當(dāng)做連接的子??模塊，這樣多邊可以減少構(gòu)建故障樹過(guò)程中的困難。??６?厶厶厶?＾??與

?一種可配置動(dòng)態(tài)故障樹的定量分析方法研宄???表２．２示例故障樹概率??Ｔａｂ．?２．２?Ｓａｍｐｌｅ?ｆａｕｌｔ?ｔｒｅｅ?ｐｒｏｂａｂｉｌｉｔｉｅｓ??￣￣Ｘｌ?Ｘ２?Ｘ３?Ｘ４?Ｘ５??概率表示?Ｑ１?Ｑ２?Ｑ２?Ｑ４?Ｑ５?Ｑ６??利用布爾代數(shù)求解法，對(duì)故障樹的頂事件概率進(jìn)行求解，需要先利用布爾代數(shù)對(duì)最??小割集進(jìn)行表示，可以利用邏輯加“?＋?”對(duì)故障樹或門與輸入之間的聯(lián)系進(jìn)行表示，利??用邏輯積“?？”對(duì)與門與輸入之間的關(guān)系進(jìn)行表達(dá)，所以可以利用頂事件對(duì)底事件積之??和進(jìn)行表達(dá)，表達(dá)式為：??Ｑ?＝?ｑｌｑ２ｑ３?＋?ｑ３ｑＡ?＋?ｑ４ｑ５?＋?ｑ６?＾?＾??２．?１．２動(dòng)態(tài)故障樹??所謂的動(dòng)態(tài)故障樹指的是在靜態(tài)故障樹中加入了一些動(dòng)態(tài)邏輯門，例如功能相關(guān)??門，優(yōu)先與門以及冷備件門等；通過(guò)在其中加入動(dòng)態(tài)邏輯門，可以對(duì)相關(guān)的系統(tǒng)動(dòng)態(tài)變??化進(jìn)行描述，進(jìn)行安全性以及可靠性的分析，增加的邏輯門所對(duì)應(yīng)的符號(hào)如圖２．４。????ＦＤＥＰ?ＳＥＱ??１?￣￣ｒ?ｔｔ?ｎ￣￣ｒ??功能相關(guān)門?優(yōu)先與門??Ｉ?Ｉ?Ｉ??丨ＣＳＰ?ｙ／ＳＰ?｜ＨＳＰ??Ｉ?Ｉ?Ｉ?ｒ?ｉ?ｒ??冷備件門?溫備件門?熱備件門??圖２．４故障樹中常用動(dòng)態(tài)故障門??Ｆｉｇ．?２．４?Ｄｙｎａｍｉｃ?ｆａｕｌｔ?ｇａｔｅｓ?ａｒｅ?ｃｏｍｍｏｎｌｙ?ｕｓｅｄ?ｉｎ?ｆａｕｌｔ?ｔｒｅｅｓ??（ｉ）功能相關(guān)門主要是由一些相關(guān)事件和觸發(fā)事件組成，如果發(fā)生了觸發(fā)事件，??相關(guān)事件也會(huì)隨之發(fā)生，功能相關(guān)門主要是對(duì)相關(guān)的事件進(jìn)行約束，來(lái)完成對(duì)系統(tǒng)工作??進(jìn)行控制的目的。??－１２－??

【參考文獻(xiàn)】：
期刊論文
[1]慣導(dǎo)測(cè)試裝置控制系統(tǒng)仿真及誤差補(bǔ)償研究[J]. 張功,王春喜,楊鳳鬧,劉峰,周英民.  測(cè)試技術(shù)學(xué)報(bào). 2019(05)
[2]BOM的存儲(chǔ)結(jié)構(gòu)與遍歷算法的優(yōu)化及實(shí)現(xiàn)[J]. 堵士俊,吉衛(wèi)喜,孫斌,錢德成.  計(jì)算機(jī)系統(tǒng)應(yīng)用. 2015(03)
[3]一種狀態(tài)事件故障樹的時(shí)間特性分析方法[J]. 徐丙鳳,黃志球,胡軍,魏歐,李偉湋.  軟件學(xué)報(bào). 2015(02)
[4]動(dòng)態(tài)故障樹的不交化定量分析方法[J]. 張紅林,張春元,劉東,付劍.  計(jì)算機(jī)研究與發(fā)展. 2012(05)

博士論文
[1]非線性狀態(tài)空間模型貝葉斯估計(jì)中的高效粒子MCMC算法[D]. 楊遠(yuǎn).廈門大學(xué) 2017
[2]復(fù)雜計(jì)算機(jī)系統(tǒng)可用性評(píng)測(cè)技術(shù)研究[D]. 馮懿.哈爾濱工業(yè)大學(xué) 2013

碩士論文
[1]基于安全需求擴(kuò)展的軟件安全性分析方法研究[D]. 曹德建.南京航空航天大學(xué) 2015
[2]基于故障樹的航電軟件系統(tǒng)安全性驗(yàn)證方法研究[D]. 馬琳.南京航空航天大學(xué) 2012
[3]動(dòng)態(tài)故障樹分析方法及其實(shí)現(xiàn)[D]. 高順川.國(guó)防科學(xué)技術(shù)大學(xué) 2005
[4]動(dòng)態(tài)故障樹分析方法研究[D]. 季會(huì)媛.國(guó)防科學(xué)技術(shù)大學(xué) 2002



本文編號(hào)：3447733