图顶点着色问题的DNA计算模型

DNA计算是以DNA分子作为数据的一种新型计算模式.为了减少DNA计算中编码的数量,不降低生化实验操作的可靠性,文中建立了一种基于酶切技术和PCR技术的图顶点着色DNA计算模型,给出了实现该模型的双编码的编码方案.分析表明,利用酶切技术和PCR技术能够有效删除非解并读取真解.该模型的解的检测方法类似于DNA测序技术,使得该模型更容易实现自动化操作.     

赋权图上优化问题的DNA计算方法研究(英文)

对赋权图上经典优化问题的DNA计算方法进行探讨,改进原有DNA计算模型中的权值编码方法,提出一些新的DNA编码方法及DNA算法．具体地说,通过设计赋权无向图的相对长度图给出了旅行商问题的一种相对长度DNA编码方法及DNA算法,通过设计赋权无向图的广义边图给出了中国邮递员问题的一种广义边图DNA编码方法及DNA算法,通过选取DNA序列的最佳逆补比对给出了最小生成树问题的一种基于逆补比对的DNA编码方法及DNA算法,通过设计从顶点覆盖问题到Hamilton回路问题的一种改进多项式变换给出了顶点覆盖问题的一种基于多项式变换的DNA编码方法及DNA算法．所设计的DNA计算方法提高了DNA计算中表示数值和处理数值的能力．     

基于粘贴和删除系统的图着色问题分析(英文)

图着色问题是图与组合优化中的一个NP-完全问题．现有算法在求解图着色问题时,计算复杂性随着待解问题规模的增大呈指数增长．粘贴系统和删除系统是分别基于粘贴运算和删除运算的两种语言生成器．文中将图着色问题和图的坏边数结合起来,将图着色问题转化成搜索最长序列的问题,然后利用粘贴系统和删除系统的并行性,得到了图的色数及其所有色类．与已有求解图着色问题的DNA算法相比,新的算法具有较低的复杂性．     

哈密顿回路问题的DNA表面计算模型

基于生化反应原理的DNA计算具有强大的并行运算能力,DNA计算机在求解NP问题上存在着硅计算机无法比拟的先天的优越性。论文采用荧光标记的策略,给出了一种新的哈密顿回路问题的DNA表面计算模型。该模型首先将问题解空间的DNA分子固定在固体载体上,然后通过进行相应的生化反应来求得哈密顿回路问题的所有解。在新模型中,解空间的生成过程与边的排列顺序无关。     

DNA计算机原理、进展及难点(Ⅰ):生物计算系统及其在图论中的应用

基于生化反应机理的DNA计算机模型受到科学领域内许多不同学科学者们的关注与兴趣.DNA计算已经形成国际科学前沿领域内研究的一个新的热点.DNA计算机的研制需要诸如生物工程、计算机科学、数学、物理、化学、信息科学、微电子技术、激光技术以及控制科学等许多学科的共同协作攻关.该系列文章拟对DNA计算机的基本原理、研究进展、DNA计算的模型以及当前研究中的难点给予研讨.该文属首篇,重点讨论了DNA计算机的基本原理,引入了生物计算系统的概念,并较系统地讨论了DNA计算模型在图与组合优化中的研究进展.     

DNA计算的原理及应用

DNA计算是一种新的计算模式,它具有高度的并行性.本文介绍了DNA计算的机理和应用,并重点讨论了DNA计算在解决NP-完全问题中的应用模型,最后讨论了DNA计算目前存在的问题和展望.     

图的最大团与最大独立集粘贴DNA计算模型

粘贴模型(stickermodel)是DNA计算中一个很重要的模型.其主要原理就是采用单双链混合型DNA分子进行编码,其优点在于在生物操作过程中不需要DNA链的延伸,不需要生物酶的作用以及DNA链可重复使用等,因此引起了来自不同学科的学者们的广泛关注与兴趣.文中提出了一种求解图的最大团问题的DNA计算模型,该模型采用了两种基本并行计算处理思想,一种是将图分解成小的子图来处理的并行思想;另一种是进行并行生物操作.     

基于粘贴模型的图顶点着色问题的DNA算法

为了用生化实验的方法解决图的顶点着色问题，基于粘贴模型的巨大并行性，将着色问题转化为可满足性问题，提出一个基于粘贴模型的DNA算法。通过一个实例给出了操作步骤，并对生化反应过程进行了模拟，得出具体的着色方案，证明了该算法的可行性。     

深入浅出DNA分子计算

DNA分子计算技术是人类在计算机缩微化进程中涌现出的一项新技术.追溯到DNA分子计算技术产生的历史背景,介绍了此项技术实现的理论基础,同时与传统电子计算机作比,列举出目前DNA分子计算技术的优劣势所在,并通过解决一个传统货郎担问题的实例,讲述这种基于DNA分子计算技术的生物计算机的工作机制.     

可满足性(SAT)问题的几种DNA计算模型

