| 摘要 | 第1-7页 |
| Abstract | 第7-13页 |
| 引言 | 第13-15页 |
| 1 DNA计算基本理论 | 第15-26页 |
| ·DNA分子结构 | 第15-16页 |
| ·DNA计算原理 | 第16-17页 |
| ·DNA计算的生物操作 | 第17-23页 |
| ·变性和退火DNA链 | 第17-18页 |
| ·DNA分子的延长和缩短 | 第18-19页 |
| ·DNA链的切割和粘贴 | 第19-21页 |
| ·聚合酶链式反应 | 第21-22页 |
| ·并行重叠组装技术及其他 | 第22-23页 |
| ·DNA计算研究概况 | 第23-24页 |
| ·DNA自组装的研究现状 | 第24-25页 |
| ·本文的主要研究内容 | 第25-26页 |
| 2 基于DNA Tile自组装的可满足性问题计算模型 | 第26-42页 |
| ·引言 | 第26-27页 |
| ·Tile组装结构 | 第27页 |
| ·DNA Tile自组装的基础知识 | 第27-28页 |
| ·Tile自组装模型的形式化表示 | 第28-30页 |
| ·Tile系统配置 | 第30-32页 |
| ·可满足性问题 | 第32-41页 |
| ·"非"运算系统 | 第33-35页 |
| ·"或"运算系统 | 第35-36页 |
| ·K个变量的K-可满足性问题的DNA Tile自组装计算模型 | 第36-40页 |
| ·复杂度分析 | 第40-41页 |
| ·本章小结 | 第41-42页 |
| 3 一般可满足性问题的DNA Tile自组装模型 | 第42-50页 |
| ·引言 | 第42-43页 |
| ·求解一般可满足性问题的DNA Tile自组装计算模型 | 第43-49页 |
| ·"恒等"系统 | 第43-45页 |
| ·子系统间的优化组合 | 第45-46页 |
| ·一般可满足性问题的DNA Tile自组装模型 | 第46-49页 |
| ·复杂度分析 | 第49页 |
| ·本章小结 | 第49-50页 |
| 4 矩阵加法的DNA Tile自组装计算模型 | 第50-58页 |
| ·引言 | 第50页 |
| ·矩阵加法的概念 | 第50-51页 |
| ·两个数的加法系统 | 第51-54页 |
| ·8个Tile加法模型 | 第51-52页 |
| ·L-配置加法模型 | 第52-54页 |
| ·矩阵加法模型 | 第54-57页 |
| ·本章小结 | 第57-58页 |
| 5 DNA分子自组装的可满足性问题模型 | 第58-63页 |
| ·引言 | 第58页 |
| ·可满足问题的基本算法 | 第58-59页 |
| ·算法的具体实例 | 第59-61页 |
| ·本章小结 | 第61-63页 |
| 结论 | 第63-65页 |
| 参考文献 | 第65-70页 |
| 致谢 | 第70-71页 |
| 作者简介及读研期间主要科研成果 | 第71页 |
