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

摘要：

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

关键词：DNA链置换反应;逻辑推理;布尔逻辑信号;Visual DSD

所属期刊栏目：49

分类号：O142(数理逻辑、数学基础)

在线出版日期：2022-01-21（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：259-263