刘朔
- 作品数：6 被引量：23H指数：3
- 供职机构：武汉工业学院数理科学系更多>>
- 发文基金：国家自然科学基金湖北省自然科学基金湖北省教育厅科学技术研究项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 可满足性问题的闭环DNA算法被引量：8
- 2009年
- 给出并证明了可满足性问题有解的一个充分必要条件,即合取范式的成假赋值仅由与简单析取式个数相等的有限个向量决定.在此条件基础上设计出用这些向量对初始赋值进行筛除的可满足性问题过滤算法,该算法的时间复杂性仅与向量个数和维数有关.为了在DNA计算模型上实现可满足性问题过滤算法,采用2n维向量的数据结构进行DNA编码代表可满足性问题的赋值;而闭环DNA计算模型的删除实验恰好能够完成对初始赋值的筛选,得到可满足性问题的可行解.最后用闭环DNA计算模型实现了可满足性问题过滤算法,并用实例说明了算法的有效性和可行性.
- 周康魏传佳刘朔王防修
- 关键词：闭环DNA计算模型删除实验
- 质粒DNA计算模型的计算体系被引量：2
- 2011年
- 首先从具体实例入手抽象和归纳出质粒DNA计算模型的概念,并对质粒DNA计算模型计算体系的2个基本要素———计算物质和计算手段进行研究,由此形成了质粒DNA计算模型完备的计算体系;然后针对质粒DNA计算模型计算体系的应用,分析和解决了经常出现的关键问题.讨论了初始质粒DNA重新合成的重要性,并给出了重新合成的方法;接着对计算体系的2个基本实验(酶切和酶连实验)的成功率问题进行了分析,并提出了解决的方案;最后对检测实验进行了分析,提出了检测多种DNA序列的检测方法.对这些问题的分析和解决有利于质粒DNA计算模型理论的完善和应用的拓广.
- 周康刘朔覃磊易校尉
- 基于粘贴模型的最大团问题算法被引量：6
- 2010年
- 对粘贴模型的组成、基本实验及其生化实现过程进行了分析,根据解决最大团问题的需要简化了粘贴模型.在粘贴模型中,提出了基于电泳技术和分离实验的DNA序列检测方法,可以检测多种存储链.基于分离实验提出了最大团问题的DNA算法,并给出其生化实现过程:先形成所有非空顶点子集的初始解空间;然后对每条边用分离实验进行检测,保留全部满足不相邻要求的顶点子集,从而得到全部团;再通过电泳实验得到全部最大团.通过检测实验输出实验结果,证明了算法的可行性和有效性.
- 周康刘朔覃磊易校尉
- 关键词：DNA计算粘贴模型最大团问题电泳技术
- 八皇后问题所有解的模拟DNA算法被引量：6
- 2009年
- 建立了求解八皇后问题所有解的数学模型.根据八皇后问题解的性质提出了7个相关的算子:主转置算子、行翻转算子、列翻转算子、倒置算子、顺旋算子、逆旋算子和倒转算子.给出了等价可行解的概念,并以这7个相关算子为工具研究了等价可行解的性质和八皇后问题解空间的性质.由此给出了求解八皇后问题所有解的模拟DNA算法,并用Mathematica软件进行了实现,并得到了所有的可行解,进而验证了算法的正确性和可行性.
- 周康魏传佳刘朔卢军
- 关键词：八皇后问题数学模型算子
- 一种基于改进遗传算法的图像分割方法被引量：1
- 2008年
- 图像阈值分割技术在图像分析和图像识别中具有重要的意义。最大类间方差法具有很多的优点,但同时也有弱点,计算需要大量的时间。因此,需要引入优化算法。本文试将遗传算法用于解决图像分割问题中,提高算法的求解性能。经过对图像分割问题求解的实验,算法得到了很好的效果。
- 刘朔胡黎明
- 关键词：图像分割遗传算法
- 基于二进制粒子群的图像分割算法被引量：1
- 2011年
- 基于最大类间方差的分隔方法思想简单、稳定有效,对于简单图像的分割效果良好。为了改善对复杂图像的分割效果,将算法推广到多阈值分割法;针对计算复杂度问题,引入二进制粒子群算法来解决,提高了算法的求解性能。通过对图像分割的实验,证明了算法的可行性和有效性。
- 刘朔周康张杰杨能
- 关键词：图像分割粒子群算法最大类间方差
