自動(dòng)制造系統(tǒng)（Automatic Manufacturing System,AMS）是一種人為干預(yù)較少甚至完全無人干預(yù)的制造過程。系統(tǒng)因資源的分配不當(dāng)極易產(chǎn)生死鎖,從而導(dǎo)致系統(tǒng)宕機(jī)。為了讓AMS能夠平穩(wěn)安全地運(yùn)行,自動(dòng)制造系統(tǒng)中的死鎖問題必須得到妥善解決。Petri網(wǎng)作為一種數(shù)學(xué)建模與分析工具,因其在AMS的模型搭建、狀態(tài)分析和死鎖控制三個(gè)方面的諸多優(yōu)勢,被廣泛應(yīng)用于先進(jìn)制造的理論與應(yīng)用研究中�；赑etri網(wǎng)研究AMS死鎖問題,現(xiàn)有的研究已給出了很多分析方法與控制策略,但無論是基于可達(dá)圖還是基于結(jié)構(gòu)的分析方法,它們所面向的大都是權(quán)值不變、托肯守恒的一類Petri網(wǎng)模型。對存在資源消耗情況的AMS,在已有的研究中并未給出與之對應(yīng)的Petri網(wǎng)子類。然而在實(shí)際的生產(chǎn)制造中,資源消耗的情況又是極為普遍的,例如刀具磨損消耗、冷卻液、機(jī)床中潤滑油等耗材的消耗等,因此定義一個(gè)與之對應(yīng)的Petri網(wǎng)子類是十分必要的。本文旨在滿足資源消耗型自動(dòng)制造系統(tǒng)中的死鎖控制需求,首先定義了一類權(quán)值可變、托肯不守恒的資源消耗Petri網(wǎng)子類（簡稱消耗網(wǎng)）;然后基于可達(dá)圖的控制策略對消耗網(wǎng)模型進(jìn)行了狀態(tài)空間劃分及... 

【文章來源】：西安電子科技大學(xué)陜西省 211工程院校 教育部直屬院校

【文章頁數(shù)】：93 頁

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

【文章目錄】：
摘要
ABSTRACT
符號(hào)對照表
縮略語對照表
第一章 緒論
    1.1 研究背景與現(xiàn)狀
    1.2 Petri網(wǎng)的應(yīng)用
    1.3 論文結(jié)構(gòu)
第二章 Petri網(wǎng)基本理論及子類
    2.1 多集
    2.2 Petri網(wǎng)的基本概念
    2.3 可達(dá)圖
    2.4 結(jié)構(gòu)分析
    2.5 S3PR與WS3PR
    2.6 本章小結(jié)
第三章 基于可達(dá)圖的控制策略
    3.1 區(qū)域理論
    3.2 基于P-不變式構(gòu)造控制器
    3.3 向量覆蓋法
    3.4 本章小結(jié)
第四章 一類資源消耗型Petri網(wǎng)
    4.1 資源消耗的方式
    4.2 消耗型Petri網(wǎng)
    4.3 消耗網(wǎng)可達(dá)圖的膨脹現(xiàn)象
    4.4 消耗網(wǎng)的控制目標(biāo)及狀態(tài)空間劃分
        4.4.1 死鎖狀態(tài)分類
        4.4.2 目標(biāo)控制狀態(tài)
        4.4.3 狀態(tài)空間的劃分
    4.5 消耗網(wǎng)狀態(tài)空間的算法
        4.5.1 計(jì)算選控死標(biāo)識(shí)集合
        4.5.2 計(jì)算待控標(biāo)識(shí)集合
        4.5.3 計(jì)算首遇待控標(biāo)識(shí)集合
        4.5.4 具有庫所選擇性的向量覆蓋算法
    4.6 本章小結(jié)
第五章 消耗網(wǎng)的運(yùn)行控制
    5.1 消耗網(wǎng)的狀態(tài)覆蓋問題
        5.1.1 覆蓋問題的產(chǎn)生原因
        5.1.2 覆蓋問題的解決策略
    5.2 基于線性規(guī)劃的進(jìn)一步研究
    5.3 向量覆蓋法在消耗網(wǎng)的應(yīng)用
    5.4 基于向量覆蓋法的消耗網(wǎng)運(yùn)行控制策略
    5.5 消耗網(wǎng)算例
    5.6 本章小結(jié)
第六章 總結(jié)與展望
    6.1 總結(jié)
    6.2 展望
參考文獻(xiàn)
致謝
作者簡介


【參考文獻(xiàn)】：
期刊論文
[1]基于CPN Tools研究綜述[J]. 劉江.  信息技術(shù)與信息化. 2015(03)
[2]基于Petri網(wǎng)的建設(shè)工程項(xiàng)目實(shí)施階段資源建模與仿真[J]. 李海凌,史本山,劉克劍.  計(jì)算機(jī)應(yīng)用研究. 2011(12)
[3]Solving Resource-constrained Multiple Project Scheduling Problem Using Timed Colored Petri Nets[J]. 吳瑜,莊新村,宋國輝,許曉棟,李從心.  Journal of Shanghai Jiaotong University（Science）. 2009(06)



本文編號(hào)：3257695