一种广义分子计算模型的应用与实现
摘要 | 第4-5页 |
ABSTRACT | 第5-6页 |
目录 | 第7-10页 |
第一章 绪论 | 第10-18页 |
1.1 研究背景及意义 | 第10-11页 |
1.1.1 研究背景 | 第10-11页 |
1.1.2 研究意义 | 第11页 |
1.2 研究现状及难点 | 第11-15页 |
1.2.1 DNA分子计算和计算机的研究进展 | 第11-14页 |
1.2.2 DNA计算模型的研究难点 | 第14-15页 |
1.3 研究内容 | 第15页 |
1.4 论文创新点 | 第15-16页 |
1.5 论文结构 | 第16-17页 |
1.6 本章小结 | 第17-18页 |
第二章 背景理论知识介绍 | 第18-27页 |
2.1 DNA分子计算 | 第18-19页 |
2.1.1 DNA分子的结构 | 第18页 |
2.1.2 DNA分子的数学模型 | 第18-19页 |
2.2 粘贴模型 | 第19-20页 |
2.3 图灵机 | 第20-21页 |
2.3.1 图灵机的基本模型 | 第20-21页 |
2.3.2 图灵机的形式定义 | 第21页 |
2.3.3 图灵机的可扩展性 | 第21页 |
2.4 NP完全问题 | 第21-23页 |
2.5 广义分子计算模型 | 第23-25页 |
2.5.1 GTM的结构 | 第23-24页 |
2.5.2 GTM的形式定义 | 第24-25页 |
2.5.3 GTM的工作过程 | 第25页 |
2.6 本章小结 | 第25-27页 |
第三章 SCP问题在广义分子计算模型中的应用 | 第27-34页 |
3.1 SCP问题 | 第27-28页 |
3.1.1 SCP问题的描述 | 第27页 |
3.1.2 SCP问题的代数定义 | 第27-28页 |
3.2 SCP问题的GTM模型求解 | 第28-29页 |
3.2.1 GTM模型的扩展 | 第28页 |
3.2.2 SCP问题的GTM模型化 | 第28页 |
3.2.3 GTMscP求解算法 | 第28-29页 |
3.3 SCP问题的GTM求解实例 | 第29-30页 |
3.4 仿真 | 第30-32页 |
3.5 效率分析 | 第32-33页 |
3.6 本章小结 | 第33-34页 |
第四章 SAT问题在广义分子计算模型中的应用 | 第34-41页 |
4.1 SAT问题 | 第34-35页 |
4.1.1 SAT问题的研究背景 | 第34页 |
4.1.2 SAT问题的描述 | 第34-35页 |
4.1.3 SAT问题的代数定义 | 第35页 |
4.2 SAT问题的GTM模型求解 | 第35-36页 |
4.2.1 SAT问题的GTM模型化 | 第35-36页 |
4.2.2 GTM_(SAT)求解算法 | 第36页 |
4.3 GTM_(SAT)的实例 | 第36-37页 |
4.4 仿真 | 第37-39页 |
4.5 效率分析 | 第39-40页 |
4.6 本章小结 | 第40-41页 |
第五章 均分问题在广义分子计算模型中的应用 | 第41-47页 |
5.1 均分问题 | 第41页 |
5.1.1 均分问题的描述 | 第41页 |
5.1.2 均分问题的代数定义 | 第41页 |
5.2 均分问题的GTM模型求解 | 第41-43页 |
5.2.1 GTM模型的扩展 | 第41-42页 |
5.2.2 均分问题的GTM求解算法 | 第42-43页 |
5.3 均分问题GTM求解实例 | 第43-44页 |
5.4 仿真 | 第44-45页 |
5.5 效率分析 | 第45页 |
5.6 本章小结 | 第45-47页 |
第六章 0-1背包问题在广义分子计算模型中的应用 | 第47-52页 |
6.1 0-1背包问题 | 第47页 |
6.1.1 0-1背包问题的描述 | 第47页 |
6.1.2 0-1背包问题的代数定义 | 第47页 |
6.2 0-1背包问题的GTM模型求解 | 第47-49页 |
6.2.1 GTM模型的扩展 | 第47-48页 |
6.2.2 0-1背包问题的GTM模型化 | 第48页 |
6.2.3 0-1背包问题的GTM求解算法 | 第48-49页 |
6.3 0-1背包问题的GTM求解实例 | 第49-50页 |
6.4 仿真 | 第50-51页 |
6.5 效率分析 | 第51页 |
6.6 本章小结 | 第51-52页 |
第七章 总结与展望 | 第52-53页 |
7.1 结束语 | 第52页 |
7.2 课题展望 | 第52-53页 |
参考文献 | 第53-55页 |
致谢 | 第55-56页 |
攻读学位期间发表的学术论文 | 第56页 |