您的位置： 专家智库 > >

刘鹏仙

作品数：2 被引量：3H指数：1
供职机构：唐山师范学院计算机科学系更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...
  • 1篇理学

主题

  • 1篇动态神经
  • 1篇动态神经网络
  • 1篇删除
  • 1篇删除策略
  • 1篇神经网
  • 1篇神经网络
  • 1篇神经元
  • 1篇搜索
  • 1篇路径搜索
  • 1篇逻辑公式
  • 1篇命题逻辑
  • 1篇格值
  • 1篇格值命题逻辑

机构

  • 2篇唐山师范学院
  • 1篇西南交通大学

作者

  • 2篇刘鹏仙
  • 2篇李海明
  • 1篇徐扬

传媒

  • 1篇西南交通大学...
  • 1篇唐山师范学院...

年份

  • 2篇2003
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于路径搜索的格值命题逻辑自动推理方法被引量：3
2003年
提出一种基于路径搜索的自动推理算法.除了采取预处理外,还采用了动态的删除策略,使对大部分路径的搜索变成对一条路径搜索.可快速地完成对一类格值命题逻辑中的任何一个子句集可满足性与不可满足性的判定.文中还讨论了该算法计算的复杂性.
李海明刘鹏仙徐扬
关键词：路径搜索格值命题逻辑删除策略
用于一类格值逻辑公式的动态神经网络被引量：1
2003年
提出一种利用神经逻辑单元动态地构造神经网络的算法来对一类格值逻辑系统(L4(X))中的逻辑公式进行计算。本方法可以对逻辑公式的原始形态机械地直接进行计算,并可以应用到其他逻辑系统中。
李海明刘鹏仙
关键词：神经元神经网络逻辑公式
全选 清除 导出
共1页<1>
聚类工具0