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

山西大学学报(自然科学版) 2013年第3期36卷 325-330页

作者：曹春红王鹏东北大学信息科学与工程学院东北大学医学影像计算教育部重点实验室吉林大学符号计算与知识工程教育部重点实验室

针对参数化设计中的几何约束求解问题,提出一个新的分解算法.通过在约束图中引入结点的度的概念,根据在完备约束图中度为2的结点所特有的性质借鉴Joan-Arinyo经典算法,提出新的几何约束分解算法.为使新算法解决与Joan-Arinyo的算法所能... 详细信息

针对参数化设计中的几何约束求解问题,提出一个新的分解算法.通过在约束图中引入结点的度的概念,根据在完备约束图中度为2的结点所特有的性质借鉴Joan-Arinyo经典算法,提出新的几何约束分解算法.为使新算法解决与Joan-Arinyo的算法所能解决的同类问题,基于Joan-Arinyo的算法与新算法的共同点进而提出新的合并算法.合并后的算法与Joan-Arinyo的算法在使用范围上相同,但在概念上更简单且更容易实现.

关键词：几何约束求解分解分析结点的度

来源：评论

学校读者我要写书评

暂无评论

基于AC与LmaxRPC的自适应约束传播求解算法

引用

湖南大学学报（自然科学版） 2013年第7期40卷 86-91页

作者：王海燕欧阳丹彤张永刚杨明明吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 吉林师范大学计算机学院吉林四平136000

在现有自适应约束求解方法基础上,提出一种新的自适应约束传播求解算法ADAPTAC-LmaxRPC.该算法能根据约束的不同特性,在传播能力强但开销高的LmaxRPC与传播能力弱却开销低的AC之间自适应地切换进行约束传播.多个Benchmark实例类上的测... 详细信息

在现有自适应约束求解方法基础上,提出一种新的自适应约束传播求解算法ADAPTAC-LmaxRPC.该算法能根据约束的不同特性,在传播能力强但开销高的LmaxRPC与传播能力弱却开销低的AC之间自适应地切换进行约束传播.多个Benchmark实例类上的测试实验数据表明,ADAPTAC-LmaxRPC算法有效地平衡了求解效率和算法开销之间的矛盾,大幅度提高了约束求解的效率.

关键词：人工智能约束程序约束满足问题自适应约束求解约束传播

来源：评论

学校读者我要写书评

暂无评论

结合look-ahead值排序的自适应分支求解算法

引用

通信学报 2013年第6期34卷 102-107页

作者：王海燕欧阳丹彤张永刚张良吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 吉林师范大学计算机学院吉林四平136000

基于新近提出的自适应分支约束求解框架,结合look-ahead值启发式,提出一种新的约束求解算法AdaptBranchLVO。为验证算法效率,在标准测试库上进行了充分对比实验。结果表明,新提出算法在效率上明显优于已有的自适应分支求解算法。

关键词：约束满足问题约束求解自适应分支 look-ahead值启发式

来源：评论

学校读者我要写书评

暂无评论

基于tableau结点封闭值的非一致性数据库开放分支修复方法

引用

计算机科学 2013年第4期40卷 177-180,208页

作者：高龙刘全傅启明李娇苏州大学计算机科学与技术学院苏州215006 吉林大学符号计算与知识工程教育部重点实验室长春130012

在将tableau方法扩展到非一致性数据库修复的基础上,提出一种新的利用分支封闭值修复数据库的方法。该方法结合tableau分析法的开放和封闭推理标准,以开放公式树TP(IC∪r)分支为基础,为公式树TP(IC∪r)中每个结点引入一个结点封闭值。根... 详细信息

在将tableau方法扩展到非一致性数据库修复的基础上,提出一种新的利用分支封闭值修复数据库的方法。该方法结合tableau分析法的开放和封闭推理标准,以开放公式树TP(IC∪r)分支为基础,为公式树TP(IC∪r)中每个结点引入一个结点封闭值。根据TP(IC∪r)中结点封闭值的定义,通过计算TP(IC∪r)的结点封闭值来选择分支进行开放修复,从而可以直接确定数据库的修复实例,同时考虑了含有I封闭的修复,将开放修复扩展到含有I封闭的TP(IC∪r),并给予逻辑证明。最后,对于一致性应答结果的逻辑特征予以证明。

