基于時(shí)間調(diào)度的柔性制造系統(tǒng)控制器設(shè)計(jì).pdf

1、死鎖是柔性制造系統(tǒng)中一個(gè)不容忽視的問題，本文致力于Petri網(wǎng)框架下死鎖控制策略的研究。在現(xiàn)有的死鎖控制方法中，無論是基于結(jié)構(gòu)還是基于可達(dá)圖，都需要在原型Petri網(wǎng)的基礎(chǔ)之上添加一定量的控制庫所。由于一個(gè)Petri網(wǎng)的規(guī)模與其節(jié)點(diǎn)數(shù)及初始標(biāo)識(shí)呈指數(shù)關(guān)系，這使得受控網(wǎng)系統(tǒng)的結(jié)構(gòu)復(fù)雜度和計(jì)算復(fù)雜度都急劇增大。針對(duì)這一問題，本文利用區(qū)域理論中的事件分離事例思想，限制模型的狀態(tài)從網(wǎng)系統(tǒng)中的有效行為ML進(jìn)入禁止行為MF中，通過引入時(shí)間調(diào)度的概念

2、給變遷添加時(shí)間約束，實(shí)現(xiàn)加工進(jìn)程的合理調(diào)度，從而有效地剔除了系統(tǒng)中的非法標(biāo)識(shí)。由于在系統(tǒng)的設(shè)計(jì)和規(guī)劃階段就已經(jīng)剔除了所有可能的死鎖狀態(tài)，有效地避免了死鎖造成的系統(tǒng)停滯。
　　可達(dá)性分析是一種被廣泛應(yīng)用于Petri網(wǎng)模型分析的方法，而死鎖控制在可達(dá)性分析中屬于一類禁止?fàn)顟B(tài)問題。在本文中，通過對(duì)Petri網(wǎng)系統(tǒng)計(jì)算生成完整的可達(dá)圖，借助于區(qū)域理論將全部的可達(dá)狀態(tài)分為死鎖標(biāo)識(shí)(deadlock)、壞標(biāo)識(shí)(badmarking)、危險(xiǎn)標(biāo)識(shí)

3、(dangerous marking)、好標(biāo)識(shí)(good marking)四類。其中，危險(xiǎn)標(biāo)識(shí)和好標(biāo)識(shí)構(gòu)成一個(gè)網(wǎng)系統(tǒng)的最大許可行為。為了剔除網(wǎng)系統(tǒng)中的禁止行為MF來獲取活性Petri網(wǎng)控制器，需要遍歷出系統(tǒng)中全部的狀態(tài)變遷分離事例，不同于區(qū)域理論中利用添加控制庫所來限制導(dǎo)致死鎖的變遷發(fā)射，文中通過給同時(shí)使能的變遷添加時(shí)間約束實(shí)現(xiàn)變遷發(fā)射的強(qiáng)可調(diào)度性，進(jìn)而避免了系統(tǒng)中的局部孤立自環(huán)LIL(local isolated loop)、死鎖標(biāo)識(shí)

4、以及必然會(huì)導(dǎo)致死鎖的壞標(biāo)識(shí)的出現(xiàn)，實(shí)現(xiàn)了柔性制造系統(tǒng)死鎖預(yù)防的目的。
　　本文通過對(duì)一定量的Petri網(wǎng)模型進(jìn)行活性分析，發(fā)現(xiàn)了可達(dá)圖中存在一種局部孤立自環(huán)現(xiàn)象并給出了相關(guān)定義。從Petri網(wǎng)動(dòng)態(tài)活性的角度分析，局部孤立自環(huán)中所有的狀態(tài)都是動(dòng)態(tài)流動(dòng)的，不存在死鎖現(xiàn)象，但是局部孤立自環(huán)的存在和系統(tǒng)中死鎖狀態(tài)一樣會(huì)導(dǎo)致系統(tǒng)的停頓故障。文章的最后給出了該控制策略的算法描述，通過兩個(gè)柔性制造系統(tǒng)的應(yīng)用實(shí)例來說明控制器的設(shè)計(jì)過程，并探討了該