基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
文章基于粘贴DNA计算对命题逻辑推理进行了研究,给出了基于多级分离技术求解该问题的粘贴DNA算法.通过一个实例问题的操作步骤说明了算法的有效性,并对其进行模拟.使多级分离技术的使用和运算的时间效率得到提高.
推荐文章
命题逻辑推理问题的代数化求解
命题逻辑
推理
逻辑联接词
基于DNA计算的命题逻辑推理算法
DNA计算
逻辑运算
荧光标示
表面方式
相干命题逻辑自然推理系统NR的自动证明
相干命题
自然推理
自动证明
可读证明
命题逻辑及谓词逻辑推理证明中的化归法
命题逻辑
谓词逻辑
化归法
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于多级分离技术求解命题逻辑推理的粘贴DNA算法
来源期刊 现代工业经济和信息化 学科 工学
关键词 DNA计算 逻辑推理 多级分离技术
年,卷(期) 2015,(4) 所属期刊栏目 工程技术
研究方向 页码范围 41-43
页数 3页 分类号 TP301.6
字数 2905字 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 李红 山西工商学院计算机信息工程学院 5 0 0.0 0.0
2 袁太生 山西工商学院计算机信息工程学院 1 0 0.0 0.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (71)
共引文献  (61)
参考文献  (6)
节点文献
引证文献  (0)
同被引文献  (0)
二级引证文献  (0)
1900(2)
  • 参考文献(0)
  • 二级参考文献(2)
1987(1)
  • 参考文献(0)
  • 二级参考文献(1)
1990(1)
  • 参考文献(0)
  • 二级参考文献(1)
1992(1)
  • 参考文献(0)
  • 二级参考文献(1)
1993(1)
  • 参考文献(0)
  • 二级参考文献(1)
1994(6)
  • 参考文献(1)
  • 二级参考文献(5)
1995(6)
  • 参考文献(0)
  • 二级参考文献(6)
1996(2)
  • 参考文献(0)
  • 二级参考文献(2)
1997(5)
  • 参考文献(0)
  • 二级参考文献(5)
1998(3)
  • 参考文献(0)
  • 二级参考文献(3)
1999(4)
  • 参考文献(0)
  • 二级参考文献(4)
2000(7)
  • 参考文献(0)
  • 二级参考文献(7)
2001(7)
  • 参考文献(0)
  • 二级参考文献(7)
2002(10)
  • 参考文献(0)
  • 二级参考文献(10)
2003(9)
  • 参考文献(1)
  • 二级参考文献(8)
2004(6)
  • 参考文献(2)
  • 二级参考文献(4)
2005(4)
  • 参考文献(0)
  • 二级参考文献(4)
2006(1)
  • 参考文献(1)
  • 二级参考文献(0)
2008(1)
  • 参考文献(1)
  • 二级参考文献(0)
2015(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
研究主题发展历程
节点文献
DNA计算
逻辑推理
多级分离技术
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
现代工业经济和信息化
月刊
2095-0748
14-1362/N
大16开
山西省太原市平阳路61号综合楼3层
22-70
2011
chi
出版文献量(篇)
7751
总下载数(次)
26
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导