【摘 要】
：
如今计算机科学技术发展飞速,各类非线性问题、NP完全问题在实际应用中不断涌现,针对此类复杂的计算问题,现有的电子计算机系统往往难以有效处理。在现今大数据时代的信息存储和处理过程中,DNA分子凭借其特异性杂交和高并行性操作等优点,通过DNA计算,做到高容量的信息存储及并行操作,为解决复杂的计算问题提供了一种新路径,成为具有广泛应用前景的热点研究领域。同时,可满足性问题（SAT问题）作为计算科学理论与
论文部分内容阅读
如今计算机科学技术发展飞速,各类非线性问题、NP完全问题在实际应用中不断涌现,针对此类复杂的计算问题,现有的电子计算机系统往往难以有效处理。在现今大数据时代的信息存储和处理过程中,DNA分子凭借其特异性杂交和高并行性操作等优点,通过DNA计算,做到高容量的信息存储及并行操作,为解决复杂的计算问题提供了一种新路径,成为具有广泛应用前景的热点研究领域。同时,可满足性问题（SAT问题）作为计算科学理论与运用的典型问题之一,在人工智能、软件开发、交通运输、工程技术等众多领域都具有广阔的应用背景。本文首先对DNA计算的研究发展及研究现状进行介绍,并对DNA折纸术的相关背景知识以及DNA折纸术的纳米定位、纳米金颗粒的相关知识进行介绍。其次,文章利用DNA折纸术中DNA长链的特定区域折叠出特殊结构的特点,在折纸基底上设计了一种可以表示出SAT问题的解的DNA计算模型,又运用DNA链置换,设计出一种可以表示出0-1整数规划问题的解的DNA计算模型,将以上可满足性问题的解直观表示出来,采用分子信标原理,通过观察荧光的明灭排除非解,从而找出问题的解,并通过实例和模拟仿真验证模型具有良好的可行性。两种计算模型通过设计出可满足性问题解的路径,降低了可满足性问题的复杂度,操作简单且容易观测,是一种较为有效的模型。最后,对文章进行总结,指出改进后的优点和仍需解决的问题。图[31]参[56]
其他文献
随着计算机图形学技术的发展,目前对二维世界的研究已不能满足人们的需求,进而开始向三维领域扩展。三维可视化技术即是利用计算机技术,模拟三维世界中的物体,使其能够表达三维物体的外观,内部构造等复杂信息。目前人们发展了多种方法进行三维地质建模,但其数据处理过程较为复杂。本文拟以平面地质图与地质剖面图两种不同的基础数据进行三维地质建模,尝试建立一种简单的模型建立方法。地质学中常用地质图来表明地下的地质构造
天然岩土体的岩体参数因沉积环境和构造作用等不同表现出空间变异性,宜用随机场理论来描述。大量学者将这一理论引入岩土工程研究中,但目前少有从随机场角度研究煤层底板岩体力学参数空间变化规律并以此为基础探讨煤层采动底板突水危险性可靠度。为此,本文拟通过开展随机条件下的煤层采动数值模拟,研究底板岩体参数随机场建模及采动突水危险性可靠度,主要成果如下:1)岩体参数随机场应基于高斯随机场进行模拟,常用方法有局部
随着土木工程结构抗震设计理论的发展,被动消能减震技术被广泛的引入到工程结构抗震设计中。金属软钢阻尼器作为一种耗能性能优良的阻尼器被国内外学者大量研究与设计,但现有研究中矩形剪切钢板阻尼器存在剪力作用下塑性分布不均和容易出现四周应力集中现象等缺陷。为了改善缺陷,本文提出了一款环形剪切开孔软钢阻尼器,该阻尼器的特别之处在于其构造上采用圆形钢板并在钢板上进行开孔。针对环形剪切开孔软钢阻尼器,本文主要研究
天然化合物外加剂具有成本低、生态高效、生物相容性好、可生物降解性强和局部可利用性等突出优良特性。其中,植物多酚来源丰富,分子结构中含大量羟基官能团,易与大分子或金属离子发生络合反应,且金属Ca2+对植物多酚络合反应存在明显竞争作用。本文以绿茶（GTE）和杨梅栲胶（KJ）为原料,使用抗压强度结合水化热,XRD,TGA-DTG,MIP,SEM等表征手段分析了茶多酚和栲胶单宁对水泥水化的影响及机理。研究
为了提升目标追踪算法SiamMask的性能,论文通过对该算法backbone的优化,使得优化后的算法在追踪性能上得到提升;为了能够实时地进行人脸目标的跟踪,论文研究了该算法在移动平台上的部署方法,使得其能准确控制移动平台的运动。为此,借助于深度学习神经网络的方法,论文通过训练集图像对神经网络进行训练,并且获得其实时的训练数据;通过验证集图像数据对算法的鲁棒性进行验证,并且与原算法进行性能指标的比对
背景与目的:脓毒症是由宿主对感染的反应失调引起的危及生命的多器官功能障碍,是重症监护室患者最常见的死亡原因之一。在疑似脓毒症感染的高危患者中,脓毒症的有效识别和诊断对于患者的及时治疗和抗生素的应用至关重要。目前我们已经研究了的生物分子,包括C反应蛋白、降钙素原、细胞因子和可溶性白细胞CD14亚型等,它们是诊断脓毒症感染的常用生物标志物。微生物血培养通常作为判断全身感染的黄金标准,但是这种方法缺乏敏
代数图论是离散数学的一个重要分支,而图的奇异性是代数图论的热点问题,近年来该问题得到很多图论专家的关注,进而得到了很多无向图奇异性的结果。在此基础上,本文考虑一些指定的定向图,得到一些全新的结果。定向图是一种特殊的有向图,每条边有且仅有一个方向。本文应用图的代数性质来处理定向图的奇异性问题,刻画了定向树、定向单圈图、定向双圈图、定向三圈图等图类的奇异性,具体研究内容如下:第一章:介绍了论文的研究背
线上点餐逐渐成为一种新的就餐形式,而面对线上海量的餐厅类别、评论、评分等信息时,用户难以从中快速、准确地挑选出自己感兴趣的餐厅。为了解决这个问题,本文提出一种基于类别偏好和用户兴趣的餐厅推荐算法。首先,建立基于FTF-IDF算法和Word2Vec的分类模型,根据用户个人偏好将餐厅评论文本主要分为（口味、环境、服务）三大类;其次,在推荐餐厅时,本文提出基于用户多属性和用户—餐厅评分相似度的推荐算法。
乳化剂在乳化炸药的组分中占比不高却决定着乳化效率的好坏从而影响乳化炸药的质量。为了探究乳化剂对乳化炸药性能以及稳定性的影响,本文以两种乳化剂SP80、T152复配比例分别为SP80:T152=1:0、1:1、1:2、2:1、0:1制备的乳化炸药为研究对象（下文称含有两种乳化剂的为复合乳化剂）,对五组炸药试样进行爆速和猛度试验,储存稳定性试验包括对乳胶基质的显微观测,粘度测试及高低温循环测试,并使用
自动驾驶是近年来最热门的机器人技术研究课题之一,研究者们注意到,自动驾驶需要从工程、数学和计算机等各个课题进行大量的研究,SLAM技术是其中不可或缺的一部分。大多数视觉SLAM方法使用特征法来构建稀疏或半稠密地图来实现实时跟踪,单目SLAM在硬件和经济性方面提供了一种实用而灵活的方法。但是,许多单目SLAM系统在面临光照变化剧烈,相机运动剧烈、移动太快、相机捕捉到的图像模糊、或者遇到白墙或玻璃等特