图书介绍
自动制造系统建模，分析与死锁控制PDF|Epub|txt|kindle电子书版本网盘下载
- 李志武，周孟初著 著
- 出版社： 北京：科学出版社
- 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