计算机工程与科学

作者：王欣怡, 殷志祥, 唐震, 杨静, 崔建中,

单位：1.安徽理工大学数学与大数据学院，安徽 淮南 232001；2.上海工程技术大学数理与统计学院，上海 201620；3.安徽理工大学电气与信息工程学院，安徽 淮南 232001；4.淮南联合大学计算机系，安徽 淮南 232001

关键词：DNA折纸术,分子信标,可满足性问题,模型仿真,

基金：国家自然科学基金(62072296,61672001,61702008,11801362);安徽省自然科学基金(1808085MF193); 安徽高校自然科学研究(KJ2019A0538); 军委科技委前沿创新计划(18-163-ZT-005-009-01)

DNA折纸术是一种全新的DNA自组装方法，具有可编程性、纳米可寻址性等优点，被广泛地应用于DNA计算中。利用DNA折纸术可折叠出特殊结构的特点，在DNA折纸基底上设计了一种求解可满足性问题的计算模型，该模型采用分子信标原理，通过观察荧光的明灭排除非解，从而找出可满足性问题的解。最后通过实例和模拟仿真表明了模型的可行性。

来源：2021年第9期

《计算机工程与科学》期刊编辑部

查看计算机工程与科学杂志2021年第9期