| 摘要 | 第1-9页 |
| Abstract | 第9-13页 |
| 目录 | 第13-19页 |
| 第一章 绪论 | 第19-49页 |
| ·问题研究的目的和意义 | 第19-22页 |
| ·问题的来源及研究目的 | 第19页 |
| ·问题研究的背景与意义 | 第19-22页 |
| ·约束满足问题及约束满足技术研究现状 | 第22-34页 |
| ·约束满足思想来源 | 第22-23页 |
| ·约束满足问题描述 | 第23-25页 |
| ·约束满足求解原理 | 第25-26页 |
| ·约束满足求解特点 | 第26-27页 |
| ·约束满足技术及其研究现状 | 第27-34页 |
| ·约束满足技术的分类 | 第27-30页 |
| ·约束满足技术的综合运用 | 第30-31页 |
| ·约束满足技术在调度问题中的应用 | 第31-33页 |
| ·约束满足技术的应用分析 | 第33-34页 |
| ·单间车间调度问题及其研究现状 | 第34-44页 |
| ·问题的背景 | 第34-36页 |
| ·问题的定义 | 第36-37页 |
| ·问题的特点 | 第37页 |
| ·问题的分类 | 第37-39页 |
| ·问题的研究现状 | 第39-44页 |
| ·一般单件车间调度问题研究现状 | 第40-42页 |
| ·复杂单件车间调度问题研究现状 | 第42-43页 |
| ·实时单件车间调度问题研究现状 | 第43页 |
| ·动态反应单件车间调度问题研究现状 | 第43-44页 |
| ·本文的研究路线及主要工作 | 第44-49页 |
| ·本文的研究线路 | 第44-46页 |
| ·本文的主要工作 | 第46-49页 |
| 第二章 构造式混合搜索CST及在传统JSSP的应用 | 第49-66页 |
| ·引言 | 第49-50页 |
| ·问题的描述与模型 | 第50-52页 |
| ·问题的描述 | 第50-51页 |
| ·线性规划模型 | 第51页 |
| ·图模型 | 第51-52页 |
| ·分支定界方法与CPT的基本思想 | 第52-56页 |
| ·活动调度 | 第52-54页 |
| ·优先分派启发式方法生成活动调度 | 第53-54页 |
| ·随机分派启发式方法生产活动调度 | 第54页 |
| ·分支定界方法 | 第54-55页 |
| ·CPT策略 | 第55-56页 |
| ·在分支定界方法中集成CPT的算法 | 第56-60页 |
| ·带有时间窗口搜索树的构造 | 第56-57页 |
| ·搜索树中的瞬时约束传播及死端学习 | 第57-59页 |
| ·瞬时约束传播的削支过程 | 第59-60页 |
| ·方法步骤与流程 | 第60页 |
| ·实验结果与分析 | 第60-65页 |
| ·本章小结 | 第65-66页 |
| 第三章 构造式约束满足优化CST及在JSCSOP的应用 | 第66-82页 |
| ·引言 | 第66页 |
| ·问题描述与模型 | 第66-68页 |
| ·弧一致约束传播优化算法 | 第68-74页 |
| ·约束传播与弧一致 | 第68-69页 |
| ·初始化 | 第69页 |
| ·搜索过程与活动调度构造 | 第69-71页 |
| ·优化过程的实现 | 第71页 |
| ·算法流程与应用举例 | 第71-74页 |
| ·动态加强CPT方法 | 第74-76页 |
| ·瞬时下界CPT(B-CPT) | 第74-75页 |
| ·可调度工序集同机工序CPT(C-CPT) | 第75页 |
| ·未调度工序集同机工序CPT(A-CPT) | 第75-76页 |
| ·实验结果与分析 | 第76-81页 |
| ·本章小结 | 第81-82页 |
| 第四章 修补式约束满足优化CST及在JSCSOP的应用 | 第82-99页 |
| ·引言 | 第82-83页 |
| ·问题描述 | 第83-85页 |
| ·GENET网络 | 第85-88页 |
| ·网络结构 | 第85-86页 |
| ·收敛方式 | 第86-87页 |
| ·学习 | 第87页 |
| ·渐进式随机搜索模式 | 第87-88页 |
| ·求解方法 | 第88-92页 |
| ·初始化 | 第88-89页 |
| ·网络构造 | 第89-91页 |
| ·搜索策略 | 第91页 |
| ·实现优化 | 第91-92页 |
| ·实验结果与分析 | 第92-98页 |
| ·本章小结 | 第98-99页 |
| 第五章 修补式限定窗口约束CST及在带有不同释放期与交货期JSSP的应用 | 第99-112页 |
| ·引言 | 第99-100页 |
| ·公式化问题 | 第100-102页 |
| ·GENET模型 | 第102-104页 |
| ·连接结构 | 第102-103页 |
| ·运行机制与PSS方式 | 第103-104页 |
| ·方法描述 | 第104-106页 |
| ·网络构造 | 第104-105页 |
| ·启发式与嵌入方法 | 第105-106页 |
| ·实验研究 | 第106-111页 |
| ·本章小结 | 第111-112页 |
| 第六章 修补式不连续窗口约束CST及在带有机器无效约束JSSP的应用 | 第112-121页 |
| ·引言 | 第112-113页 |
| ·问题的描述与模型 | 第113-115页 |
| ·问题求解 | 第115-117页 |
| ·网络模型 | 第115-116页 |
| ·搜索策略 | 第116-117页 |
| ·实验研究 | 第117-119页 |
| ·实验设计 | 第117-118页 |
| ·实验结果 | 第118-119页 |
| ·本章小结 | 第119-121页 |
| 第七章 修补式硬约束多目标CST及在在线实时JSSP的应用 | 第121-131页 |
| ·引言 | 第121-123页 |
| ·问题描述与模型 | 第123-124页 |
| ·网络调度方法 | 第124-127页 |
| ·网络模型 | 第124-126页 |
| ·能量函数与收敛 | 第126-127页 |
| ·排序约束和重叠约束 | 第126页 |
| ·截止期约束 | 第126-127页 |
| ·可调整的辅助准则约束 | 第127页 |
| ·实验研究 | 第127-129页 |
| ·实验设计 | 第127-128页 |
| ·结果与分析 | 第128-129页 |
| ·本章小结 | 第129-131页 |
| 第八章 修补式抗多重扰动CST及在动态反应JSSP的应用 | 第131-142页 |
| ·引言 | 第131-133页 |
| ·问题描述 | 第133-135页 |
| ·问题求解 | 第135-138页 |
| ·构造预调度网络 | 第135-136页 |
| ·扰动与网络修正 | 第136-137页 |
| ·优化修补调度 | 第137-138页 |
| ·实验研究 | 第138-141页 |
| ·本章小结 | 第141-142页 |
| 第九章 非二元约束CST原理及在JSCSOP的应用 | 第142-156页 |
| ·引言 | 第142-143页 |
| ·预备知识 | 第143-145页 |
| ·NB-CSPs定义 | 第143页 |
| ·E-GENET方法 | 第143-145页 |
| ·NB-CSPs的离散拉格朗日函数 | 第145-149页 |
| ·能量函数重定义 | 第145-146页 |
| ·将NB-CSPs转化为整数最小化问题 | 第146-147页 |
| ·NB-CSPs的离散拉格朗日乘子方法(NB-LSDL) | 第147-149页 |
| ·E-GENET重构 | 第149-152页 |
| ·NB-LSDL_((E-GENET)) | 第149-151页 |
| ·基于NB-LSDL的E-GENET再扩展 | 第151-152页 |
| ·求解单件车间约束满足优化问题 | 第152-154页 |
| ·本章小结 | 第154-156页 |
| 第十章 基于约束满足调度问题研究平台开发 | 第156-164页 |
| ·引言 | 第156页 |
| ·开发背景和目标 | 第156-157页 |
| ·平台设计思想 | 第157页 |
| ·平台设计方案 | 第157-163页 |
| ·问题库管理 | 第159-161页 |
| ·算法函数库 | 第161-162页 |
| ·计算结果处理 | 第162-163页 |
| ·开发环境 | 第163页 |
| ·平台设计成果 | 第163页 |
| ·本章小结 | 第163-164页 |
| 第十一章 结束语 | 第164-167页 |
| 参考文献 | 第167-183页 |
| 致谢 | 第183-184页 |
| 作者攻博期间撰写的论文 | 第184-185页 |
| 作者攻博期间参与科研情况 | 第185-186页 |
| 作者简介 | 第186页 |
