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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

2003中国计算机大会

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于RBF神经网络与遗传算法的Agent初始位置优化

引用

吉林大学学报（信息科学版） 2003年第4期21卷 382-386页

作者：吴春国梁艳春葛宏伟吉林大学计算机科学与技术学院国家教育部符号计算与知识工程重点实验室吉林长春130012 吉林大学数学学院吉林长春130012

以陆地作战训练模型为背景,研究了多Agent系统中Agent初始属性的优化问题,提出了一种径向基函数(RBF:RadialBasisFunction)神经网络与遗传算法(GA:GeneticAlgorithm)相结合的、对作战训练模型中Agent的初始位置进行优化的方法。与已有... 详细信息

以陆地作战训练模型为背景,研究了多Agent系统中Agent初始属性的优化问题,提出了一种径向基函数(RBF:RadialBasisFunction)神经网络与遗传算法(GA:GeneticAlgorithm)相结合的、对作战训练模型中Agent的初始位置进行优化的方法。与已有的优化方法相比,该方法不仅优化效果得到明显的提高,而且执行效率可以提高20余倍,更适于处理对执行效率要求较高的优化问题。

关键词：多Agent系统径向基函数神经网络支持向量机遗传算法

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

2003中国计算机大会

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

从DEM中自动提取自然水系

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种线性表示的遗传程序设计方法研究

引用

计算机研究与发展 2002年第10期39卷 1254-1260页

作者：刘大有卢奕南张弘梁艳春吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

遗传程序设计领域中的一个重要研究内容是如何有效地表示进化的个体 (计算机程序 ) .对采用树的线性后缀形式的个体进行位置信息编码以实现多种形式的遗传操作 ,并给出形式化定义 ,设计并实现了一个基于栈的遗传程序设计算法 ,通过模拟... 详细信息

遗传程序设计领域中的一个重要研究内容是如何有效地表示进化的个体 (计算机程序 ) .对采用树的线性后缀形式的个体进行位置信息编码以实现多种形式的遗传操作 ,并给出形式化定义 ,设计并实现了一个基于栈的遗传程序设计算法 ,通过模拟实验比较了各操作的性能 .这种编码方式可以扩展到程序的线性结构中 ,以实现特定的遗传操作 ,显示出线性表示法具有适于解决不同问题的可行性和灵活性 ;还给出了基于串的一点交叉的线性遗传程序设计的模式理论。

关键词：线性表示遗传程序设计方法遗传算法模式生成

来源：评论

学校读者我要写书评

暂无评论

粗集公理组的极小化

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于完备拟序的开放逻辑

引用

计算机学报 2002年第12期25卷 1441-1444页

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

开放逻辑是一个可以刻画知识的增长、更新以及假说的进化的逻辑理论 ,它开辟了常识推理研究一条新途径 ,并在机器学习、知识获取、故障诊断及知识库维护等领域有广泛的应用 .基本的开放逻辑不能体现认知主体对所拥有的知识在相信程度上... 详细信息

开放逻辑是一个可以刻画知识的增长、更新以及假说的进化的逻辑理论 ,它开辟了常识推理研究一条新途径 ,并在机器学习、知识获取、故障诊断及知识库维护等领域有广泛的应用 .基本的开放逻辑不能体现认知主体对所拥有的知识在相信程度上的区别 ,为此 ,文中给出了基于完备拟序的开放逻辑 .该文采用假说上的完备拟序刻画信度区别 ,给出了新的重构概念 ,讨论了假说及完备拟序在知识进化过程中的更新 ,定义了新的认识进程并证明了所定义的认识进程具有收敛性 .

关键词：完备拟序开放逻辑重构认识进程收敛性

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：