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