| 中英文摘要 | 第1-7页 |
| 第一章． 序言 | 第7-11页 |
| 1．1． SKYBLUE SOLVER限制求解器 | 第8-9页 |
| 1．2． COOIGT图形用户界面工具箱 | 第9页 |
| 1．3． COOIGT DEBUGGER限制调试器 | 第9-11页 |
| 第二章． 限制背景及相关概念 | 第11-18页 |
| 2．1． 限制关系的特性和分类 | 第11-12页 |
| 2．2． 限制系统的两个常用模型 | 第12-13页 |
| 2．3． 限制关系图（CONSTRAINT GRAPH） | 第13-14页 |
| 2．4． 局部传播技术（LOCAL PROPAGATATION） | 第14页 |
| 2．5． 限制层次概念 | 第14-16页 |
| 2．6． 限制求解器分类 | 第16-18页 |
| 第三章． SKYBLUE算法原理和执行过程 | 第18-40页 |
| 3．1． SKYBLUE的定义和基础 | 第18-23页 |
| 3．1．1． 限制变量，限制方法和限制关系的定义 | 第18-20页 |
| 3．1．2． 限制方法图（Method Graph） | 第20-22页 |
| 3．1．3． 限制层次的定义及其应用 | 第22-23页 |
| 3．2． SKYBLUE规划阶段 | 第23-34页 |
| 3．2．1． 增加和删除限制关系 | 第24-25页 |
| 3．2．2． 构建方法链（Method Vine） | 第25-30页 |
| 3．2．3． 减少回搠技术 | 第30-34页 |
| 3．3． SKYBLUE执行阶段 | 第34-40页 |
| 3．3．1． 收集限制方法 | 第34-36页 |
| 3．3．2． 执行方法和循环处理 | 第36-40页 |
| 第四章． SKYBLUE SOLVER的设计与实现 | 第40-52页 |
| 4．1． SKYBLUE SOLVER的组成框架 | 第40-43页 |
| 4．1．1． SkyBlue Solver的设计结构 | 第40-42页 |
| 4．1．2． 限制语义提取方式的选择 | 第42页 |
| 4．1．3． Mapping Table存在的必要性 | 第42-43页 |
| 4．2． 变量登记表（MAPPING TABLE）的设计与实现 | 第43-46页 |
| 4．2．1． Synchronize模板 | 第43-44页 |
| 4．2．2． 变量登记表类的设计 | 第44-45页 |
| 4．2．3． 变量登记表类的接口设计 | 第45-46页 |
| 4．3． 限制核心（MGRAPH CORE）的设计与实现 | 第46-48页 |
| 4．3．1． 限制核心（MGraph Core）组成类的实现 | 第46-48页 |
| 4．3．2． 循环处理器（Cycle Solve）的设计 | 第48页 |
| 4．4． 解释器（INTERPRETER）类的设计 | 第48-50页 |
| 4．4．1． 限制语言的定义 | 第48-49页 |
| 4．4．2． 解释器的设计原理 | 第49-50页 |
| 4．4．3． Interpreter类结构 | 第50页 |
| 4．5． 一个使用SKYBLUE SOLVER的例子 | 第50-52页 |
| 第五章． COOIGT的基础，设计与实现 | 第52-61页 |
| 5．1． OOIGT简介 | 第52-55页 |
| 5．1．1． OOIGT的特点与基本组成 | 第52-53页 |
| 5．1．2． OOIGT的功能与意义 | 第53-55页 |
| 5．2． COOIGT介绍 | 第55-58页 |
| 5．3． 实现中的具体问题 | 第58-61页 |
| 5．3．1． SkyBlue Solver和OOIGT的结合 | 第59页 |
| 5．3．2． COOIGT的编程接口 | 第59-61页 |
| 第六章． COOIGT DEBUGGER设计与实现 | 第61-69页 |
| 6．1． COOIGT DEBUGOER的具体任务及设计难点 | 第61-62页 |
| 6．2． COOIGT DEBUGGER的结构 | 第62-65页 |
| 6．2．1． 浏览窗口 | 第63页 |
| 6．2．2． 查询窗口 | 第63页 |
| 6．2．3． 限制变量存取控制和限制关系存取控制 | 第63-64页 |
| 6．2．4． 限制方案选择控制模块 | 第64-65页 |
| 6．3． PINING-CONSTRAINT算法 | 第65-67页 |
| 6．3．1． Pining-Constraint算法 | 第65-66页 |
| 6．3．2． 生成所有的限制方案 | 第66-67页 |
| 6．4． 调试器与COOIGT的集成 | 第67-69页 |
| 第七章． 结束语 | 第69-72页 |
| 7．1． 相关工作 | 第69-70页 |
| 7．2． 今后的任务 | 第70-72页 |
| 致谢 | 第72-73页 |
| 参考文献 | 第73-75页 |
