基于DNA链置换的逻辑推理问题研究

Logical Reasoning Based on DNA Strand Displacement

基于DNA链置换反应构建了逻辑推理问题的DNA计算模型。在不依托荧光标记技术等DNA实验技术的前提下,利用尽量少的DNA反应链和链置换反应以及构建0-1函数,实现了DNA链的浓度变化与布尔逻辑信号值之间的对应关系,将DNA模拟计算和数字逻辑运算相结合,设计出基于DNA链置换反应的基本逻辑运算"与""或""非"的DNA计算模型。利用DNA链置换反应的级联特性,将基本逻辑运算进行任意的组合,形成组合逻辑表达式,以满足不同逻辑推理问题的需求及实现完整的逻辑推理过程。通过实例得到了可满足性问题这一特殊逻辑推理问题的可行解。所有DNA链置换反应的过程和相关DNA链的浓度变化均通过Visual DSD软件仿真模拟实现。

A computational model for logical reasoning is proposed based on DNA strand displacement reactions.Firstly,this way does not rely on fluorescent labeling or other DNA experimental technique.The corresponding relationship between the concentration change of DNA strand and the value of Boolean logic signal is realized by building up a special 0-1function and using less DNA reaction strands and strand displacement reactions as possible as we can.Then the calculation models of basic logical operations“and”“or”“not”are designed based on DNA strand displacement.Furthermore,the basic logical operations can be combined arbitrarily in use of the cascading property of DNA strand displacement,so as to solve different logical reasoning problems.Finally,the feasible solution of satisfiability problem,which is a special logical reasoning problem,is implemented through the simulation.All the DNA strand displacement reaction processes and the concentration changes of related DNA chains can be simulated by the Visual DSD software.