基于DNA计算的命题逻辑推理算法

doi:10.3778/j.issn.1002-8331.2008.24.019

计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (24): 67-70.DOI: 10.3778/j.issn.1002-8331.2008.24.019

基于DNA计算的命题逻辑推理算法

周涛

陕西理工学院数学系，陕西汉中 723000

收稿日期:2007-10-25 修回日期:2008-01-23 出版日期:2008-08-21 发布日期:2008-08-21
通讯作者: 周涛

Propositional logic Reasoning algorithm based on DNA computing

ZHOU Tao

Department of Maths，Shaanxi University of Technology，Hanzhong，Shaanxi 723000，China

Received:2007-10-25 Revised:2008-01-23 Online:2008-08-21 Published:2008-08-21
Contact: ZHOU Tao

摘要/Abstract

摘要： 通过讨论DNA计算的生物机理和表面DNA计算中的荧光标记策略的基本原理，利用表面DNA计算的思想，对数理逻辑中的命题推理进行了研究，给出了一种合适的DNA编码策略，提出了一种新的对一般的命题公式的推理算法。新方法利用荧光猝灭技术，通过观察表面DNA分子链中猝灭程度来排除非可行解。最后通过事例分析了算法的基本过程，说明了该方法的普适性和可行性。

关键词: DNA计算, 逻辑运算, 荧光标示, 表面方式

Abstract: Via discussing biological mechanism and fluorescent labeling strategy surface-based DNA computation，we study proposition logic reasoning combining with DNA computing and propose a fitful coding strategy and a propositional reasoning algorithm combining with DNA computing.Fluorescent quenching technology is used in this method and unfeasible solution is excluded through observing fluorescent quenching degree in DNA　chain.At last，the procedure is illustrated by an example analysis and the result notes that this algorithm is feasible and general.

Key words: DNA computing, logic calculus, fluorescence labeling technique, surface-based style

周涛. 基于DNA计算的命题逻辑推理算法[J]. 计算机工程与应用, 2008, 44(24): 67-70.

ZHOU Tao. Propositional logic Reasoning algorithm based on DNA computing[J]. Computer Engineering and Applications, 2008, 44(24): 67-70.

[1]	谭莉1，应石2. 多目标优化机制下DNA编码序列模型[J]. 计算机工程与应用, 2016, 52(15): 34-37.
[2]	孙守霞1，刘伟2，郭迎3，孟大志4. DNA计算机算术运算的自装配模型（III）—减法[J]. 计算机工程与应用, 2012, 48(32): 39-42.
[3]	臧文科1，夏瑞芳2，刘希玉1. MSC问题的一类表面DNA解法[J]. 计算机工程与应用, 2012, 48(22): 14-17.
[4]	卓保特1，2，栾勇2，3，刘伟2，3，刘占清2，3. PLC源程序编码方法与解释执行算法设计[J]. 计算机工程与应用, 2012, 48(14): 68-73.
[5]	张勋才，郗方. 微流控DNA计算的研究进展及展望[J]. 计算机工程与应用, 2011, 47(32): 37-41.
[6]	朱越. 基于DNA的连续优化算法[J]. 计算机工程与应用, 2011, 47(22): 48-52.
[7]	栗青生¹，杨玉星¹，马季兰². 基于粘贴模型的两类全排问题的DNA算法[J]. 计算机工程与应用, 2010, 46(4): 46-48.
[8]	刘伟¹，郭迎²，孟大志³. DNA计算机算术运算的自装配模型（I）—加法[J]. 计算机工程与应用, 2010, 46(20): 157-160.
[9]	刘伟¹，郭迎²，孟大志3. DNA计算机算术运算的自装配模型（II）—乘法[J]. 计算机工程与应用, 2010, 46(20): 161-163.
[10]	唐新亭，张小峰，邹海林. 粒度逻辑运算下的粗糙集模型[J]. 计算机工程与应用, 2010, 46(20): 188-192.
[11]	殷脂^1，2，叶春明¹，温蜜². 最小自由能约束的DNA编码设计研究[J]. 计算机工程与应用, 2010, 46(12): 25-27.
[12]	崔光照¹,秦利敏¹,王延峰¹,张勋才². 基于DNA技术的加密方案[J]. 计算机工程与应用, 2009, 45(8): 104-106.
[13]	羊四清^1,2,李小龙²,袁辉勇¹. 图的最小顶点覆盖问题的DNA表面计算模型[J]. 计算机工程与应用, 2009, 45(6): 69-72.
[14]	李珍,王淑栋. DNA编码限制条件与编码策略[J]. 计算机工程与应用, 2009, 45(5): 43-45.
[15]	李金松,张强,周士华. 双链DNA解链温度的最小二乘支持向量机预测方法[J]. 计算机工程与应用, 2009, 45(5): 55-58.

基于DNA计算的命题逻辑推理算法

Propositional logic Reasoning algorithm based on DNA computing

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics