基于Petri網(wǎng)模型的化工HAZOP分析專家系統(tǒng)研究與實(shí)現(xiàn).pdf

1、Petri網(wǎng)和專家系統(tǒng)的研究與應(yīng)用是目前較為活躍的兩個(gè)領(lǐng)域，本論文面向化工HAZOP分析，研究了專家系統(tǒng)與Petri網(wǎng)的融合技術(shù)，并以某化工企業(yè)溶劑回收工程控制系統(tǒng)為對(duì)象，建立了一個(gè)基于Petri網(wǎng)模型的化工HAZOP分析專家系統(tǒng)。
　　 論文的前部分主要介紹了基于Petri網(wǎng)的HAZOP分析的知識(shí)表達(dá)與推理的方法，提出在Visual Prolog下定義了Petri網(wǎng)的主要元素，采用Visual Prolog實(shí)現(xiàn)了基于Petri

2、網(wǎng)的HAZOP分析專家系統(tǒng)的知識(shí)表達(dá)與推理，以構(gòu)造基于Visual Prolog的Petri-HAZOP分析專家系統(tǒng)。提出了一種基于Petri網(wǎng)模型的專家系統(tǒng)知識(shí)表達(dá)方法，將一階謂詞邏輯（Horn子句）與模糊Petri網(wǎng)相結(jié)合，針對(duì)HAZOP分析的特點(diǎn)，給出了基于Prolog/Horn子句的模糊Petri網(wǎng)知識(shí)表達(dá)及建模算法，有效地結(jié)合了Horn子句的邏輯推理與模糊Petri網(wǎng)的知識(shí)表達(dá)能力。該方法應(yīng)用于構(gòu)造化工HAZOP分析專家系統(tǒng)的

3、實(shí)例，通過(guò)輸入HAZOP分析內(nèi)容，自動(dòng)分析輸出模糊Petri網(wǎng)圖形，增強(qiáng)了專家系統(tǒng)的啟發(fā)性和透明性。
　　 論文的后部分給出了Petri-ChemHAZOP專家系統(tǒng)的總體結(jié)構(gòu)，依據(jù)各個(gè)功能模塊分別論述，研究了系統(tǒng)定義、實(shí)時(shí)數(shù)據(jù)庫(kù)、基于Petri網(wǎng)模型的Prolog/Horn子句知識(shí)表達(dá)與推理機(jī)、Petri-ChemHAZOP專家系統(tǒng)的知識(shí)庫(kù)及其知識(shí)表達(dá)算法、HAZOP專家系統(tǒng)的人機(jī)接口和Petri-ChemHAZOP專家系統(tǒng)的V