| 摘要 | 第4-5页 |
| ABSTRACT | 第5-6页 |
| 1 绪论 | 第9-24页 |
| 1.1 研究背景与现状 | 第9-21页 |
| 1.1.1 系统有效性证明 | 第9-11页 |
| 1.1.2 模型检测 | 第11-17页 |
| 1.1.3 DNA计算 | 第17-21页 |
| 1.1.4 模型检测与DNA计算的关系 | 第21页 |
| 1.2 当前存在的问题 | 第21-22页 |
| 1.3 论文组织结构 | 第22-24页 |
| 2 预备知识 | 第24-43页 |
| 2.1 带标签的有限状态自动机 | 第24-26页 |
| 2.2 CTL逻辑的语法和语义 | 第26-29页 |
| 2.3 用CTL逻辑公式描述性质 | 第29页 |
| 2.4 DNA基础知识 | 第29-34页 |
| 2.4.1 DNA分子结构 | 第29-30页 |
| 2.4.2 DNA操作技术 | 第30-34页 |
| 2.5 DNA计算模型 | 第34-42页 |
| 2.5.1 Adleman的首次实验 | 第34-37页 |
| 2.5.2 分子模型检测 | 第37-40页 |
| 2.5.3 粘贴系统 | 第40-41页 |
| 2.5.4 粘贴自动机 | 第41-42页 |
| 2.6 本章小结 | 第42-43页 |
| 3 四种CTL公式的DNA检测算法 | 第43-51页 |
| 3.1 与公式EGp、AGp、EFp和AFp相关的定理 | 第43-45页 |
| 3.2 公式EGp、AGp、EFp和AFp的DNA检测算法 | 第45-49页 |
| 3.2.1 生成集合X中的所有运行 | 第45-47页 |
| 3.2.2 CTL公式EGp模型检测的DNA方法 | 第47-48页 |
| 3.2.3 CTL公式AGp模型检测的DNA方法 | 第48页 |
| 3.2.4 CTL公式EFp模型检测的DNA方法 | 第48-49页 |
| 3.2.5 CTL公式AFp模型检测的DNA方法 | 第49页 |
| 3.3 算法时间复杂度分析 | 第49-50页 |
| 3.4 本章小结 | 第50-51页 |
| 4 仿真实验 | 第51-57页 |
| 4.1 实验环境与方法 | 第51-53页 |
| 4.2 实验结果 | 第53-56页 |
| 4.3 本章小结 | 第56-57页 |
| 5 总结与展望 | 第57-58页 |
| 5.1 总结 | 第57页 |
| 5.2 展望 | 第57-58页 |
| 参考文献 | 第58-63页 |
| 个人简历、在学期间参加的科研项目及发表的论文 | 第63-64页 |
| 致谢 | 第64-65页 |