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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于比特位操作的自适应约束传播算法

引用

吉林大学学报（工学版） 2012年第5期42卷 1219-1224页

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

在现有约束传播算法研究的基础上,提出了一种基于比特位操作的自适应约束传播算法AC_MaxRPC_Bitwise。该算法在寻找AC支持及PC支持中引入基于比特位的数据结构,并利用比特位操作加速AC支持和PC证据搜索,从而提高自适应约束传播的效率。... 详细信息

在现有约束传播算法研究的基础上,提出了一种基于比特位操作的自适应约束传播算法AC_MaxRPC_Bitwise。该算法在寻找AC支持及PC支持中引入基于比特位的数据结构,并利用比特位操作加速AC支持和PC证据搜索,从而提高自适应约束传播的效率。对几类典型benchmark问题的测试结果表明,算法AC_MaxRPC_Bitwise在总体性能上明显优于AC及原自适应约束传播算法。

关键词：人工智能约束满足问题自适应约束传播比特位操作

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种新的不平衡数据学习算法PCBoost

引用

计算机学报 2012年第2期35卷 202-209页

作者：李雄飞李军董元方屈成伟吉林大学符号计算与知识工程教育部重点实验室长春130012 长春理工大学应用数学系长春130022 长春理工大学经济管理学院长春130022

现实世界中广泛存在不平衡数据,其分类问题是机器学习研究中的一个热点.多数传统分类算法假定类分布平衡或误分类代价均衡,在处理不平衡数据时,效果不够理想.文中提出一种不平衡数据分类算法-PCBoost.算法以信息增益率为分裂准则构建决... 详细信息

现实世界中广泛存在不平衡数据,其分类问题是机器学习研究中的一个热点.多数传统分类算法假定类分布平衡或误分类代价均衡,在处理不平衡数据时,效果不够理想.文中提出一种不平衡数据分类算法-PCBoost.算法以信息增益率为分裂准则构建决策树,作为弱分类器.在每次迭代初始,利用数据合成方法添加合成的少数类样例,平衡训练信息;在子分类器形成后,修正"扰动",删除未被正确分类的合成样例.文中讨论了数据合成方法,给出了训练误差界的理论分析,并分析了集成学习参数的选择.实验结果表明,PCBoost算法具有处理不平衡数据分类问题的优势.

关键词：数据挖掘不平衡数据集成学习提升扰动

来源：评论

学校读者我要写书评

暂无评论

基于GPU的混合精度平方根共轭梯度算法

引用

仪器仪表学报 2012年第1期33卷 97-104页

作者：李熙铭欧阳丹彤白洪涛吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学公共计算机教学与研究中心长春130012 吉林大学地球探测科学与技术学院长春130026

针对当前基于GPU的数值算法具有双精度数据性能低下的缺陷。提出了一种适于GPU统一计算架构Fermi-CUDA的混合精度平方根共轭梯度算法用以求解稀疏线性方程组。该算法采用单精度内迭代与双精度外迭代结合的方法,以充分利用GPU体系结构下... 详细信息

针对当前基于GPU的数值算法具有双精度数据性能低下的缺陷。提出了一种适于GPU统一计算架构Fermi-CUDA的混合精度平方根共轭梯度算法用以求解稀疏线性方程组。该算法采用单精度内迭代与双精度外迭代结合的方法,以充分利用GPU体系结构下单精度高性能和双精度高精度的优点。整个算法的计算部分完全在GPU端进行,减少了CPU和GPU之间的数据通信。实现了基于GPU的平方根共轭梯度法、Jacobi迭代法和Gauss-Seidel迭代法,分析它们作为内迭代算子对算法收敛性的影响。实验表明,该算法获得了与全双精度数据处理等同的计算精度,比GPU全双精度在浮点性能上提升近一倍,相对于CPU全双精度串行算法,最大加速比达到70以上。

关键词：线性方程组平方根共轭梯度算法内外迭代子混合精度图形处理器

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于HMAX模型和非经典感受野抑制的轮廓提取

引用

吉林大学学报（工学版） 2012年第1期42卷 128-133页

作者：赵宏伟崔弘睿戴金波臧雪柏吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 长春师范学院计算机科学与技术学院长春130032

针对图像里处于复杂纹理背景中物体的轮廓提取正确率低的问题,首先研究了基于非经典感受野抑制的轮廓提取算法和HMAX模型,然后利用HMAX模型所具备的具有基本视皮层功能结构的优点,弥补了前者所依据的生物学视觉结构比较简单的不足,最后... 详细信息

针对图像里处于复杂纹理背景中物体的轮廓提取正确率低的问题,首先研究了基于非经典感受野抑制的轮廓提取算法和HMAX模型,然后利用HMAX模型所具备的具有基本视皮层功能结构的优点,弥补了前者所依据的生物学视觉结构比较简单的不足,最后提出并实现了基于HMAX模型和非经典感受野抑制的轮廓提取算法。通过与Canny算子和非经典感受野抑制的轮廓提取算法的评估比较,表明本文算法有效提高了轮廓提取的正确率。

关键词：计算机应用轮廓提取非经典感受野抑制 HMAX模型

来源：评论

学校读者我要写书评

暂无评论

基于元分析的差异表达基因识别

引用

吉林大学学报（工学版） 2012年第5期42卷 1262-1266页

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

针对传统差异表达基因识别方法不能处理异质性数据集以及分析结果偏差较大的问题,提出了一个基于元分析及标准差过滤技术的差异表达基因识别算法标准差排序分析(RS-DM)。对来自于不同实验平台的数据进行整合分析,过滤掉伪差异表达基因PD... 详细信息

针对传统差异表达基因识别方法不能处理异质性数据集以及分析结果偏差较大的问题,提出了一个基于元分析及标准差过滤技术的差异表达基因识别算法标准差排序分析(RS-DM)。对来自于不同实验平台的数据进行整合分析,过滤掉伪差异表达基因PDEGs,并找出遗失的真正的差异表达基因TDEGs。经实验验证,算法简单有效。

关键词：计算机应用生物信息学元分析差异表达基因识别基因芯片数据标准差

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：