基于推理的约束满足问题求解算法研究 |
论文目录 | | | 提要 | 第1-7
页 | | 第一章 绪论 | 第7-13
页 | | · 研究背景和研究现状 | 第7-8
页 | | · 约束满足 | 第8-11
页 | | · 经典与扩展的约束满足问题 | 第8-9
页 | | · 软约束问题 | 第9-10
页 | | · 随机约束满足问题 | 第10-11
页 | | · 本文主要工作 | 第11-13
页 | | 第二章 约束满足求解技术 | 第13-20
页 | | · 基本搜索方法 | 第13-15
页 | | · 系统化搜索方法 | 第13
页 | | · 回溯方法 | 第13-14
页 | | · 分支界限法（Branch and Bound , B&B） | 第14
页 | | · 遗传算法（Genetic Algorithm, GA） | 第14
页 | | · 局部搜索（Local Search） | 第14-15
页 | | · 推理技术 | 第15-16
页 | | · 相容性技术 | 第15
页 | | · 树分解技术 | 第15-16
页 | | · 桶消元（Bucket Elimination）技术 | 第16
页 | | · 解的估算 | 第16
页 | | · 知识编译 | 第16-17
页 | | · 约束满足求解算法的测试 | 第17-20
页 | | · 测试方法总结 | 第17-18
页 | | · 随机模型在测试中的应用 | 第18-20
页 | | 第三章 参数化约束传播 | 第20-26
页 | | · 约束传播 | 第20-21
页 | | · 弧相容算法 | 第21-22
页 | | · 参数化弧相容传播算法 | 第22-24
页 | | · 实验结果 | 第24-26
页 | | 第四章 基于解重用的动态约束满足求解算法 | 第26-33
页 | | · 动态约束满足问题 | 第26-27
页 | | · LC 算法简介 | 第27-28
页 | | · Tabu_LC 算法 | 第28-31
页 | | · Tabu_LC 的基本结构 | 第29
页 | | · 分支定界的邻域选取 | 第29-30
页 | | · 死循环的跳出 | 第30-31
页 | | · 实验结果 | 第31-33
页 | | 第五章 并发搜索中的变量次序启发算法 | 第33-41
页 | | · 分布式约束满足求解算法 | 第33-35
页 | | · 动态变量次序启发 | 第35-36
页 | | · 基于动态变量次序的并发搜索 | 第36-39
页 | | · 分布式动态变量次序计算 | 第36-37
页 | | · 改进的并发搜索算法 | 第37-39
页 | | · 实验结果 | 第39-41
页 | | 第六章 基于有限自动机的约束求解 | 第41-49
页 | | · 产品配置问题 | 第41-42
页 | | · 产品配置的编译 | 第42-44
页 | | · 编译过程 | 第42
页 | | · 基于约束满足的表示 | 第42-43
页 | | · 基于自动机的编译 | 第43-44
页 | | · 有限自动机的化简算法 | 第44-47
页 | | · 不同变量次序的等价变换 | 第44-46
页 | | · 化简算法 | 第46-47
页 | | · 汽车产品配置实例的编译 | 第47-49
页 | | 第七章 结束语 | 第49-51
页 | | 参考文献 | 第51-58
页 | | 攻读硕士期间完成的论文 | 第58-59
页 | | 摘要 | 第59-61
页 | | Abstract | 第61-65
页 | | 致谢 | 第65
页 |
|
|
|
