| 作者简介 | 第1-6页 |
| 摘要 | 第6-8页 |
| ABSTRACT | 第8-13页 |
| 第一章 绪论 | 第13-33页 |
| ·问题的来源及研究目的 | 第13页 |
| ·研究背景及意义 | 第13-15页 |
| ·约束满足问题的研究现状 | 第15-25页 |
| ·经典约束满足问题 | 第15-17页 |
| ·经典约束满足问题的求解技术 | 第17-21页 |
| ·基于回溯的方法 | 第17-19页 |
| ·约束传播 | 第19-20页 |
| ·基于图的算法 | 第20页 |
| ·局部修正法 | 第20-21页 |
| ·软约束满足问题 | 第21-22页 |
| ·软约束满足问题求解技术 | 第22-25页 |
| ·对Soft CSP的混合求解技术的研究 | 第23-24页 |
| ·对Soft CSP的知识编译的研究 | 第24-25页 |
| ·装配序列规划问题及其研究现状 | 第25-30页 |
| ·装配体建模 | 第25-26页 |
| ·装配序列规划 | 第26-29页 |
| ·装配序列表示 | 第29-30页 |
| ·本文的研究内容及作者的主要工作 | 第30-32页 |
| ·本章小结 | 第32-33页 |
| 第二章 有序二叉决策图及其扩展结构 | 第33-51页 |
| ·引言 | 第33页 |
| ·布尔函数的各种表示形式 | 第33-35页 |
| ·有序二叉决策图（OBDD） | 第35-41页 |
| ·OBDD的定义 | 第35-37页 |
| ·OBDD的基本操作 | 第37-38页 |
| ·集合的OBDD操作 | 第38-41页 |
| ·代数决策图（ADD） | 第41-48页 |
| ·ADD的定义 | 第41-42页 |
| ·ADD的基本操作 | 第42-48页 |
| ·CUDD软件包 | 第48-49页 |
| ·本章小结 | 第49-51页 |
| 第三章 经典约束满足问题的符号OBDD求解技术 | 第51-61页 |
| ·引言 | 第51-52页 |
| ·基本概念 | 第52页 |
| ·桶消元法 | 第52-54页 |
| ·约束满足问题的符号OBDD表示 | 第54-55页 |
| ·约束满足问题的符号OBDD求解技术 | 第55-57页 |
| ·约束满足问题的符号OBDD桶消元算法 | 第57-59页 |
| ·实验结果及分析 | 第59-60页 |
| ·本章小结 | 第60-61页 |
| 第四章 加权约束满足问题（WCSP）的符号ADD求解技术 | 第61-73页 |
| ·引言 | 第61-62页 |
| ·基本概念 | 第62-63页 |
| ·深度优先分支定界法 | 第63-64页 |
| ·WCSP的符号ADD表示 | 第64-65页 |
| ·WCSP的符号ADD求解技术 | 第65-69页 |
| ·实验结果及分析 | 第69-72页 |
| ·本章小结 | 第72-73页 |
| 第五章 装配体模型及装配序列的符号OBDD表示 | 第73-87页 |
| ·引言 | 第73-74页 |
| ·基本概念 | 第74-75页 |
| ·装配体模型的OBDD表示 | 第75-78页 |
| ·装配联接图的OBDD表示 | 第75-76页 |
| ·接触向量和移动向量函数的OBDD表示 | 第76-78页 |
| ·装配序列的符号OBDD表示 | 第78-83页 |
| ·装配序列的符号OBDD表示 | 第78-81页 |
| ·AND/OR图的符号OBDD表示 | 第81-83页 |
| ·实验结果及分析 | 第83-84页 |
| ·本章小结 | 第84-87页 |
| 第六章 基于分解法的装配序列生成的符号OBDD算法 | 第87-99页 |
| ·引言 | 第87-88页 |
| ·Sharafat的递归收缩算法 | 第88-91页 |
| ·基于分解法的装配序列生成的符号OBDD算法 | 第91-96页 |
| ·实验结果及分析 | 第96-98页 |
| ·本章小结 | 第98-99页 |
| 第七章 装配序列规划问题的CSP模型及其符号OBDD算法 | 第99-111页 |
| ·引言 | 第99-100页 |
| ·装配序列规划问题的CSP模型 | 第100-101页 |
| ·基于CSP模型的装配序列生成的符号OBDD算法 | 第101-104页 |
| ·装配序列规划实例 | 第104-109页 |
| ·本章小结 | 第109-111页 |
| 第八章 总结与展望 | 第111-113页 |
| ·结论 | 第111-112页 |
| ·未来工作 | 第112-113页 |
| 致谢 | 第113-115页 |
| 参考文献 | 第115-125页 |
| 攻读博士学位期间的研究成果 | 第125-127页 |
| 学术著作 | 第125页 |
| 学术论文 | 第125页 |
| 主持和参加研究的科研项目 | 第125-127页 |
