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

第六届全国几何设计与计算学术会议

作者：胡建平吴晓旭王辉刘秀平谢琪东北电力大学理学院吉林大学符号计算与知识工程教育部重点实验室大连理工大学数学科学学院石家庄铁道大学信息与科学技术学院

EMD(经验模态分解)作为处理非平稳信号的一种有效工具,近年来在数字几何处理领域开始受到关注。但是现有的曲面上EMD方法对于向量值函数采用对每个分量单独处理的方式进行分解,忽略了各个分量之间的相关性。为此,本文提出了一种曲面上... 详细信息

EMD(经验模态分解)作为处理非平稳信号的一种有效工具,近年来在数字几何处理领域开始受到关注。但是现有的曲面上EMD方法对于向量值函数采用对每个分量单独处理的方式进行分解,忽略了各个分量之间的相关性。为此,本文提出了一种曲面上向量值函数的EMD方法。方法通过流形薄板样条插值计算向量值函数的包络,并建立向量值函数的筛分停止准则进行整体筛分;同时针对带有边界的曲面,通过在边界处引入附加的极值点作为约束,减少了现有的曲面上EMD方法进行分解时出现的边界效应。通过对典型的三维几何模型进行实验显示本文方法能够取得较好的效果。

关键词：向量值函数 EMD 流形薄板样条整体筛分

来源：评论

学校读者我要写书评

暂无评论

一致性规划中互斥常量合成方法研究

引用

计算机研究与发展 2012年第6期49卷 1279-1287页

作者：赵晶晶刘大有蔡敦波吉林大学计算机科学与技术学院长春130012 长春工业大学工商管理学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

为压缩一致性规划的状态空间,并加快一致性规划的求解速度,将常量引入到一致性规划中,定义一致性规划中的常量,形成新的知识表示"多值一致性规划任务",定义多值一致性规划动作模型,提出一致性规划常量合成方法,给出一致性规... 详细信息

为压缩一致性规划的状态空间,并加快一致性规划的求解速度,将常量引入到一致性规划中,定义一致性规划中的常量,形成新的知识表示"多值一致性规划任务",定义多值一致性规划动作模型,提出一致性规划常量合成方法,给出一致性规划常量合成算法.该方法利用常量的特性在所有初始世界状态和所有实例动作中猜测、验证常量.理论分析和实验结果表明该算法能合成正确的一致性规划常量,生成多值一致性规划任务.为说明一致性规划常量的应用效果,把生成的多值一致性规划任务与规划解重用启发式结合求一致性规划解,并与规划系统CFF进行对比实验.实验结果表明求解质量和效率较高.

关键词：智能规划多值规划任务一致性规划常量合成启发式应用

来源：评论

学校读者我要写书评

暂无评论

一种动态定性空间关系自动规划方法

引用

软件学报 2012年第10期23卷 2564-2571页

作者：宋小华欧阳丹彤吉林大学计算机科学与技术学院吉林长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012 空军航空大学数学应用中心吉林长春130022

为解决定性空间关系的规划问题,在概念邻域图的基础上提出描述动作与定性空间关系交互的邻域划分图.基于邻域划分图,提出了定性空间关系自动规划的形式化表示和推理算法,证明了算法的可靠性,并举例说明了新方法的应用.该方法在处理单方... 详细信息

为解决定性空间关系的规划问题,在概念邻域图的基础上提出描述动作与定性空间关系交互的邻域划分图.基于邻域划分图,提出了定性空间关系自动规划的形式化表示和推理算法,证明了算法的可靠性,并举例说明了新方法的应用.该方法在处理单方面空间关系规划中具有用通用性,在机器人导航方面具有潜在的应用前景.

关键词：定性空间推理自动规划邻域划分图概念邻域图

来源：评论

学校读者我要写书评

暂无评论

混成系统的分布式诊断方法

引用

吉林大学学报（工学版） 2012年第6期42卷 1498-1504页

作者：赵剑欧阳丹彤王晓宇张立明吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 长春大学计算机科学技术学院长春130022

提出了一种基于分布式自动机模型的混成系统故障诊断方法。在分布式自动机模拟的混合键合图方法下,设计并实现了系统诊断。能够在系统模式动态改变时根据相应的时间因果图模型自动生成分布式时间因果图和分布式自动机。故障发生时,根据... 详细信息

