您的位置： 专家智库 > >

刘东

作品数：1 被引量：0H指数：0
供职机构：吉林大学计算机科学与技术学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇定性空间推理
  • 1篇区域连接演算
  • 1篇人工智能

机构

  • 1篇吉林大学

作者

  • 1篇刘大有
  • 1篇刘辉武
  • 1篇谷方明
  • 1篇杨峰
  • 1篇王生生
  • 1篇刘东

传媒

  • 1篇吉林大学学报...

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
半定性约束满足问题求解
2012年
从地理信息系统、环境智能等领域的实际需求出发,提出了半定性约束满足问题(SQCSP),并得到了初步结果。证明了区间代数及扩展模型的SQCSP可由QCSP判定。给出了RCC5的多项式时间SQCSP判定算法。RCC8的SQCSP是NP完全问题,给出了带限制条件SQCSP的多项式时间判定算法。证明了上述判定算法的正确性,并给出了实例构造算法。最后,利用SQCSP算法实现了带变量布尔运算的QCSP求解。
王生生刘大有谷方明刘东杨峰刘辉武
关键词：人工智能定性空间推理区域连接演算
全选 清除 导出
共1页<1>
聚类工具0