| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第1章 绪论 | 第9-18页 |
| ·引言 | 第9-10页 |
| ·分子计算 | 第10-16页 |
| ·分子计算的基本思想 | 第10-11页 |
| ·分子计算的优点以及现阶段问题 | 第11-12页 |
| ·分子计算主流模型 | 第12-15页 |
| ·分子计算的应用 | 第15页 |
| ·分子计算研究方向及前景 | 第15-16页 |
| ·分子计算国内外的研究现状 | 第16页 |
| ·本文研究内容 | 第16-18页 |
| 第2章 基于 FPGA 的分子计算模型的设计 | 第18-38页 |
| ·FPGA | 第18-28页 |
| ·FPGA 简介以及器件选型 | 第18-24页 |
| ·FPGA 设计流程 | 第24-26页 |
| ·FPGA 开发工具介绍 | 第26-28页 |
| ·硬件语言介绍 | 第28-32页 |
| ·Verilog HDL | 第28-30页 |
| ·VHDL | 第30-32页 |
| ·两种描述语言的比较 | 第32页 |
| ·仿真工具 Modelsim | 第32-34页 |
| ·基于 FPGA 的分子计算模型的设计的可行性分析 | 第34-38页 |
| 第3章 基于 FPGA 的分子计算模型在 SAT 问题中的仿真应用 | 第38-58页 |
| ·NP 完全问题 | 第38-39页 |
| ·SAT | 第39-43页 |
| ·SAT 简介 | 第39页 |
| ·SAT 解法进展 | 第39-41页 |
| ·SAT 在布尔表达式中的表示 | 第41-42页 |
| ·SAT 在分子计算中的解决方法 | 第42-43页 |
| ·解决 SAT 的模型设计 | 第43-49页 |
| ·广义分子计算模型（GTM）以及工作原理 | 第43-45页 |
| ·广义分子计算模型组成部分以及实现方法 | 第45-46页 |
| ·四值逻辑的实现 | 第46-49页 |
| ·实例分析 | 第49-54页 |
| ·仿真显示 | 第49-52页 |
| ·LED 显示 | 第52-54页 |
| ·广义分子计算模型在 0-1 背包问题中的应用 | 第54-58页 |
| ·0-1 背包问题简介 | 第54-55页 |
| ·0-1 背包问题在广义分子计算模型中的描述 | 第55页 |
| ·0-1 背包问题求解步骤 | 第55-56页 |
| ·实例说明 | 第56-57页 |
| ·小结 | 第57-58页 |
| 第4章 总结与展望 | 第58-59页 |
| ·总结 | 第58页 |
| ·下一步工作 | 第58-59页 |
| 参考文献 | 第59-62页 |
| 致谢 | 第62-63页 |
| 攻读学位期间发表论文与研究成果清单 | 第63页 |