| 第一章 绪 论 | 第7-9页 |
| 1.1 研究背景及意义 | 第7页 |
| 1.2 研究现状 | 第7-8页 |
| 1.3 本文主要工作 | 第8-9页 |
| 第二章 约束求解及约束程序 | 第9-16页 |
| 2.1 约束 | 第9页 |
| 2.2 约束满足问题及其求解方法 | 第9-14页 |
| 2.2.1 约束满足问题 | 第9-10页 |
| 2.2.2 CSP求解技术 | 第10-14页 |
| 2.2.2.1 系统搜索方法 | 第10-11页 |
| 2.2.2.2 相容性技术 | 第11-12页 |
| 2.2.2.3 约束传播方法 | 第12-13页 |
| 2.2.2.4 约束满足优化问题 | 第13-14页 |
| 2.3 约束程序设计 | 第14-16页 |
| 2.3.1 概念 | 第14-15页 |
| 2.3.2 实现方式 | 第15-16页 |
| 第三章 基于约束的调度 | 第16-19页 |
| 3.1 调度问题 | 第16-17页 |
| 3.2 基于约束的调度 | 第17-19页 |
| 第四章 基于约束调度系统的详细描述与实现 | 第19-32页 |
| 4.1 设计思想 | 第19页 |
| 4.2 系统体系结构 | 第19页 |
| 4.3 Solver设计说明 | 第19-21页 |
| 4.4 Scheduler设计说明 | 第21-27页 |
| 4.5 系统中使用的相容性技术 | 第27-30页 |
| 4.6 求解方法 | 第30-32页 |
| 第五章 调度中的约束及约束传播 | 第32-47页 |
| 5.1 时态约束及时态约束传播 | 第32-33页 |
| 5.1.1 时态约束 | 第32页 |
| 5.1.2 时态约束传播 | 第32-33页 |
| 5.2 资源约束及资源约束的传播 | 第33-47页 |
| 5.2.1 资源容量约束及其传播 | 第33-35页 |
| 5.2.1.1 资源容量约束 | 第33页 |
| 5.2.1.2 资源容量约束传播 | 第33-35页 |
| 5.2.2 资源使用约束及其传播 | 第35-47页 |
| 5.2.2.1 资源使用约束 | 第35页 |
| 5.2.2.2 资源使用约束传播 | 第35-47页 |
| 5.2.2.2.1 一元资源上的时间表机制 | 第35-37页 |
| 5.2.2.2.2 一元资源上的析取约束机制 | 第37-38页 |
| 5.2.2.2.3 一元资源上的Edge-Finding机制 | 第38-41页 |
| 5.2.2.2.4 一元资源上的Not-First/Not-Last机制 | 第41-43页 |
| 5.2.2.2.5 一元资源上的Energetic Reasoning机制 | 第43-45页 |
| 5.2.2.2.6 多元资源上的Edge-Finding机制 | 第45-47页 |
| 第六章 基于约束的调度优化 | 第47-50页 |
| 第七章 测试实例及实验结果 | 第50-61页 |
| 第八章 结语 | 第61-62页 |
| 8.1 系统评价 | 第61页 |
| 8.2 今后的工作 | 第61-62页 |
| 参考文献 | 第62-64页 |
| 摘 要 | 第64-66页 |
| ABSTRACT | 第66页 |
