本文關(guān)鍵詞：基于DNA計(jì)算的線性時(shí)序邏輯模型檢測(cè)方法

  更多相關(guān)文章： 模型檢測(cè) 脫氧核糖核酸 線性時(shí)序邏輯 粘貼自動(dòng)機(jī) 有窮狀態(tài)自動(dòng)機(jī) DNA計(jì)算

【摘要】：該文研究基于脫氧核糖核酸(Deoxyribonucleic Acid,DNA)計(jì)算的線性時(shí)序邏輯(Linear Temporal Logic,LTL)模型檢測(cè)問(wèn)題.為此,該文給出了使用粘貼自動(dòng)機(jī)實(shí)現(xiàn)LTL模型檢測(cè)的方法.首先,使用3′-5′型單鏈DNA分子對(duì)LTL公式的有窮狀態(tài)自動(dòng)機(jī)(Finite State Automata,FSA)模型進(jìn)行編碼,從而獲得實(shí)現(xiàn)公式的粘貼自動(dòng)機(jī);其次,使用5′-3′型單鏈DNA分子對(duì)系統(tǒng)模型進(jìn)行編碼,從而獲得粘貼自動(dòng)機(jī)的輸入字符串;最后,對(duì)表征粘貼自動(dòng)機(jī)的DNA單鏈分子和表征輸入字符串的DNA單鏈分子實(shí)施一系列生化反應(yīng),即可判定系統(tǒng)是否滿足公式.分子生物學(xué)仿真實(shí)驗(yàn)結(jié)果表明:給出的DNA編碼序列能達(dá)到99.9%的堿基配對(duì)正確率,且新方法成功地對(duì)所有4種LTL基本公式與5種LTL常見(jiàn)公式實(shí)施了檢測(cè);與之對(duì)照,已有的方法只能有效檢測(cè)1種LTL基本公式與0種LTL常見(jiàn)公式.在此基礎(chǔ)上,對(duì)本實(shí)驗(yàn)給出的DNA編碼方案直接作位數(shù)擴(kuò)展即可擁有對(duì)任意給定LTL一般公式的(理論)檢測(cè)能力.
【作者單位】： 鄭州大學(xué)信息工程學(xué)院;鄭州大學(xué)基礎(chǔ)醫(yī)學(xué)院;
【關(guān)鍵詞】： 模型檢測(cè) 脫氧核糖核酸 線性時(shí)序邏輯 粘貼自動(dòng)機(jī) 有窮狀態(tài)自動(dòng)機(jī) DNA計(jì)算
【基金】：國(guó)家自然科學(xué)基金(61250007,U1204608,U1304606,61373043,61572444) 中國(guó)博士后科學(xué)基金(2012M511588,2015M572120) 河南省高等學(xué)校青年骨干教師資助計(jì)劃(2014GGJS-001)資助~~
【分類號(hào)】：TP301.1
【正文快照】： 中國(guó)博士后科學(xué)基金(2012M511588,2015M572120)和河南省高等學(xué)校青年骨干教師資助計(jì)劃(2014GGJS-001)資助.朱維軍,男,1976年生,博士,副教授,中國(guó)計(jì)算機(jī)學(xué)會(huì)(CCF)高級(jí)會(huì)員,主要研究方向?yàn)镈NA計(jì)算、形式化方法.E-mail:zhuweijun76@163.com.周清雷,男,1962年生,博士,教授,博士生

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 王湛;劉鳳玉;張宏;;DNA計(jì)算在軟件抗衰技術(shù)中的應(yīng)用研究[J];計(jì)算機(jī)應(yīng)用研究;2008年02期

2 張勛才;趙海蘭;崔光照;王延峰;;DNA計(jì)算的研究進(jìn)展及展望[J];計(jì)算機(jī)工程與應(yīng)用;2007年10期

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

4 崔光照;秦利敏;王延峰;張勛才;;DNA計(jì)算中的信息安全技術(shù)[J];計(jì)算機(jī)工程與應(yīng)用;2007年20期

5 霍家佳;張文政;;DNA密碼與DNA計(jì)算及應(yīng)用[J];中國(guó)電子科學(xué)研究院學(xué)報(bào);2014年01期

6 楊燕;殷志祥;崔建中;;DNA計(jì)算原理與發(fā)展[J];科技信息(科學(xué)教研);2007年13期

7 董亞非,王淑棟,許進(jìn);DNA計(jì)算原理及系統(tǒng)分析[J];計(jì)算機(jī)工程與應(yīng)用;2003年09期

8 來(lái)學(xué)嘉;方習(xí)文;盧明欣;;DNA計(jì)算與DNA密碼[J];信息安全與技術(shù);2010年09期

9 馬瑩;;圖論中的DNA計(jì)算[J];計(jì)算機(jī)與數(shù)字工程;2007年08期

10 陸惠玲;;DNA計(jì)算研究[J];福建電腦;2008年10期

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前1條

1 陳丹;活細(xì)胞內(nèi)進(jìn)行DNA計(jì)算獲得成功[N];中國(guó)航空?qǐng)?bào);2013年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前3條

1 劉西奎;DNA計(jì)算和遺傳算法的編碼與幾個(gè)優(yōu)化模型的研究[D];華中科技大學(xué);2004年

2 張勛才;自組裝DNA計(jì)算模型的研究及應(yīng)用[D];華中科技大學(xué);2009年

3 張鴻雁;基于DNA計(jì)算的聚類算法研究[D];山東師范大學(xué);2011年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 謝鋼;基于Tile自組裝的DNA計(jì)算研究[D];國(guó)防科學(xué)技術(shù)大學(xué);2013年

2 馮婷;DNA計(jì)算中最大團(tuán)問(wèn)題以及DNA自組裝的相關(guān)研究[D];陜西師范大學(xué);2012年

3 劉禮礪;0-1規(guī)劃問(wèn)題的DNA計(jì)算算法研究[D];重慶大學(xué);2009年

4 聶曉艷;幾類NP-完全問(wèn)題的DNA計(jì)算模型與計(jì)算DNA數(shù)學(xué)模型的研究[D];伊犁師范學(xué)院;2013年

5 蔣君;基于DNA計(jì)算的DNA密碼系統(tǒng)研究[D];安徽理工大學(xué);2013年

6 徐素梅;DNA計(jì)算在DNA密碼中的應(yīng)用研究[D];安徽理工大學(xué);2013年

7 宋_";DNA計(jì)算中若干理論的研究[D];山東科技大學(xué);2009年

8 羅海波;基于0-1規(guī)劃的DNA計(jì)算模型的設(shè)計(jì)與實(shí)現(xiàn)[D];東北大學(xué);2008年

9 田浩;DNA計(jì)算在圖論中的應(yīng)用[D];長(zhǎng)春工業(yè)大學(xué);2011年

10 周金鳳;圖的最小頂點(diǎn)覆蓋問(wèn)題的幾種DNA計(jì)算模型[D];安徽理工大學(xué);2013年

，

本文編號(hào)：1073289