首页> 中文期刊> 《科技信息》 >命题公式之主范式的DNA算法

命题公式之主范式的DNA算法

开具论文收录证明 >>

文献代查 >>

团队文献服务 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

离散数学是数学的一个分支,离散数学中有诸多的NP-完全问题.例如:求主范式问题,图着色问题,旅行商问题等等.本文根据DNA发夹结构的突出优点,即不需要特殊的生物操作,以及主范式与DNA发夹结构的定义,利用DNA发夹结构模型,求解了离散数学中命题公式的主范式.

著录项

来源
《科技信息》 |2009年第35期|941|共1页
作者
任祖云;
展开▼
作者单位

安徽理工大学理学院,安徽,淮南,232001;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词
DNA计算 ; 可满足性问题 ; 主范式;

相似文献

中文文献
外文文献
专利

1. 基于多级分离技术求解命题逻辑推理的粘贴DNA算法 [J] . 李红 ,袁太生 ,田国瑞 . 现代工业经济和信息化 . 2015 ,第004期
2. 主范式的计算方法及其在命题公式中的作用 [J] . 吕诚 ,孙秀华 ,吕敏 . 宜春学院学报 . 2011 ,第004期
3. 命题公式主范式的二进制求法 [J] . 施泱 . 电力学报 . 2008 ,第003期
4. 命题公式主范式的自动生成与形式输出 [J] . 张会凌 . 甘肃联合大学学报（自然科学版） . 2006 ,第005期
5. 关于命题公式的主范式 [J] . 李庆宏 . 阜阳师范学院学报（自然科学版） . 2002 ,第003期
6. 关于中介命题演算系统MP<'M>范式的研究 [C] . 金仁康 ,毛宇光 . 2003年全国理论计算机科学学术年会 . 2003
7. 多值命题逻辑和直觉模糊命题逻辑公式的概率α-真度 [A] . 李慧玲 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号