基于混合整數(shù)規(guī)劃的FMS活性控制器設(shè)計(jì).pdf

1、本文主要研究柔性制造系統(tǒng)中的死鎖問題，利用Petri網(wǎng)對(duì)其建模，對(duì)一種網(wǎng)的子類-S3PR網(wǎng)，提出了幾種新的死鎖預(yù)防策略。網(wǎng)模型中的信標(biāo)可分為基本信標(biāo)和從屬信標(biāo)，對(duì)每個(gè)基本信標(biāo)添加控制庫所使其不變式可控，并利用混合整數(shù)規(guī)劃方法來保證不會(huì)產(chǎn)生新的可被清空的信標(biāo)。同樣，也可以利用混合整數(shù)規(guī)劃方法找出一個(gè)最大無標(biāo)識(shí)信標(biāo)，并一次又一次的從中導(dǎo)出極小信標(biāo)，對(duì)每個(gè)極小信標(biāo)，添加一個(gè)控制庫所，使其不變式可控，并用混合整數(shù)規(guī)劃方法檢驗(yàn)保證不會(huì)產(chǎn)生由添加的

2、控制庫所引起的新的可被清空的信標(biāo)。這兩種新的死鎖預(yù)防策略會(huì)得到更多的許可行為，因?yàn)樘砑拥目刂茙焖突〉臄?shù)量比現(xiàn)有的其它方法要少的多。 利用區(qū)域理論設(shè)計(jì)控制器可以使受控網(wǎng)得到最大許可行為，但是隨著網(wǎng)規(guī)模的擴(kuò)大，會(huì)出現(xiàn)狀態(tài)爆炸的問題，從而導(dǎo)致計(jì)算量比較大。而且不同的初始標(biāo)識(shí)對(duì)應(yīng)著不同的控制器，需要一次次重新計(jì)算。本文為了避免這些問題，給出了保證原網(wǎng)無死鎖時(shí)，初始標(biāo)識(shí)之間應(yīng)滿足的關(guān)系式。就是說，給定網(wǎng)結(jié)構(gòu)，無論初始標(biāo)識(shí)如何變化，都可以