基于DNA Tiles自组装的布尔逻辑运算  

Boolean Logic Computation Based on Dan Tiles Self-Assembly

作　　者：黄玉芳[1] 程珍[1] 周康[2] 肖建华[3] 石晓龙[1] 

机构地区：[1]华中科技大学控制科学与工程系分子生物计算实验室,武汉430074 [2]武汉工业学院数理科学系,武汉430023 [3]南开大学现代物流研究中心,天津300071

出　　处：《计算机学报》2009年第12期2347-2354,共8页Chinese Journal of Computers

基　　金：国家自然科学基金(60674106;30870826;60703047;60533010;60803113;60903105);国家"八六三"高技术研究发展计划项目基金(2009AA012413);湖北省教育厅科学技术研究项目(重点)资助课题(D20091805);湖北省自然科学基金项目资助课题(2007ABA407)资助

摘　　要：大量研究工作表明,DNA tiles自组装现象是分子生物计算过程中一个很重要的计算方式.分子自组装的基本特点在于由许多小分子在一定机理的作用下,自动形成更大规模的超级分子结构的过程.自组装用于计算,在于这种组装模式可以抽象成一个自动化的系统,只需根据问题的需要设计好输入,再将其输入到运算系统,经过分子自组装过程,最后能生成问题的解.文中基于这样的运算机理,在DNA tiles自组装这个计算平台上,尝试做布尔逻辑运算,针对4变量4句子的布尔逻辑问题,提出一个DNA tiles自组装自动化运算系统.A large number of work has demonstrated that self-assembly of DNA tiles is a significant method among molecular computations. Self-assembly is a process in which small objects autonomously associate with each other to form larger complexes. The simple binary arithmetic and logical operations can be computed by the process of self assembly of DNA tiles, yielding the resuits of the problem. In this paper, the authors consider taking advantage of the self-assembly of DNA tiles for logical evaluation, and propose a procedure to compute a 4-variable 4-clause 3-conjunctive （3-CNF） Boolean computational problem. The procedure enables any Boolean operations whose inputs and outputs are defined by a truth table, and evaluates any different kinds of Boolean logical formula simultaneously.

关 键 词：自组装 DNA tiles 分子计算 布尔逻辑计算 自动化系统 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]