為了應(yīng)對例如大規(guī)模信息物理系統(tǒng)等具有復(fù)雜邏輯結(jié)構(gòu)的研究對象中的故障預(yù)測問題,本文提出用離散事件系統(tǒng)的方法來對系統(tǒng)的邏輯結(jié)構(gòu)進行建模。然后,針對離散事件系統(tǒng)中的故障預(yù)測問題,本文使用帶標簽的Petri網(wǎng)將其轉(zhuǎn)化為標準的Petri網(wǎng)語言下的故障預(yù)測形式。由于大規(guī)模信息物理系統(tǒng)通常具有分布式的結(jié)構(gòu)特點,故集總參數(shù)下的現(xiàn)有理論,如,故障可預(yù)測性等,不能直接套用。為此,本文提出分散式故障預(yù)測的概念,并將現(xiàn)有自動機領(lǐng)域的研究成果拓展到了Petri網(wǎng)語言。具體來說,本文研究的是由無界的帶標簽Petri網(wǎng)模擬的離散事件系統(tǒng)中,分散式的故障預(yù)測問題。本文假設(shè)系統(tǒng)由一系列的本地代理（預(yù)估器）共同監(jiān)控,每個本地代理都有自己的本地觀測,作為一個團隊他們協(xié)同合作,一起預(yù)測系統(tǒng)中可能出現(xiàn)的故障。協(xié)同可預(yù)測性,作為是否存在一組分散式預(yù)估器,使得故障可以不被錯報且不被漏報的充分必要條件,本文的主要工作就是在由帶標簽Petri網(wǎng)模擬的系統(tǒng)中驗證這個性質(zhì)。本文證明了協(xié)同可預(yù)測性是可判別的,即使系統(tǒng)的Petri網(wǎng)是一個無界網(wǎng)絡(luò)。特別地,本文提供了一種方法,將協(xié)同可預(yù)測性的驗證問題轉(zhuǎn)化為了可以被有效解決的模型校驗問題。同時,... 

【文章來源】：上海交通大學(xué)上海市 211工程院校 985工程院校 教育部直屬院校

【文章頁數(shù)】：76 頁

【學(xué)位級別】：碩士

【部分圖文】：

–1棋盤上的隨機運動。

信息傳輸系統(tǒng)中的研究對象通常被稱為消息,包裹,或者呼叫請求(比如在電話網(wǎng)絡(luò)里)。消息一般是由位于某個“信號源”的用戶發(fā)出,希望能夠傳達到別的用戶所在的“目的地”。大多數(shù)情況下,信號的來源與目標之間不是直接聯(lián)系的,而要通過一個或多個的中間點。為了讓信號順利傳輸,必須經(jīng)過許多中繼服務(wù)器,或者說切換裝置,簡單的如電路的開關(guān),復(fù)雜的如電腦的處理器,又或是傳輸介質(zhì),如無線電等。類似如圖2–2所示的排隊模型經(jīng)常被用來描述這類系統(tǒng)的動作。一個信息傳輸系統(tǒng)的重要特點是其需要一種控制機制,來確保服務(wù)器的使用權(quán)限公平有效,傳輸過程的目標能夠達到(即,信號成功地送達目的地)。這些控制機制,或者有時稱為協(xié)議,會相當(dāng)復(fù)雜。因此1,設(shè)計與驗證這些機制就成為了挑戰(zhàn)性的問題。

物料需要經(jīng)過兩個機器,而第二個機器前的緩存容量被限制到了兩個。因此,有可能一個工件完成了一號機的加工,卻發(fā)現(xiàn)二號機正忙而且兩個緩存位都已經(jīng)被占據(jù)了。這種情況下,工件就必須留在一號機內(nèi),即使已經(jīng)不需要加工了。同時,其他正在排隊準備進入一號機的原料也被迫停留在隊列中。本文稱這種情況為堵塞。

【參考文獻】：
期刊論文
[1]模糊Petri網(wǎng)絡(luò)知識表示方法及其在變壓器故障診斷中的應(yīng)用[J]. 王建元,紀延超.  中國電機工程學(xué)報. 2003(01)
[2]Petri網(wǎng)絡(luò)在變壓器故障診斷中的應(yīng)用[J]. 王建元,紀延超.  電網(wǎng)技術(shù). 2002(08)
[3]基于冗余嵌入Petri網(wǎng)技術(shù)的變電站故障診斷[J]. 趙洪山,米增強,楊奇遜.  電力系統(tǒng)自動化. 2002(04)
[4]動態(tài)系統(tǒng)的故障診斷方法綜述[J]. 陳玉東,施頌椒,翁正新.  化工自動化及儀表. 2001(03)
[5]模糊推理Petri網(wǎng)及其在故障診斷中的應(yīng)用[J]. 高梅梅,吳智銘.  自動化學(xué)報. 2000(05)



本文編號：3396885