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

计算机研究与发展 2015年第2期52卷 487-498页

作者：郭东伟孟翔燕刘淼侯彩芳吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

为了模仿人类对新物体认知和命名的过程,提出了一种新型的命名博弈模型,它通过词汇的权重表示个体的认知程度,低权重词汇被删除模拟个体有限记忆的过程.实验发现,在单社区网络上,所有个体的词汇最终能够统一,通过总词汇数、不同词汇数... 详细信息

为了模仿人类对新物体认知和命名的过程,提出了一种新型的命名博弈模型,它通过词汇的权重表示个体的认知程度,低权重词汇被删除模拟个体有限记忆的过程.实验发现,在单社区网络上,所有个体的词汇最终能够统一,通过总词汇数、不同词汇数和平均协议成功率的分析解释了新个体命名的演化过程.衰减因子和删除阈值的取值对于演化速度影响较大,当它们之间存在线性关系时演化收敛较快.通过将该模型应用到多社区网络模型上,发现收敛词汇数可能不唯一,会与社区数相同,且收敛词汇数的稳定性与网络社区化强度和社区内节点的平均度有关,而与社区内节点数无关.最后,使用微分动力学的方法对这种情况进行了定量分析.

关键词：多社区网络命名博弈词汇权重演化收敛词汇

来源：评论

学校读者我要写书评

暂无评论

Twin-SVM和Twin-KSVC标志物检测与分类方法

引用

计算机工程与设计 2016年第12期37卷 3306-3310页

作者：栾咏红刘全苏州工业职业技术学院软件与服务外包学院江苏苏州215104 苏州大学计算机科学与技术学院江苏苏州215006 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

针对交通标志中禁令标志和指示标志的检测和分类难题,提出一种基于Twin-SVM和Twin-KSVC的交通标志检测与分类方法。对交通标志图像的红色、蓝色和亮度3个通道进行光照归一化处理;在这3个通道上提取Haar-like特征,构建特征向量;采用Twin-... 详细信息

针对交通标志中禁令标志和指示标志的检测和分类难题,提出一种基于Twin-SVM和Twin-KSVC的交通标志检测与分类方法。对交通标志图像的红色、蓝色和亮度3个通道进行光照归一化处理;在这3个通道上提取Haar-like特征,构建特征向量;采用Twin-SVM方法进行交通标志检测过程的特征训练与验证,采用Twin-KSVC方法进行交通标志分类过程的特征训练与验证。实验采用实测数据对算法进行测试与评价,实验结果表明,该方法可以有效地检测和识别常见的20类禁令和指示交通标志。

关键词：交通标志交通标志检测交通标志分类支持向量机 Haar-like特征成对支持向量机

来源：评论

学校读者我要写书评

暂无评论

基于诊断器的可诊断性增量测试方法

引用

吉林大学学报（工学版） 2015年第1期45卷 222-228页

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

在离散事件系统的基于模型诊断中,提出了一种增量的可诊断性判定方法,用于提高可诊断性判定的效率。通过在状态上反向传播故障标签的方法,建立预诊断器。在预诊断器模型上,结合虚拟在线的观测窗口,增量进行可诊断性判断,决定是否对当前... 详细信息

在离散事件系统的基于模型诊断中,提出了一种增量的可诊断性判定方法,用于提高可诊断性判定的效率。通过在状态上反向传播故障标签的方法,建立预诊断器。在预诊断器模型上,结合虚拟在线的观测窗口,增量进行可诊断性判断,决定是否对当前状态剪枝。提出增量算法,并证明该算法的正确性。实验验证增量可诊断性算法的效率,并实验研究了增量窗口大小对增量可诊断性判定效率的影响。

关键词：人工智能基于模型诊断可诊断性增量方法

来源：评论

学校读者我要写书评

暂无评论

基于论域折半的最大限定路径相容算法

引用

吉林大学学报（工学版） 2015年第1期45卷 229-235页

作者：李占山贾湘华许苍竹张舒娟吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学计算机科学与技术学院长春130012

针对绝大多数不可满足问题的特点,提出了一种将弧相容算法与最大限定路径相容算法相结合的相容性算法——基于论域折半的最大限定路径相容的算法。该算法充分利用了弧相容计算开销小和最大限定相容删值能力强的优点,可以减少在求解不可... 详细信息

