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

计算机科学 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年第S1期43卷 106-109页

作者：郭晓新许志闻车翔玖吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

提出了荧光造影图像序列的图像恢复方案。将新的强度约束合并到Miller正则化公式中,以获得保持高强度像素的能力。恢复的图像除了受光滑约束的影响之外,也会受到强度约束的影响。恢复过程中,采用从预滤波过程中获得的强度模板实现强度约... 详细信息

提出了荧光造影图像序列的图像恢复方案。将新的强度约束合并到Miller正则化公式中,以获得保持高强度像素的能力。恢复的图像除了受光滑约束的影响之外,也会受到强度约束的影响。恢复过程中,采用从预滤波过程中获得的强度模板实现强度约束,该模板代表一幅由所期望强度值组成的图像。实验表明,该方案在高强度保持和图像恢复两方面都获得了较好的结果。

关键词：图像恢复强度约束强度保持荧光造影图像

来源：评论

学校读者我要写书评

暂无评论

基于样条泛函的光流计算

引用

吉林大学学报（工学版） 2013年第S1期43卷 165-168页

作者：郭晓新杨光许志闻吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

给出了以样条泛函作为光滑约束的数学模型,并且给出了光流计算最小化问题解的必要条件。该模型包含了二阶和四阶偏微分方程以约束这两个特例。该模型从方法学角度为光流计算的形式化表示和数值计算提供了依据。采用该数学模型的意义还... 详细信息

给出了以样条泛函作为光滑约束的数学模型,并且给出了光流计算最小化问题解的必要条件。该模型包含了二阶和四阶偏微分方程以约束这两个特例。该模型从方法学角度为光流计算的形式化表示和数值计算提供了依据。采用该数学模型的意义还在于它能将光流计算的方程组简化为线性代数方程组。这种转换便于光流方程的离散化表示,同时也从代数方程的角度验证了光滑约束的使用能确保解的存在性和唯一性。

关键词：光流样条泛函偏微分方程光滑约束

来源：评论

学校读者我要写书评

暂无评论

基于简单统计排名模型的差异表达基因识别

引用

吉林大学学报（工学版） 2013年第4期43卷 1059-1063页

作者：吴佳楠周春光夏雪飞刘桂霞沈薇周柚吉林大学计算机科学与技术学院长春130012 长春大学计算机科学与技术学院长春130022 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林交通职业技术学院长春130012

不同实验条件下差异表达基因(DEGs)的识别是微阵列数据分析的主要目标之一,针对分析结果中具有高排名的基因往往表现出较低差异表达水平的缺点,提出了一种基于简单统计排名模型的差异表达基因识别算法MRP(Matrix rank product)。算法可... 详细信息

不同实验条件下差异表达基因(DEGs)的识别是微阵列数据分析的主要目标之一,针对分析结果中具有高排名的基因往往表现出较低差异表达水平的缺点,提出了一种基于简单统计排名模型的差异表达基因识别算法MRP(Matrix rank product)。算法可直接处理基因芯片原始数据,排除了数据预处理方法对算法的干扰;另外,通过对基因芯片数据形成的矩阵进行整体排序计算,得到具有高准确度的差异表达性排名结果。

关键词：计算机应用生物信息学差异表达基因识别基因芯片数据排名

来源：评论

学校读者我要写书评

暂无评论

基于分辨粒度的gROC曲线分析方法

引用

软件学报 2013年第1期24卷 109-120页

作者：董元方李雄飞李军赵海英符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012 长春理工大学经济管理学院吉林长春130022 长春理工大学应用数学系吉林长春130022 北京邮电大学世纪学院北京100083

ROC曲线是模型选择的一种重要方法,但ROC曲线的不确定性影响了模型选择的准确性.基于分辨粒度,从反映得分的不确定性的角度提出gROC和gAUC的概念,从理论上讨论了gROC的若干性质.在给出其算法之后,利用双正态模型检验了gROC的合理性.在... 详细信息

ROC曲线是模型选择的一种重要方法,但ROC曲线的不确定性影响了模型选择的准确性.基于分辨粒度,从反映得分的不确定性的角度提出gROC和gAUC的概念,从理论上讨论了gROC的若干性质.在给出其算法之后,利用双正态模型检验了gROC的合理性.在此基础上,提出了两个模型选择度量——AUC和AUC,并在UCI数据集上验证了该模型选择度量的高效性.实验结果表明,gROC能够有效反映ROC曲线的不确定性,基于AUC和AUC的模型选择方法优于基于AUC或sAUC的模型选择方法,在某些情况下,gROC具有更强的对分类器性能的比较能力.

关键词：机器学习模型选择分类 ROC曲线粒度

来源：评论

学校读者我要写书评

暂无评论

