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

• 作者: 周涛
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: DNA计算 逻辑运算 荧光标示 表面方式
• 年，卷（期）: 2008,（24）
• 所属期刊栏目: 理论研究
• 页码范围: 67-70
• 页数: 4页
• 分类号: TP391
• 字数: 4108字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2008.24.019

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周涛	陕西理工学院数学系	43	256	9.0	14.0