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

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

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

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



本文編號：3396885