基于分割的超树分解方法

引用

吉林大学学报（理学版） 2013年第2期51卷 257-266页

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

基于det-k-decomp算法,通过引入同构的概念和对separator选择空间的进一步限制,提出一类新的超树分解:分割的超树分解,并提出一种具有较小超树宽度的超树分解方法:基于分割的超树分解———sht-k-decomp,该算法能有效提高约束满足问题... 详细信息

基于det-k-decomp算法,通过引入同构的概念和对separator选择空间的进一步限制,提出一类新的超树分解:分割的超树分解,并提出一种具有较小超树宽度的超树分解方法:基于分割的超树分解———sht-k-decomp,该算法能有效提高约束满足问题的求解效率.实验结果表明,sht-k-decomp算法多数情况下效率高于det-k-decomp算法.

关键词：人工智能超树分解约束满足问题

来源：评论

学校读者我要写书评

暂无评论

基于G-KRA模型框架的智能世界建模

引用

计算机科学 2013年第9期40卷 190-193页

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

统一的建模框架和形式化表示可以帮助实现自动推理。对由物联网技术发展带来的智能世界进行定义,对表示静态物理世界一般抽象模型的广义知识重构与抽象模型(G-KRA模型)进行扩展,使其能够刻画所定义的智能世界。定义迭代的初步感知过程,... 详细信息

统一的建模框架和形式化表示可以帮助实现自动推理。对由物联网技术发展带来的智能世界进行定义,对表示静态物理世界一般抽象模型的广义知识重构与抽象模型(G-KRA模型)进行扩展,使其能够刻画所定义的智能世界。定义迭代的初步感知过程,在一定的前提假设下根据智能世界构成实体的特征,得到智能世界构成实体的可区分的初步感知。在抽象感知过程中,建立3个子世界的可区分实体与连接库,并生成3个子世界的网络化连接。同时,通过统一构建抽象对象库或者为3个子世界分别构建抽象对象库来实现智能世界的抽象感知过程。扩展后的GKRA模型充分考虑了不同类型实体的行为和连接特征,每个子世界由具有相同行为类型的实体和相同类型的连接构成,可以将推理问题定位在某个(些)子世界的模型中,从而缩小推理空间。

关键词：智能世界 G-KRA模型初步感知抽象感知

来源：评论

学校读者我要写书评

暂无评论

人参食品追溯链地理信息可视化方法研究

引用

湖北农业科学 2013年第23期52卷 5877-5879,5901页

作者：温长吉于合龙闫宏斌刘洋吉林农业大学信息技术学院长春130118 吉林大学计算机科学与技术学院/符号计算与知识工程教育部重点实验室长春130012

针对人参食品可追溯链在物流运输环节中动态地理定位信息可视化问题,在深入研究Android地理定位和Google Maps API技术的基础上,利用智能手机可移动通讯特点,以HTC Sensation手机为测试平台,提出了将人参食品追溯链地理位置及路径信息... 详细信息

针对人参食品可追溯链在物流运输环节中动态地理定位信息可视化问题,在深入研究Android地理定位和Google Maps API技术的基础上,利用智能手机可移动通讯特点,以HTC Sensation手机为测试平台,提出了将人参食品追溯链地理位置及路径信息进行可视化显示的方法。软件测试结果表明,该方法通过用户手机提取包装条码信息的同时,可以动态显示食品的地理位置和历史路径可视化信息,有效辅助可追溯链的信息查询和管理。

关键词：人参食品可追溯地理定位 Android系统 Google Maps技术

来源：评论

学校读者我要写书评

暂无评论

基于G-KRA模型框架的工作流建模

引用

吉林大学学报（理学版） 2013年第2期51卷 279-284页

作者：王楠孙利孙善武李慧吉林财经大学管理科学与信息工程学院长春130117 吉林财经大学物流产业经济与智能物流省重点实验室长春130117 吉林大学通信与工程学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林广播电视大学长春130022

基于广义知识重构与抽象(G-KRA)模型框架给出了工作流建模的一般过程,根据功能知识引入了功能感知的概念,自动构造工作流抽象对象库WfOa.构造基本行为感知和WfOa中的基于功能的工作流抽象对象之间的映射关系,实现基本行为感知与相应关... 详细信息

基于广义知识重构与抽象(G-KRA)模型框架给出了工作流建模的一般过程,根据功能知识引入了功能感知的概念,自动构造工作流抽象对象库WfOa.构造基本行为感知和WfOa中的基于功能的工作流抽象对象之间的映射关系,实现基本行为感知与相应关系的替换操作.通过这些映射关系,生成了基于功能的工作流抽象模型以简化基本工作流模型的表示.

关键词： G-KRA模型工作流模型功能感知工作流抽象对象库

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：