您現(xiàn)在的位置:首頁(yè) > 科技 > 正文

DNA計(jì)算機(jī)模型檢測(cè)神秘面紗揭開

時(shí)間:2018-04-18 16:15:45    來源:科技日?qǐng)?bào)    

DNA計(jì)算機(jī)的研制是各國(guó)競(jìng)爭(zhēng)的一個(gè)科技制高點(diǎn)。17日,記者從鄭州大學(xué)信息工程學(xué)院獲悉,該校朱維軍副教授、周清雷教授開發(fā)出一系列算法,初步解決“DNA模型檢測(cè)”這一困擾國(guó)際DNA計(jì)算機(jī)學(xué)界多年的核心技術(shù)難題。

與其他計(jì)算工具相比,計(jì)算機(jī)的本質(zhì)優(yōu)點(diǎn)在于通用性,而通用性歸根結(jié)底在于千變?nèi)f化的具體應(yīng)用領(lǐng)域問題就數(shù)學(xué)本質(zhì)上說可規(guī)約為若干個(gè)抽象計(jì)算問題。如果一個(gè)抽象計(jì)算問題找到了求解算法,計(jì)算機(jī)即可被用于解決該計(jì)算問題所對(duì)應(yīng)的千萬(wàn)個(gè)具體應(yīng)用領(lǐng)域問題。

朱維軍說,模型檢測(cè)就是一個(gè)有代表性的抽象計(jì)算問題,它由圖靈獎(jiǎng)得主埃德蒙·克拉克等人提出并加以解決,開發(fā)的基于電子計(jì)算機(jī)的模型檢測(cè)核心技術(shù)已被英特爾、IBM等IT領(lǐng)軍企業(yè)使用。

然而,同樣的抽象計(jì)算問題在DNA計(jì)算機(jī)上仍然存在。在DNA計(jì)算機(jī)上如何實(shí)施模型檢測(cè)?圖靈獎(jiǎng)得主艾倫·愛默生于2006年提出的“DNA模型檢測(cè)”問題長(zhǎng)期懸而未決。

“DNA模型檢測(cè)問題可分為兩個(gè)部分,一是如何使用DNA分子求解線性時(shí)序邏輯模型檢測(cè)子問題,二是如何使用DNA分子求解計(jì)算樹邏輯模型檢測(cè)子問題。”朱維軍說。

從2016年到2018年,該課題組先后提出若干面向兩種邏輯的DNA模型檢測(cè)系列算法,初步解決該問題,系列研究成果已發(fā)表于國(guó)內(nèi)外學(xué)術(shù)刊物《計(jì)算機(jī)學(xué)報(bào)》《電子學(xué)報(bào)》《國(guó)際生物醫(yī)學(xué)研究》等。

朱維軍說,新方法的科學(xué)意義不僅在于發(fā)展DNA計(jì)算理論,而且在基礎(chǔ)醫(yī)學(xué)領(lǐng)域具有潛在應(yīng)用前景。當(dāng)前,課題組正在致力于探索新方法在癌癥極早期分子診療、基因修復(fù)中的應(yīng)用。據(jù)悉,除中美高校研究人員之外,河南智慧城市專委會(huì)也整合企業(yè)資源參與了此項(xiàng)工作。

關(guān)鍵詞: 面紗 模型 計(jì)算機(jī)

凡本網(wǎng)注明“XXX(非中國(guó)微山網(wǎng))提供”的作品,均轉(zhuǎn)載自其它媒體,轉(zhuǎn)載目的在于傳遞更多信息,并不代表本網(wǎng)贊同其觀點(diǎn)和其真實(shí)性負(fù)責(zé)。

特別關(guān)注