基于DNA折纸术的可满足性问题计算模型研究与探索.docxVIP

基于DNA折纸术的可满足性问题计算模型研究与探索 摘　要DNA折纸术是一种基于DNA分子自身互补性构建的纳米结构技术，其结构稳定性和精度高，被广泛应用于纳米材料制备、纳米生物传感器、药物递送等领域。近年来，DNA折纸术被引入到计算机科学领域，成为一种新的计算模型，被称为基于DNA折纸术的计算模型，其具有并行性高、能耗低、信息存储容量大等优势。本文研究和探索了基于DNA折纸术的可满足性问题计算模型，主要包括构建可满足性问题实例、设计适用于DNA折纸术的布尔逻辑门、构建DNA折纸术的计算模型和进行实验验证等方面。结果表明，基于DNA折纸术的可满足性问题计算模型在解决大规模布尔逻辑问题方面具有潜