您的位置: 专家智库 > >

栾尚敏

作品数:28 被引量:65H指数:5
供职机构:华北科技学院计算机系更多>>
发文基金:国家自然科学基金国家重点基础研究发展计划中国博士后科学基金更多>>
相关领域:自动化与计算机技术理学电子电信更多>>

文献类型

  • 18篇期刊文章
  • 7篇会议论文
  • 2篇学位论文
  • 1篇科技成果

领域

  • 26篇自动化与计算...
  • 1篇电子电信
  • 1篇理学

主题

  • 8篇信念修正
  • 6篇人机
  • 5篇知识库
  • 5篇人工智能
  • 4篇信念
  • 4篇故障诊断
  • 3篇多通道
  • 3篇知识库更新
  • 3篇人机交互
  • 3篇人机界面
  • 3篇命题逻辑
  • 2篇代数规范
  • 2篇虚拟现实
  • 2篇一阶逻辑
  • 2篇知识库维护
  • 2篇基于逻辑
  • 2篇计算机
  • 2篇程序设计
  • 1篇代数
  • 1篇代数方法

机构

  • 21篇中国科学院软...
  • 6篇北京航空航天...
  • 3篇山东大学
  • 2篇中国科学院
  • 1篇复旦大学
  • 1篇北京理工大学
  • 1篇华北科技学院

作者

  • 28篇栾尚敏
  • 17篇戴国忠
  • 8篇陈由迪
  • 5篇程成
  • 5篇李未
  • 4篇马绍汉
  • 4篇田丰
  • 2篇关志伟
  • 2篇单宏浩
  • 1篇马翠霞
  • 1篇危辉
  • 1篇王宏安
  • 1篇王丹力
  • 1篇王常青
  • 1篇董士海
  • 1篇滕东兴
  • 1篇耿子林
  • 1篇栗阳
  • 1篇王晖
  • 1篇田立勤

