DNA计算模型的理论设计与应用研究

来源 :北京理工大学 | 被引量 : 4次 | 上传用户:O70607227
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
DNA分子计算是以DNA分子作为“数据”,以DNA的生化反应作为“信息处理工具”的计算模式。自1994年Aldeman成功利用DNA分子求解了七个结点的哈密尔顿路径问题后,DNA分子计算以其海量的存储能力和高度并行计算能力等优势,为求解NP难题提供了一种新的解决方法。DNA计算的发展依赖于当前生物技术的发展水平。目前各种DNA计算模型都是针对特定问题而建立的特定计算模型,很难不做修改或少量修改应用于其他问题,即不似电子计算机般具有通用性;随着问题规模的增加,DNA的并行计算能力受生化反应的影响而大大降低,失去了其计算优势;目前解的检测基本上采用电泳技术、PCR扩增等常规的生物检测方法,错误率高。以上多种局限性成为制约生物DNA计算自动化发展的重要障碍。本文借鉴生物DNA计算并行处理信息的原理,提出了一种新的基于硅的仿生物并行计算模型-DNA电子计算模型(DNA electronic computing model,DEM)。本文主要包括基础理论的提出、硬件实现和在求解图论和军事弹药配送路径优化问题等NP难题的应用研究三方面,本文的具体工作如下:(1)DNA电子计算模型的理论基础及仿真实现DNA计算中典型模型之一的粘贴模型采用单双链混合对DNA分子进行编码:单链用来表示2-进制数中的0,双链来表示2-进制数中的1,编码形式与电子计算机类似,具有一定的通用性。且粘贴模型是一种典型的同时对信息位垂直处理的计算模型,其信息并行处理原理适合在硅硬件上实现。借鉴粘贴模型的信息表达和并行计算原理详细介绍了DEM的基础理论模型-一种基于分子计算的广义图灵模型(Generalized Turing Machine,GTM)。GTM通过特殊的拓扑映射和并行的同时读、写算子,实现对信息的并行处理。通过求解可满足性问题的仿真试验详细说明的GTM的并行计算原理。对GTM结构不变的情况下进行改进,通过增加指令可以在多项式时间内求解集合覆盖问题的最优解。仿真试验说明GTM在求解NP难题时具有一定的通用性。(2)DEM模型的硬件实现本部分工作为本文的重点,将GTM在SOPC平台进行软硬件实现,提出了基于硅的DEM模型。DEM根据功能划分为指令系统、地址译码器、数据生成器、处理单元、结果分析器等功能模块。首先根据DEM各功能模块实现的复杂度和规模进行软硬件划分,进行软硬件设计。对于不同的问题,指令系统和结果分析器因问题不同而异,故用软核实现;地址译码器、数据生成器等生成具有自主知识产权(Intellectual property core,IP核)的硬件电路图。(3)DEM在图论问题中的应用研究通过图的最大团问题详细了DEM的硬件实现方法。针对图的最大团的指令系统和结果分析器进行软核设计,该部分在NiosII集成开发环境下用C语言编写软件代码;基于多值逻辑的地址译码器、数据译码器等在SOPC内部搭建硬件电路;最后将软硬核下载固化到目标电路板上。Ramsey数问题是组合数学甚至整个数据界最困难的数据问题之一,本文在求解图的最大团算法基础上,提出了通过逐个添加顶点,删除非解的求解Ramsey数的DEMRAM模型。在一定程度上缓解了解空间的指数增长速度。(4)DEM在军事弹药配送路径优化问题中的应用研究可满足性问题、图的最大团问题、集合覆盖问题、旅行商问题以及军事弹药配送路径优化等问题都可以转换为0-1规划问题,故对0-1规划问题的算法研究在实践中有着广泛的应用价值。介绍以上问题的0-1规划形式的数学模型,并设计求解0-1规划问题的DEM求解方法。军事弹药配送路径优化问题是旅行商问题的扩增,如何实时、精准、安全地将弹药运送到需求部队手中关系着整个战斗的胜负。分析弹药配送路径的特殊性要求,利用DEM进行计算,并对算法进行复杂度分析,验证了该计算模型在计算军事弹药供给线路优化问题中的优越性。
其他文献
目的探讨化学发光法和胶体金法在巨细胞病毒感染诊断中的应用。方法选取2020年7-11月在石河子妇幼保健院进行孕前健康检查的465名育龄期妇女,同时采用化学发光法和胶体金法检测巨细胞病毒IgM和IgG抗体,比较两种方法检测结果的差异和一致性。结果胶体金法检测巨细胞病毒IgG、IgM的阳性率为分别是94.19%和2.80%,化学发光法检测巨细胞病毒的IgG、IgM的阳性率分别是88.81%和2.58%
近几十年来,与次微分算子相关的非线性抛物型偏微分系统是数学领域的一个重要研究课题.物理学和生物学中的很多模型可以由具有次微分算子的非线性抛物型偏微分系统来刻画,其中具有限制的相变模型及具有滞后效应的非线性抛物型偏微分系统一直以来备受人们的关注.众所周知,滞后效应存在于物理学、化学、生物学、工程技术中的各个领域.例如在物理学中,我们可以在可塑性、摩擦、铁磁性、超导电性、电解吸附作用、还有具有形状记忆
分布参数系统主要研究由偏微分方程、积分方程以及Banach或Hilbert空间中抽象微分方程所描述的,状态空间维数为无穷的控制系统,包括系统的控制设计和系统分析.针对带有不确定的分布参数系统控制是近年来国际上的研究热点和难点问题.如何设计合理的反馈控制去抵消不确定对系统的破坏是分布参数系统研究中亟待解决的重大问题.本论文将针对外部带有一般有界干扰的无穷维振动系统设计边界反馈的镇定控制,包括基于滑模
本文以准晶的弹性-流体动力学模型和Bak模型为基础,用一种新型的有限差分法研究了十面体和二十面体准晶在冲击载荷下的动态响应问题。首先,基于弹性-流体动力学模型(即声子场服从同晶体一样的波动模式,相位子场则服从流体动力学理论的扩散模式),提出了一种新型的显式有限差分方法,研究了十面体准晶的动态断裂问题。通过耦合参数为零的特殊例子检验了差分格式的有效性和实用性,并分析了算法的精确度和收敛性,同时对带裂
今年初,中共中央办公厅、国务院办公厅印发《关于进一步深化税收征管改革的意见》(以下简称为《意见》),是自党的十八大以来中共中央办公厅、国务院办公厅第三次印发的关于税收征管改革的实施方案。《意见》不仅充分体现了以习近平同志为核心的党中央对税收工作的高度重视,也为"十四五"期间高质量地推进税收现代化指明了方向。
期刊
大数据时代为多核应用体系的研究带来了新的挑战。在应用层次,开发多核系统性能与效率的关键在于应用模型的设计,以适应对海量且多元的数据进行持续处理和分析。而应用模型体系与多核平台体系结构的契合程度,主要反映在是否更好的开发和利用了多核平台的并行性,是否充分发挥出了并行计算的资源优势。流式计算作为模块化的计算模型,为动态可变的数据流应用提供了分布式处理的平台体系。目前在分布式计算领域开始使用的异步消息驱
针对RIS辅助无线通信系统中使用传统信道估计方法导频开销过高的问题,提出了一种基于块稀疏的正交匹配追踪(OMP)信道估计方案。首先,根据毫米波信道模型,推导出级联信道矩阵,将其转换到虚拟角域中获得级联信道的稀疏表示;其次,利用级联信道特有的稀疏特性,将信道估计问题转换成稀疏矩阵恢复问题,使用压缩感知重构算法进行稀疏矩阵恢复;最后,分析特殊的行-块稀疏结构,对传统的OMP方案进行优化,进一步减少导频
前景检测是计算机视觉领域备受关注的一个研究方向,在人机交互、智能安全监控和智能交通系统等领域得到了广泛的应用。由于视频场景的复杂性和多样性,实际应用中的前景检测通常面临很多的挑战,比如动态背景的有效识别问题,噪声和前景信息对背景模型更新的干扰问题,复杂前景存在时的背景初始化问题等。为了解决这些挑战,本文研究了复杂场景下基于子空间模型的前景检测技术。该技术实现了对背景信息和前景信息的鲁棒建模,并且可
滤波是控制与信号处理领域中的重要分支,它以测量输出为基础,通过事先设定的滤波准则,采用合适的统计最优方法对系统内部不可直接测量的状态进行估计。目前基于一般线性系统的滤波理论和方法已日臻完善。而在实际系统中,非线性现象普遍存在,这导致系统的分析与设计中存在本质性的困难。在估计的过程中,为了提高精度往往需要大量的采样点来对系统进行更新,这会导致计算资源浪费。而利用事件作为滤波过程的驱动方式,可以选择性
研究生教育是建设创新型国家的核心要素,立德树人是新时代研究生教育高质量发展的关键环节和逻辑主线,导学共同体是落实立德树人根本任务的基本载体和现实情境。遵循师德师风"四个统一"价值原则,塑立研究生导师价值观引导的主体角色意识,是构建导学共同体的内生力量。聚焦"学生中心"建设学科和学位点,建立健全充分体现立德树人成效的管理考评机制,"打通最后一公里"是研究生教育立德树人的逻辑归宿。