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

计算机学报 2003年第12期26卷 1746-1752页

作者：孙吉贵景沈艳吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 复旦大学智能信息处理开放实验室上海200433

在约束满足问题 (CSP)的研究中 ,大部分工作集中在二元约束 ,但处理实际问题时 ,常常会遇到非二元约束的情况 .该文在概要地讨论了两类求解非二元约束问题方法的基础上 ,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约... 详细信息

在约束满足问题 (CSP)的研究中 ,大部分工作集中在二元约束 ,但处理实际问题时 ,常常会遇到非二元约束的情况 .该文在概要地讨论了两类求解非二元约束问题方法的基础上 ,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约束求解方法 ,并在设计开发的约束求解工具“明月SOLVER1.0”中实现了该方法 ,以典型例子给出了实现系统的运行结果 .

关键词：非二元约束满足问题对偶图法隐藏变量法启发式搜索算法

来源：评论

学校读者我要写书评

暂无评论

一种基于移动Agent的双向CORBA系统体系结构及其实现

引用

小型微型计算机系统 2003年第3期24卷 327-330页

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

CORBA技术和移动 Agent技术都是目前国内外研发的热点 .将以上两种流行技术融合 ,使 CORBA中的对象(服务器方以及客户方 )具有移动 Agent的特点是本文的设计思想 .基于以上思想 ,本文给出了一种基于移动 Agent的双向 CORBA系统体系结构... 详细信息

CORBA技术和移动 Agent技术都是目前国内外研发的热点 .将以上两种流行技术融合 ,使 CORBA中的对象(服务器方以及客户方 )具有移动 Agent的特点是本文的设计思想 .基于以上思想 ,本文给出了一种基于移动 Agent的双向 CORBA系统体系结构及其原型系统 (称之为 agent CORBA) ,并重点解决了在 CORBA服务器方对象移动的情况下对象命名服务的透明性问题 .文本最后给出了一个基于该体系结构的简单应用实例。

关键词：移动Agent 双向CORBA系统体系结构对象移动透明性应用程序计算机网络

来源：评论

学校读者我要写书评

暂无评论

一种模型不完备条件下的诊断方法

引用

广西师范大学学报（自然科学版） 2003年第A01期21卷 79-82页

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

基于模型的诊断研究的主要问题是:在已知模型的前提下,对于产生非常行为的系统通过逻辑推理的方法找到那些能解释这种非正常行为的故障部件.但对于模型不完备的系统诊断问题的讨论很少,本文首次提出了借助其他系统进行辅助诊断的思想,... 详细信息

基于模型的诊断研究的主要问题是:在已知模型的前提下,对于产生非常行为的系统通过逻辑推理的方法找到那些能解释这种非正常行为的故障部件.但对于模型不完备的系统诊断问题的讨论很少,本文首次提出了借助其他系统进行辅助诊断的思想,在此基础上提出了一种针对模型不完备条件下的诊断方法,使得经典的诊断方法对于模型的依赖程度有所降低,从而解决了模型不完备给诊断问题所带来的困难.最后将这种方法和模型完备时的诊断效果做了比较.

关键词：基于模型的诊断不完备模型诊断方法

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

2003中国计算机大会

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种不确定区域间的拓扑关系模型

引用

广西师范大学学报（自然科学版） 2003年第1期21卷 56-61页

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

空间区域间拓扑关系模型的发展是空间推理、地理信息系统(GIS)和计算机视觉等领域一个非常重要的主题,在实际应用中人们对不确定区域间的拓扑关系模型不断提出更高的要求,近年来受到相关领域研究者的极大关注.在分析已有模型的基础上给... 详细信息

空间区域间拓扑关系模型的发展是空间推理、地理信息系统(GIS)和计算机视觉等领域一个非常重要的主题,在实际应用中人们对不确定区域间的拓扑关系模型不断提出更高的要求,近年来受到相关领域研究者的极大关注.在分析已有模型的基础上给出了一种不确定区域间的拓扑关系模型,该模型具有较高的认知合理性,将分明区域作为不确定区域的特例来统一处理,推断过程简便直观,可以基于已知事实给出所有可能的拓扑关系供用户选择.

关键词：拓扑关系模型地理信息系统计算机视觉空间关系不确定区域空间推理

来源：评论

学校读者我要写书评

暂无评论

约束逻辑程序的一个新语义研究

引用

广西师范大学学报（自然科学版） 2003年第A01期21卷 1-5页

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

首先介绍了s-语义方法的基本思想,然后采用这种方法讨论了约束逻辑程序一个重要的可观察性特征——多重回答约束,并给出相应的语义,使得从语义角度反映了约束逻辑程序的并行特征,而且引入了一个新的关于程序等价的定义,从更严格的角度... 详细信息

首先介绍了s-语义方法的基本思想,然后采用这种方法讨论了约束逻辑程序一个重要的可观察性特征——多重回答约束,并给出相应的语义,使得从语义角度反映了约束逻辑程序的并行特征,而且引入了一个新的关于程序等价的定义,从更严格的角度分析了程序的等价,加深了对程序的理解,有助于程序员编写高效和简洁的程序,突出了约束逻辑程序设计系统作为程序设计语言的特征.

关键词：约束逻辑程序多重回答约束 s-语义

来源：评论

学校读者我要写书评

暂无评论

一种不确定区域间的拓扑关系模型