提出了一种基于分布式自动机模型的混成系统故障诊断方法。在分布式自动机模拟的混合键合图方法下,设计并实现了系统诊断。能够在系统模式动态改变时根据相应的时间因果图模型自动生成分布式时间因果图和分布式自动机。故障发生时,根据生成的时间因果图在分布自动机内进行诊断。分布式自动机将诊断空间分解成较小规模,从而提高了诊断效率。最后,在三容水箱模型标准测试样例上进行了系统测试,结果验证了本文方法具有较高的正确性及处理效率。

关键词：人工智能基于模型的诊断混成系统混合键合图分布式诊断

来源：评论

学校读者我要写书评

暂无评论

一种针对于描述子的SIFT简化方法

引用

仪器仪表学报 2012年第10期33卷 2255-2262页

作者：戴金波赵宏伟刘君玲冯嘉吉林大学计算机科学与技术学院长春130012 长春师范学院计算机科学与技术学院长春130032 吉林大学符号计算与知识工程教育部重点实验室长春130012

由于目前的SIFT(scale invariant feature transform)特征提取算法具有较高的时间复杂度,不利于大规模的数据存储和搜索,提出一种简化的SIFT局部图像特征提取算法。改进的SIFT算法针对于描述子生成部分进行简化,将原算法中特征点描述子... 详细信息

由于目前的SIFT(scale invariant feature transform)特征提取算法具有较高的时间复杂度,不利于大规模的数据存储和搜索,提出一种简化的SIFT局部图像特征提取算法。改进的SIFT算法针对于描述子生成部分进行简化,将原算法中特征点描述子的矩形区域改为圆形区域,并将RANSAC(random sample consensus)算法应用于SIFT特征匹配中,有效地剔除错误匹配点。采用***的衡量方法,即查全率和错误率进行评估。实验结果显示,算法在旋转、光照、视角变化等情况下都有很好的匹配效果,并且降低了时间复杂度。

关键词： SIFT(scale invariant feature transform) 视觉不变量 RANSAC(random sample consensus)

来源：评论

学校读者我要写书评

暂无评论

改进求解约束满足问题粗粒度弧相容算法

引用

软件学报 2012年第7期23卷 1816-1823页

作者：李宏博李占山王涛吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 长春工业大学计算机科学与工程学院吉林长春130012

约束满足问题在人工智能领域有着广泛的应用.研究了约束满足问题的粗粒度维持弧相容求解算法,发现在求解过程中,对于指向已赋值变量的弧存在无效的修正检查,证明了这类修正检查是冗余的.提出一种方法避免这类冗余的修正检查,给出改进后... 详细信息

约束满足问题在人工智能领域有着广泛的应用.研究了约束满足问题的粗粒度维持弧相容求解算法,发现在求解过程中,对于指向已赋值变量的弧存在无效的修正检查,证明了这类修正检查是冗余的.提出一种方法避免这类冗余的修正检查,给出改进后的粗粒度弧相容算法的基本框架AC3_frame_ARR,该改进框架可用于改进所有粗粒度弧相容算法.实验结果表明,经过AC3_frame_ARR改进后的算法最多可以节省80%的修正检查次数和40%的求解耗时.

关键词：约束满足问题维持弧相容粗粒度算法修正检查

来源：评论

学校读者我要写书评

暂无评论

基于主成分分析的粒子滤波器目标跟踪方法

引用

吉林大学学报（理学版） 2012年第6期50卷 1156-1162页

作者：王欣赵连义薛龙吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

提出一种基于主成分分析的粒子滤波器目标跟踪新方法.该方法将主成分分析法和传统的粒子滤波方法相结合,避免了传统粒子滤波器的过度重采样,提高了目标跟踪精度.实验结果表明,该方法对单个目标跟踪精度高,且对多障碍物下的目标跟踪精度... 详细信息

提出一种基于主成分分析的粒子滤波器目标跟踪新方法.该方法将主成分分析法和传统的粒子滤波方法相结合,避免了传统粒子滤波器的过度重采样,提高了目标跟踪精度.实验结果表明,该方法对单个目标跟踪精度高,且对多障碍物下的目标跟踪精度也较高,适用于复杂背景下的人脸跟踪.与传统粒子滤波方法相比,该方法提高了目标跟踪的精度和鲁棒性,避免了粒子退化和粒子贫化.

