图书介绍
自动制造系统建模，分析与死锁控制pdf电子书版本下载
- 李志武，周孟初著 著
- 出版社： 北京：科学出版社
- ISBN：9787030242792
- 出版时间：2009
- 标注页数：215页
- 文件大小：44MB
- 文件页数：231页
- 主题词：柔性制造系统：自动化系统－系统建模；柔性制造系统：自动化系统－系统分析；柔性制造系统：自动化系统－锁定
PDF下载
下载说明
自动制造系统建模，分析与死锁控制PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
《21世纪先进制造技术丛书》序 1
前言 1
符号表 1
第1章 绪论 1
1.1 自动制造系统 1
1.2 自动制造系统的Petri网模型 4
1.3 死锁控制方法 8
1.4 小结 21
第2章 Petri网基本理论 23
2.1 多集 23
2.2 基本定义 23
2.3 结构不变式 29
2.4 信标和陷阱 32
2.5 可达图 37
2.6 Petri网的基本子类 39
2.7 自动机 40
2.8 Petri网模型、控制器和受控系统 42
2.9 广义相互抑制约束 43
2.10 小结 44
第3章 Petri网的基本信标 45
3.1 等价信标 45
3.2 基本信标 48
3.3 从属信标的可控性 51
3.4 基本信标的选择 59
3.5 小结 61
第4章 基于信标的死锁预防策略 65
4.1 S3PR网的控制 65
4.1.1 信标枚举法 69
4.1.2 基本信标法 74
4.1.3 部分信标枚举方法 77
4.1.4 部分信标枚举方法的改进 83
4.1.5 控制库所后置集的改进设计 87
4.2 S3PGR2网的控制 91
4.2.1 S4R网的定义以及C/D-RUN策略 91
4.2.2 算例 95
4.3 G-system的控制 97
4.3.1 G-system的定义 97
4.3.2 G-system中从属信标可控性 99
4.3.3 死锁控制策略 104
4.3.4 算例 107
4.4 小结 111
第5章 基于可达图的死锁预防策略 113
5.1 优化的活性Petri网控制器设计 113
5.1.1 区域理论的Petri网诠释 115
5.1.2 应用实例 120
5.2 基于信标控制和区域理论的活性Petri网控制器 121
5.3 次优化的活性Petri网控制器设计 127
5.3.1 无死锁初始标识 127
5.3.2 死锁预防策略 129
5.3.3 算例 131
5.4 信标选择与死锁控制 134
5.4.1 控制信标选择的集合覆盖方法 135
5.4.2 关键标识的选择 139
5.4.3 迭代的信标控制方法 144
5.4.4 算例 145
5.5 小结 152
第6章 活性Petri网控制器的简化 153
6.1 基于隐式库所的方法 153
6.1.1 隐式库所 153
6.1.2 剔除隐式库所算法 154
6.1.3 活性受限库所的剔除 157
6.2 基于可达图的方法 161
6.2.1 基于可达图的冗余性测试 161
6.2.2 算例 164
6.3 小结 171
第7章 死锁控制的分治策略 172
7.1 问题求解的分治策略 172
7.2 Petri网的分解 175
7.3 子控制器设计与全局控制器综合 178
7.4 算例 183
7.5 实验研究 186
7.6 小结 190
参考文献 192