| 摘要 | 第1-6页 |
| Abstract | 第6-8页 |
| 目录 | 第8-10页 |
| 插图索引 | 第10-11页 |
| 附表索引 | 第11-12页 |
| 第1章 绪论 | 第12-17页 |
| ·研究背景及意义 | 第12-13页 |
| ·可满足性问题求解的研究现状 | 第13-14页 |
| ·SAT 问题求解的研究现状 | 第13-14页 |
| ·ALLSAT 问题求解的研究现状 | 第14页 |
| ·免疫算法研究现状 | 第14-15页 |
| ·论文研究主要内容 | 第15-16页 |
| ·论文结构与章节安排 | 第16-17页 |
| 第2章 SAT 问题及其求解算法 | 第17-23页 |
| ·SAT 问题相关定义 | 第17-18页 |
| ·求解 SAT 问题的局部搜索算法 | 第18-20页 |
| ·ALLSAT 问题的求解算法 | 第20-21页 |
| ·SAT 及 ALLSAT 问题应用领域 | 第21-22页 |
| ·小结 | 第22-23页 |
| 第3章 免疫优化算法概述 | 第23-34页 |
| ·免疫系统 | 第23-26页 |
| ·免疫系统分类 | 第23-24页 |
| ·免疫系统的基本机制 | 第24-26页 |
| ·免疫系统工作原理 | 第26页 |
| ·免疫算法 | 第26-31页 |
| ·免疫系统数学模型 | 第26-27页 |
| ·免疫算法的分类 | 第27-31页 |
| ·免疫算法应用 | 第31-33页 |
| ·小结 | 第33-34页 |
| 第4章 求解 SAT 问题的改进免疫算法 | 第34-41页 |
| ·引言 | 第34-35页 |
| ·随机搜索算法 | 第35页 |
| ·改进的免疫算法 | 第35-37页 |
| ·浓度定义等价性证明 | 第37页 |
| ·SAT 问题求解 | 第37-39页 |
| ·实验与结果分析 | 第39-40页 |
| ·小结 | 第40-41页 |
| 第5章 求解 ALLSAT 问题的改进多种群免疫算法 | 第41-50页 |
| ·引言 | 第41-42页 |
| ·小生境简介 | 第42-43页 |
| ·改进的多种群免疫算法 | 第43-44页 |
| ·算法收敛性分析 | 第44-46页 |
| ·单种群克隆免疫算法收敛性分析 | 第44-45页 |
| ·改进免疫算法收敛性分析 | 第45-46页 |
| ·改进多种群免疫算法求解 ALLSAT 问题 | 第46-47页 |
| ·实验与结果分析 | 第47-49页 |
| ·求解的问题 | 第47-48页 |
| ·实验结果及分析 | 第48-49页 |
| ·小结 | 第49-50页 |
| 结论 | 第50-52页 |
| 参考文献 | 第52-57页 |
| 致谢 | 第57-58页 |
| 附录A (攻读学位期间发表的学术论文) | 第58-59页 |
| 附录B (攻读学位期间参与的科研课题) | 第59页 |