在柔性制造系統(tǒng)(Flexible Manufacturing Systems,FMS)中,通常會(huì)并行加工不同類型的產(chǎn)品,同一種資源會(huì)被不同的加工進(jìn)程共享,如果資源分配不當(dāng),系統(tǒng)就可能產(chǎn)生死鎖。死鎖產(chǎn)生后,會(huì)導(dǎo)致整個(gè)或部分系統(tǒng)無(wú)法運(yùn)行。因此,解決死鎖問(wèn)題是保證柔性制造系統(tǒng)正常運(yùn)行的前提。Petri網(wǎng)可以有效地對(duì)制造系統(tǒng)進(jìn)行建模,分析和死鎖控制�；�于Petri網(wǎng)的死鎖預(yù)防策略有很多種,計(jì)算復(fù)雜度是各種策略都面臨的重大難題。本文基于Petri網(wǎng)理論,從結(jié)構(gòu)分析的角度,對(duì)S³PR(System of Simple Sequential Processes with Resources)網(wǎng)模型中的兩個(gè)特殊子類:雙進(jìn)程S³PR網(wǎng)和雙進(jìn)程US³PR網(wǎng)的死鎖預(yù)防問(wèn)題進(jìn)行研究。分析網(wǎng)的結(jié)構(gòu)特點(diǎn)與死鎖之間的關(guān)系,進(jìn)而針對(duì)這兩類網(wǎng)模型,分別提出了規(guī)律性的添加控制器的方法,避免了復(fù)雜的計(jì)算。主要完成的工作內(nèi)容如下:1.針對(duì)雙進(jìn)程S³PR網(wǎng)模型,通過(guò)對(duì)其結(jié)構(gòu)進(jìn)行分析,發(fā)現(xiàn)相遇庫(kù)所對(duì)飽和就會(huì)使系統(tǒng)進(jìn)入相遇狀態(tài),從而造成死鎖。當(dāng)...

【文章頁(yè)數(shù)】：80 頁(yè)

【學(xué)位級(jí)別】：碩士

【文章目錄】：
摘要
ABSTRACT
符號(hào)對(duì)照表
縮略語(yǔ)對(duì)照表
第一章 緒論
    1.1 研究背景
    1.2 國(guó)內(nèi)外發(fā)展現(xiàn)狀
    1.3 研究意義
    1.4 論文結(jié)構(gòu)
第二章 Petri網(wǎng)基本理論及子類
    2.1 Petri網(wǎng)的基本概念
        2.1.1 多集
        2.1.2 Petri網(wǎng)的基本定義
        2.1.3 結(jié)構(gòu)不變式
        2.1.4 信標(biāo)與陷阱
        2.1.5 可達(dá)圖
    2.2 S³PR網(wǎng)與LS³PR網(wǎng)
    2.3 本章小結(jié)
第三章 雙進(jìn)程S³PR網(wǎng)模型及其控制規(guī)律
    3.1 雙進(jìn)程S³PR網(wǎng)及其控制規(guī)律
        3.1.1 雙進(jìn)程S³PR網(wǎng)及相遇狀態(tài)
        3.1.2 資源庫(kù)所初始標(biāo)識(shí)都是1的控制規(guī)律
        3.1.3 資源庫(kù)所初始標(biāo)識(shí)都是2的控制規(guī)律
    3.2 控制庫(kù)所合并
    3.3 本章小結(jié)
第四章 US³PR網(wǎng)控制規(guī)律
    4.1 雙進(jìn)程US³PR網(wǎng)控制規(guī)律
        4.1.1 US³PR網(wǎng)
        4.1.2 雙進(jìn)程US³PR網(wǎng)及其活性分析
        4.1.3 雙進(jìn)程US³PR網(wǎng)的控制規(guī)律
    4.2 α-網(wǎng)及其活性分析
        4.2.1 α-網(wǎng)
        4.2.2 α-網(wǎng)活性分析
    4.3 本章小結(jié)
第五章 雙進(jìn)程S³PR網(wǎng)生產(chǎn)效率研究
    5.1 自動(dòng)制造系統(tǒng)的雙進(jìn)程S³PR網(wǎng)模型
    5.2 雙進(jìn)程S³PR網(wǎng)模型生產(chǎn)效率分析
    5.3 本章小結(jié)
第六章 總結(jié)與展望
    6.1 總結(jié)
    6.2 展望
參考文獻(xiàn)
致謝
作者簡(jiǎn)介



本文編號(hào)：3997189