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

大量研究工作表明,DNA tiles自组装现象是分子生物计算过程中一个很重要的计算方式.分子自组装的基本特点在于由许多小分子在一定机理的作用下,自动形成更大规模的超级分子结构的过程.自组装用于计算,在于这种组装模式可以抽象成一个自动化的系统,只需根据问题的需要设计好输入,再将其输入到运算系统,经过分子自组装过程,最后能生成问题的解.文中基于这样的运算机理,在DNA tiles自组装这个计算平台上,尝试做布尔逻辑运算,针对4变量4句子的布尔逻辑问题,提出一个DNA tiles自组装自动化运算系统.

Boolean Logic Computation Based on Dan Tiles Self-Assembly

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.