关键词： tableau 非一致性数据库封闭值开放修复

来源：评论

学校读者我要写书评

暂无评论

基于多Agent并行采样和学习经验复用的E^3算法

引用

吉林大学学报（工学版） 2013年第1期43卷 135-140页

作者：刘全杨旭东荆玲肖飞苏州大学计算机科学与技术学院江苏苏州215006 吉林大学符号计算与知识工程教育部重点实验室长春130012 南京大学计算机科学与技术系南京210093

针对E3算法所需的收敛时间界限太大,在实际问题中难以有效应用的问题,提出了一种基于多Agent并行采样和学习经验复用的改进算法。该算法在探索阶段,通过多Agent并行采样,快速收集模型信息,加速了模型构建过程;在利用阶段,通过保留最优... 详细信息

针对E3算法所需的收敛时间界限太大,在实际问题中难以有效应用的问题,提出了一种基于多Agent并行采样和学习经验复用的改进算法。该算法在探索阶段,通过多Agent并行采样,快速收集模型信息,加速了模型构建过程;在利用阶段,通过保留最优值函数的方式复用算法的学习经验,提高了算法迭代计算值函数的效率。仿真实验结果表明,所提方法与原始的E3算法相比,在收敛速度和精度方面都具有很大的提高,与其他两种并行强化学习方法相比也具有很大的性能优势。

关键词：人工智能强化学习 E3算法多Agent 并行采样学习经验复用

来源：评论

学校读者我要写书评

暂无评论

基于典型相关分析的复杂网络模块挖掘算法

引用

吉林大学学报（工学版） 2013年第2期43卷 424-428页

作者：叶育鑫赵建民莫毓昌欧阳丹彤刘华文吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 浙江师范大学数理与信息工程学院浙江金华321004

利用典型相关分析(CCA)分析了复杂网络中的功能模块及其相互关系,并将其转化为LASSO回归优化问题,提高了结果的可解释性。在此基础上,提出了一种模块及其相互关系的挖掘算法。该算法不仅能准确挖掘网络中的功能模块,而且还能同时度量模... 详细信息

利用典型相关分析(CCA)分析了复杂网络中的功能模块及其相互关系,并将其转化为LASSO回归优化问题,提高了结果的可解释性。在此基础上,提出了一种模块及其相互关系的挖掘算法。该算法不仅能准确挖掘网络中的功能模块,而且还能同时度量模块之间的相关程度。人工生成数据集和DBLP数据集上的模拟实验表明,提出的算法能准确地挖掘网络中的功能模块及其相关性。

关键词：计算机软件复杂网络功能模块社交网络分析典型相关分析

来源：评论

学校读者我要写书评

暂无评论

三个简单区域间的拓扑关系的表示模型

引用

吉林大学学报（工学版） 2013年第1期43卷 117-122页

作者：李健欧阳继红王振鑫汪威吉林大学计算机科学与技术学院长春130012 吉林农业大学信息技术学院长春130118 吉林大学符号计算与知识工程教育部重点实验室长春130012

空间拓扑关系的研究多数集中在两个区域间的拓扑关系上,对两个以上区域间拓扑关系的研究则很少。本文通过扩展4-交集矩阵得到8-交集模型,对三个简单区域间空间关系进行表示,并给出了三个简单区域间的109种拓扑关系图。与分别表示出三个... 详细信息

空间拓扑关系的研究多数集中在两个区域间的拓扑关系上,对两个以上区域间拓扑关系的研究则很少。本文通过扩展4-交集矩阵得到8-交集模型,对三个简单区域间空间关系进行表示,并给出了三个简单区域间的109种拓扑关系图。与分别表示出三个简单区域间两两拓扑关系的4-交集矩阵方法相比,本文提出的8-交集矩阵表示法能直接对三个简单区域间的拓扑关系进行表示,且新增了56种基本关系,表达力更强。证明了8-交集模型中基本关系的完备性和互斥性,给出算法并通过程序验证了三个简单区域间至多有109种可实现的拓扑关系,并给出了109种三元拓扑关系的概念领域图。

关键词：人工智能三元拓扑关系简单区域区域连接演算 8-交集矩阵

来源：评论

学校读者我要写书评

暂无评论

用于剪纸文化计算的数据存储模型

