發(fā)布時(shí)間：2018-01-23 11:49

  本文關(guān)鍵詞： DNA計(jì)算 粘貼系統(tǒng) 可滿足性問題 Adleman實(shí)驗(yàn)　出處：《伊犁師范學(xué)院》2012年碩士論文　論文類型：學(xué)位論文

【摘要】：DNA計(jì)算是生物計(jì)算中最受關(guān)注的一種計(jì)算,目前的DNA計(jì)算領(lǐng)域始于1994年Adleman的著名實(shí)驗(yàn). DNA分子巨大的并行計(jì)算能力使得在多項(xiàng)式時(shí)間內(nèi)解決NP完全問題成為可能.本文探討了形式語言的一些性質(zhì),并采用基因生物技術(shù),通過DNA計(jì)算給出了粘貼系統(tǒng)可滿足性問題的一些算法. 本文分三個(gè)部分進(jìn)行論述:第一章介紹形式語言和喬姆斯基文法,給出形式語言的相關(guān)概念,并對喬姆斯基文法做了相關(guān)介紹. 第二章首先介紹DNA計(jì)算的產(chǎn)生背景,研究狀況,生物學(xué)基礎(chǔ), DNA計(jì)算解決4Hamilton路徑的基本原理和操作方法.其次指出DNA計(jì)算機(jī)的優(yōu)點(diǎn),應(yīng)用前景與存在的技術(shù)問題. 第三章給出了Adleman實(shí)驗(yàn)第一個(gè)是基于Adleman實(shí)驗(yàn)的計(jì)算方案.第二個(gè)是利用粘貼模型給出了粘貼系統(tǒng)的解決方案,第三個(gè)是構(gòu)建可以處理可滿足性問題的粘貼系統(tǒng)模型.
[Abstract]:DNA computing is one of the most concerned calculations in biological computing. The current field of DNA computing began with Adleman's famous experiment in 1994. The huge parallel computing power of DNA molecules makes it possible to solve NP-complete problems in polynomial time. Some properties of formal languages are discussed in this paper. Some algorithms for the satisfiability of sticker system are given by using genetic biotechnology and DNA calculation. This paper is divided into three parts: the first chapter introduces formal language and Chomsky grammar, gives the related concepts of formal language, and introduces Chomsky grammar. The second chapter introduces the background, research status and biological basis of DNA calculation. The basic principle and operation method of 4Hamilton path are solved by DNA calculation. Secondly, the advantages, application prospects and technical problems of DNA computer are pointed out. In the third chapter, the first one is based on the Adleman experiment, the second is the solution of the paste system based on the sticker model. The third is to build a paste system model that can handle satisfiability.
【學(xué)位授予單位】：伊犁師范學(xué)院
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2012
【分類號(hào)】：TP384

【參考文獻(xiàn)】

相關(guān)期刊論文 前5條

1 高琳,許進(jìn),張軍英;DNA計(jì)算的研究進(jìn)展與展望[J];電子學(xué)報(bào);2001年07期

2 殷志祥,張鳳月,許進(jìn);0-1規(guī)劃問題的DNA計(jì)算[J];電子與信息學(xué)報(bào);2003年01期

3 劉文斌,王淑棟,許進(jìn);DNA計(jì)算中的編碼方法研究[J];計(jì)算機(jī)工程與應(yīng)用;2003年27期

4 劉西奎,李艷,許進(jìn);DNA計(jì)算的原理和模型[J];計(jì)算機(jī)工程;2002年06期

5 丁永生,任立紅,邵世煌;DNA計(jì)算與軟計(jì)算[J];系統(tǒng)仿真學(xué)報(bào);2001年S1期

，

本文編號(hào)：1457469