关键词：目标跟踪粒子滤波算法主成分分析法重采样

来源：评论

学校读者我要写书评

暂无评论

基于小生境改进粒子群算法的几何约束求解

引用

仪器仪表学报 2012年第9期33卷 2125-2129页

作者：曹春红王利民赵大哲张斌东北大学信息科学与工程学院沈阳110819 占林大学符号计算与知识工程教育部重点实验室长春130012 东北大学医学影像计算教育部重点实验室沈阳110819 吉林大学计算机科学与技术学院长春130012

几何约束问题可以等价为求解非线性方程组问题。几何约束问题先被转化为一个优化问题。采用基于小生境改进粒子群优化算法来求解该优化问题。由于经典粒子群优化算法容易陷入局部最优,出现早熟现象。为此,基于小生境原理,提出一种小生... 详细信息

几何约束问题可以等价为求解非线性方程组问题。几何约束问题先被转化为一个优化问题。采用基于小生境改进粒子群优化算法来求解该优化问题。由于经典粒子群优化算法容易陷入局部最优,出现早熟现象。为此,基于小生境原理,提出一种小生境改进粒子群优化算法(niche improved particle swarm optimization,NIPSO)。该算法在进行速度和位置更新后,根据小生境数确定个体历史最好位置中的孤立点。然后对所有个体历史最好值差于孤立点值的粒子使用交叉和选择算子进行更新。实验表明,该方法可以提高几何约束求解的效率和收敛性。

关键词：几何约束求解粒子群优化算法小生境孤立点

来源：评论

学校读者我要写书评

暂无评论

基于时序的离散事件系统的可诊断性

引用

计算机科学 2012年第8期39卷 210-214,251页

作者：李占山陈超叶寒锋吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学计算机科学与技术学院长春130012

提出一种基于事件之间的时序关系判定可诊断性的方法。首先通过添加通讯事件把全局模型分解成几个局部模型来缩减模型的规模,删除局部模型中的无用路径以降低状态空间;其次利用通讯事件和可观测事件之间的时序关系,对受限局部模型的可... 详细信息

提出一种基于事件之间的时序关系判定可诊断性的方法。首先通过添加通讯事件把全局模型分解成几个局部模型来缩减模型的规模,删除局部模型中的无用路径以降低状态空间;其次利用通讯事件和可观测事件之间的时序关系,对受限局部模型的可诊断性进行判定,得出几个判定性质,然后把这些性质运用到局部模型的可诊断性判定中,以避免同步操作的高复杂性;最后通过实例对可诊断性判定的过程进行分析。

关键词：模型分解受限局部模型可诊断性

来源：评论

学校读者我要写书评

暂无评论

双精英协同进化遗传算法

引用

软件学报 2012年第4期23卷 765-775页

作者：刘全王晓燕傅启明张永刚章晓芳苏州大学计算机科学与技术学院江苏苏州215006 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093

针对传统遗传算法早熟收敛和收敛速度慢的问题,提出一种双精英协同进化遗传算法(double elitecoevolutionary genetic algorithm,简称DECGA).该算法借鉴了精英策略和协同进化的思想,选择两个相异的、高适应度的个体(精英个体)作为进化... 详细信息

针对传统遗传算法早熟收敛和收敛速度慢的问题,提出一种双精英协同进化遗传算法(double elitecoevolutionary genetic algorithm,简称DECGA).该算法借鉴了精英策略和协同进化的思想,选择两个相异的、高适应度的个体(精英个体)作为进化操作的核心,两个精英个体分别按照不同的评价函数来选择个体,组成各自的进化子种群.两个子种群分别采用不同的进化策略,以平衡算法的勘探和搜索能力.理论分析证明,该算法具有全局收敛性.通过对测试函数的实验,其结果表明,该算法能搜索到几乎所有测试函数的最优解,同时能够有效地保持种群的多样性.与已有算法相比,该算法在收敛速度和搜索全局最优解上都有了较大的改进和提高.

关键词：遗传算法进化算法精英策略协同进化种群多样性

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：