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

计算机科学 2006年第11期33卷 5-9页

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

空间关系形式化模型的发展是空间推理、地理信息系统(GIS)、机器人导航等领域的一个非常重要的研究内容,近年来受到相关领域研究者的极大重视。空间对象的方向关系模型的研究已经取得了一定的进展。本文介绍了近年来空间对象的方向关系... 详细信息

空间关系形式化模型的发展是空间推理、地理信息系统(GIS)、机器人导航等领域的一个非常重要的研究内容,近年来受到相关领域研究者的极大重视。空间对象的方向关系模型的研究已经取得了一定的进展。本文介绍了近年来空间对象的方向关系形式化模型的主要研究内容、研究方法和研究进展,对已有的方向关系模型做了比较,并探讨了目前存在的问题和今后的发展方向。

关键词：方向关系空间推理空间对象

来源：评论

学校读者我要写书评

暂无评论

一种自动化软件设计改进方法

引用

软件学报 2006年第4期17卷 703-712页

作者：冯铁张家晨王洪媛金淳兆吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室吉林长春130012

面向对象的软件设计改进是增强系统的可扩展性、使之适应可能的需求变化的一种有效手段.提出一种基于CBR(casebasedreasoning)和微体系结构反模式的设计改进方法.该方法形式化地定义了在微体系结构层中不灵活的设计结构和相应的重构方... 详细信息

面向对象的软件设计改进是增强系统的可扩展性、使之适应可能的需求变化的一种有效手段.提出一种基于CBR(casebasedreasoning)和微体系结构反模式的设计改进方法.该方法形式化地定义了在微体系结构层中不灵活的设计结构和相应的重构方案的描述方法,研究了它们在事例库中的组织和索引机制.根据基于事例的推理技术的4R过程,提出了类图、顺序图、质量要素和语义约束的相似性度量方法,描述了在给定设计中识别反模式及其实例,并在此基础上,用高质量的设计方案进行替代的几种算法.以该方法为依据,进一步介绍了设计改进支撑系统——CBDIT(CBRbaseddesignimprovingtool)的体系结构的设计.

关键词：事例推理设计模式反模式软件演化重构

来源：评论

学校读者我要写书评

暂无评论

多Agent协商研究

引用

计算机研究与发展 2006年第z1期43卷 1-5页

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

首先对多Agent协商做了简单的介绍,阐述了协商、承诺、协定空间、个体评价、整体评价、优势、个体合理分配和帕累托最优分配等概念;然后对该领域近年来的研究成果进行了综述,包括拍卖、基于对策论的协商、基于启发式的协商、基于辩论的... 详细信息

首先对多Agent协商做了简单的介绍,阐述了协商、承诺、协定空间、个体评价、整体评价、优势、个体合理分配和帕累托最优分配等概念;然后对该领域近年来的研究成果进行了综述,包括拍卖、基于对策论的协商、基于启发式的协商、基于辩论的协商和基于兴趣的协商;最后给出了作者的观点.

关键词：多Agent协商拍卖对策论启发式辩论兴趣

来源：评论

学校读者我要写书评

暂无评论

移动Agent计算理论和形式化方法研究

引用

计算机研究与发展 2006年第z1期43卷 274-278页

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

研究了移动Agent计算的基础理论和形式化方法,包括π-演算、多态π演算、高阶π演算和环境演算等4种进程代数理论,分析了它们如何对Agent、位置、移动、通信、安全、命名、资源控制和动态配置等移动Agent计算的基本概念进行刻画,并比较... 详细信息

研究了移动Agent计算的基础理论和形式化方法,包括π-演算、多态π演算、高阶π演算和环境演算等4种进程代数理论,分析了它们如何对Agent、位置、移动、通信、安全、命名、资源控制和动态配置等移动Agent计算的基本概念进行刻画,并比较了它们刻画移动Agent计算的优缺点,在此基础上提出了移动概念的分类与抽象.

关键词：移动Agent π-演算环境演算进程代数

来源：评论

学校读者我要写书评

暂无评论

融合模拟退火的遗传算法在文档聚类中的应用

引用

计算机工程与应用 2006年第23期42卷 144-148页

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

为了准确高效地对网上获取的文档进行聚类,在布尔逻辑模型的基础上提出了一种改进的最优相似度搜索方法。该方法将模拟退火的思想融入到遗传算法当中,通过“撒种”操作将模拟退火算法的局部搜索能力以及遗传算法的全局搜索能力结合起来... 详细信息

为了准确高效地对网上获取的文档进行聚类,在布尔逻辑模型的基础上提出了一种改进的最优相似度搜索方法。该方法将模拟退火的思想融入到遗传算法当中,通过“撒种”操作将模拟退火算法的局部搜索能力以及遗传算法的全局搜索能力结合起来。实验表明,使用该混合算法对文档进行聚类,不仅搜索效率得到了提高,而且准确度优于使用传统的遗传算法。

