注冊(cè) | 登錄讀書好,好讀書,讀好書!
讀書網(wǎng)-DuShu.com
當(dāng)前位置: 首頁(yè)出版圖書科學(xué)技術(shù)計(jì)算機(jī)/網(wǎng)絡(luò)網(wǎng)絡(luò)與數(shù)據(jù)通信基于Petri網(wǎng)信標(biāo)求解與施控的死鎖控制策略

基于Petri網(wǎng)信標(biāo)求解與施控的死鎖控制策略

基于Petri網(wǎng)信標(biāo)求解與施控的死鎖控制策略

定 價(jià):¥48.00

作 者: 李紹勇
出版社: 蘭州大學(xué)出版社
叢編項(xiàng):
標(biāo) 簽: 暫缺

購(gòu)買這本書可以去


ISBN: 9787311058340 出版時(shí)間: 2020-11-01 包裝:
開本: 16開 頁(yè)數(shù): 192 字?jǐn)?shù):  

內(nèi)容簡(jiǎn)介

  死鎖問題是目前占據(jù)了產(chǎn)品制造領(lǐng)域主導(dǎo)地位的自動(dòng)制造系統(tǒng)設(shè)計(jì)時(shí)必須考慮和加以解決的。Petri網(wǎng)以建模能力強(qiáng)、便于分析和圖形化等優(yōu)點(diǎn),在自動(dòng)制造系統(tǒng)的建模,運(yùn)行和性能評(píng)價(jià)等方面,尤其是死鎖控制策略的設(shè)計(jì)得到了廣泛應(yīng)用。本書內(nèi)容主要包括Petri網(wǎng)信標(biāo)和可達(dá)圖的基礎(chǔ)知識(shí),基于信標(biāo)求解與施控的死鎖控制策略,基于可達(dá)圖分析的死鎖控制策略和活性受控Petri網(wǎng)系統(tǒng)結(jié)構(gòu)的化簡(jiǎn)策略。本書可為高等學(xué)校自動(dòng)制造系統(tǒng)設(shè)計(jì)與控制等相關(guān)專業(yè)的高年級(jí)本科生與研究生提供學(xué)習(xí)參考,也可供從事相關(guān)工程領(lǐng)域的研究人員與工程師參考。

作者簡(jiǎn)介

暫缺《基于Petri網(wǎng)信標(biāo)求解與施控的死鎖控制策略》作者簡(jiǎn)介

圖書目錄

第一章 概述
1.1 柔性制造系統(tǒng)
1.2 死鎖問題的研究方法
1.2.1 基于Petri網(wǎng)建模的柔性制造系統(tǒng)
1.2.2 基于Petri網(wǎng)的死鎖控制策略
1.2.3 死鎖預(yù)防策略
1.2.4 冗余控制庫(kù)所問題
1.2.5 活性Petri網(wǎng)控制器實(shí)施代價(jià)的評(píng)價(jià)
1.2.6 最大活性可達(dá)數(shù)的活性受控網(wǎng)系統(tǒng)
1.3 本章小結(jié)
第二章 Petri網(wǎng)的基本知識(shí)
2.1 Petri網(wǎng)的基本定義和性質(zhì)
2.2 結(jié)構(gòu)不變式
2.3 可達(dá)圖
2.4 Petrj網(wǎng)的復(fù)合與基本子類
2.5 多集的概念
2.6 Petri網(wǎng)結(jié)構(gòu)的特定對(duì)象——信標(biāo)
2.7 本章小結(jié)
第三章 基于完全信標(biāo)枚舉的死鎖預(yù)防策略
3.1 信標(biāo)枚舉法
3.1.1 嚴(yán)格極小信標(biāo)
3.1.2 基本信標(biāo)
3.1.3 拓展的基本信標(biāo)
3.2 相應(yīng)的死鎖預(yù)防策略
3.2.1 SMS枚舉與控制算法
3.2.2 ES枚舉與控制算法
3.3 算例
3.4 本章小結(jié)
第四章 基于部分信標(biāo)枚舉的死鎖預(yù)防策略
4.1 混合整數(shù)規(guī)劃方法
4.1.1 適用于普通Petri網(wǎng)的MIP
4.1.2 適用于一般Petri網(wǎng)的MIP
4.1.3 改進(jìn)的MIP與新的MIP
4.2 S3PR網(wǎng)基本信標(biāo)集合的求解
4.2.1 庫(kù)所的分類
4.2.2 基本信標(biāo)集合的迭代式求解算法
4.2.3 算例
4.3基于必需信標(biāo)的死鎖預(yù)防算法
4.3.1 必需信標(biāo)
4.3.2 控制庫(kù)所
4.3.3 迭代式死鎖預(yù)防控制算法
4.3.4 算例
4.4 基于靈巧信標(biāo)的死鎖預(yù)防算法
4.4.1 迭代式死鎖控制算法
4.4.2 算例
4.5 基于新靈巧信標(biāo)的死鎖與活鎖預(yù)防算法
4.5.1 迭代式死鎖與活鎖控制算法
4.5.2 算例
4.6 G—Syetem網(wǎng)的死鎖預(yù)防策略
4.6.1 G—system的定義
4.6.2 基于靈巧信標(biāo)的迭代死鎖控制算法
4.6.3 算例
4.7 本章小結(jié)
第五章 活性Petri網(wǎng)控制器的結(jié)構(gòu)化簡(jiǎn)
5.1 活性Petri網(wǎng)控制器的結(jié)構(gòu)化簡(jiǎn)
5.1.1 隱式庫(kù)所及其鑒別
5.1.2 鑒別與刪除冗余控制庫(kù)所的迭代式控制算法
5.2 算例
5.3 本章小結(jié)
第六章 死鎖控制研究的一些新進(jìn)展
6.1 普通Petri網(wǎng)兩段式最大可達(dá)數(shù)的歹E鎖控制算法
6.1.1 控制庫(kù)所與控制變遷
6.1.2 從屬館標(biāo)的可控性
6.3 兩段式死鎖控制算法
6.1.4 算例
6.2 基于控制變遷的死鎖控制算法
6.2.1 控制變遷方程
6.2.2 控制變遷數(shù)目最小化的線性規(guī)劃問題
6.2.3 控制變遷的重構(gòu)
6.2.4 應(yīng)用控制變遷的死鎖控制算法
6.2.5 算例
6.3 活性Pti網(wǎng)控制器實(shí)施代價(jià)評(píng)價(jià)算法
6.3.1 活性控制器的權(quán)系數(shù)表述
6.3.2 和^的多目標(biāo)線性規(guī)劃問題
6.3.3 相關(guān)實(shí)施代價(jià)評(píng)估的規(guī)劃問題
6.3.4 活性控制器實(shí)施代價(jià)評(píng)估的迭代式算法
6.3.5 算例
6.4 本章小結(jié)
參考文獻(xiàn)

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) ranfinancial.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號(hào) 鄂公網(wǎng)安備 42010302001612號(hào)