| 摘要 | 第1-4页 |
| ABSTRACT | 第4-6页 |
| 目录 | 第6-7页 |
| 第一章 引言 | 第7-12页 |
| ·课题研究目标及现状分析 | 第7-10页 |
| ·课题研究意义 | 第10页 |
| ·课题研究主要包含的内容 | 第10-12页 |
| 第二章 课题研究理论基础 | 第12-26页 |
| ·描述逻辑 | 第12-14页 |
| ·规划表示语言 | 第14-22页 |
| ·规划技术的相关算法 | 第22-26页 |
| 第三章 SAT 算法研究 | 第26-41页 |
| ·可满足问题 | 第26-32页 |
| ·CNF 研究 | 第32-34页 |
| ·SAT 规划解 | 第34-41页 |
| 第四章 实验研究 | 第41-47页 |
| ·智能车的硬件电路设计 | 第41-44页 |
| ·SAT 算法实验应用设计 | 第44-45页 |
| ·智能车寻迹规划应用的局限性 | 第45-47页 |
| 第五章 结论 | 第47-49页 |
| 致谢 | 第49-50页 |
| 参考文献 | 第50-51页 |