提要 | 第1-6页 |
第1章 绪论 | 第6-8页 |
·研究背景及现状 | 第6-7页 |
·本文主要工作 | 第7-8页 |
第2章 约束满足问题 | 第8-15页 |
·约束满足 | 第8-9页 |
·主流的约束求解算法 | 第9-10页 |
·生成测试算法 | 第9页 |
·基于回溯的搜索算法 | 第9页 |
·相容性算法 | 第9-10页 |
·经典的正向相容算法 | 第10-12页 |
·约束分解 | 第12-15页 |
第3章 基于分解的 SBT-FC 算法 | 第15-28页 |
·理论基础 | 第15-17页 |
·SBT-FC 算法 | 第17-23页 |
·算法描述 | 第17-21页 |
·理论证明 | 第21-23页 |
·SBT-FC 的扩展算法 ESBT-FC 算法 | 第23-28页 |
·算法描述 | 第23-26页 |
·理论证明 | 第26-28页 |
第4章 实验结果及结论 | 第28-33页 |
第5章 总结及展望 | 第33-35页 |
参考文献 | 第35-37页 |
致谢 | 第37-38页 |
摘要 | 第38-41页 |
Abstract | 第41-43页 |