|
| 自動制造繫統建模，分析與死鎖控制 |
|
| |
| (查找更多有關 李志武，周孟初 著 的資訊) |
 |
◆基本信息◆ |
| 書號：9787030242792 |
作者：李志武，周孟初 著 |
| 開本： |
裝幀： |
| 出版日期：2009-3-1 |
出版社：科學出版社 |
圖書類型：  |
字數： |
| ---------------------------------------------------------------------------------------------- |
| ◆馬上購買◆ |
 四眼仔網上書城
|
 |
四眼仔網上書城定價：
US$12.16
|
|
|
|
|
|
|
| ◆內容介紹◆ |
《21世紀先進制造技術叢書》序
前言
符號表
第1章 緒論
1.1 自動制造繫統
1.2 自動制造繫統的Petri網模型
1.3 死鎖控制方法
1.4 小結
第2章 Petri網基本理論
2.1 多集
2.2 基本定義
2.3 結構不變式
2.4 信標和陷阱
2.5 可達圖
2.6 Petri網的基本子類
2.7 自動機
2.8 Petri網模型、控制器和受控繫統
2.9 廣義相互抑制約束
2.10 小結
第3章 Petri網的基本信標
3.1 等價信標
3.2 基本信標
3.3 從屬信標的可控性
3.4 基本信標的選擇
3.5 小結
第4章 基於信標的死鎖預防策略
4.1 S3PR網的控制
4.1.1 信標枚舉法
4.1.2 基本信標法
4.1.3 部分信標枚舉方法
4.1.4 部分信標枚舉方法的改進
4.1.5 控制庫所後置集的改進設計
4.2 S3PGR2網的控制
4.2.1 S4R網的定義以及C／D-RUN策略
4.2.2 算例
4.3 G-system的控制
4.3.1 G-system的定義
4.3.2 G-system中從屬信標可控性
4.3.3 死鎖控制策略
4.3.4 算例
4.4 小結
第5章 基於可達圖的死鎖預防策略
5.1 優化的活性Petri網控制器設計
5.1.1 區域理論的Petri網詮釋
5.1.2 應用實例
5.2 基於信標控制和區域理論的活性Petri網控制器
5.3 次優化的活性Petri網控制器設計
5.3.1 無死鎖初始標識
5.3.2 死鎖預防策略
5.3.3 算例
5.4 信標選擇與死鎖控制
5.4.1 控制信標選擇的集合覆蓋方法
5.4.2 關鍵標識的選擇
5.4.3 迭代的信標控制方法
5.4.4 算例
5.5 小結
第6章 活性Petri網控制器的簡化
6.1 基於隱式庫所的方法
6.1.1 隱式庫所
6.1.2 剔除隱式庫所算法
6.1.3 活性受限庫所的剔除
6.2 基於可達圖的方法
6.2.1 基於可達圖的冗餘性測試
6.2.2 算例
6.3 小結
第7章 死鎖控制的分治策略
7.1 問題求解的分治策略
7.2 Petri網的分解
7.3 子控制器設計與全局控制器綜合
7.4 算例
7.5 實驗研究
7.6 小結
參考文獻 |
| --------------------------------------------------------------------------------------------------------------------------------------- |
| ◆圖書封面◆ |
|
|
|
|
|
您的購物車有
0 本圖書
我的帳戶