传媒

  • 5篇软件学报
  • 3篇计算机科学
  • 2篇计算机学报
  • 2篇中国科学(E...
  • 2篇第十届全国图...
  • 1篇计算机研究与...
  • 1篇广西师范大学...
  • 1篇计算机辅助设...
  • 1篇贵州工业大学...
  • 1篇山东大学学报...
  • 1篇中国科学:信...
  • 1篇第七届中国人...
  • 1篇第四届中国计...
  • 1篇企业信息化高...
  • 1篇中国图象图形...

年份

  • 1篇2017
  • 1篇2008
  • 3篇2005
  • 2篇2004
  • 5篇2003
  • 5篇2002
  • 5篇2001
  • 3篇1999
  • 1篇1997
  • 1篇1995
  • 1篇1993
28 条 记 录,以下是 1-10
排序方式:
关系网的代数规范说明
1993年
将关系网看作一个抽象数据类型,给出了其代数规范说明.这个关系网是它的代数规范说明的一个代数,代数规范说明的任一代数是一个关系网;讨论了关系网在同态下的性质,以及代数规范说明的代数与关系网模式和位置/变迁网的关系。
栾尚敏马绍汉
关键词:代数规范说明抽象数据类型关系网
知识库更新的一种可编程实现的方法被引量:3
2005年
讨论了知识库是有限子句集时的更新过程,给出了这种情况下知识库更新的一种可编程实现的方法.首先讨论了求极大协调子集的基本思想和方法,然后给出了求极大协调子集的完全过程和非完全过程,证明了它们的正确性;讨论了知识库更新的实现方法;最后和相关工作进行了比较.
栾尚敏戴国忠李未
关键词:知识库知识库更新子句全过程子集
搜索问题的代数描述及其算法被引量:4
1997年
文中给出了搜索问题的一种代数描述方法,在这种描述方法的基础上,给出了一个算法模式.以货郎担问题的动态规划-分支限界算法为例,讨论了如何用所给出的算法模式来设计包含多种算法设计技术的算法,称这种算法为混合(hybrid)算法.还讨论了如何用面向对象的方法进行程序设计.这种求解问题的方法不仅为算法的自动生成提供了一种有力的工具,如果用面向对象的方法进行程序设计,还能提高代码的利用率.
栾尚敏马绍汉
关键词:搜索问题程序设计代数描述
基于逻辑的一种诊断方法被引量:4
2002年
基于逻辑的故障诊断方法中一个没有解决好的问题就是如何求得所有极小冲突集。讨论了如何由极小不协调子集求得极小冲突集 ,然后给出了求所有极小不协调子集的一种方法。对如何应用该算法求得所有的极小冲突集 ,给出了求诊断的一个过程 ,最后与相关工作进行了比较。
栾尚敏戴国忠陈由迪
关键词:逻辑故障诊断
有限信念集上修正的一种方法被引量:2
2003年
讨论了信念集是有限子句集时的信念修正方法.首先给出了一阶逻辑上求所有极小不协调子集的一个过程,证明了该过程的正确性;讨论了由所有极小不协调的子集来实现信念修正的方法,介绍了我们开发的信念修正的原型系统.最后和相关工作进行了比较.
栾尚敏戴国忠
关键词:信念修正命题逻辑一阶逻辑人工智能
典型的多通道整合方法之比较
2002年
多通道用户界面是当前用户界面中研究的热点,人们提出了各种各样的方法.在多通道界面系统中,一个重要的问题是通道整合,本文介绍了人们提出的各种通道整合的方法,对这些方法进行了分类归纳和比较,并介绍了我们在这方面的一些认识和工作.
栾尚敏戴国忠陈由迪关志伟
关键词:语音识别智能体手势识别
基于连通结构与动力学过程的知觉记忆层次模型被引量:1
2004年
根据认知的计算神经科学的观点,提出了一种基于神经系统动力学理论和连通图的信息的直接表达方式.它首先定义了知觉信息直接表达的神经结构和动力学模式,然后提出一个双层的网络计算模型,分别用于记录外界刺激的特征信息和连通对应的特定神经回路的连接模式,这是通过结构学习来实现的.在两层神经元间建立起来的连通结构同时起到联想记忆的作用,记忆的可靠程度由神经回路的连通度来决定.这种直接表达方式对于人工智能中关于语义表达和基于语义的推理研究具有重要意义.
危辉栾尚敏
关键词:联想记忆计算神经科学动力学系统
一个求极小冲突的算法
基于模型的故障诊断方法是重要的故障诊断方法之一,该方法主要的问题就是如何求得所有的诊断.结果得到所有极小冲突集,就可以非常容易的得到所有的诊断,但没有求得所有的极小冲突集的方法.本文首先讨论了如何由极小不协调子集求得极小...
栾尚敏戴国忠陈由迪
关键词:故障诊断
文献传递
虚拟环境人机交互模型描述
提出了分布式虚拟环境人机交互模型,来解决目前大规模仿真中的交互计算问题.提出了一个虚拟环境中知识模型结构,重点分析了认知模型的内容和具体的建模方法以及使用方法,进一步提出了虚拟环境人机交互的分层表示模型,对各层的内容和机...
程成单宏浩戴国忠栾尚敏田丰陈由迪
关键词:虚拟现实人机交互多通道
文献传递
利用结构信息的故障诊断方法被引量:27
2005年
基于模型的故障诊断方法是重要的故障诊断方法之一,该方法主要的问题就是如何求得所有的诊断.该文利用系统的结构信息,给出了求极小冲突集的一个算法,证明了算法的正确性,分析了算法的复杂性;然后介绍了如何由极小冲突求得诊断.其次,还给出了利用结构信息直接求诊断的一个算法,证明了其正确性.最后与相关工作进行了比较.该文给出的算法,对于一些特殊结构的系统可在多项式时间内结束.
栾尚敏戴国忠
关键词:故障诊断
共3页<123>
聚类工具0