基于Petri网的可重组制造系统建模调度及控制方法研究(精)/同济博士论丛

本书基于系统动态建构和模块化的特点，利用Petri网这一形式化和图形化分析工具，提出和设计了可重组制造系统的建模、调度和控制方法，并进行了大量的数值仿真与比较研究。本书的研究成果推进和丰富了可重组制造系统关键技术的研究，对解决与之相关的制造系统问题具有一定的指导作用。本书可供相关制造业从业人员参考阅读。

总序
论丛前言
前言
第1章 绪论
1.1 研究背景
1.2 制造系统发展现状
1.2.1 生产模式的变迁
1.2.2 优选制造系统
1.2.3 可重组制造系统与其他制造系统的比较
1.3 国内外研究现状
1.3.1 可重组制造系统的国内外研究现状
1.3.2 制造系统建模技术及性能分析方法的国内外研究现状
1.3.3 制造系统调度方法的国内外研究现状
1.3.4 制造系统控制器设计方法的国内外研究现状
1.4 研究内容及意义
1.4.1 研究内容
1.4.2 研究意义
1.5 内容组织
1.6 本研究依托的项目
第2章 可重组制造系统理论框架及其关键技术
2.1 定义及特点
2.1.1 制造系统的可重组性
2.1.2 可重组制造系统的定义
2.1.3 可重组制造系统的特点
2.2 理论框架
2.3 关键技术
2.3.1 系统建模技术
2.3.2 车间作业调度技术
2.3.3 模块化控制器设计技术
2.3.4 布局规划与优化技术
2.3.5 可重组机床设计技术
2.3.6 可拼接物流技术
2.3.7 构件集成和整合技术
2.3.8 系统快速诊断技术
2.4 本章小结
第3章 可重组制造系统建模及性能分析方法
3.1 Petri网在制造系统中的应用
3.1.1 基本Petri网在制造系统中的应用
3.1.2 随机Petri网在制造系统中的应用
3.2 基于ESPN的可重组制造系统建模与性能分析方法
3.2.1 ESPN的定义
3.2.2 基于ESPN的可重组制造系统建模方法
3.2.3 基于行为表达式的可重组制造系统分析方法
3.3 性能分析方法的比较研究
3.3.1 问题描述
3.3.2 基于ESPN和行为表达式的可重组制造系统建模及性能分析
3.3.3 基于GSPN的可重组制造系统建模及性能分析
3.3.4 实例计算结果比较
3.4 本章小结
第4章 基于Petrj网与GA的可重组制造系统调度方法
4.1 GA理论与实现技术
4.1.1 GA的基本流程
4.1.2 GA参数与操作的设计
4.2 基于Petri网与GA的可重组制造系统调度方法
4.2.1 调度模型设计
4.2.2 调度算法特点
4.2.3 调度算法参数定义
4.2.4 调度算法算子设计
4.3 基于DTPN-GA的车间任务调度
4.3.1 问题描述及性质
4.3.2 调度实例模型的建立
4.3.3 计算结果及分析
4.4 本章小结
第5章 可重组制造系统的逻辑控制器设计方法
5.1 可重组制造系统对逻辑控制器的设计要求
5.2 逻辑控制器及其相关技术
5.2.1 逻辑控制器
5.2.2 逻辑控制器的Petri网描述
5.3 支持混流生产的可重组模块化逻辑控制器设计方法
5.3.1 变量及其作用
5.3.2 加工设备逻辑控制器
5.3.3 产品决策逻辑控制器
5.3.4 可重组模块化逻辑控制器的形式化分析
5.3.5 可重组模块化逻辑控制器的重构机制
5.4 支持混流生产的可重组模块化逻辑控制器实现
5.4.1 混流可重组生产线描述
5.4.2 可重组模块化逻辑控制器构建与实现
5.5 本章小结
第6章 总结与展望
6.1 全文总结
6.2 进一步的研究工作
参考文献
后记