自动制造系统建模,分析与死锁控制PDF电子书下载
- 电子书积分:10 积分如何计算积分?
- 作 者:李志武,周孟初著
- 出 版 社:北京:科学出版社
- 出版年份:2009
- ISBN:9787030242792
- 页数:215 页
《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
- 《水面舰艇编队作战运筹分析》谭安胜著 2009
- 《管理信息系统习题集》郭晓军 2016
- 《分析化学》陈怀侠主编 2019
- 《中国制造业绿色供应链发展研究报告》中国电子信息产业发展研究院 2019
- 《信息系统安全技术管理策略 信息安全经济学视角》赵柳榕著 2020
- 《影响葡萄和葡萄酒中酚类特征的因素分析》朱磊 2019
- 《仪器分析技术 第2版》曹国庆 2018
- 《全国普通高等中医药院校药学类专业十三五规划教材 第二轮规划教材 分析化学实验 第2版》池玉梅 2018
- 《高含硫气藏开发腐蚀控制技术与实践》唐永帆,张强 2018
- 《Power BI数据清洗与可视化交互式分析》陈剑 2020
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《《走近科学》精选丛书 中国UFO悬案调查》郭之文 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《中医骨伤科学》赵文海,张俐,温建民著 2017
- 《美国小学分级阅读 二级D 地球科学&物质科学》本书编委会 2016
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019
- 《强磁场下的基础科学问题》中国科学院编 2020
- 《小牛顿科学故事馆 进化论的故事》小牛顿科学教育公司编辑团队 2018
- 《小牛顿科学故事馆 医学的故事》小牛顿科学教育公司编辑团队 2018
- 《高等院校旅游专业系列教材 旅游企业岗位培训系列教材 新编北京导游英语》杨昆,鄢莉,谭明华 2019