【摘 要】
：
可满足性问题是经典的NP完全问题之一。本文建立了一个基于DNA链置换的可满足性问题的计算模型,可满足性问题的约束条件被映射成计算模型上的荧光个数,将可满足性问题中变量
【机 构】
：
安徽理工大学数学与大数据学院,上海工程技术大学数理与统计学院
【基金项目】
：
国家自然科学基金(61672001,61702008),安徽省自然科学基金(1808085MF193)资助
论文部分内容阅读
可满足性问题是经典的NP完全问题之一。本文建立了一个基于DNA链置换的可满足性问题的计算模型,可满足性问题的约束条件被映射成计算模型上的荧光个数,将可满足性问题中变量的两种取值(0和1)分别设计成不同的DNA链,通过DNA链置换反应,最后观察反应后的计算模型上荧光个数找出可满足性问题的可行解。该模型具有操作简单,结果便于观察和检测的优点。
其他文献
黑龙江省地处吉林玉米种植带区域,以种植春玉米为主[1]。截至2018年,黑龙江省玉米总产量达3982万吨,种植面积达6317千公顷(国家统计局,2018)。玉米是一种极具代表性的喜温作
在B3LYP/Lan12dz水平下分别以二、四重态对团簇CoMg2B2存在的所有构型进行全参数优化.排除虚频和相同构型后,得出7种优化构型.其中,二重态构型4种,四重态构型3种.对团簇CoMg2
2017年的最后几天，无论大小金融机构，看起来，日子都不太好过。2017年11月17日，中国人民银行会同银监会、证监会、保监会、外汇局等部门发布了《关于规范金融机构资产管理业务的指
实验选用合肥经开区某污水处理厂的好氧池污泥作为接种污泥,经过厌氧反应器处理的养猪场废水作为进水,在序批式反应器(SBR)内进行反应.经过氨氮负荷提高阶段,pH调节阶段,投加
EMC已经连续5年成为存储管理软件市场的头号供应商，来自EMC最近公布的2004财年第一季度业绩报告也显露了这一势头，如果将LEGATO．Documenturn以及VMware的收入计算在内，在2004年第
该文提出了一种闭环自激式驱动的微型电场传感器方案。利用自动增益控制的原理实现闭环自激驱动,使得微传感器能够始终工作在谐振状态,且振动幅度保持稳定。用matlab-simulink工具对系统进行了仿真,结果表明,当传感器的谐振频率发生0.5%的漂移时,系统可以重新捕捉并锁定到新的谐振频率,和开环驱动方案相比,传感器振幅的衰减度从30%降低到0.1%之内,灵敏度从缩减50%改进到缩减0.1%之内。
3月份调价后，国内成品油市场由于缺乏必要的市场支撑，总体上呈现价格逐步下滑的态势，汽油因受炼厂加工量增加，出口减少，国家取消70＃汽油的产生和销售以及地方炼厂非标产品涌入市场
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
在融合通过Nakagami衰落信道传递到融合中心的局部传感器的决策时,文献中提出的基于信道统计量和局部传感器性能指数的似然比检验(LRT-CS)需要局部传感器的检测概率且涉及无穷级数的计算。然而,对于非合作目标而言,局部传感器的检测概率往往是先验未知的。因此,该文提出了一种基于删除的混合融合CMF准则。它不需要局部传感器的检测概率,且实现简单。仿真显示,在局部传感器的检测概率未知时,CMF具有和L
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield