| 【中文题名】 | 发夹结构、分子信标在DNA计算中的应用 |
| 【英文题名】 | Application in DNA Computing Using Hairpin Structure and Molecular Beacons |
| 【学科专业】 | 系统工程 |
| 【论文级别】 | 硕士论文 |
| 【投稿时间】 | 2006-4-5 |
| 【中关键词】 | 发夹结构,分子信标,DNA,计算,SAT,MAX-SAT |
| 【英关键词】 | hairpin structure,molecular beacon,DNA computing,SAT,MAX-SAT,Subset-sum, |
| 【分类导航】 | 工业技术>自动化技术、计算机技术>自动化基础理论>人工智能理论>> |
| 【论文摘要】 | 从1994 年至今,关于DNA 计算的研究已经取得了不少结果。众多学者在DNA计算领域做出了不懈的努力,但是随着进一步的发展,DNA 计算面临着越来越大的挑战。这种挑战来自于生化技术落后于DNA 算法的实现要求。在DNA 计算领域,如果DNA 计算所要处理的问题越来越复杂的时候,操作和处理的过程也越来越复杂,并且DNA 计算解的结果也越来越难于检测出来。所以,DNA 计算如果要进一步的发展,必须解决这个问题。
由于发夹构型和分子信标的特异性,它们有效地解决了这个困难,因此可以作为DNA 计算的有效载体。本文主要给出发夹结构及分子信标在几个NP 完全问题中的应用。
本文首先介绍了DNA 计算的基本思想,然后介绍发夹结构在解决SAT 问题上的应用,再介绍发夹结构的一种特殊形式-分子信标的原理和设计方法。在之后以分子信标为DNA 计算的载体,尝试解决SAT 问题、MAX-SAT 问题、子集和问题等NP 完全问题,建立了解决这些问题的模型。在解决这些问题的基础上,又总结了以往0-1 规划问题的DNA 计算,再结合分子信标的光学特性,提出光、电、机(计算机)一体的DNA 计算模型; 这种尝试利用分子信标的光... |
| 【论文题纲】 |
|
摘要 |
4-5 |
|
Abstract |
5-7 |
|
1 绪论 |
7-11 |
|
1.1 引言 |
7 |
|
1.2 生物分子计算的基本思想 |
7-8 |
|
1.3 DNA 计算的实现方式 |
8-11 |
|
2 发夹结构与分子信标的原理 |
11-24 |
|
2.1 生物分子中的“发夹” |
11-13 |
|
2.2 分子信标 |
13-23 |
|
2.3 本章小节 |
23-24 |
|
3 分子信标在DNA 计算中的应用 |
24-42 |
|
3.1 SAT 问题的分子信标解决方案 |
24-28 |
|
3.2 SAT 问题的分子信标改进解决方法 |
28-32 |
|
3.3 子集和问题的分子信标计算 |
32-34 |
|
3.4 片上数据库系统 |
34-41 |
|
3.5 本章小节 |
41-42 |
|
4 总结与讨论 |
42-43 |
|
致谢 |
43-44 |
|
参考文献 |
44-47 |
|
附录1 (攻读硕士学位期间发表的论文) |
47-48 |
|
附录2 (攻读硕士学位期间参与项目) |
48 |
|
| 【DOI】 | LunWen.ID:2.2008.387647 |
