可满足性问题的一种DNA表面计算模型

摘要：

可满足性问题的一种DNA表面计算模型是一种特殊的DNA计算方法,该模型是采用荧光标记的策略和荧光猝灭技术,通过观察荧光灭光情况排除非解,从而有效的解决可满足性问题(SAT).该模型方法具有错误率低、编码简单、读取方便等很好的性能,能够大大减少实验过程中的错差.

关键词： 脱氧核糖核酸表面计算模型 可满足性问题 荧光猝灭技术

作者: 刘文君 殷志祥

作者单位: 安徽理工大学理学院 淮南 232001

会议类型: 国内会议

会议名称: 第五届江苏计算机大会

会议地点: 江苏淮安

会议语种:中文

页码: 16-17,30

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