期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于标识变化的时空推理
1
作者
王生生
刘大有
+2 位作者
谷方明
吕倩楠
温长吉
《计算机学报》
EI
CSCD
北大核心
2012年第2期210-217,共8页
空间变化是空间信息处理中的热点问题,标识变化是空间变化的关键问题之一.但是现有工作侧重表达,知识推理能力较弱.为此,研究了基于标识变化的时空推理问题.给出了基于多段图和集合论的标识变化形式化语义,在此基础上定义了二元关系模型...
空间变化是空间信息处理中的热点问题,标识变化是空间变化的关键问题之一.但是现有工作侧重表达,知识推理能力较弱.为此,研究了基于标识变化的时空推理问题.给出了基于多段图和集合论的标识变化形式化语义,在此基础上定义了二元关系模型.针对基本关系约束满足问题,提出了构造性求解算法,并证明了代数封闭算法可解;针对全关系约束满足问题,提出了一致场景算法.理论分析和实验应用均表明该方法能有效解决信息不完整、不准确情况下的标识变化表示与推理问题,对此类问题其它同类模型尚不能很好解决.
展开更多
关键词
时空推理
标识变化
约束满足问题
代数封闭算法
弱复合
在线阅读
下载PDF
职称材料
题名
基于标识变化的时空推理
1
作者
王生生
刘大有
谷方明
吕倩楠
温长吉
机构
吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室
吉林农业大学信息技术学院
出处
《计算机学报》
EI
CSCD
北大核心
2012年第2期210-217,共8页
基金
国家自然科学基金重点项目(61133011)
教育部留学回国人员科研启动基金
+1 种基金
吉林大学科学前沿与交叉学科创新项目(200903178)
吉林大学种子基金资助~~
文摘
空间变化是空间信息处理中的热点问题,标识变化是空间变化的关键问题之一.但是现有工作侧重表达,知识推理能力较弱.为此,研究了基于标识变化的时空推理问题.给出了基于多段图和集合论的标识变化形式化语义,在此基础上定义了二元关系模型.针对基本关系约束满足问题,提出了构造性求解算法,并证明了代数封闭算法可解;针对全关系约束满足问题,提出了一致场景算法.理论分析和实验应用均表明该方法能有效解决信息不完整、不准确情况下的标识变化表示与推理问题,对此类问题其它同类模型尚不能很好解决.
关键词
时空推理
标识变化
约束满足问题
代数封闭算法
弱复合
Keywords
spatio-temporal reasoning identity-based change constraints satisfaction problem algebraically closed algorithm weak composition
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于标识变化的时空推理
王生生
刘大有
谷方明
吕倩楠
温长吉
《计算机学报》
EI
CSCD
北大核心
2012
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
