DNA计算机的研制是各国竞争的一个科技制高点。17日,记者从郑州大学信息工程学院获悉,该校朱维军副教授、周清雷教授开发出一系列算法,初步解决“DNA模型检测”这一困扰国际DNA计算机学界多年的核心技术难题。
与其他计算工具相比,计算机的本质优点在于通用性,而通用性归根结底在于千变万化的具体应用领域问题就数学本质上说可规约为若干个抽象计算问题。如果一个抽象计算问题找到了求解算法,计算机即可被用于解决该计算问题所对应的千万个具体应用领域问题。
朱维军说,模型检测就是一个有代表性的抽象计算问题,它由图灵奖得主埃德蒙·克拉克等人提出并加以解决,开发的基于电子计算机的模型检测核心技术已被英特尔、IBM等IT领军企业使用。
然而,同样的抽象计算问题在DNA计算机上仍然存在。在DNA计算机上如何实施模型检测?图灵奖得主艾伦·爱默生于2006年提出的“DNA模型检测”问题长期悬而未决。
“DNA模型检测问题可分为两个部分,一是如何使用DNA分子求解线性时序逻辑模型检测子问题,二是如何使用DNA分子求解计算树逻辑模型检测子问题。”朱维军说。
从2016年到2018年,该课题组先后提出若干面向两种逻辑的DNA模型检测系列算法,初步解决该问题,系列研究成果已发表于国内外学术刊物《计算机学报》《电子学报》《国际生物医学研究》等。
朱维军说,新方法的科学意义不仅在于发展DNA计算理论,而且在基础医学领域具有潜在应用前景。当前,课题组正在致力于探索新方法在癌症极早期分子诊疗、基因修复中的应用。据悉,除中美高校研究人员之外,河南智慧城市专委会也整合企业资源参与了此项工作。
上一篇:到2020年,河南将有3万工业机器人上岗
下一篇:最后一页
凡本网注明“XXX(非中国微山网)提供”的作品,均转载自其它媒体,转载目的在于传递更多信息,并不代表本网赞同其观点和其真实性负责。
电影里经常可以看到国外一些涨潮没入水中,退潮又显出原形的公路。有时候挺羡慕这样的公路的,觉得这种路很有诗情画意。其实我们不用羡慕,
2018-04-16 21:51
台湾行政当局公布的最新统计显示,全台公务员共34万9676人,创10年来新高,其中男性公务员多于女性。统计指出,近10年来,台湾公务员逐年递
2018-04-16 19:02
新华社台北4月14日电(记者 贾钊、陈键兴)说起台北的传统市场,不少人的第一印象是隐身于巷弄里的老人们在晨昏之际逛的菜市场。林先生来
2018-04-16 19:02
“村里的变化很大,环境比得上城里的公园。”好圣村村民日前对前来采访的中国证券报记者表示。如今,留在农村的年轻人越来越多,好圣村也成
2018-04-16 19:02
昨天(15日),开拓者和鹈鹕结束季后赛首轮首场比赛的争夺,客场作战的鹈鹕97:95险胜开拓者,成为昨天四组比赛中唯一一支“以下克上”的球
2018-04-16 19:02
环保部门对发现的环境违法行为,都会发出责令改正通知,要求限期改正,并进行立案调查,根据违法情节予以行政处罚。而在实际工作中,一些企
2018-04-16 19:02
第37届香港电影金像奖颁奖典礼15日在香港文化中心大剧院举行,古天乐凭借在动作片《杀破狼·贪狼》中出色饰演警察李忠志一角,力压刘德华,
2018-04-16 19:02
随着销量触碰到天花板,国内手机市场开始从增量市场向存量市场转变,品牌集中度进一步加大,整个行业的马太效应初露端倪。在此背景下,去海
2018-04-16 19:02
人民网讯 法国总统马克龙强调,尽管对叙利亚进行了空袭,但并没有对叙利亚宣战,法国致力于通过谈判解决持续多年的叙利亚危机。据总部在英
2018-04-16 19:02
数据显示,截至4月15日,在已发布2017年报的139家医药医疗行业上市公司中,有123家企业的销售费用较去年实现增长。其中,增长额超过1亿元的
2018-04-16 19:02