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

计算机工程与应用 2004年第22期40卷 19-21页

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

当今存在众多功能各异的地理信息系统平台及应用系统,这些系统间的信息集成和共享是地理信息产业发展亟待解决的问题。OpenGIS等国际标准虽然能部分实现各系统间的体系结构和数据格式兼容,但仍无法解决语义共享的问题。为此,论文提出了... 详细信息

当今存在众多功能各异的地理信息系统平台及应用系统,这些系统间的信息集成和共享是地理信息产业发展亟待解决的问题。OpenGIS等国际标准虽然能部分实现各系统间的体系结构和数据格式兼容,但仍无法解决语义共享的问题。为此,论文提出了一种基于本体论技术的地理信息系统中间件,它位于地理信息系统平台和应用程序之间,通过本体库和本体服务器来实现对空间数据的语义解释,从而将异构的GIS应用系统紧密地集成在一起。

关键词：本体论地理信息系统中间件

来源：评论

学校读者我要写书评

暂无评论

Web本体语言OWL

引用

计算机工程 2004年第12期30卷 1-2,47页

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

随着对语义Web研究的深入,人们越来越关注在Web上信息内容的表示和检索问题。在语义Web的七层模型中,建立在RDF模式层之上的本体语言层用于形式化描述Web文档中词汇的含义,是建立语义Web的关键环节[5]。该文介绍了W3C最新给出的Web本体... 详细信息

随着对语义Web研究的深入,人们越来越关注在Web上信息内容的表示和检索问题。在语义Web的七层模型中,建立在RDF模式层之上的本体语言层用于形式化描述Web文档中词汇的含义,是建立语义Web的关键环节[5]。该文介绍了W3C最新给出的Web本体语言OWL,给出了OWL3个子语言构造成分的含义说明,并比较了3种子语言间的差别。

关键词：本体语言语义Web 描述逻辑

来源：评论

学校读者我要写书评

暂无评论

基于移动对象模型的车辆监控系统

引用

仪器仪表学报 2004年第z3期25卷 509-511,524页

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

提出了一种改进的移动对象模型。该模型提供了动态时间点选择算法,能够根据对象运动速度动态调节时间点密度,有效地减少了通讯次数;定义了表达能力更强的移动对象时空关系,能支持更复杂的查询语义。理论分析和实验结果都表明该算法优于... 详细信息

提出了一种改进的移动对象模型。该模型提供了动态时间点选择算法,能够根据对象运动速度动态调节时间点密度,有效地减少了通讯次数;定义了表达能力更强的移动对象时空关系,能支持更复杂的查询语义。理论分析和实验结果都表明该算法优于传统算法。基于该模型开发的移动对象数据库实现了车辆监控系统。

关键词：移动对象时空表示时空查询

来源：评论

学校读者我要写书评

暂无评论

应用UML技术开发数据库系统YMDBS

引用

吉林大学学报（理学版） 2004年第2期42卷 216-220页

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

介绍了在使用UML技术开发数据库系统时涉及到的设计和应用问题,结合CASE工具PowerDesigner开发环境,从面向对象数据建模、概念数据建模和物理数据建模三方面探讨了YMDBS数据库设计的过程,展示了用UML开发数据库的步骤和技术.

关键词： UML 数据库 YMDBS 面向对象模型 PowerDesigner 软件开发

来源：评论

学校读者我要写书评

暂无评论

时空推理前沿研究综述

引用

计算机科学 2004年第9期31卷 16-19页

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

本文对时空推理及应用中若干前沿研究方向进行了综述和分析。概括了时空推理的概念和主要研究方向,总结了近10年来时空推理中时空代数、时空信息综合、时空粒度等理论方向及地理信息系统和时空数据库等应用方向的研完工作,分析了存在的... 详细信息

本文对时空推理及应用中若干前沿研究方向进行了综述和分析。概括了时空推理的概念和主要研究方向,总结了近10年来时空推理中时空代数、时空信息综合、时空粒度等理论方向及地理信息系统和时空数据库等应用方向的研完工作,分析了存在的问题并指出了发展趋势。

关键词：推理代数前沿研究综述概括研究方向时空发展趋势问题理论

来源：评论

学校读者我要写书评

暂无评论

Bayesian网推理中的化简方法

引用

吉林大学学报（理学版） 2004年第1期42卷 77-83页

作者：董旭初欧阳丹彤刘大有吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

针对Bayesian网的一般推理是NP难的,在很多情况下,具体查询时简化Bayesian网结构可以明显减少计算量的特点.提出一种可以实现这种策略的3个操作:分离、替换和遍历.实验表明,这种策略一般可以提高计算效率,有时会有明显作用.

关键词： Bayesian网分离操作替换操作遍历操作专家系统不确定性推理

来源：评论

学校读者我要写书评

暂无评论

基于定性空间推理的多层空间关联规则挖掘算法

引用

计算机研究与发展 2004年第4期41卷 565-570页

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

很多应用于空间数据挖掘的空间关系模型存在表达能力不强、可理解性较差、不支持不确定性等问题针对这种情况 ,以定性空间推理的RCC理论为基础 ,结合模糊逻辑 ,提出了一种面向空间数据库的近似区域空间关系模型 ,在此基础上给出了多层... 详细信息

很多应用于空间数据挖掘的空间关系模型存在表达能力不强、可理解性较差、不支持不确定性等问题针对这种情况 ,以定性空间推理的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;并对一些典型问题进行了实验,实验结果表明算法提高了约束调度求解的效率和通用性。

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：