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

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

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

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