引用

吉林大学学报（工学版） 2013年第1期43卷 152-157页

作者：李明鑫李雄飞张金峰吉林大学计算机科学与技术学院长春130012 东北师范大学计算机科学与信息技术学院长春130117 吉林大学符号计算与知识工程教育部重点实验室长春130012

针对剪纸图案的数字化表示、内容检索与文化计算问题,构建了一种XML数据存储模型。该模型不仅能实现从剪纸图像到XML数据的双向转换,并能为剪纸内容检索、数据挖掘与文化计算准备数据。为了评价该模型的可行性和优越性,测试了模型对发... 详细信息

针对剪纸图案的数字化表示、内容检索与文化计算问题,构建了一种XML数据存储模型。该模型不仅能实现从剪纸图像到XML数据的双向转换,并能为剪纸内容检索、数据挖掘与文化计算准备数据。为了评价该模型的可行性和优越性,测试了模型对发现已知文化规律的支持能力。研究结果表明,在增加必要的结构信息与特征信息后,基于模型的数据集具备支持数据挖掘与文化计算的能力。本文有关模型的设计思路同样适用于其他非文本资源。

关键词：计算机软件知识工程数据存储模型文化计算剪纸

来源：评论

学校读者我要写书评

暂无评论

智能世界的建模与诊断

引用

计算机研究与发展 2013年第9期50卷 1954-1962页

作者：王楠欧阳丹彤孙善武吉林财经大学管理科学与信息工程学院长春130117 物流产业经济与智能物流吉林省重点实验室(吉林财经大学) 长春130117 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012 吉林大学通信与工程学院长春130012

统一的抽象建模框架以及形式化表示可以帮助实现自动推理.随着物联网技术的发展,物理世界中嵌入了各种智能对象,改变了物理世界的部分特征,增加了建模和推理的复杂性.根据物联网带来的智能世界的特征,在知识重构与抽象模型(KRA模型)的... 详细信息

统一的抽象建模框架以及形式化表示可以帮助实现自动推理.随着物联网技术的发展,物理世界中嵌入了各种智能对象,改变了物理世界的部分特征,增加了建模和推理的复杂性.根据物联网带来的智能世界的特征,在知识重构与抽象模型(KRA模型)的统一建模框架基础上,提出了可区分的知识重构与抽象模型(dKRA模型).该模型通过3个相互关联的子模型及其之间的关系来表示智能世界,并给出相关定义和定理说明在所提出的模型框架内,可以将基于模型的诊断过程限制在一个(或多个)子模型中.研究内容侧重于系统设计阶段的模型验证,分别从理论和实验角度分析了基于智能世界dKRA模型的诊断过程时间效率的提高(与基于智能世界KRA模型的诊断过程相比).

关键词：可区分的KRA模型基于模型的诊断智能世界抽象自动推理

来源：评论

学校读者我要写书评

暂无评论

路标计数启发式引导的分解规划方法

引用

软件学报 2013年第10期24卷 2327-2339页

作者：魏唯欧阳丹彤吕帅吉林大学计算机科学与技术学院吉林长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012 吉林大学公共计算机教学与研究中心吉林长春130012

路标信息能够准确描述智能规划问题解空间的基本形态.提出由路标信息引导的分解规划方法,求解过程由路标计数启发式引导增强爬山算法向目标方向进行,根据路标的完成情况分段求出规划解.从全局范围上看,爬山过程逐渐实现更多的路标,路标... 详细信息

路标信息能够准确描述智能规划问题解空间的基本形态.提出由路标信息引导的分解规划方法,求解过程由路标计数启发式引导增强爬山算法向目标方向进行,根据路标的完成情况分段求出规划解.从全局范围上看,爬山过程逐渐实现更多的路标,路标计数启发式估值的降低引发规划任务的分解,当搜索过程遇到估值更低的状态时,提取一段爬山路径.如此反复执行"搜索-提取"过程,直至路标计数启发式的估值降低为0,各段爬山路径构成最终的规划解.采用最新国际通用的标准测试问题进行实验测试,结果表明:由路标计数启发式引导的分解规划方法能够更好地发挥路标信息的优势,实现了搜索范围的压缩,可更快地生成规划解.

关键词：路标计数启发式增强爬山分解规划方法爬山路径

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：