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

• 作者: 吴立波 黄玉芳
• 来源期刊: 计算机科学
• 学科: 数学
• 关键词: DNA链置换反应 逻辑推理 布尔逻辑信号 Visual DSD
• 年，卷（期）: 2022,（1）
• 所属期刊栏目: 人工智能|Artificial Intelligence
• 页码范围: 259-263
• 页数: 5页
• 分类号: O142
• 语种: 中文
• DOI: 10.11896/jsjkx.210200131

摘要

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