DNA計算機的研制是各國競爭的一個科技制高點。17日，記者從鄭州大學信息工程學院獲悉，該校朱維軍副教授、周清雷教授開發出一系列算法，初步解決“DNA模型檢測”這一困擾國際DNA計算機學界多年的核心技術難題。
與其他計算工具相比，計算機的本質優點在于通用性，而通用性歸根結底在于千變萬化的具體應用領域問題就數學本質上說可規約為若干個抽象計算問題。如果一個抽象計算問題找到了求解算法，計算機即可被用于解決該計算問題所對應的千萬個具體應用領域問題。
朱維軍說，模型檢測就是一個有代表性的抽象計算問題，它由圖靈獎得主埃德蒙·克拉克等人提出并加以解決，開發的基于電子計算機的模型檢測核心技術已被英特爾、IBM等IT領軍企業使用。
然而，同樣的抽象計算問題在DNA計算機上仍然存在。在DNA計算機上如何實施模型檢測?圖靈獎得主艾倫·愛默生于2006年提出的“DNA模型檢測”問題長期懸而未決。
“DNA模型檢測問題可分為兩個部分，一是如何使用DNA分子求解線性時序邏輯模型檢測子問題，二是如何使用DNA分子求解計算樹邏輯模型檢測子問題。”朱維軍說。
從2016年到2018年，該課題組先后提出若干面向兩種邏輯的DNA模型檢測系列算法，初步解決該問題，系列研究成果已發表于國內外學術刊物《計算機學報》《電子學報》《國際生物醫學研究》等。
朱維軍說，新方法的科學意義不僅在于發展DNA計算理論，而且在基礎醫學領域具有潛在應用前景。當前，課題組正在致力于探索新方法在癌癥極早期分子診療、基因修復中的應用。據悉，除中美高校研究人員之外，河南智慧城市專委會也整合企業資源參與了此項工作。
上一篇：到2020年，河南將有3萬工業機器人上崗
下一篇：單玻漢瓦定位“零能耗建筑”
凡本網注明“XXX（非中國微山網）提供”的作品，均轉載自其它媒體，轉載目的在于傳遞更多信息，并不代表本網贊同其觀點和其真實性負責。
大眾網·海報新聞記者張穩呂樂田陽孫震泰安報道時值深秋，泰安市邱家店鎮姚家坡村迎來了一年中最忙碌的時節——作為全國最大的“秋褲村”，每
2022-10-29 18:34
在中國，每12秒有1人發生卒中，每21秒有1人死于卒中，腦血管病已成為中國居民第一位的死亡原因，早期預防顯得尤為重要。每年10月29日是“世界
2022-10-29 18:39
10月28日上午，全國首個航運企業集成化審批服務平臺在青島自貿片區啟動。該平臺運用數據中臺、AI人工智能、電子簽名等技術，將涉及水路運輸、
2022-10-29 18:37
海報評論員朱延魯10月28日，山東公布了2022年前三季度全省經濟運行數據。根據地區生產總值統一核算結果，前三季度，全省生產總值為64409億元，
2022-10-29 18:31
作為正規醫院，南昌豐益肛腸醫院在改善就醫環境、降低就醫費用、優化就醫流程方面下功夫;實行的無假日醫院制度，為上班族看病提供便利;通過
2022-10-29 17:53
10月28日，山東發布了前三季度的全省經濟運行情況。前三季度全省生產總值64409億元，同比增長4 0%。跑贏3 0%的全國大盤，經濟大省山東交出了一
2022-10-29 15:41
大眾網·海報新聞記者解強民通訊員姜雁群濟南報道10月28日，濟南軌道交通3號線二期設備工程開工活動在稻香站舉行，標志著濟南軌道交通3號線二
2022-10-29 15:32
大眾網·海報新聞記者梁雯濟南報道11月9日至10日，2022全國中小企業數字化轉型大會將于山東國際會展中心舉行。本次大會主題為“創新引領發展數
2022-10-29 15:36
大眾網·海報新聞記者孫杰濟南報道10月28日，由中國聯合國協會主辦、外交部國際司支持、山東大學承辦的第十八屆中國模擬聯合國大會開幕。此次
2022-10-29 15:42
測評每天護膚一小步變美就更進一步啦，因為對于好肌膚，我們不管是化妝還是素顏都會顯得好看，今天想和大家分享一下本人親自測評護膚品--鄭
2022-10-29 14:12
