可满足性问题生物芯片DNA算法

发布时间：2018-04-09 13:13

  本文选题：DNA计算　切入点：可满足性问题　出处：《计算机应用研究》2017年08期

【摘要】：首先研究可满足性问题,报告了DNA计算关于可满足性问题的研究现状;然后介绍了微流路芯片高压凝胶电泳,给出了解决可满足性问题的解法;最后通过实例验证了算法的可行性。给出的算法操作简单、出错率低。算法只需要芯片电泳,不需要构造探针,也不需要荧光标记。对解决其他NP问题具有很好的借鉴意义。
[Abstract]:Firstly, the problem of satisfiability is studied, and the research status of DNA calculation about satisfiability is reported, then the high pressure gel electrophoresis of microfluidic chip is introduced, and the solution to the problem of satisfiability is given.Finally, the feasibility of the algorithm is verified by an example.The proposed algorithm is simple in operation and low in error rate.The algorithm only needs chip electrophoresis, does not need to construct a probe, do not need fluorescent labeling.It can be used for reference to solve other NP problems.
【作者单位】： 安徽理工大学理学院;
【分类号】：TP384

【相似文献】

相关硕士学位论文 前10条

1 邓晓瑶;可满足性问题的预处理策略研究与分析[D];天津大学;2014年

2 靳庆庚;基于代数几何的可满足性问题连续求解方法研究[D];广西民族大学;2016年

3 李韶华;可满足性问题和图染色的一些研究[D];中国科学院研究生院（软件研究所）;2005年

4 葛平平;可满足性问题的改进型类组织P系统的求解研究[D];安徽理工大学;2015年

5 管利娜;参数化可满足性问题的研究[D];中南大学;2009年

6 卜东波;命题逻辑的可满足性问题：复杂性和算法[D];中国科学院研究生院（计算技术研究所）;1997年

7 熊玲芳;基于拟物的布尔可满足性问题连续求解方法研究[D];广西民族大学;2013年

8 王芙;改进的蚁群算法求解可满足性问题[D];华南理工大学;2012年

9 丁志宇;应用线性代数求解可满足性问题的研究与实现[D];中山大学;2014年

10 徐超;以字符个数为参数的可满足性问题算法研究[D];中南大学;2014年

，

本文编号：1726575