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