故障樹自動(dòng)生成系統(tǒng)的研究與開發(fā).pdf

1、目前,計(jì)算機(jī)自動(dòng)生成故障樹技術(shù)的開發(fā)已經(jīng)得到了廣泛關(guān)注.為了增強(qiáng)故障樹的可讀性,簡化大系統(tǒng)故障樹生成的復(fù)雜性,并能夠?qū)崿F(xiàn)故障樹生成技術(shù)的資源共享,本文開發(fā)了一套故障樹自動(dòng)生成系統(tǒng).該系統(tǒng)的依據(jù)是一種基于系統(tǒng)分析的故障樹自動(dòng)生成方法.這種方法主要思想是,根據(jù)各種控制回路及構(gòu)成元件(部件)的特性建立描述控制回路因果模型及元件(部件)因果模型的數(shù)據(jù)庫.依據(jù)控制系統(tǒng)流程圖確定控制系統(tǒng)中獨(dú)立元件(部件)、控制回路以及系統(tǒng)外界不可控?cái)_動(dòng)等基本信息,

2、并把獨(dú)立元件(部件)、控制回路以及系統(tǒng)外界不可控?cái)_動(dòng)視為控制系統(tǒng)的子要素.在故障樹生成中,根據(jù)控制系統(tǒng)流程圖和有向圖確定系統(tǒng)的鄰接矩陣,利用鄰接矩陣描述系統(tǒng)各子要素之間的直接關(guān)系,并求得的系統(tǒng)可達(dá)矩陣.對(duì)系統(tǒng)可達(dá)矩陣運(yùn)用系統(tǒng)分析方法,進(jìn)行子要素級(jí)別分析、強(qiáng)連接關(guān)系識(shí)別、基本子要素的確定一系列的運(yùn)算,確定系統(tǒng)故障樹結(jié)構(gòu)模型,得到系統(tǒng)故障樹頂部結(jié)構(gòu).最后,通過搜索頂部結(jié)構(gòu)各節(jié)點(diǎn)并結(jié)合故障樹結(jié)構(gòu)模型,從數(shù)據(jù)庫中調(diào)用相關(guān)的因果模型,自動(dòng)生成系統(tǒng)

3、故障樹.該系統(tǒng)包括用戶登錄模塊、故障樹模型模塊、控制系統(tǒng)模塊、生成故障樹模塊及技術(shù)論壇模塊.它們的功能分別是用戶注冊(cè)、登錄及資料管理;創(chuàng)建和編輯元件(部件)因果模型和控制回路因果模型;創(chuàng)建和編輯控制系統(tǒng);自動(dòng)生成某控制系統(tǒng)故障樹;為用戶提供了一個(gè)探討故障樹自動(dòng)生成技術(shù)的場所,使資源得到共享.本文結(jié)合高溫硝酸冷卻系統(tǒng)的例子驗(yàn)證了這種方法的有效性和可行性.本文開發(fā)的這套系統(tǒng)為故障樹生成節(jié)省大量重復(fù)勞動(dòng),使生成的故障樹具有更強(qiáng)的理論依據(jù),方便