資源描述：
《試論基于dna計算的組合電路測試生成研究》由會員上傳分享，免費在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫。
1、分類號密級UDC編號桂林電子科技大學(xué)碩士學(xué)位論文題目:基于DNA計算的組合電路測試生成研究(英文)ResearchonAutomaticTestGenerationofCombinationalCircuitBasedonDNAComputing研究生姓名：馬麗指導(dǎo)教師姓名、職務(wù)：許川佩教授申請學(xué)科門類：工學(xué)碩士學(xué)科、專業(yè)：檢測技術(shù)與自動化裝置提交論文日期：2008年4月論文答辯時間：2008年6月15日年月日萬方數(shù)據(jù)獨創(chuàng)性（或創(chuàng)新性）聲明本人聲明所呈交的論文是我個人在導(dǎo)師指導(dǎo)下進行的研究工作及取得的研究成果。盡我所知，除了文中特別
2、加以標(biāo)注和致謝中所羅列的內(nèi)容以外，論文中不包含其他人已經(jīng)發(fā)表或撰寫過的研究成果；也不包含為獲得桂林電子科技大學(xué)或其它教育機構(gòu)的學(xué)位或證書而使用過的材料。與我一同工作的同志對本研究所做的任何貢獻均已在論文中做了明確的說明并表示了謝意。申請學(xué)位論文與資料若有不實之處，本人承擔(dān)一切相關(guān)責(zé)任。本人簽名：日期：關(guān)于論文使用授權(quán)的說明本人完全了解桂林電子科技大學(xué)有關(guān)保留和使用學(xué)位論文的規(guī)定，即：研究生在校攻讀學(xué)位期間論文工作的知識產(chǎn)權(quán)單位屬桂林電子科技大學(xué)。本人保證畢業(yè)離校后，發(fā)表論文或使用論文工作成果時署名單位仍然為桂林電子科技大學(xué)。學(xué)校有權(quán)
3、保留送交論文的復(fù)印件，允許查閱和借閱論文；學(xué)?？梢怨颊撐牡娜炕虿糠謨?nèi)容，可以允許采用影印、縮印或其它復(fù)制手段保存論文。（保密的論文在解密后遵守此規(guī)定）本學(xué)位論文屬于保密在年解密后適用本授權(quán)書。本人簽名：日期：導(dǎo)師簽名：日期：萬方數(shù)據(jù)摘要摘要隨著數(shù)字集成電路技術(shù)的飛速發(fā)展，集成電路的測試生成變得越來越困難，花費的時間也越來越多。對于大規(guī)模的集成電路，傳統(tǒng)的測試生成算法已不再適用，尋找新型、有效的測試生成算法已成為一個重要的研究課題。DNA計算是在計算科學(xué)和分子生物學(xué)的基礎(chǔ)上發(fā)展起來的一個新穎而極具發(fā)展?jié)摿Φ膶W(xué)科。它與遺傳算法（GA
4、）天生就具有某種必然的聯(lián)系。本文采用GA作為DNA計算進行復(fù)雜優(yōu)化問題求解的橋梁，在基于故障模擬的基礎(chǔ)上，建立了應(yīng)用DNA-GA解決組合電路測試生成問題的算法流程。針對基于模擬的測試生成流程的特點，在算法流程中引入了兩個啟發(fā)性過程。本算法通過DNA的四字符集§=fA;C;G;Tg的編碼，引入基因級的遺傳操作，保證了種群的多樣性；控制測試生成不同階段中DNA鏈生成測試集的大小，減小了測試集的冗余，加快了測試生成速度。為將本算法與其他算法進行比較，在國際標(biāo)準(zhǔn)電路iscas'85上對該算法進行了驗證，并對結(jié)果進行了分析。實驗結(jié)果表明本文算
5、法獲得到了較高的故障覆蓋率，同時生成的測試矢量集大幅度縮小，證明本算法用于組合電路測試生成是有效的。從DNA生化實驗實現(xiàn)計算的角度，本文研究了組合電路測試生成的SAT解決方法，并建立了基于表面型的DNA生化計算模型。通過分析組合電路測試生成的CNF特點，引入了兩點改進方法。在DNA計算模型中將原電路CNF和故障電路CNF的變量分別編碼，降低了DNA編碼的復(fù)雜度，使原電路CNF的DNA解鏈重復(fù)使用，降低了耗材。最后給出了應(yīng)用DNA計算解決組合電路測試生成的算法流程。由于DNA計算所具有的高度并行性、海量存儲能力等特點，本文算法將在特大
6、規(guī)模組合電路測試生成中顯現(xiàn)出優(yōu)越性。關(guān)鍵詞：組合電路；自動測試生成；故障模擬；DNA計算；SAT問題.{I{萬方數(shù)據(jù)桂林電子科技大學(xué)學(xué)位論文AbstractWiththedevelopmentofmicroelectronicstechnologyandtheincreasingIC(Integr-ateCircuit)scale,ICtestisbecomingincreasinglydi±cultandtakesmoreandmoretime.Forlarge-scaleIC,thetraditionaltestgenerati
7、onalgorithmisnolongerapplica-ble.Soitneedstoˉndanewande?ectivetestgenerationalgorithm.DNAcomputingisanovelandhighlypotentialsubjectsdevelopedonthebasisofcomputerscienceandmolecularbiology.Onceitwasborn,ithasainherentlinkwithGA(GeneticAlgorithm).ThispaperusesGAasthebrid
8、geofDNAcomputingsolvingthecomplexoptimizationproblems.Itproposesanewalgorithm°owexploitedDNA-GAtosolvetestgenerationf