针对绝大多数不可满足问题的特点,提出了一种将弧相容算法与最大限定路径相容算法相结合的相容性算法——基于论域折半的最大限定路径相容的算法。该算法充分利用了弧相容计算开销小和最大限定相容删值能力强的优点,可以减少在求解不可满足问题中生成的结点数,进而提高求解效率。实验结果表明,本文算法在处理不可满足问题时的求解效率明显优于传统的维持弧相容算法。

关键词：人工智能论域折半弧相容最大限定路径相容不可满足问题

来源：评论

学校读者我要写书评

暂无评论

基于实例化次数的约束求解方法研究

引用

计算机研究与发展 2015年第5期52卷 1091-1097页

作者：李占山张乾张良吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

启发式是约束满足问题领域的重要研究课题,有效的启发式方法可以极大地提高问题的求解效率.在求解约束满足问题时,发现变量实例化失败次数与值实例化成功次数反映了变量和值与已实例化集合之间的关系,将实例化次数加以利用可以对问题求... 详细信息

启发式是约束满足问题领域的重要研究课题,有效的启发式方法可以极大地提高问题的求解效率.在求解约束满足问题时,发现变量实例化失败次数与值实例化成功次数反映了变量和值与已实例化集合之间的关系,将实例化次数加以利用可以对问题求解效率有很大的影响.据此,提出了实例化次数的权值统计方法,并将其与现有启发式方法相结合,提出了实例化次数启发式及其相应的约束求解算法MAC_Try,并证明了其在一个分支上的最坏时间复杂度是O(ned3).大量实验结果表明,新的MAC_Try方法在求解效率上明显优于国际上流行的MAC3rm方法.

关键词：人工智能约束满足问题启发式变量实例化失败次数值实例化成功次数

来源：评论

学校读者我要写书评

暂无评论

利用CSP求解极小碰集的方法

引用

计算机研究与发展 2015年第3期52卷 588-595页

作者：王艺源欧阳丹彤张立明张永刚吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

基于模型诊断是人工智能领域中具有挑战性的问题,包含了很多人工智能中的关键问题,其研究对整个人工智能领域起着重要推动作用.在基于模型诊断中,候选诊断结果通常由所有极小冲突集对应的所有极小碰集所描述,求出所有极小碰集是其核心... 详细信息

基于模型诊断是人工智能领域中具有挑战性的问题,包含了很多人工智能中的关键问题,其研究对整个人工智能领域起着重要推动作用.在基于模型诊断中,候选诊断结果通常由所有极小冲突集对应的所有极小碰集所描述,求出所有极小碰集是其核心问题之一.提出一种将极小碰集问题转换为约束满足问题的方法,该方法调用成熟的CSP求解器进行求解,扩展了约束可满足问题的应用领域.首次提出hard-冲突集和soft-冲突集的概念,并给出利用所提的方法分别求解具有一些特征的极小碰集:小于固定长度、不含特定元素及包含hard-冲突集和soft-冲突集.实验结果表明,提出的方法易于实现、扩展性强,对于特定类型极小碰集问题的求解效率较高.

关键词：极小碰集约束可满足问题基于模型诊断 hard-冲突集 soft-冲突集

来源：评论

学校读者我要写书评

暂无评论

基于OPRA_m的三维相对方位关系模型

引用

吉林大学学报（工学版） 2015年第5期45卷 1535-1540页

作者：欧阳继红祝东红富倩杨帅陈思吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

OPRAm是研究二维相对方位关系的经典模型之一,但解决实际问题通常需要考虑多维空间中的方位关系,为了表达三维空间中点对象间相对方位关系,将xoy平面相对方位和z轴相对方位相结合;通过定义与之相对应的能表达相对方位信息的两个相对角得... 详细信息

OPRAm是研究二维相对方位关系的经典模型之一,但解决实际问题通常需要考虑多维空间中的方位关系,为了表达三维空间中点对象间相对方位关系,将xoy平面相对方位和z轴相对方位相结合;通过定义与之相对应的能表达相对方位信息的两个相对角得到3DOPRAm模型,并给出其在多粒度下的形式化定义及逆关系。给出了3DOPRAm模型的概念邻域。最后用其基于动作的邻域关系描述汽车导航问题。结果表明,本文提出的模型能够细致、合理地表达三维空间中点对象间的相对方位关系,在实际中有广泛的应用前景。

