计算机科学 ›› 2022, Vol. 49 ›› Issue (1): 259-263.doi: 10.11896/jsjkx.210200131
吴立波, 黄玉芳
WU Li-bo, HUANG Yu-fang
摘要: 基于DNA链置换反应构建了逻辑推理问题的DNA计算模型。在不依托荧光标记技术等DNA实验技术的前提下,利用尽量少的DNA反应链和链置换反应以及构建0-1函数,实现了DNA链的浓度变化与布尔逻辑信号值之间的对应关系,将DNA模拟计算和数字逻辑运算相结合,设计出基于DNA链置换反应的基本逻辑运算“与”“或”“非”的DNA计算模型。利用DNA链置换反应的级联特性,将基本逻辑运算进行任意的组合,形成组合逻辑表达式,以满足不同逻辑推理问题的需求及实现完整的逻辑推理过程。通过实例得到了可满足性问题这一特殊逻辑推理问题的可行解。所有DNA链置换反应的过程和相关DNA链的浓度变化均通过Visual DSD软件仿真模拟实现。
中图分类号:
[1]FEYNMAN R P.There's plenty of room at the bottom[J].Eng. Sci.,1960,23:22-36. [2]ADLEMAN L M.Molecular computation of solutions to combinatorial problems[J].Science,1994,266:1021-1024. [3]QIAN L L,WINFREE E.A simple DNA gate motif for synthesizing large-scale circuits[J].J R Soc Interface,2011,8(62):1281. [4]QIAN L L,WINFREE E.Scaling up digital circuit computation with DNA strand displacement cascades[J].Science,2011,332(6034):1196. [5]QIAN L L,WINFREE E,BRUCK J.Neural network computation with DNA strand displacement cascades[J].Nature,2011,475(7356):368. [6]LI W,YANG Y,YAN H,et al.Three-input majority logic gate and multiple input logic circuit based on DNA strand displacement[J].Nano Letters,2013,13(6):2980-2988. [7]WANG Y F,TIAN G H,HOU H W,et al.Simple logic computation based on the DNA strand displacement[J].Journal of Computational and Theoretical Nanoscience,2014,11:1975. [8]WANG Z C,TIAN G H,WANG Y F,et al.Multidigit logicoperation using DNA strand[J].Communications in Computer and Information Science,2014,472:463. [9]SONG T Q,GARG S,MOKHTAR R,et al.Analog computation by DNA strand displacement circuits[J].ACS Synth. Biol.,2016,5:898-912. [10]SONG T Q,GARG S,MOKHTAR R,et al.Design and analysis of compact DNA strand displacement circuits for analog computation using autocatalytic amplifiers[J].ACS Synth. Biol.,2018,7:46-53. [11]ZHANG C,ZHONG Z W,ZHUANG Y C,et al.DNA computing for combinational logic[J].Scientia Sinica Informationis,2019,49(7):819-837. [12]LI H,LIU J,GU H Z.Targeting nucleolin to obstruct vasculature feeding with an intelligent DNA nanorobot[J].Journal of Cellular and Molecular Medicine,2019,23(3):2248-2250. [13]TASCIOTTI E.Smart cancer therapy with DNA origami[J].Nature Biotechnology,2018,36(3):234-235. [14]CORDEIRO M,OTRELO-CARDOSO A R,SVERGUN D I,et al.Optical and structural characterization of a chronic myeloid leukemia DNA biosensor[J].ACS Chemical Biology,2018,13(5):1235-1242. [15]HAN Y J,ZHOU Q L,ZHU W J.Survey on DNA-computing Based Methods of Computation Tree Logic Model Checking[J].Computer Science,2019,46(11):25-31. [16]ZHANG Q,WANG X B,WANG X J,et al.Solving probability reasoning based on DNA strand displacement and probability modules[J].Computational Biology and Chemistry,2017,71:274-279. [17]ZHOU Q Z,YAN H X,RAN F Y,et al.Ultrasensitive enzyme-free fluorescent detection of VEGF165 based on target-triggered hybridization chain reaction amplification[J].RSC Advances,2018,8(45):25955-25960. [18]LI Q,LIU Z,ZHOU D H,et al.A cascade toehold-mediatedstrand displacement strategy for label-free and sensitive non-enzymatic recycling amplification detection of the HIV-1 gene[J].Analyst,2019,144(6):2173-2178. [19]ALFONSO R P,INAKI S M,PETR S.DNA strand displacement system running logic programs[J].BioSystems,2014,11(5):5-12. [20]ZHANG D Y,SEELIG G.Dynamic DNA nanotechnology using strand-displacement reactions[J].Nat Chem,2011,3:103-113. |
[1] | 肖治鸿, 韩晔彤, 邹永攀. 基于多源数据和逻辑推理的行为识别技术研究 Study on Activity Recognition Based on Multi-source Data and Logical Reasoning 计算机科学, 2022, 49(6A): 397-406. https://doi.org/10.11896/jsjkx.210300270 |
[2] | 张姝楠, 曹峰, 郭倩, 钱宇华. 一种基于时序关系网络的逻辑推理方法 Logical Reasoning Method Based on Temporal Relation Network 计算机科学, 2021, 48(5): 239-246. https://doi.org/10.11896/jsjkx.201000171 |
[3] | 琚安康,郭渊博,朱泰铭,王通. 网络安全事件关联分析技术与工具研究 Survey on Network Security Event Correlation Analysis Methods and Tools 计算机科学, 2017, 44(2): 38-45. https://doi.org/10.11896/j.issn.1002-137X.2017.02.004 |
[4] | 王坚,史朝辉,郭新鹏,李伟平. Mamdani模糊推理算法的直觉化扩展 Intuitionistic Extension of Mamdani Fuzzy Reasoning Arithmetic 计算机科学, 2016, 43(Z6): 44-45. https://doi.org/10.11896/j.issn.1002-137X.2016.6A.009 |
[5] | 贾志淳,邢星. 基于贝叶斯与多故障推理的Web服务诊断 Diagnosis of Web Service Based on Bayes and Multi-faults Reasoning 计算机科学, 2014, 41(6): 225-230. https://doi.org/10.11896/j.issn.1002-137X.2014.06.044 |
[6] | 徐俊,肖刚,张元鸣,高飞,方赵林. 基于逻辑推理的构件行为片段提取与重组研究 Research on Component Behavior Fragment Extraction and Composition Based on Logical Reasoning 计算机科学, 2012, 39(5): 120-123. |
[7] | 胡小风 邢永康. 融合概率和逻辑的推理模型研究 计算机科学, 2006, 33(B12): 239-241. |
[8] | 周青. 关于程序验证方法的讨论 计算机科学, 1995, 22(3): 58-60. |
[9] | 高全泉 陆汝钤. 微机上实现的逻辑推理语言 Tuili 1.1 计算机科学, 1992, 19(5): 19-25. |
|