DNA计算机的研制是各国竞争的一个科技制高点。17日,记者从郑州大学信息工程学院获悉,该校朱维军副教授、周清雷教授开发出一系列算法,初步解决“DNA模型检测”这一困扰国际DNA计算机学界多年的核心技术难题。
与其他计算工具相比,计算机的本质优点在于通用性,而通用性归根结底在于千变万化的具体应用领域问题就数学本质上说可规约为若干个抽象计算问题。如果一个抽象计算问题找到了求解算法,计算机即可被用于解决该计算问题所对应的千万个具体应用领域问题。
朱维军说,模型检测就是一个有代表性的抽象计算问题,它由图灵奖得主埃德蒙·克拉克等人提出并加以解决,开发的基于电子计算机的模型检测核心技术已被英特尔、IBM等IT领军企业使用。
然而,同样的抽象计算问题在DNA计算机上仍然存在。在DNA计算机上如何实施模型检测?图灵奖得主艾伦·爱默生于2006年提出的“DNA模型检测”问题长期悬而未决。
“DNA模型检测问题可分为两个部分,一是如何使用DNA分子求解线性时序逻辑模型检测子问题,二是如何使用DNA分子求解计算树逻辑模型检测子问题。”朱维军说。
从2016年到2018年,该课题组先后提出若干面向两种逻辑的DNA模型检测系列算法,初步解决该问题,系列研究成果已发表于国内外学术刊物《计算机学报》《电子学报》《国际生物医学研究》等。
朱维军说,新方法的科学意义不仅在于发展DNA计算理论,而且在基础医学领域具有潜在应用前景。当前,课题组正在致力于探索新方法在癌症极早期分子诊疗、基因修复中的应用。据悉,除中美高校研究人员之外,河南智慧城市专委会也整合企业资源参与了此项工作。
新化月报网报料热线:886 2395@qq.com
最近更新
- 着力打造传播赣州红色文化数字平台2022-01-16
- 苏州共享单车停放新规来了2022-01-16
- 海南省总工会与邮储银行海南省分行举行金融普惠服务战略合作签约仪式2022-01-16
- 战“疫”有我!硬刚奥密克戎,天津体育人在行动2022-01-16
- 春节期间,平潭有哪些易堵、危险路段?快来看看……2022-01-16
- 全省唯一!长治市交通运输局获交通运输部表扬2022-01-16
- 立体交通激发发展新动能——长沙2021年度经济发展报告(四)2022-01-16
- 长沙部署八大方面27项任务发展高品质交通运输服务2022-01-16
- 全球首个“基因脸谱”App在长发布2022-01-16
- 共谋长沙体育产业新发展 长沙市体育产业协会2021年年会召开2022-01-16
- 阿图什市公安局开展爱国卫生运动集中志愿者服务活动2022-01-16
- 三张新照 展现“矿区”变“景区”2022-01-16
- 广西壮族自治区人民代表大会常务委员会关于接受黄世勇辞去自治区副主席职务请求的决定2022-01-16
- 讲解知识 宣传反诈 让老年人守住“钱袋子”2022-01-16
- 「中央媒体看甘肃」凉州西瓜畅销四方2022-01-16
- 高台县新坝镇中心卫生院红崖子分院多措并举积极推动医共体建设工作2022-01-16
- 福田人:先核酸再买药!这39类药品需到定点药房购买2022-01-16
- 马术运动拓开乡镇农牧民致富路2022-01-16
- 城东湖街道向先进社区“看齐”2022-01-16
- 在巍巍长城间守望(青春日记)2022-01-16
- 注意!福州市中心这条路出行有变2022-01-16
- 市政协委员建议推动出台《重庆市民营企业发展促进条例》高质量集聚发展“专精特新”中小企业2022-01-15
- 喷洒消毒剂2.9吨!鹤壁鹤山区对城区公共场所集中消杀2022-01-15
- 大庆两会看检察 | 漫看大庆检察“高光”时刻(一)2022-01-15
- @所有焦作人 坐火车不用再带身份证了2022-01-15
- 从警前VS从警后,一同追忆那段“芳华”!2022-01-15
- 速看!福州这个路段出行有变2022-01-15
- 【长三角日报】绍兴原市委书记马卫光,任杭州市政协党组书记2022-01-15
- 西安市新城区发布关于在外人员返乡有关事项的通告2022-01-15
- 大幅提速!长春中院首次适用二审民事案件独任制审判2022-01-15