魏传佳
- 作品数：6 被引量：19H指数：3
- 供职机构：武汉工业学院数理科学系更多>>
- 发文基金：湖北省自然科学基金国家自然科学基金湖北省教育厅科学技术研究项目更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 可满足性问题的闭环DNA算法被引量：8
- 2009年
- 给出并证明了可满足性问题有解的一个充分必要条件,即合取范式的成假赋值仅由与简单析取式个数相等的有限个向量决定.在此条件基础上设计出用这些向量对初始赋值进行筛除的可满足性问题过滤算法,该算法的时间复杂性仅与向量个数和维数有关.为了在DNA计算模型上实现可满足性问题过滤算法,采用2n维向量的数据结构进行DNA编码代表可满足性问题的赋值;而闭环DNA计算模型的删除实验恰好能够完成对初始赋值的筛选,得到可满足性问题的可行解.最后用闭环DNA计算模型实现了可满足性问题过滤算法,并用实例说明了算法的有效性和可行性.
- 周康魏传佳刘朔王防修
- 关键词：闭环DNA计算模型删除实验
- 线缆布线优化问题模型分析
- 2010年
- 互联网通信需要线缆来连接各个节点以实现节点间的信息交换,以往对于小的网络,需要的线缆比较少,所以布线非常容易,产生的线缆交叉比较少。但对于节点众多的大型互联网来说,线缆的布线就显得比较困难,产生的线缆交叉众多。本文针对节点众多的大型互联网线缆交叉问题,利用图论以及顶点着色的方法设计出一个算法,通过例子说明此分层算法的有效性和正确性。
- 魏传佳
- 关键词：图论顶点着色
- 集合覆盖问题闭环DNA算法被引量：2
- 2010年
- 介绍了闭环DNA计算模型及其生化实验,分析了集合覆盖问题及其数学模型.根据任何一个元素至少属于一个集合构成可行集合覆盖的原理,设计了集合覆盖问题闭环DNA算法,该算法首先对集合的0-1决策变量按照0和1的取值、对应的价值系数进行两组DNA编码并形成所有可能解;再用接入实验和删除实验筛选出全部可行解;然后用接入实验得到这些可行解的目标函数值,并用电泳实验得到全部最优解;最后通过检测实验输出所有最优解.首次提出基于电泳技术检测实验以"接入-电泳-删除"为实验顺序,可以检测多种DNA编码.算例说明了算法的有效性.
- 周康解智魏传佳易校尉
- 关键词：DNA算法闭环DNA计算模型检测实验电泳技术
- 八皇后问题所有解的模拟DNA算法被引量：6
- 2009年
- 建立了求解八皇后问题所有解的数学模型.根据八皇后问题解的性质提出了7个相关的算子:主转置算子、行翻转算子、列翻转算子、倒置算子、顺旋算子、逆旋算子和倒转算子.给出了等价可行解的概念,并以这7个相关算子为工具研究了等价可行解的性质和八皇后问题解空间的性质.由此给出了求解八皇后问题所有解的模拟DNA算法,并用Mathematica软件进行了实现,并得到了所有的可行解,进而验证了算法的正确性和可行性.
- 周康魏传佳刘朔卢军
- 关键词：八皇后问题数学模型算子
- 城市交通优化中基于对偶算法的元胞自动机被引量：1
- 2010年
- 对基于换乘时间的城市交通优化问题进行了数学模型分析,根据模型的对偶原理得到了问题的对偶算法,设计了元胞自动机.在元胞自动机中,以每一个站点作为一个元胞,根据是否获得最佳乘车线路将元胞分为2种状态,将中心元胞的下一个站点作为其邻居,演化规则只作用于未获得最佳乘车线路的元胞,并只需通过对演化时间与元胞的相应权值的比较来确定状态的改变.基于对偶算法元胞自动机具有元胞状态少、邻居关系简单、演化规则简便和计算量少的特点.仿真实验说明了基于对偶算法元胞自动机的有效性和可行性.
- 周康殷燕芳解智魏传佳
- 关键词：对偶算法元胞自动机换乘时间
- DNA计算模型的研究被引量：4
- 2009年
- DNA计算模型在DNA计算的各个研究领域中占有重要的地位,对DNA计算模型进行研究是有意义的。首先回顾了DNA计算模型的发展历史;然后从DNA的基本结构入手研究了DNA计算的机理,并对DNA计算的过程进行了详细分析,从而归纳出DNA计算模型的基本概念;再对DNA计算模型按照DNA计算的物质形态进行了分类并对每一类DNA计算模型的理论及其应用进行了详细的分析。
- 周康魏传佳程珍黄玉芳许进
- 关键词：DNA计算
