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

摘要：

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

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

所属期刊栏目：44

分类号：TP391(计算技术、计算机技术)

资助基金：陕西省教育厅资助项目08JK241;陕西理工学院校科研和教改项目SLG0631

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

页数：共4页

页码：67-70