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

计算机研究与发展 2006年第2期43卷 253-259页

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

结合了定性空间推理中著名的区域连接演算(region connection calculus,RCC)和基于区域的方向关系演算(cardinal direction calculus,CDC),并且给出两个演算在两个方向上的交互表,即RCC8-To-CDC和CDC-To-RCC8·给出了结合RCC8和CDC知识的约束满足问题的路径一致算法(path consis-tency algorithm)(该算法是对Allen著名的路径一致算法的修改),并且采用两个队列实现了该算法,采用这种结构可以实现并行计算·在该算法中,基于以上两个交互表的交互操作被嵌入到算法里面来保证整个约束满足问题的一致性·算法的计算复杂性证明是多项式的·

关键词：定性空间推理约束满足问题路径一致算法计算复杂性

来源：评论

学校读者我要写书评

暂无评论

用于移动路径预测的混合Markov模型

引用

通信学报 2006年第12期27卷 61-69页

作者：余雪岗刘衍珩魏达田明吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室吉林长春130012

分析了移动路径预测的已有方案,指出了各方案存在的问题。针对预测性能相对较好的K阶Markov预测器存在的状态空间膨胀问题,以2阶Markov预测器为例,提出了2步Markov模型,并验证了其在WLAN上的可行性。在此基础上,提出了一个混合多步Marko... 详细信息

分析了移动路径预测的已有方案,指出了各方案存在的问题。针对预测性能相对较好的K阶Markov预测器存在的状态空间膨胀问题,以2阶Markov预测器为例,提出了2步Markov模型,并验证了其在WLAN上的可行性。在此基础上,提出了一个混合多步Markov模型,并利用EM算法估计多个单步Markov模型的混合系数。该混合模型状态空间的复杂度为O(N),而2阶Markov模型为O(N2),其中,N为WLAN中的AP数目;混合模型的存储空间需求为O(N2),而2阶Markov模型为O(N3)。最后通过基于条件熵与误差向量2阶范数的计算分析以及基于实际数据集的实践分析表明,该混合模型能够以比2阶Markov模型小得多的空间代价获得与2阶Markov模型相似的预测精度和普适性,具有较高的实时在线应用价值。

关键词：路径预测 Markov预测器状态空间膨胀混合 EM算法

来源：评论

学校读者我要写书评

暂无评论

一种基于语义tableau的数据库修正方法

引用

计算机科学 2006年第6期33卷 109-111页

作者：刘全凌兴宏张宏斌孙吉贵苏州大学计算机科学与技术学院吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学符号计算与知识工程教育部重点实验室

tableau作为自动推理的有效方法之一在许多人工智能领域中有重要的应用。在tableau基础上,提出新的tableau开放和封闭的推理标准,应用于数据库实例不满足完整性约束的不相容关系数据库中,并对其进行修正。这样可以采用逻辑程序的方法,... 详细信息

tableau作为自动推理的有效方法之一在许多人工智能领域中有重要的应用。在tableau基础上,提出新的tableau开放和封闭的推理标准,应用于数据库实例不满足完整性约束的不相容关系数据库中,并对其进行修正。这样可以采用逻辑程序的方法,对数据库进行修正,解决了传统修正方法丢失信息、出现新的不相容等问题。

关键词： tableau 完整性约束数据库修正

来源：评论

学校读者我要写书评

暂无评论

基于隐马尔可夫模型和免疫粒子群优化的多序列比对算法

引用

计算机研究与发展 2006年第8期43卷 1330-1336页

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

序列的多重比对是生物序列分析研究中的一个重要内容·基于免疫系统的疫苗接种和受体编辑模型,结合粒子群优化方法提出了一种免疫粒子群优化算法,将该算法用于隐马尔可夫模型的学习过程,进而构建了一种基于隐马尔可夫模型和免疫粒... 详细信息

序列的多重比对是生物序列分析研究中的一个重要内容·基于免疫系统的疫苗接种和受体编辑模型,结合粒子群优化方法提出了一种免疫粒子群优化算法,将该算法用于隐马尔可夫模型的学习过程,进而构建了一种基于隐马尔可夫模型和免疫粒子群优化的多序列比对算法·从BAliBASE比对数据库中选取了一些比对例子进行了模拟计算,并与Baum-Welch算法进行了比较·结果表明,所提出的方法不仅提高了比对的准确程度,而且缩减了比对所花费的时间·

关键词：隐马尔可夫模型粒子群优化免疫系统多序列比对

来源：评论

