几种DNA计算模型及其实现-生物化学与分子生物学专业论文.docx

㈣11111帅31 ㈣11111帅 31 1 关键词： DNA计算有限状态自动机DNA2H法线形自组装微机电系统 资助基金项目： 上海市科学技术委员会项目(编号：03DZl4025，02JCl4029) 国家高技术研究发展计划(编号：2003AA22601 1) ’ ? 多 ， A 》 义 ，独立 ，独立 论文不 的研究 完全意 学位论文作者签名： 日期：州年￥月乩日 F F 申 .. .. 上海交通大学 上海交通大学 学位论文版权使用授权书 本学位论文作者完全了解学校有关保留、使用学位论文的规定，同 意学校保留并向国家有关部门或机构送交论文的复印件和电子版，允许 论文被查阅和借阅。本人授权上海交通大学可以将本学位论文的全部或 部分内容编入有关数据库进行检索，可以采用影印、缩印或扫描等复制 手段保存和汇编本学位论文。 保密函在三年解密后适用本授权书。 本学位论文属于 不保密口。 (请在以上方框内打“√) 学位论文作者签名：毒代￡ 指导教师签名： 日期：枷7年Y月乙[7日 日期：山司年午月乙6日 F F ，.- ‘ 也 - 』 摘要1994年，Adleman使用DNA分子解决了一个7节点的汉密尔顿路 摘要 1994年，Adleman使用DNA分子解决了一个7节点的汉密尔顿路 径问题，由此开辟了DNA计算这个新兴的研究领域。DNA计算的研究 内容是在分子生物学实验的辅助下，以DNA为材料求解复杂的计算问题 和构建可计算装置。研究者认为，由于DNA分子能用于并行计算、能高 密度存储信息、能存在于细胞内，将来DNA计算有望弥补电子计算机的 一些缺陷，在一些特殊领域发挥作用。 本文对DNA有限状态自动机和用DNA进行加法运算两个领域进行 了相关研究。作者在理论上提出了计算模型，在实践上做出了技术改进。 全文由以下四部分组成。 第一部分是有关DNA计算的背景知识。首先介绍了DNA计算中常 用的分子生物学技术，然后以几个求解NP完全问题的算法为实例说明 如何操纵DNA分子进行计算，最后对DNA计算过去十年来的发展做了 简要的回顾。 第二部分是DNA有限状态自动机的相关内容。用DNA实现图灵机 模型是DNA计算研究的重要内容，因为图灵机是理论计算机的模型，可 几种DNA计算模型及其实现以模拟任何的计算装置。有限状态自动机是一种实现了部分图灵机功能 几种DNA计算模型及其实现 以模拟任何的计算装置。有限状态自动机是一种实现了部分图灵机功能 的可编程自发计算装置。本文在Benenson提出的DNA有限状态自动机 模型的基础上做了一些技术上的改进。第一个改进是将荧光标记在输入 分子的5’端。这样能方便的用毛细管电泳直接监测所有的DNA计算中间 产物，为优化反应条件直接提供数据。第二个改进是成功的在固体表面 实现了DNA有限状态自动机反应。表面反应能便于实现DNA计算和自 动控制技术的结合。该工作为进一步改造和发展DNA自动机模型提供了 技术上的支持。 第三部分是用DNA进行加法计算的相关研究。由于加法器是计算机 中最基本的运算模块，研究者相继提出各种DNA加法算法。本文提出了 两种DNA加法算法。首先提出一种并行的DNA加法算法。该算法的特 点是能实现连续进位，输入输出链具有统一的形式。由于该算法实验过 程复杂，在实验中只实现了一位的二进$tDn法。然后本文又提出一种基 于线性自组装的DNA加法算法。该算法的优点是运算过程自发进行，实 验操作复杂度为常数，即对于n位二进制加法而言，实验步骤数并不随 着n的增加而增加。通过几个随机的四位的二进制加法，证实了该算法 在实验操作上简便可行。本文将自组装加法算法与微机电系统(MEMS) 相结合，构造了DNA加法器样机。该加法器的计算元件是DNA分子， 电子计算机控制微泵驱动阵列、微流路混合芯片、磁性反应器和电化学 杂交芯片来分别完成自组装加法算法中的实验流程。这是实现DNA计算 向作出机电系 向作出 机电系 F F ， 听C d )0 tonian tonian path ^ problem with DNA molecules，which has initiated an emerging research field V ‘‘DNA computing，which，equipped with modem molecular biology techniques，aims to solve hard computing problem and constructing computing devices with DNA．Due to the intrinsic parallel nature of DNA computing，DNA information storage and