DNA計算機的研制是各國競爭的一個科技制高點。17日,記者從鄭州大學信息工程學院獲悉,該校朱維軍副教授、周清雷教授開發出一系列算法,初步解決“DNA模型檢測”這一困擾國際DNA計算機學界多年的核心技術難題。
與其他計算工具相比,計算機的本質優點在于通用性,而通用性歸根結底在于千變萬化的具體應用領域問題就數學本質上說可規約為若干個抽象計算問題。如果一個抽象計算問題找到了求解算法,計算機即可被用于解決該計算問題所對應的千萬個具體應用領域問題。
朱維軍說,模型檢測就是一個有代表性的抽象計算問題,它由圖靈獎得主埃德蒙·克拉克等人提出并加以解決,開發的基于電子計算機的模型檢測核心技術已被英特爾、IBM等IT領軍企業使用。
然而,同樣的抽象計算問題在DNA計算機上仍然存在。在DNA計算機上如何實施模型檢測?圖靈獎得主艾倫·愛默生于2006年提出的“DNA模型檢測”問題長期懸而未決。
“DNA模型檢測問題可分為兩個部分,一是如何使用DNA分子求解線性時序邏輯模型檢測子問題,二是如何使用DNA分子求解計算樹邏輯模型檢測子問題。”朱維軍說。
從2016年到2018年,該課題組先后提出若干面向兩種邏輯的DNA模型檢測系列算法,初步解決該問題,系列研究成果已發表于國內外學術刊物《計算機學報》《電子學報》《國際生物醫學研究》等。
朱維軍說,新方法的科學意義不僅在于發展DNA計算理論,而且在基礎醫學領域具有潛在應用前景。當前,課題組正在致力于探索新方法在癌癥極早期分子診療、基因修復中的應用。據悉,除中美高校研究人員之外,河南智慧城市專委會也整合企業資源參與了此項工作。
新化月報網報料熱線:886 2395@qq.com
最近更新
- 全省法院實現訴訟費繳退費“線上辦” 傳統線下繳退費功能為何仍保留?2022-01-15
- 受疫情影響西安部分區縣蔬菜滯銷,亟需各方助力解決2022-01-15
- 恩施州6個重大交通運輸項目集中開工!總投資32億元2022-01-15
- 【15號用】3崗招聘若干人!45歲以下可報!五險一金+包食宿!2022-01-15
- 國際科技合作助推湖南優勢領域提升國際競爭力2022-01-15
- 延安城區新增車位3100個 有效破解停車難2022-01-15
- 鴻星爾克入選2021年“誠信之星”!2022-01-15
- 菏澤農商行新興支行開展包片行政村信貸產品推介活動2022-01-15
- 鞏義市:黨員“雙報到”進社區 為民服務“不打烊”2022-01-15
- 廣東珠海1月15日新報告1例本土確診病例2022-01-15
- 大降價!阜陽即將啟動2022-01-15
- 北京專報丨國家衛健委:天津疫情仍在持續發展,西安疫情進入收尾階段2022-01-15
- 陜西對符合解除隔離條件人員 落實后續7天居家健康監測措施2022-01-15
- 信陽消防聯合多部門 開展應急實戰演練2022-01-15
- 城西區:“紅色存折”讓社區志愿服務更有溫度2022-01-15
- 乘動車忘帶身份證 可開電子證明2022-01-15
- 陜西組建2400人的省級醫療團隊 支援本土確診病例救治工作2022-01-15
- “德爾塔”與“奧密克戎”,救治有何不同?2022-01-15
- 手拉手共成長 長沙清水塘北辰小學孩子“牽手”湘西娃2022-01-15
- 抓整改 提標準 縣住建局全力提升城市精細化管理水平2022-01-15
- 破防了!這家山東科技企業的暖心行動2022-01-15
- 臨潼區:多措并舉助力農業復工復產2022-01-15
- “這個嘉賓思路厲害”,市消保委委員張兆安做客《海波熱線》特別節目2022-01-15
- 福州市副市長、公安局長王錫章帶隊到莆田市公安局考察調研疫情防控工作2022-01-15
- 合肥這家知名書店,新年再出發2022-01-15
- 崔同富到武定縣開展春節走訪慰問2022-01-15
- 北京:迎接冬奧會和冬殘奧會長安街開始布置花壇2022-01-15
- 洋碼頭首家文旅免稅直購店落地重慶十八梯景區2022-01-15
- 每戶將分到70斤!更多物資送達……直擊杭州西溪雅苑封控現場2022-01-15
- 本土確診+104,其中河南+52,天津+39,珠海新增感染者均系奧密克戎2022-01-15