关键词：布尔模型向量空间模型文档聚类遗传算法模拟退火

来源：评论

学校读者我要写书评

暂无评论

基于GIS的物业管理信息系统的设计与实现

引用

计算机应用研究 2006年第12期23卷 188-191页

作者：路霞孙吉贵李海涛吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室吉林长春130012 吉林大学公共计算机教学与研究中心吉林长春130012

详细论述了如何遵循Rational统一过程的思想,采用面向对象的分析和设计方法,使用UML建模语言进行系统分析与设计的全过程,主要包括需求分析、架构设计、详细设计、实施等。

关键词：地理信息系统 Rational统一过程面向对象的分析与设计 UML

来源：评论

学校读者我要写书评

暂无评论

稀疏二元约束满足问题的环割集粒子群算法(英文)

引用

广西师范大学学报（自然科学版） 2006年第4期24卷 135-138页

作者：杨轻云孙吉贵张居阳王纯杰吉林大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 复旦大学智能信息处理开放实验室上海200433 长春工业大学基础科学学院

提出了一个基于环割集的粒子群算法求解稀疏二元约束满足问题,把环割集和粒子群算法结合在一起,利用环割集减少粒子群算法中粒子的维数。用随机的稀疏二元约束满足问题进行实验,结果表明改进后的粒子群算法是有效的,迭代次数约为原算法... 详细信息

提出了一个基于环割集的粒子群算法求解稀疏二元约束满足问题,把环割集和粒子群算法结合在一起,利用环割集减少粒子群算法中粒子的维数。用随机的稀疏二元约束满足问题进行实验,结果表明改进后的粒子群算法是有效的,迭代次数约为原算法的十分之一,运行时间比原算法运行时间少约7倍。

关键词：二元约束满足问题粒子群算法环割集弧相容

来源：评论

学校读者我要写书评

暂无评论

多Agent协商研究

多Agent协商研究

引用

第一届Agent理论与应用学术会议

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

首先对多Agent协商做了简单的介绍,阐述了协商、承诺、协定空间、个体评价、整体评价、优势、个体合理分配和帕累托最优分配等概念;然后对该领域近年来的研究成果进行了综述,包括拍卖、基于对策论的协商、基于启发式的协商、基于辩论的协商和基于兴趣的协商;最后给出了作者的观点。

关键词：多Agent协商拍卖对策论启发式协定空间帕累托最优分配

来源：评论

学校读者我要写书评

暂无评论

一种基于多Agent系统的饲料配方优化算法

一种基于多Agent系统的饲料配方优化算法

引用

第一届Agent理论与应用学术会议

作者：姜丽刘大有杨博贾海洋金弟白岩吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

针对饲料配方问题的特殊性和复杂性,结合多Agent系统的特点,提出了基于多Agent系统的饲料配方优化算法,算法采用多Agent协商的方式对原料变量的取值进行多阶段调整.对于有最优解的问题,算法能够逼近最优解;对于没有最优解的问题,算法能... 详细信息

针对饲料配方问题的特殊性和复杂性,结合多Agent系统的特点,提出了基于多Agent系统的饲料配方优化算法,算法采用多Agent协商的方式对原料变量的取值进行多阶段调整.对于有最优解的问题,算法能够逼近最优解;对于没有最优解的问题,算法能够发现并忽略不可满足或相互冲突的约束,一方面避免了人为设定的不足,另一方面所得到的解优于传统目标规划方法得到的解。

关键词：多Agent系统饲料配方优化算法多Agent协商原料变量取值最优解

来源：评论

学校读者我要写书评

暂无评论

Internet相继故障分析与控制

Internet相继故障分析与控制

引用

2006全国复杂网络学术会议

作者：王健刘衍珩徐沛娟魏达田大新吉林大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室长春 130012

随着Internet的飞速发展,尤其是近几年用户数量和应用种类的急剧增加,使得Internet 中的某些节点处在高负荷工作状态。若对这些节点进行攻击,比如病毒攻击,会导致节点过载甚至无法正常工作,迫使数据包重新路由,从而引起其他路由器接连过... 详细信息

随着Internet的飞速发展,尤其是近几年用户数量和应用种类的急剧增加,使得Internet 中的某些节点处在高负荷工作状态。若对这些节点进行攻击,比如病毒攻击,会导致节点过载甚至无法正常工作,迫使数据包重新路由,从而引起其他路由器接连过载,产生相继故障。大规模的相继故障一旦发生,往往具有极强的破坏力和影响力。因此,有必要对Internet相继故障的发生机理和控制技术做深入研究。

关键词：复杂网络 Internet 相继故障网络拓扑 Kalman滤波器

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：