計(jì)算樹邏輯（Computation Tree Logic,CTL）模型檢測是形式化方法研究的熱點(diǎn),是保證系統(tǒng)正確性的重要手段之一。DNA計(jì)算是以DNA分子和生物酶為材料,以生化操作為計(jì)算手段的一種生物計(jì)算模式。開展CTL模型檢測的DNA計(jì)算方法研究,不僅可以利用DNA分子的超高存儲(chǔ)容量和DNA計(jì)算的強(qiáng)大并行優(yōu)勢解決模型檢測狀態(tài)空間爆炸問題,而且對推動(dòng)DNA計(jì)算機(jī)的研發(fā)和應(yīng)用具有重要意義。自圖靈獎(jiǎng)獲得者Emerson教授提出“DNA模型檢測”問題以來,針對CTL模型檢測問題,非自治、自治和細(xì)胞內(nèi)算法仍沒有解決,現(xiàn)有算法存在不能提供反例、不能檢測帶過去算子的CTL公式（CTLP）、因使用核酸酶導(dǎo)致的魯棒性弱以及反應(yīng)材料不可復(fù)用等問題。針對上述問題,本文深入研究了基于非自治、自治和細(xì)胞內(nèi)DNA計(jì)算模型的CTL模型檢測算法,完成的主要工作和創(chuàng)新點(diǎn)如下:1)提出了基于非自治DNA計(jì)算模型的CTL模型檢測算法——AM-CTLMC。設(shè)計(jì)了待檢測系統(tǒng)模型的編碼方案,構(gòu)建了系統(tǒng)模型運(yùn)行路徑的生成算法,給出了CTL基本公式、一般公式和CTLP公式的模型檢測算法,仿真實(shí)驗(yàn)結(jié)果驗(yàn)證了算法的正確性。AM-CTL... 

【文章來源】：鄭州大學(xué)河南省 211工程院校

【文章頁數(shù)】：141 頁

【學(xué)位級別】：博士

【部分圖文】：

生物仿真平臺NUPACK的主界面

表3.1的DNA

3基于非自治DNA計(jì)算模型的CTL模型檢測算法51（i）路徑9和q（j）路徑10和q（k）路徑11和q（l）路徑12和q（m）路徑13和q（n）路徑14和q圖3.10路徑i的DNA單鏈與q的補(bǔ)鏈雜交結(jié)果

【參考文獻(xiàn)】：
期刊論文
[1]基于梯度提升樹的ECG-SAS自動(dòng)識別方法[J]. 王偉,梁杰,牛洋洋,劉洪濤.  北京生物醫(yī)學(xué)工程. 2019(06)
[2]Predicting the Results of RNA Molecular Specific Hybridization Using Machine Learning[J]. Weijun Zhu,Xiaokai Liu,Mingliang Xu,Huanmei Wu.  IEEE/CAA Journal of Automatica Sinica. 2019(06)
[3]基于DNA納米結(jié)構(gòu)的siRNA輸送體系的研究進(jìn)展[J]. 薛晗,高西輝,張川.  科學(xué)通報(bào). 2019(10)
[4]基于DNA折紙的熒光陣列構(gòu)建及應(yīng)用[J]. 王飛,王麗華,樊春海,李茜.  科學(xué)通報(bào). 2019(10)
[5]基于程序局部性引導(dǎo)的有界模型檢測優(yōu)化方法[J]. 王舜,杜曄,韓臻,劉吉強(qiáng).  通信學(xué)報(bào). 2018(03)
[6]綠豆核酸酶的提取及活力測定[J]. 胡敏,趙曉菊,張奕婷,樊雪,李旭.  安徽農(nóng)業(yè)科學(xué). 2018(02)
[7]化學(xué)中的計(jì)算——DNA計(jì)算的發(fā)展與模型概述[J]. 尹曉堯,李非,伯曉晨,駱志剛,左小磊.  化學(xué)進(jìn)展. 2017(11)
[8]基于DNA納米結(jié)構(gòu)的傳感界面調(diào)控及生物檢測應(yīng)用[J]. 葉德楷,左小磊,樊春海.  化學(xué)進(jìn)展. 2017(01)
[9]DNA自組裝計(jì)算模型求解二部圖完美匹配問題[J]. 藍(lán)雯飛,邢志寶,黃俊,強(qiáng)小利.  計(jì)算機(jī)研究與發(fā)展. 2016(11)
[10]DNA納米顆粒共聚體在圖的連通度問題中的應(yīng)用[J]. 王艷釵,張會(huì),董亞非.  電子學(xué)報(bào). 2016(07)

博士論文
[1]基于生物信息學(xué)的非小細(xì)胞肺癌腫瘤標(biāo)志物篩選和預(yù)測模型構(gòu)建[D]. 史健翔.鄭州大學(xué) 2018
[2]基于DNA折紙的納米材料的構(gòu)建和應(yīng)用[D]. 歐陽湘元.中國科學(xué)院研究生院（上海應(yīng)用物理研究所） 2015

碩士論文
[1]基于DNA序列特征的必需基因判定研究[D]. 趙宇晴.山東大學(xué) 2019
[2]基于集成學(xué)習(xí)的全基因組水平蛋白質(zhì)-RNA相互作用預(yù)測研究[D]. 詹朝惠.中國礦業(yè)大學(xué) 2019
[3]基于云計(jì)算平臺的形式化技術(shù)相關(guān)并行查詢與檢測算法的研究[D]. 馬凱旋.南京郵電大學(xué) 2018
[4]基于SVM的DNA微陣列數(shù)據(jù)分類研究[D]. 黃現(xiàn)代.西南科技大學(xué) 2018
[5]基于DNA粘貼模型的若干有向圖算法研究[D]. 張春艷.鄭州大學(xué) 2018
[6]基于DNA計(jì)算的CTL模型檢測方法研究[D]. 李永亮.鄭州大學(xué) 2015
[7]支持向量機(jī)在DNA數(shù)據(jù)分析中的應(yīng)用研究[D]. 劉小菲.遼寧師范大學(xué) 2015



本文編號：3607452