DNA计算是一种新的计算方式，其高度并行性和巨大的信息存储容量为NP-完全问题的解决提供了一种全新的方法。主要介绍了几种可满足性(SAT)问题的DNA计算模型，并在编码问题、实现方式、及算法设计等三个方面对其进行了比较。     

信息安全中的DNA编码技术

DNA计算是一种模拟生物分子的结构并借助于分子生物技术进行计算的新模式。它引入了崭新的数据结构和计算方法,为解决NP完全问题提供了全新的途径。用DNA分子作为信息载体,以实现数据隐藏、认证、加密等安全技术。本文借鉴生物DNA的表达方式,定义了用户DNA、文件DNA的串结构,从而提高系统中信息安全控制的可靠性。     

DNA计算中的信息安全技术

DNA计算是一种模拟生物分子的结构并借助于分子生物技术进行计算的新模式。它引入了崭新的数据结构和计算方法,为解决NP完全问题提供了全新的途径。由于DNA计算具有信息处理的高并行性、低能耗及高存储密度等优点,对传统的基于计算安全的密码体系提出了挑战。DNA密码便是近年来伴随着DNA计算的研究而出现的密码学新领域。用DNA分子作为信息载体,以实现数据隐藏、认证、加密等安全技术。在简要回顾DNA计算原理的基础上,详细分析了基于DNA的一次一密方案以及Boneh用DNA计算机破解DES的方法;最后探讨在DNA计算中的信息安全技术。     

DNA计算方法

DNA计算是应用分子生物技术进行计算的新方法。本文主要介绍了DNA计算的基本思想及在解决NP完全问题中的应用。     

旅行商问题的DNA算法

旅行商问题是求仅一次遍访指定城市并返回出发城市的最短旅行路线的问题,它是图论中一个经典的NP完全问题,用电子计算机需要指数级的时间才能得到解决,该文基于分子生物技术并利用Adleman-Lipton模型给出旅行商问题的DNA算法,这个DNA算法理论上能在多项式的时间内解决这个NP完全问题。具体地对n个城市的旅行商问题,首先将它视为一个具有顶点和边的图,并将顶点、边分别用DNA链编码表示,边的方向通过顶点的编码获得;再将这些DNA链投放在试管中进行生物化学反应,利用DNA计算的高效并行性,通过基本的生物实验操作最后得到旅行商问题的解,其过程的复杂度为O(n)。该算法的创新之处在于表示城市和路径的DNA链长度的设计,能使我们在合理小的范围内寻找旅行商问题的解,较大地简化了问题的复杂度。     

计算科学的新领域：DNA计算（Ⅲ）

DNA计算是应用分子生物技术进行计算的新方法.从理论上研究DNA计算方法，有利于推动理论计算科学的发展.本系列文章应用形式语言及自动机理论技术，系统地探讨了DNA分子的可计算性及其计算能力.本文主要介绍DNA剪接计算模型的文法结构和剪接计算方法，探讨了不同DNA剪接计算模型的计算能力，证明了所有图灵机可计算的函数理论上都可以通过DNA剪接计算模型来计算.     

计算科学的新领域：DNA计算（Ⅱ）

DNA计算是应用分子生物技术进行计算的新方法。从理论上研究DNA计算方法，有利于推动理论计算科学的发展。本系列文章应用形式语言及自动机理论技术，系统地探讨了DNA分子的可计算性及其计算能力。本文主要介绍DNA分子粘接计算模型的文法结构和计算方法，探讨了不同粘接计算模型的计算能力，并证明了DNA有穷自动机与正规文法的等价性。     

计算科学的新领域：DNA计算（Ⅰ）

DNA计算是应用分子生物技术进行计算的新方法。从理论上研究DNA计算方法，有利于推动理论计算科学的发展。本系列文章应用形式语言及自动机理论技术，系统地探讨了DNA分子的可计算性及其计算能力。本文主要介绍常用DNA分子操作方法，并根据DNA分子的结构及特点，给出了DNA分子的形式化描述。     

构造对角Ramsey图的DNA算法设计*

Ramsey数问题是一个著名的组合优化问题, 同时也是一个NP完全问题。构造对角Ramsey图是一个难处理的计算问题,使用穷举的算法来构造对角Ramsey图必然导致计算量的指数爆炸,穷举的DNA算法也不例外。提出了一个构造对角Ramsey图的递阶式DNA粘贴—剪接算法,该算法通过逐个添加顶点的思想, 逐步删除了问题的绝大部分非解,在一定程度上缓解了问题解的空间扩散。特别地, 专门针对对角Ramsey数R(5,5)的43阶Ramsey图的构造问题进行了计算分析, 分析结果充分地肯定了该算法的有效性。     

DNA编码问题及其复杂性研究*

高质量的DNA编码可以避免DNA分子间的非特异性杂交,提高DNA计算的有效性和可靠性。首先对DNA编码的约束条件进行归类,分析了各编码约束对编码质量的影响;然后研究了编码质量、编码数量、序列长度与DNA计算可靠性、有效性、可扩充性之间的关系;最后通过类比DNA编码问题和图的独立集问题,说明了求解最大DNA序列集合问题是NP完全的。