資源描述：
《基于多狀態(tài)機(jī)復(fù)合petri網(wǎng)多資源協(xié)同優(yōu)化與動(dòng)態(tài)調(diào)度》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫(kù)。
1、萬(wàn)方數(shù)據(jù)沈陽(yáng)大學(xué)碩士學(xué)位論文基于多狀態(tài)機(jī)復(fù)合Petri網(wǎng)多資源協(xié)同優(yōu)化與動(dòng)態(tài)調(diào)度丁林指導(dǎo)教師：李彥平教授單位：沈陽(yáng)大學(xué)協(xié)助指導(dǎo)教師：遞遨副塾握單位：—墊陽(yáng)大學(xué)論史提交日期：2013年12月16日學(xué)位授予單位：沈陽(yáng)大學(xué)萬(wàn)方數(shù)據(jù)lIIIIIIIIIIIIIIIIIIIIMIqllllllllIIIIIIIllIJO121718基于多狀態(tài)機(jī)復(fù)合Petri網(wǎng)多資i2J；i協(xié)Ⅲ優(yōu)化與動(dòng)態(tài)調(diào)度CollaborativeOptimizationandDynamicSchedulingforManyKindsofR
2、esourceswithMultipleFiniteStateMachinesBasedPetriNet研究生姓名：丁林指導(dǎo)教師姓名：李彥平、謝謝沈陽(yáng)大學(xué)沈陽(yáng)，110044，中國(guó)Candidate：DingLinSupervisor：LiYanpingShenyangUniversity21SouthWan對(duì)mStreet，DadongDistrictShenyang，110044，P．R．CHINA萬(wàn)方數(shù)據(jù)獨(dú)創(chuàng)性說(shuō)明本人鄭重聲明：所呈交的論文是我個(gè)人在導(dǎo)師指導(dǎo)下進(jìn)行的研究：1：作及取得的研究成果。
3、盡我所知，除了文t{J特別加以標(biāo)注和致謝的地方外，論文中不包含其他人已經(jīng)發(fā)表或撰寫(xiě)的研究成果，也不包含為獲得沈陽(yáng)大學(xué)或其他教育機(jī)構(gòu)的學(xué)位或證書(shū)所使用過(guò)的材料。與我一同：iIfl-的同志對(duì)本研究所做的任何貢獻(xiàn)均已在論文中做了明確的說(shuō)明并表示了謝意。簽名：期：小7夕，J)’，占本人完全了解沈陽(yáng)大學(xué)有關(guān)保留、使用學(xué)位論文的規(guī)定，即：學(xué)校有權(quán)保留送交論文的復(fù)印件，允許論文被查閱和借閱；學(xué)?？梢怨颊撐牡娜炕虿糠謨?nèi)容，可以采用影印、縮印或其他復(fù)制手段保存論文。簽名：—芻-軍爭(zhēng)導(dǎo)師簽一日期：小7了．12,，名
4、萬(wàn)方數(shù)據(jù)沈陽(yáng)大學(xué)碩士學(xué)位論文摘要多資源協(xié)同優(yōu)化與動(dòng)態(tài)調(diào)度是離散事件動(dòng)態(tài)系統(tǒng)研究的一個(gè)重要方向，而Petfi網(wǎng)以直觀的圖形提出一種形象的建模方法，以研究模型系統(tǒng)中的組織結(jié)構(gòu)和動(dòng)態(tài)行為目標(biāo)，著眼于系統(tǒng)中可能發(fā)生的各種狀態(tài)和狀態(tài)轉(zhuǎn)換間的關(guān)系，是研究多資源協(xié)同優(yōu)化與動(dòng)態(tài)調(diào)度問(wèn)題的一個(gè)理想工具。但是，基本Petri網(wǎng)只能從宏觀上對(duì)資源的數(shù)量分布進(jìn)行描述，大部分研究都是通過(guò)添加許多新的集合或映射來(lái)增強(qiáng)其建模能力，而對(duì)于具備連續(xù)消息的多類(lèi)資源的DEDS，傳統(tǒng)Petri網(wǎng)則無(wú)法清楚的刻畫(huà)。為此，我們結(jié)合具有邏輯屬性
5、的二元標(biāo)識(shí)，提出二元標(biāo)識(shí)多狀態(tài)機(jī)復(fù)合Pelfi網(wǎng)，并用其研究多資源協(xié)同優(yōu)化與動(dòng)態(tài)調(diào)度問(wèn)題。(1)在基于Token離散標(biāo)識(shí)多狀態(tài)機(jī)復(fù)合PeRi網(wǎng)基礎(chǔ)上，引入具有邏輯屬性的二元標(biāo)識(shí)，分別提出基于二元離散標(biāo)識(shí)和混雜標(biāo)識(shí)多狀態(tài)機(jī)復(fù)合Petri網(wǎng)模型。并具體研究模型的變遷使能機(jī)制、事件使能機(jī)制、Token遷移機(jī)制以及Token連續(xù)信息演化機(jī)制。(2)在基于二元混雜Petri網(wǎng)模型中引入時(shí)空等連續(xù)信息，結(jié)合一般微積分方程，建立基于時(shí)間的二元混雜標(biāo)識(shí)復(fù)合Pelri網(wǎng)和基于空間的二元混雜標(biāo)識(shí)復(fù)合Petri網(wǎng)模型，并
6、提出基于二元混雜多狀態(tài)機(jī)復(fù)合Petfi網(wǎng)的最優(yōu)事件的調(diào)度規(guī)則。(3)利用以上所提出的Pelri網(wǎng)模型并對(duì)舉出一個(gè)柔性制造例子進(jìn)行協(xié)同優(yōu)化與動(dòng)態(tài)調(diào)度，以驗(yàn)證基于時(shí)間屬性的二元混雜標(biāo)識(shí)復(fù)合Petri網(wǎng)的正確性和有效性。然后以罩式退火過(guò)程生產(chǎn)調(diào)度為例，先在沒(méi)有資源沖突的特殊條件下，對(duì)罩式退火過(guò)程進(jìn)行調(diào)度。然后結(jié)合實(shí)際，針對(duì)具有資源沖突的罩式退火過(guò)程，在等待時(shí)間最少的條件的約束下，從時(shí)間和空間位置上對(duì)其進(jìn)行協(xié)同優(yōu)化，結(jié)果表明，可以得到滿(mǎn)意解。從而證明基于二元混雜標(biāo)識(shí)多狀態(tài)機(jī)復(fù)合Petfi網(wǎng)，可以有效地解決多
7、資源系統(tǒng)的建模、分析和協(xié)同調(diào)度問(wèn)題，為今后研究多資源協(xié)同優(yōu)化與動(dòng)態(tài)調(diào)度提供了一個(gè)新的途徑。關(guān)鍵詞：多資源系統(tǒng)，二元標(biāo)識(shí)，復(fù)厶Petri網(wǎng)，協(xié)同優(yōu)化，動(dòng)態(tài)調(diào)度萬(wàn)方數(shù)據(jù)沈陽(yáng)大學(xué)碩士學(xué)位論文萬(wàn)方數(shù)據(jù)沈陽(yáng)大學(xué)碩士學(xué)位論文CollaborativeOptimizationandDynamicSchedulingofManyKindsofResourceswithMu博StateMachinesbasedPetriNetAbstractCollaborativeoptimizationanddynamicsch
8、edulingofsystemsofmanykindsofresourcesisanimportantaspectofresearchconcerningDynamicEventDiscreteSystem．PelriNet,anidealmodelingmethodtocollaborativeoptimizationanddynamicschedulingofresources，iscomposedofvisualizedgraphsandmathematics，
