基于EFSM切片的故障診斷方法研究.pdf

1、切片技術(shù)對(duì)于分析和約減擴(kuò)展有限狀態(tài)機(jī)EFSM(Extended Finite State Machine)是非常重要的方法。大多數(shù)現(xiàn)有的切片方法都是基于依賴圖，主要包括兩個(gè)部分:構(gòu)建依賴圖和反向遍歷依賴圖。構(gòu)建一個(gè)實(shí)際模型的依賴圖，計(jì)算原模型任意兩個(gè)遷移之間的依賴關(guān)系是必不可少卻耗時(shí)。由于新產(chǎn)生的依賴圖是原模型規(guī)模的數(shù)倍，所以構(gòu)建依賴圖和遍歷它的消耗是很大的。為了提高構(gòu)建依賴圖的效率，本文提出鄰接依賴圖的概念及其構(gòu)造算法。通過(guò)討論鄰接依

2、賴依賴關(guān)系的傳遞性問(wèn)題，給出基于鄰接依賴圖的EFSM切片算法。利用六個(gè)常用的EFSM模型進(jìn)行實(shí)驗(yàn)，驗(yàn)證了鄰接依賴圖方法的正確性和有效性。
　　 針對(duì)復(fù)雜化工過(guò)程故障分析和理解困難的問(wèn)題，應(yīng)用計(jì)算機(jī)領(lǐng)域中的EFSM切片技術(shù)和知識(shí)庫(kù)方法，提出一種新的應(yīng)用于化工過(guò)程故障診斷的解決方案。本文基于前人建立的擴(kuò)展有限狀態(tài)機(jī)(Extended Finite State Machine，EFSM)模型，選取系統(tǒng)操作流程中的異常對(duì)象作為切片準(zhǔn)則。

3、然后，利用鄰接依賴圖EFSM切片算法，給出求解故障對(duì)象相關(guān)變量數(shù)據(jù)依賴圖的過(guò)程，通過(guò)寬度優(yōu)先搜索變量數(shù)據(jù)依賴圖考查各節(jié)點(diǎn)是否為故障源，建立故障診斷所需知識(shí)庫(kù)。最后，列出基于EFSM切片的故障診斷推理的具體過(guò)程，以及根據(jù)構(gòu)建的知識(shí)庫(kù)進(jìn)行診斷工作。以雙容水槽液位控制系統(tǒng)為例，計(jì)算EFSM切片，其規(guī)模有效約減為原模型的70％左右;進(jìn)而得到相關(guān)變量數(shù)據(jù)依賴圖，分析異常狀態(tài)和故障源，使得基于EFSM切片的化工過(guò)程故障診斷方法的可行性得以驗(yàn)證，為化