DNA计算模型的理论研究及应用

本项目是关于计算机科学、数学和生物学的综合交叉性研究课题。研究内容重点是建立通用Watson-Crick图灵机模型，并对模型的形式验证技术、逻辑控制技术、完备性、可计算性、复杂性等理论进行深入系统的研究。初步建立DNA可计算性理论、DNA计算复杂性理论和DNA计算系统的形式语言理论。将DNA计算的形式理论和生物实验技术相结合，利用建立的通用DNA计算模型和并行计算机编程技术对图与组合优化中的NP完全问题的进行求解、仿真与检测。作为研究内容的一部分，将进一步研究DNA计算模型与膜计算模型的区别与联系，以建立分子生物计算下不同模型的转换、映射规则和方法。