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