一种不确定区域间的拓扑关系模型

引用

第七届中国人工智能联合学术会议

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

空间区域间拓扑关系模型的发展是空间推理、地理信息系统(GIS)和计算机视觉等领域一个非常重要的主题,在实际应用中人们对不确定区域间的拓扑关系模型不断提出更高的要求,近年来受到相关领域研究者的极大关注,在分析已有模型的基础上给... 详细信息

空间区域间拓扑关系模型的发展是空间推理、地理信息系统(GIS)和计算机视觉等领域一个非常重要的主题,在实际应用中人们对不确定区域间的拓扑关系模型不断提出更高的要求,近年来受到相关领域研究者的极大关注,在分析已有模型的基础上给出了一种不确定区域间的拓扑关系模型,该模型具有较高的认知合理性,将分明区域作为不确定区域的特例来统一处理,推断过程简便直观,可以基于已知事实给出所有可能的拓扑关系供用户选择.

关键词：拓扑关系不确定区域空间推理空间区域

来源：评论

学校读者我要写书评

暂无评论

适用于决策表的快速属性约简算法

适用于决策表的快速属性约简算法

引用

2003中国计算机大会

作者：何雨果孙吉贵北京理工大学信息学院计算机科学工程系(北京) 吉林大学计算机科学与技术学院(长春) 吉林大学符号计算与知识工程教育部重点实验室(长春)

粗糙集理论在人工智能领域有着广泛的应用,而找到一个简式又是这些应用的关键所在.同时,属性约简也是知识发现中的重要问题.本文提出了一个新的适用于决策表的属性约简算法,并对算法做了最坏情况下的时空复杂性分析.该算法即使在最坏情... 详细信息

粗糙集理论在人工智能领域有着广泛的应用,而找到一个简式又是这些应用的关键所在.同时,属性约简也是知识发现中的重要问题.本文提出了一个新的适用于决策表的属性约简算法,并对算法做了最坏情况下的时空复杂性分析.该算法即使在最坏情况下仍具有比较良好的时空复杂性.由于最坏情况只是一种理论上的可能性,是一种极端情况,在通常的应用中,该算法的时空复杂性会好得多.因此该算法可应用于实际大型的数据库、知识库中.该算法稍做修改就可用于不一般的数据库,并用于非决策表中.

关键词：决策表属性约简简式数据库

来源：评论

学校读者我要写书评

暂无评论

从DEM中自动提取自然水系

引用

中国图象图形学报（A辑） 2002年第1期7卷 91-96页

作者：陈永良刘大有虞强源吉林大学计算机科学系长春130012 吉林大学符号计算与知识工程教育部重点实验室

为了从数字高程数据中自动提取区域水资源信息 ,以提高基于 GIS的区域水资源勘查评价工作的效率 ,提出了一种从 DEM中自动提取自然水系的实用方法 .该方法通过 DEM数据预处理 ,首先将其中的洼地和小平原改造成斜坡 ;然后依据水总是沿斜... 详细信息

为了从数字高程数据中自动提取区域水资源信息 ,以提高基于 GIS的区域水资源勘查评价工作的效率 ,提出了一种从 DEM中自动提取自然水系的实用方法 .该方法通过 DEM数据预处理 ,首先将其中的洼地和小平原改造成斜坡 ;然后依据水总是沿斜坡最陡方向流动的原理 ,确定 DEM中每一个栅格点的水流方向 ,再根据各点的水流方向数据 ,计算出每一个栅格点的上游给水区 ;接着 ,根据栅格点上游给水区数值 ,用阈值法确定水系栅格点 ,并对水系栅格点进行筛选 ;最后 ,根据水系栅格点的水流方向 ,将整个水系追索出来 ,另外 ,还用该方法对试验区的DEM数据进行了自动提取自然水系的试验 ,其结果与用手工方法提取的水系基本一致。

关键词：自然水系数字高程模型 GIS 自动提取 DEM 数据预处理区域水资源勘查评价

来源：评论

学校读者我要写书评

暂无评论

粗集公理组的极小化

引用

计算机学报 2002年第2期25卷 202-209页

作者：孙辉刘大有李文大连铁道学院电气信息分院大连116028 吉林大学符号计算与知识工程教育部重点实验室长春130012

粗集公理化是粗集理论研究的一个重要部分 ,它的目标是获得可靠和极小的粗集公理组 .以往文献在这一研究中取得了有意义的进展 ,给出了若干组粗集公理 .但是 ,它们在粗集公理的表示形式、粗集公理组的极小化以及粗集公理组的可靠性证明... 详细信息

粗集公理化是粗集理论研究的一个重要部分 ,它的目标是获得可靠和极小的粗集公理组 .以往文献在这一研究中取得了有意义的进展 ,给出了若干组粗集公理 .但是 ,它们在粗集公理的表示形式、粗集公理组的极小化以及粗集公理组的可靠性证明中 ,尚未达到粗集公理化的理想目标 .该文在以往文献的基础上 ,研究了粗集公理组的极小化 .首先 ,去除了现有粗集公理组中隐含着的冗余性 ,得到了更为精练的两组粗集公理 ,并证明了它们的可靠性 ;其次 ,定义了极小粗集公理组概念 ,并证明了给出的两组粗集公理是极小的 ;最后 ,讨论了一个典型粗集公理组 S5 。

关键词：极小化粗集公理组粗集理论人工智能

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：