可满足性问题生物砖翻转细胞计算模型.pdfVIP

第 36 卷第12 期 计算机 学 报 Vo l. 36 No. 12 2013 年 12 月 C H1N ESE JOURNAL OF COMP UTER S Dec. 2013 可满足性问题生物砖翻转细胞计算模型 陈梅陈向群张路许进 {北京大学fif息科学技术学院高可信软件技术敏胃部重点实验室 北京 100871) 摘 要 细胞内丰富的信息处理机制和细胞计算的巨并行位一直吸引着科学家构建细胞计算机.科学家利用细胞 内的信息处理机制开发了不少模仿简单电子器件功能的细胞计算部件，如细胞布尔逻辑门、细胞记忆单元等， 但这 些部件没有充分利用细胞计算的巨并行性特点. DNA 重组MHin 能催化 DNA 片段的翻转反应，通过切换DNA 片 段的方向来调控基因的表达.该文利用 DNA 重组酶 Hin 的这-性质，以合成生物学中广泛使用的生物砖为材料， 以大肠