检索结果-内蒙古大学图书馆

很多应用于空间数据挖掘的空间关系模型存在表达能力不强、可理解性较差、不支持不确定性等问题针对这种情况 ,以定性空间推理的RCC理论为基础 ,结合模糊逻辑 ,提出了一种面向空间数据库的近似区域空间关系模型 ,在此基础上给出了多层空间关联规则的挖掘算法QSRSAR 该算法使用了MBR优先判定、顶点近似等手段针对大型空间数据库进行了优化处理实验结果表明 ,QSRSAR在空间知识表达能力。

关键词：空间数据挖掘定性空间推理模糊逻辑近似区域

来源：评论

学校读者我要写书评

暂无评论

自由变量语义tableau中δ-规则的一种改进方法

引用

计算机研究与发展 2004年第7期41卷 1068-1073页

作者：刘全孙吉贵于万钧吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

自动推理一直是人工智能领域研究的重要内容近几年来 ,由于tableau方法的通用性和直观性 ,引起人工智能界的广泛关注对于自由变量语义tableau中的量词规则 ,由于γ 规则替换的任意性 ,可导致在同一tableau证明中γ 规则被多次使用 ,... 详细信息

自动推理一直是人工智能领域研究的重要内容近几年来 ,由于tableau方法的通用性和直观性 ,引起人工智能界的广泛关注对于自由变量语义tableau中的量词规则 ,由于γ 规则替换的任意性 ,可导致在同一tableau证明中γ 规则被多次使用 ,使得tableau推理结构树中出现多个自由变量针对tableau中多次出现自由变量 ,使tableau封闭延迟的问题 ,在δ+ 规则的基础上 ,提出对δ+ 规则改进的δ+ + 规则 ,并进行了正确性证明将δ+ + 规则应用到TableauTAP系统中 ,结果表明 ,δ+ + 规则使tableau封闭提前。

关键词： δ^-规则自由变量语义tableau δ^++-规则

来源：评论

学校读者我要写书评

暂无评论

基于约束的调度研究和实现

引用

计算机工程与应用 2004年第33期40卷 46-49页

作者：张居阳礼欣孙吉贵吉林大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室长春130012

运用约束程序设计(CP)思想和技术来调度正成为一个新兴的研究领域。文章首先对CP和调度的相关领域知识进行了简要介绍;然后按照CP所倡导的问题建模和问题求解相分离的思想,建立起一般理论调度问题的约束模型,并设计实现了一个基于约束... 详细信息

运用约束程序设计(CP)思想和技术来调度正成为一个新兴的研究领域。文章首先对CP和调度的相关领域知识进行了简要介绍;然后按照CP所倡导的问题建模和问题求解相分离的思想,建立起一般理论调度问题的约束模型,并设计实现了一个基于约束的调度求解算法CBS-1;并对一些典型问题进行了实验,实验结果表明算法提高了约束调度求解的效率和通用性。

关键词：约束程序设计调度约束建模优化

来源：评论

学校读者我要写书评

暂无评论

基于时空推理和XML的时空查询语言

引用

计算机应用 2004年第2期24卷 118-121页

作者：王生生刘大有胡鹤王新颖吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室吉林长春130012

新一代地理信息系统(简称GIS)正在向同时处理时间和空间信息发展,时空查询成为GIS的研究重点。目前的时空查询语言不论在语法还是语义方面都存在不足。为此,设计了一个基于XML的扩展SQL时空查询语言ST XSQL,并在组件地理信息系统CGIS上... 详细信息

新一代地理信息系统(简称GIS)正在向同时处理时间和空间信息发展,时空查询成为GIS的研究重点。目前的时空查询语言不论在语法还是语义方面都存在不足。为此,设计了一个基于XML的扩展SQL时空查询语言ST XSQL,并在组件地理信息系统CGIS上实现。鉴于XML是当前各类基于Web的查询语言普遍采用的技术手段,ST XSQL采用基于XML的扩展SQL语法。语义解释采用时空推理中著名的RCC和区间代数理论。与同类工作相比,ST XSQL的语法表达更加清晰和严谨,时空关系语义也更加完备和实用。

关键词：时空查询时空推理 XML 地理信息系统

来源：评论

学校读者我要写书评

暂无评论

一种基于模糊集的混合空间推理方法

引用

吉林大学学报（理学版） 2004年第4期42卷 565-569页

作者：欧阳继红刘大有胡鹤陈博宇吉林大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室长春130012

基于模糊集合理论,提出一种将定性空间推理与定量空间推理相结合进行混合空间推理的方法.将对象间的空间关系解释为表达有关对象空间信息语言变量的限制,引入语言变量表达定性空间关系;把语言变量与模糊集合关联起来,获得定量空间信息;... 详细信息

基于模糊集合理论,提出一种将定性空间推理与定量空间推理相结合进行混合空间推理的方法.将对象间的空间关系解释为表达有关对象空间信息语言变量的限制,引入语言变量表达定性空间关系;把语言变量与模糊集合关联起来,获得定量空间信息;通过将语言值映射为模糊集合,以及将模糊集合的元素映射为语言限制词,实现了定性空间信息和定量空间信息间的转换.此外,还给出了与Allen提出的二元基本关系关联的模糊关系,并得到了基于模糊关系的Allen推理算法,从而实现了空间关系间的推理.

关键词：定性空间推理推理算法语言值模糊集合模糊关系空间关系映射象空间语言变量关联

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：