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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

2003中国计算机大会

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于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系统径向基函数神经网络支持向量机遗传算法

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

2003中国计算机大会

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于完备拟序的开放逻辑

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一个具有高安全性的移动Agent系统模板结构

引用

软件学报 2002年第1期13卷 130-135页

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

在分析现有的移动Agent系统的特点以及MASIF(mobile agent system interoperability facility)规范的基础上,给出了一个具有高安全性的移动Agent系统Jamogents及其模板结构,描述了其工作流程,并在重载Java类***的基础上实现了一种用于... 详细信息

在分析现有的移动Agent系统的特点以及MASIF(mobile agent system interoperability facility)规范的基础上,给出了一个具有高安全性的移动Agent系统Jamogents及其模板结构,描述了其工作流程,并在重载Java类***的基础上实现了一种用于加密和数字签名的算法RIM(RSA+IDEA+MD5).

关键词：移动Agent系统体系结构安全性模板结构 Internet 计算机网络

来源：评论

学校读者我要写书评

暂无评论

超声马达的频率温度特性分析

引用

吉林大学学报（理学版） 2002年第2期40卷 109-113页

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

提出一种有关超声马达频率温度特性的分析方法 .通过阐述超声马达内部压电元素的振动过程 ,分析影响超声马达频率温度特性的主要因素 ,并给出其共振频率随温度变化的解析表达式 ,为超声马达的构造、设计和控制等提供了可靠的理论依据 .... 详细信息

提出一种有关超声马达频率温度特性的分析方法 .通过阐述超声马达内部压电元素的振动过程 ,分析影响超声马达频率温度特性的主要因素 ,并给出其共振频率随温度变化的解析表达式 ,为超声马达的构造、设计和控制等提供了可靠的理论依据 .数值结果表明。

关键词：超声马达压电体频率温度特性驱动器共振频率温度效应驱动原理

来源：评论

学校读者我要写书评

暂无评论

预测及其主要模型的实现系统

引用

吉林大学学报（信息科学版） 2002年第4期20卷 58-63页

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

针对已有预测模型并不完善的问题 ,在总结现有的预测模型 (线性回归模型、时间序列分析、线性随机模型、神经网络模型等 )基础上 ,采用实验分析的方法提出一种新的加权模糊推理的预测模型及基于马尔科夫性的区间预测方法 ,给出了实现系... 详细信息

针对已有预测模型并不完善的问题 ,在总结现有的预测模型 (线性回归模型、时间序列分析、线性随机模型、神经网络模型等 )基础上 ,采用实验分析的方法提出一种新的加权模糊推理的预测模型及基于马尔科夫性的区间预测方法 ,给出了实现系统 ,经试验验证 ,这种模型是比较准确的 ,一般误差不超过 1 0 %。

关键词：预测模型加权模糊推理区间预测神经网络马尔科夫性预测系统

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：