您的位置: 专家智库 > >

韩庆

作品数:5 被引量:39H指数:2
供职机构:北京大学更多>>
发文基金:国家自然科学基金更多>>
相关领域:自动化与计算机技术天文地球更多>>

文献类型

  • 3篇期刊文章
  • 2篇学位论文

领域

  • 4篇自动化与计算...
  • 1篇天文地球

主题

  • 2篇缺省逻辑
  • 1篇调度
  • 1篇调度系统
  • 1篇序关系
  • 1篇知识
  • 1篇四值逻辑
  • 1篇全球定位系统
  • 1篇缺省理论
  • 1篇缺省推理
  • 1篇舰船
  • 1篇舰船定位
  • 1篇舰艇
  • 1篇多值逻辑
  • 1篇非单调推理
  • 1篇DEMPST...
  • 1篇超协调逻辑

机构

  • 5篇北京大学

作者

  • 5篇韩庆
  • 3篇林作铨
  • 2篇牟克典

传媒

  • 2篇软件学报
  • 1篇计算机研究与...

年份

  • 1篇2009
  • 4篇2004
5 条 记 录,以下是 1-5
排序方式:
基于未知扰动的冲突证据合成方法被引量:36
2004年
自从发现Dempster合成可能导致悖论以来,冲突证据合成一直是Dempster-Shafer理论的重要研究方向之一,迄今尚未有统一的解决方法被广泛接受.提出一种新的冲突证据合成方法,即在Dempster合成之前,基于未知扰动对mass函数进行预处理,并通过预处理来解决标准化问题.与其他相关方法相比,这种新方法不仅和Dempster规则形式上一致,合成过程比较灵活,并且可以通过扩展的Bayes公式得到理论上的解释.
林作铨牟克典韩庆
关键词:DEMPSTER-SHAFER理论
基于差分GPS技术的舰船定位系统设计与实现
GPS全球定位系统具有性能好、精度高、应用广的特点,是迄今最好的导航定位系统。随着全球定位系统的不断改进,硬、软件的不断完善,应用领域正在不断地开拓,目前己遍及国民经济各种部门,并开始逐步深入人们的日常生活。   但G...
韩庆
关键词:全球定位系统调度系统
属于不同集合的定性信任度的序比较及应用被引量:1
2004年
在定性不确定推理中 ,定性信任度集并不是惟一的 Akdag等人提出的不同定性信任度集中元素之间的序比较方法存在缺陷 ,与定性运算并不协调 ,这将会导致不确定性的定性表达和操作上的矛盾 提出了新的属于不同集的定性信任度的序比较方法 ,并定义了不同定性信任度集中元素之间的定性混合运算 这种序比较方法不仅更加符合直观 ,而且与定性运算保持一致 。
牟克典林作铨韩庆
关键词:序关系
不协调知识的缺省推理(英文)被引量:2
2004年
提出了一个新的缺省推理理论,称为双缺省理论,使得缺省逻辑在四值语义下能够同时处理不协调的知识而不导致扩张的平凡性.为此,定义了命题公式的正变换和负变换,以便分离一个文字与其否定的语义联系.大多数关于缺省逻辑的定理都可以在双缺省逻辑下重建,证明了双缺省逻辑是缺省逻辑在不协调情形下的一般化.提供了一种方法使得超协调逻辑能够获得类似经典逻辑的推理能力.
韩庆林作铨
关键词:缺省逻辑超协调逻辑四值逻辑
非单调超协调推理研究
非单调超协调推理是一种在不协调与不完全知识下推理的形式,是人工智能中有关常识表示与推理的一个研究领域,具有重要的科学意义.在该文中,我们对非单调超协调推理的如下问题进行了研究,取得了一些重要的研究结果.1.基于一个四值逻...
韩庆
关键词:非单调推理缺省逻辑多值逻辑
共1页<1>
聚类工具0