关键词：人工智能空间推理相对方位关系 OPRAm 3DOPRAm

来源：评论

学校读者我要写书评

暂无评论

结合扩展规则重构的#SAT问题增量求解方法

引用

软件学报 2015年第12期26卷 3117-3129页

作者：贾凤雨欧阳丹彤张立明刘思光吉林大学计算机科学与技术学院吉林长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012

#SAT问题是人工智能中的重要问题,在人工智能领域被广泛应用.在对基于扩展规则的模型计数求解方法CER深入研究的基础上,重构CER中使用的计算公式,并对其正确性进行了证明;提出极大项相交集和扩展极大项相交集的概念,并给出根据两者关系... 详细信息

#SAT问题是人工智能中的重要问题,在人工智能领域被广泛应用.在对基于扩展规则的模型计数求解方法CER深入研究的基础上,重构CER中使用的计算公式,并对其正确性进行了证明;提出极大项相交集和扩展极大项相交集的概念,并给出根据两者关系重用极大项相交集计算结果的增量求解方法,且对广义互补子句集对应的所有扩展极大项相交集进行剪枝,有效避免了计算所有极大项相交集对应极大项个数时的冗余求解;提出构建记录子句间互补关系的互补表方法,给出重用极大项相交集基础子句集互补结果的增量互补判定方法,较好地避免了判断子句间和各极大项相交集的基础子句集互补关系时的重复计算.实验结果表明:RCER方法易于实现,扩展性强,比CER方法效率更高,尤其是在互补因子较低时,效率提升更为显著.

关键词：扩展规则模型计数极大项相交集互补表增量方法

来源：评论

学校读者我要写书评

暂无评论

概率最大受限路径相容算法

引用

软件学报 2015年第12期26卷 3140-3150页

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

研究了可用于求解约束满足问题的最大受限路径相容算法(max RPC).max RPC算法执行过程中有大量无效的寻找路径相容证明(PC-witness)的操作,有效地识别和避免这些无效的寻找PC-witness的操作,可以提高max RPC算法的求解效率.首先,提出了... 详细信息

研究了可用于求解约束满足问题的最大受限路径相容算法(max RPC).max RPC算法执行过程中有大量无效的寻找路径相容证明(PC-witness)的操作,有效地识别和避免这些无效的寻找PC-witness的操作,可以提高max RPC算法的求解效率.首先,提出了在一条约束上任意两个相容的值在任意路径上存在PC-witness的概率;然后,基于这一概率提出了一种概率最大受限路径相容算法(Pmax RPC),并将新算法成功应用于求解约束满足问题的回溯搜索.实验结果显示:Pmax RPC可以避免一部分无效的寻找PC-witness的操作,在求解约束满足问题时,Pmax RPC效率高于max RPC.在某些测试用例上,Pmax RPC比max RPC和最流行的弧相容算法效率更高.

关键词：约束满足问题局部相容最大受限路径相容概率最大受限路径相容

来源：评论

学校读者我要写书评

暂无评论

分布式离散事件系统的可诊断性判定策略

引用

吉林大学学报（工学版） 2015年第5期45卷 1541-1549页

作者：王晓宇欧阳丹彤迟晋进韩正服吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学网络中心长春130012

为了降低通讯可诊断性的计算成本及通讯成本,提出了一种在分布式系统中求解可诊断性的同步策略。通过分布式系统中事件的时序关系,在保证可诊断性不变的前提下,减少同步操作的执行次数,并且化简同步方法,将与可诊断性无关的路径删除,不... 详细信息

为了降低通讯可诊断性的计算成本及通讯成本,提出了一种在分布式系统中求解可诊断性的同步策略。通过分布式系统中事件的时序关系,在保证可诊断性不变的前提下,减少同步操作的执行次数,并且化简同步方法,将与可诊断性无关的路径删除,不参与同步。定量讨论了分布式系统的可诊断性,用同步操作及同步成本作为参数,分析了分布式系统结构对可诊断性的影响。

关键词：人工智能可诊断性分布式离散事件系统同步

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：