資源描述：
《基于極大代數(shù)petri網(wǎng)同步模型的研究》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。
1、西南交通大學(xué)碩士研究生學(xué)位論文第1頁摘要同步是自然界和人造系統(tǒng)中普遍存在的一種現(xiàn)象，表達(dá)了活動(dòng)之間在邏輯及時(shí)間層面的相對(duì)關(guān)系。在實(shí)際系統(tǒng)中，相關(guān)活動(dòng)之間有效同步的實(shí)現(xiàn)有著重要的意義。但是，同步在不同的實(shí)際系統(tǒng)中表現(xiàn)出不同的特征，形式也表現(xiàn)得很復(fù)雜。因此，運(yùn)用適當(dāng)?shù)姆椒▽?duì)同步建立模型，借助模型去研究有效同步實(shí)現(xiàn)的條件及方法就具有重要的理論意義和應(yīng)用價(jià)值。Petri網(wǎng)是一種圖形化的建模工具，它不僅可以通過網(wǎng)結(jié)構(gòu)及托肯(Token)的運(yùn)行表達(dá)活動(dòng)之間的靜態(tài)邏輯關(guān)系，也可以演示活動(dòng)之間的動(dòng)態(tài)時(shí)間關(guān)系。Petri網(wǎng)的突出優(yōu)點(diǎn)之一就是適合表述同步、并發(fā)等現(xiàn)象，但Petri網(wǎng)的分析能力落后
2、于其描述能力，而極大代數(shù)可以將一類特殊的Petri網(wǎng)一計(jì)時(shí)事件圖(T蹦EDEVENTGRAPH)模型轉(zhuǎn)化為其特殊代數(shù)結(jié)構(gòu)下的線性模型，從而可以對(duì)模型進(jìn)行分析和求解。論文將這兩種方法結(jié)合起來，以計(jì)時(shí)事件圖(TMEDEVENTGm心H)和極大代數(shù)為工具，對(duì)同步進(jìn)行研究。論文的主要工作及研究成果如下：1．對(duì)同步的定義進(jìn)行了概述，包括特征及表現(xiàn)形式。據(jù)此，選擇Petri網(wǎng)來描述同步現(xiàn)象。2．運(yùn)用模塊化的建模思想，選擇事件圖(T．圖)及計(jì)時(shí)事件圖(TIMEDEVENTG扎心H)分別從邏輯及時(shí)間兩個(gè)層面構(gòu)建Petri網(wǎng)同步模型，并進(jìn)一步得到實(shí)現(xiàn)有效同步的條件及方法。3．以極大代數(shù)為工具，
3、將計(jì)時(shí)事件圖(TMEDEVENTG黜謹(jǐn)H)同步模型轉(zhuǎn)化為極大代數(shù)線性模型，并設(shè)計(jì)算法求解模型。4．以快速公交換乘系統(tǒng)為例，驗(yàn)證了將計(jì)時(shí)事件圖(T蹦EDEVENTGm心H)和極大代數(shù)應(yīng)用到有效同步研究中的可行性，通過Matlab編程仿真，實(shí)現(xiàn)了整個(gè)快速公交換乘系統(tǒng)的有效同步。論文將極大代數(shù)和計(jì)時(shí)事件圖(TMEDEVENTG黜心H)結(jié)合起來研究同步，為同步的研究提供了一種新的思路，為有效同步的實(shí)現(xiàn)提供了一種新的可行的方法。關(guān)鍵詞：同步；計(jì)時(shí)事件圖；極大代數(shù)；快速公交換乘系統(tǒng)西南交通大學(xué)碩士研究生學(xué)位論文第1I頁AbstractSynchronizationisacommonphe
4、nomenoninnatureandartificialsystem，whichexpressesrelativerelationshipinlogicandtimebetweenactivities．Itissignificantthataccomplishingeffectivesynchronizationinactualsystem．But，thesynchronizationshowsdifferentcharacteristicsindifferentactualsystems．Soithasimportanttheoreticalandpracticalsign
5、ificancethatweusetheappropriatemethodtomodelsynchronization,furthermore，weusethemodeltostudytheconditionsandmethoda甜realizingeffectivesynchronization．Petrinetsisakindofgraphicalmodelingtools，whichnotonlypresentsthetaticlogicalrelationshipbetweenactivitiesbutalsothedynamicoperationwitllnetwo
6、rk’Sstructureandtheoperationoftokens．OneoftheoutstandingadvantagesofPetrinetsissuitableforexpressionsynchronization．However，Petrinets’Sanalyticalabilityfallsbehinditsdescriptionability．Max-plusalgebraCantransformsaspecialkindofPetrinets-TimedEventGraph(TEG)intolinearmodelinordertoanalyzeand
7、solveit．Inthispaper,thetwomethodawhicharePetrinetsandMax-plusalgebraarecombinedtostudysynchronization．Thusthemainlyworkandmsearchmsnltsareasfollows：1Theintroductionofsynchronizationwhichcontainsfeaturesandforms．Basedontheabovereasons，thePetrinetssynchron
