| 摘要 | 第4-5页 |
| Abstract | 第5页 |
| 第一章 绪论 | 第8-11页 |
| 1.1 研究背景 | 第8-9页 |
| 1.2 研究现状 | 第9-10页 |
| 1.3 本文工作 | 第10-11页 |
| 第二章 文献综述 | 第11-19页 |
| 2.1 空间推理 | 第11-12页 |
| 2.2 示意图 | 第12-16页 |
| 2.3 图示推理 | 第16-19页 |
| 第三章 混合图示推理 | 第19-30页 |
| 3.1 图形感知 | 第20-23页 |
| 3.2 约束推理 | 第23-27页 |
| 3.2.1 约束表示 | 第23-24页 |
| 3.2.2 约束满足求解 | 第24-27页 |
| 3.3 推理方法 | 第27-30页 |
| 3.3.1 基本流程 | 第27-29页 |
| 3.3.2 算法 | 第29页 |
| 3.3.3 时间复杂性 | 第29-30页 |
| 第四章 滑轮组实验 | 第30-37页 |
| 4.1 实验环境 | 第30页 |
| 4.2 实验示例 | 第30-34页 |
| 4.3 实验结果分析 | 第34-37页 |
| 第五章 结语 | 第37-38页 |
| 5.1 总结 | 第37页 |
| 5.2 进一步工作 | 第37-38页 |
| 参考文献 | 第38-41页 |
| 发表论文和参加科研情况说明 | 第41-42页 |
| 致谢 | 第42页 |