屬性Petri網(wǎng)建模及其在故障診斷中的應(yīng)用.pdf

1、定性映射(Qualitative Mapping，QM)模型是思維建構(gòu)和智能模擬的屬性論方法中的的基本數(shù)學(xué)模型，它表達(dá)的是事物屬性量一質(zhì)特征轉(zhuǎn)化關(guān)系，其哲學(xué)基礎(chǔ)是事物質(zhì)量互變規(guī)律，其基本內(nèi)涵是依據(jù)特定的屬性基準(zhǔn)，從事物的一個(gè)或多個(gè)量特征中抽取出質(zhì)特征。在數(shù)學(xué)上已經(jīng)證明它可以推導(dǎo)出人工神經(jīng)元，用它可以解決異或分類問(wèn)題，雙螺旋問(wèn)題等人工智能問(wèn)題中的經(jīng)典難題。 論文在論述了各類定性映射模型的基礎(chǔ)上，提出了屬性Petri網(wǎng)(Attrib

2、ute PetriNet，APN)。形式化地定義了APN的數(shù)學(xué)結(jié)構(gòu)，利用APN圖形化的工具，形象地描述了定性映射。在屬性Petri網(wǎng)中，變遷的啟動(dòng)規(guī)則以及庫(kù)所標(biāo)識(shí)的計(jì)算都有別于傳統(tǒng)的Petri網(wǎng)，因此，本文重新定義了APN的變遷點(diǎn)火條件、可達(dá)標(biāo)識(shí)集、關(guān)聯(lián)矩陣和狀態(tài)方程。APN的狀態(tài)方程反映了庫(kù)所在不同狀態(tài)下的標(biāo)識(shí)情況，是對(duì)APN動(dòng)態(tài)性質(zhì)地描述。在分析了APN的靜態(tài)和動(dòng)態(tài)結(jié)構(gòu)之后，給出了定性診斷推理算法和基準(zhǔn)調(diào)節(jié)學(xué)習(xí)算法。 隨著科

3、學(xué)技術(shù)和經(jīng)濟(jì)建設(shè)的發(fā)展，機(jī)械設(shè)備和制造過(guò)程的狀態(tài)監(jiān)測(cè)和故障診斷已成為保證系統(tǒng)運(yùn)行穩(wěn)定性、可靠性和安全性，以及提高產(chǎn)品質(zhì)量和生產(chǎn)效率的關(guān)鍵技術(shù)和重要手段。屬性Petri網(wǎng)直觀地表示了屬性量一質(zhì)特征轉(zhuǎn)化關(guān)系，從而可以作為監(jiān)測(cè)診斷系統(tǒng)的建模分析工具。本文應(yīng)用APN建立船舶主機(jī)冷卻系統(tǒng)的故障診斷模型，并利用Visual C++開發(fā)工具，實(shí)現(xiàn)了船舶主機(jī)冷卻系統(tǒng)的故障診斷原型。 本文研究的意義在于：屬性Petri網(wǎng)可以使得屬性論方法的研究與