《计算机学报》文章摘要   全文下载
文章题目	可满足问题的分子信标计算模型
作者	殷志祥1),2) 崔建中1) 支凌迎1) 孙侠1) 黄晓慧1)
作者单位	1)(安徽理工大学理学院 安徽淮南 232001) 2)(华中科技大学控制科学与工程系 武汉 430074)
发表年份	2008
发表月份	12期(2200—2206)
文章摘要	摘要 分子信标(Molecular Beacon)是一种发夹状的荧光探针，它可以特异地和那些与分子信标的环(Loop)互补的核酸靶序列杂交，具有单个碱基错配的检测能力.肽核酸(Peptide Nucleic Acid)是人工合成的核酸(DNA)的类似物.PNA骨架为酰胺键，与DNA补链杂交更稳定，可以阻止聚合酶延伸反应.文中将可满足问题的约束变量编码于分子信标的环部识别区，通过分子信标与使得给定范式为真的变量的PNA补链杂交，再利用PNA链可以阻止聚合酶延伸反应的性质，用限制性内切酶EcoRI降解对应于非解的分子信标，最后通过加热表面使分子信标构形发生变化，产生荧光读解.提出的可满足问题的分子信标计算模型具有可靠性高、无需观察和记录计算的中间结果、读解简单等优点. 关键词 DNA计算;可满足问题;分子信标;肽核酸;荧光