学校读者我要写书评

暂无评论

一种优化模糊神经网络的多目标微粒群算法

引用

计算机研究与发展 2006年第12期43卷 2104-2109页

作者：马铭周春光张利彪马捷北华大学信息管理中心吉林132013 吉林大学计算机科学与技术学院教育部符号计算与知识工程重点实验室长春130012

模糊神经网络优化是一个多目标优化问题·通过对模糊神经网络和微粒群算法的深入分析,提出了一种多目标微粒群算法·在算法中将网络的精确性和复杂性分别作为目标进行优化,再用一种启发性分量加权均值法来选取个体极值和全局极... 详细信息

模糊神经网络优化是一个多目标优化问题·通过对模糊神经网络和微粒群算法的深入分析,提出了一种多目标微粒群算法·在算法中将网络的精确性和复杂性分别作为目标进行优化,再用一种启发性分量加权均值法来选取个体极值和全局极值·算法能够引导粒子较快地向非劣最优解区域移动并最终获得多个非劣最优解,为模糊神经网络的精确性和复杂性的折中寻优问题提供了一种解决方法·茶味觉信号识别的仿真实验验证了该算法的有效性·

关键词：模糊神经网络微粒群算法多目标优化

来源：评论

学校读者我要写书评

暂无评论

多Agent协商研究

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于抽象-验证-细化范例的软件模型检测

引用

计算机科学 2006年第12期33卷 255-260页

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

如何保证软件系统的正确性和可靠性是当前软件开发面临的主要问题之一。模型检测作为一种重要的自动化验证技术在软件的分析与验证中正取得越来越多的成功。本文以微软的SLAM和加州大学伯克利分校的BLAST为例综述性地介绍了基于抽象-验... 详细信息

如何保证软件系统的正确性和可靠性是当前软件开发面临的主要问题之一。模型检测作为一种重要的自动化验证技术在软件的分析与验证中正取得越来越多的成功。本文以微软的SLAM和加州大学伯克利分校的BLAST为例综述性地介绍了基于抽象-验证-细化范例的软件模型检测。

关键词：模型检测软件模型检测谓词抽象反例驱动的细化

来源：评论

学校读者我要写书评

暂无评论

一种基于移动代理的自主拍卖模型

引用

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

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

Agent的自治性和移动性为网络环境下的电子商务活动提供了许多潜在优点.拍卖是一种典型的商务活动,基于Agent的自主拍卖是传统拍卖方式的一个发展趋势,具有广泛应用前景.重点研究了建立自主拍卖系统所涉及的主要问题,包括拍卖大厅建模... 详细信息

Agent的自治性和移动性为网络环境下的电子商务活动提供了许多潜在优点.拍卖是一种典型的商务活动,基于Agent的自主拍卖是传统拍卖方式的一个发展趋势,具有广泛应用前景.重点研究了建立自主拍卖系统所涉及的主要问题,包括拍卖大厅建模、拍卖大厅查询、交易对象定位、拍卖过程同步和出价策略等.基于移动Agent和博奕理论,提出了一种自主拍卖模型.该模型支持一次价格密封标价拍卖和双边拍卖两种拍卖机制.模型中的Agent接受拍卖任务后能够自动搜寻拍卖大厅、自主参与拍卖过程并向其所有者返回拍卖结果.

关键词：电子商务移动Agent 一次价格密封标价拍卖双边拍卖

来源：评论

学校读者我要写书评

暂无评论

一种不确定区域间的方向关系模型

引用

吉林大学学报（理学版） 2006年第5期44卷 748-753页

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

基于区间值及其运算性质给出了不确定区域间方向关系的表示及推理方法.该方法不同于基于经典模糊集及其截集的方向关系模型,利用区间值方向关系矩阵分析不确定区域间方向关系的隶属程度,将不确定区域间的方向关系划分为不确定区域与不... 详细信息

基于区间值及其运算性质给出了不确定区域间方向关系的表示及推理方法.该方法不同于基于经典模糊集及其截集的方向关系模型,利用区间值方向关系矩阵分析不确定区域间方向关系的隶属程度,将不确定区域间的方向关系划分为不确定区域与不确定区域间的方向关系、不确定区域与分明区域间的方向关系、分明区域与不确定区域间的方向关系、分明区域与分明区域的方向关系4种类型.将分明区域作为不确定区域的特例统一处理.

关键词：方向关系不确定区域空间推理

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

关键词：多Agent系统饲料配方优化算法多Agent协商

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：