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

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

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

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