| 摘要 | 第4-5页 |
| Abstract | 第5页 |
| 第一章 前言 | 第7-9页 |
| 1.1 研究背景 | 第7页 |
| 1.2 本文的主要内容 | 第7-9页 |
| 第二章 准备知识 | 第9-19页 |
| 2.1 SMT 问题与 | 第9-11页 |
| 2.2 SMT 问题求解方法 | 第11-15页 |
| 2.3 | 第15-19页 |
| 2.3.1 直接求解方法 | 第15页 |
| 2.3.2 按群体来计算体积 | 第15-18页 |
| 2.3.3 体积估算方法 | 第18-19页 |
| 第三章 基于差分进化的 | 第19-24页 |
| 3.1 差分进化算法 | 第19-21页 |
| 3.1.1 变异操作 | 第19-20页 |
| 3.1.2 交叉操作 | 第20页 |
| 3.1.3 选择操作 | 第20-21页 |
| 3.1.4 差分进化算法框架 | 第21页 |
| 3.2 基于差分进化的 | 第21-24页 |
| 第四章 实验结果与分析 | 第24-35页 |
| 4.1 VolComputeWithLocalSearch 算法计算能力和下界实验 | 第24-25页 |
| 4.2 VolComputeWithLocalSearch 算法计算能力实验 | 第25-29页 |
| 4.3 VolComputeWithLocalSearch 算法精确度实验 | 第29-31页 |
| 4.4 VolComputeWithLocalSearch 算法的稳定性实验 | 第31-33页 |
| 4.5 实验结果总体分析 | 第33-35页 |
| 第五章 结论和展望 | 第35-36页 |
| 参考文献 | 第36-38页 |
| 致谢 | 第38页 |
