1.一種應用于復雜系統(tǒng)評價的PSA模型文件解析合并方法,其特征在于實現(xiàn)步驟如下:
(1)對參與合并的給定復雜系統(tǒng)的PSA模型數(shù)據(jù)進行分類存儲,將模型所包含數(shù)據(jù)按照屬性進行分類并保存到數(shù)據(jù)庫中;
(2)解析參與合并的PSA模型的故障樹邏輯結構,轉換為文本信息保存到結構文件中,采用的是基于布爾邏輯的PSA模型邏輯解析法;
(3)確定合并過程中的重名處理原則,邏輯門重名處理原則包括重命名與跳過,其余基本數(shù)據(jù)類型重名處理原則包括覆蓋與跳過;
(4)選擇一個PSA模型作為合并基礎,選取參與合并的其他PSA模型中的一個,將其數(shù)據(jù)庫導入基礎PSA模型的數(shù)據(jù)庫中,按照(3)中選擇的重名處理原則處理兩個模型中重名的數(shù)據(jù),重名的數(shù)據(jù)類型為邏輯門將其新舊ID加入重名邏輯門處理隊列;
(5)按照(3)中選擇的重名處理原則對PSA模型的結構文件進行合并,采用的是基于字符串分解匹配的結構文件合并方法;
(6)讀取并解析合并完畢的結構文件信息作為合并后的PSA模型邏輯結構,數(shù)據(jù)與邏輯對應關系正確性檢查無誤后,按照邏輯從合并后的數(shù)據(jù)庫中讀取數(shù)據(jù)記錄,完成合并后的PSA模型;
(7)其他要合并的PSA模型的處理方法重復步驟(1)~(6),完成模型合并之后,按照可靠性、PSA的分析方法對給定復雜系統(tǒng)的模型進行分析和評價。
2.根據(jù)權利要求1所述的應用于復雜系統(tǒng)評價的PSA模型文件解析合并方法,其特征在于:所述基于布爾邏輯的PSA模型邏輯解析法實現(xiàn)步驟如下:
(1)建立PSA模型結構文件信息塊,文件信息分為兩大部分,結構信息和故障樹頂門集合;結構信息包含PSA模型中故障樹所包含的全部基本數(shù)據(jù)元素ID和這些基本數(shù)據(jù)元素之間的布爾邏輯關系,在文件中以FTSTRUCT作為開始標識;故障樹頂門集合包含模型中所有故障樹的頂門ID,在文件中以TOPGATE作為開始標識;
(2)逐個解析PSA模型中所有故障樹邏輯結構信息,采用深度優(yōu)先最左的方法遍歷各個故障樹,記錄每個故障樹節(jié)點ID、節(jié)點所有孩子的ID、節(jié)點若為記錄邏輯門類型,遍歷過程中按照“節(jié)點ID節(jié)點邏輯門類型所有孩子ID”的格式將記錄的數(shù)據(jù)輸出到結構文件作為一行結構信息;
(3)逐個解析PSA模型中所有故障樹頂門信息,獲取各個故障樹的頂門ID,將ID逐個保存到結構文件的故障樹頂門集合部分下。
3.根據(jù)權利要求1所述的應用于復雜系統(tǒng)評價的PSA模型文件解析合并方法,其特征在于:所述基于字符串分解匹配的結構文件合并方法實現(xiàn)步驟如下:
(1)逐行讀取要合并PSA模型的結構文件,將文件信息分解后讀取,分別獲取其結構信息和故障樹頂門集合,將兩部分信息分別保存到兩個數(shù)組FTINFO和TOPGATEINFO中;
(2)打開合并基礎PSA模型的結構文件作為模型結構文件合并處理對象;
(3)逐個處理重名門處理隊列中的邏輯門,在結構信息數(shù)組FTINFO中匹配重名的邏輯門ID;
(4)邏輯門ID匹配成功,若重名處理原則為重命名,將所有匹配到的ID修改為新的ID,修改完成之后將新ID對應門及其所有下級輸入信息從數(shù)組FTINFO寫入到基礎PSA模型的結構文件FTSTRUCT標識下,若該門出現(xiàn)在數(shù)組TOPGATEINFO中將新ID寫入到基礎PSA模型結構文件TOPGATE標識下并將新舊ID字符串都加入ID更新隊列,若重名處理原則為跳過則不做任何處理;
(5)邏輯門ID匹配失敗,將數(shù)組FTINFO中邏輯門及其所有下級輸入信息寫入到基礎PSA模型結構文件FTSTRUCT標識下,邏輯門若出現(xiàn)在數(shù)組TOPGATEINFO中將其ID寫入到基礎PSA模型結構文件TOPGATE標識下;
(6)檢查PSA模型數(shù)據(jù)庫邏輯門數(shù)據(jù)表,若ID字段的內(nèi)容與ID更新隊列中的舊ID相同的話,將該條記錄的ID字段更換為ID更新隊列中對應的新ID后再加入基礎PSA模型數(shù)據(jù)庫中;
(7)檢查PSA模型數(shù)據(jù)庫故障樹數(shù)據(jù)表,若頂門ID字段的內(nèi)容與ID更新隊列中的舊ID相同的話,將頂門ID字段替換為ID更新隊列中對應的新ID后再加入基礎PSA模型數(shù)據(jù)庫中;
(8)檢查PSA模型數(shù)據(jù)庫事件樹數(shù)據(jù)表,若輸入門ID字段的內(nèi)容與ID更新隊列中的舊ID相同的話,將該ID字段替換為ID更新隊列中對應的新ID后再加入基礎PSA模型數(shù)據(jù)庫中;
(9)完成基礎PSA模型結構文件的全部字符串匹配修改操作之后,清空數(shù)組FTINFO和TOPGATEINFO,保存關閉文件。
4.一種實現(xiàn)權利要求1所述應用于復雜系統(tǒng)評價的PSA模型文件解析合并方法的系統(tǒng),其特征在于:包括數(shù)據(jù)存儲器、模型解析器、模型合并器;其中:
數(shù)據(jù)存儲器,分類存儲參與合并的給定系統(tǒng)的PSA模型數(shù)據(jù),以及模型解析器和模型合并器處理過的中間結果模型,并提供給模型解析器、模型合并器以及外部的PSA或可靠性分析評價系統(tǒng)進行使用;
模型解析器,采用基于布爾邏輯的PSA模型邏輯解析法,對給定復雜系統(tǒng)的PSA模型文件進行解析,并把中間解析結果和最終解析結果存儲在數(shù)據(jù)存儲器中;
模型合并器,基于字符串分解匹配的結構文件合并方法對給定系統(tǒng)的PSA模型文件進行合并,并把中間合并結果和最終合并結果存儲在數(shù)據(jù)存儲器中。