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

计算机研究与发展 2010年第3期47卷 426-433页

作者：陈娟刘大有贾海洋张长海吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

解决实际问题需将多方面空间关系结合进行推理,多方面空间关系结合推理已成为定性空间推理的研究热点;已有工作主要集中在两方面空间关系结合,缺少两方面以上空间关系结合工作.为解决上述问题,通过最小外包矩形近似表示区域对象,利用其... 详细信息

解决实际问题需将多方面空间关系结合进行推理,多方面空间关系结合推理已成为定性空间推理的研究热点;已有工作主要集中在两方面空间关系结合,缺少两方面以上空间关系结合工作.为解决上述问题,通过最小外包矩形近似表示区域对象,利用其在坐标轴上投影间的关系表示相应空间关系;提出扩展矩形关系模型,实现拓扑、方位和尺寸关系的统一表示和推理;给出RCC8、主方位及尺寸关系转换成扩展矩形关系的转换算法;讨论其上关系取反和复合,指出其复合是基于相容性而非存在性;证明(强预)凸扩展矩形关系约束网是可处理的.

关键词：定性空间推理拓扑方位尺寸扩展矩形关系约束满足问题

来源：评论

学校读者我要写书评

暂无评论

一种约简动作变元的命题规划编码方式

引用

计算机研究与发展 2010年第10期47卷 1756-1763页

作者：吕帅刘磊江鸿史晶晶( 吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

基于动作的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的一种基于约简状态变元的命题规划编码方式.依据基于动作的编码方式,提出一种基于约简动作变元的自动命题规划编码方式:基于命题的编码方式.首先分析构造... 详细信息

基于动作的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的一种基于约简状态变元的命题规划编码方式.依据基于动作的编码方式,提出一种基于约简动作变元的自动命题规划编码方式:基于命题的编码方式.首先分析构造新编码方式的理论依据,提出基于命题的编码方式的编码组成,证明其有效性,并描述某些公理的具体实现细节,最后分析其与已有几种编码方式的不同之处.在SATPLAN2006中实现了基于命题的编码方式,利用国际规划竞赛选用的标准测试问题予以测试,并分析其与基于动作的编码方式等两种极端编码方式的求解特性.实验结果表明:对于顺序规划问题域,基于命题的编码方式更有效,而对于并发规划问题域,基于动作的编码方式更有效.

关键词：智能规划基于可满足性的规划编码方式可满足性公理

来源：评论

学校读者我要写书评

暂无评论

基于半扩展规则的定理证明方法

引用

计算机研究与发展 2010年第9期47卷 1522-1529页

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

自动定理证明一直是人工智能领域中最重要的问题之一,基于归结的方法是通过推出空子句的方法来判定子句集的可满足性.基于扩展规则的定理证明方法在一定意义上是和归结原理对偶的方法,是通过子句集能否推导出所有极大项组成的子句集来... 详细信息

自动定理证明一直是人工智能领域中最重要的问题之一,基于归结的方法是通过推出空子句的方法来判定子句集的可满足性.基于扩展规则的定理证明方法在一定意义上是和归结原理对偶的方法,是通过子句集能否推导出所有极大项组成的子句集来判定可满足性.通过对扩展规则的研究给出了半扩展规则的概念,并提出了基于半扩展规则的定理证明算法SER.然后分析及证明了该算法的正确性、完备性和复杂性.实验结果表明,算法SER的执行效率较基于归结的有向归结算法DR和基于扩展规则算法IER,NER有明显的提高.

关键词：定理证明命题逻辑半扩展规则可满足性问题归结

来源：评论

学校读者我要写书评

暂无评论

基于网络拥塞的Internet级联故障建模

引用

计算机研究与发展 2010年第5期47卷 772-779页

作者：王健刘衍珩梅芳张程吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室（吉林大学）长春130012

Internet是一个典型的具有自组织临界特性的复杂网络,分析了Internet级联动力学特点,指出了两点可能引发级联故障的原因;不同于以往的介数模型,提出了节点拥塞函数,相当于给每个节点赋一个动态的权值,以表征该节点的拥塞程度;加入了延... 详细信息

Internet是一个典型的具有自组织临界特性的复杂网络,分析了Internet级联动力学特点,指出了两点可能引发级联故障的原因;不同于以往的介数模型,提出了节点拥塞函数,相当于给每个节点赋一个动态的权值,以表征该节点的拥塞程度;加入了延迟时间,在永久删除策略和不删除策略之间建立关联.另外,建立了新的网络效率评估函数并以此衡量级联故障的严重性.仿真实验研究了不同的拓扑结构、规模、延迟时间、节点处理能力和包产生速率对拥塞传播的影响,揭示出级联故障传播分为3个阶段以及影响传播的主要因素.

关键词：复杂网络级联故障拥塞作用传播模型延迟时间

来源：评论

学校读者我要写书评

暂无评论

基于标签树的粗糙集模型LTRS

引用

通信学报 2010年第6期31卷 35-43页

作者：李雄飞孙涛郭建芳吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室吉林长春130012

为了刻画和处理半结构化数据的含糊、不确定性问题,针对这类半结构化数据模型中所蕴含的组成结构和内容信息,扩展了传统的粗糙集模型,提出了一种基于标签树的粗糙集模型LTRS(labelled tree rough set model)。利用标签树的结构和内容,... 详细信息

为了刻画和处理半结构化数据的含糊、不确定性问题,针对这类半结构化数据模型中所蕴含的组成结构和内容信息,扩展了传统的粗糙集模型,提出了一种基于标签树的粗糙集模型LTRS(labelled tree rough set model)。利用标签树的结构和内容,重新定义了等价关系、不可区分关系、上、下近似集合等粗糙集基本概念。进一步描述了区分矩阵和决策规则,并且以某地区的流行性乙型脑炎个案XML调查表组成的标签树信息系统为例,依据定义给出了决策规则的抽取,所产生的规则可用于指导乙型脑炎的临床分型。

关键词：粗糙集标签树 XML 决策规则

来源：评论

学校读者我要写书评

暂无评论

复杂网络社区挖掘—基于聚类融合的遗传算法

引用

自动化学报 2010年第8期36卷 1160-1170页

作者：何东晓周栩王佐周春光王喆金弟吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

针对当前研究复杂网络社区挖掘的热点问题,提出了一种基于聚类融合的遗传算法用于复杂网络社区挖掘.该算法将聚类融合引入到交叉算子中,利用父个体的聚类信息辅以网络拓扑结构的局部信息产生新个体,避免了传统交叉算子单纯交换字符块而... 详细信息

针对当前研究复杂网络社区挖掘的热点问题,提出了一种基于聚类融合的遗传算法用于复杂网络社区挖掘.该算法将聚类融合引入到交叉算子中,利用父个体的聚类信息辅以网络拓扑结构的局部信息产生新个体,避免了传统交叉算子单纯交换字符块而忽略了聚类内容所带来的问题.为使聚类融合的作用得以充分发挥,本文提出了基于马尔科夫随机游走的初始群体生成算法,使初始群体中的个体具有一定聚类精度并有较强的多样性.初始群体生成算法与基于聚类融合的交叉算子互相配合,有效地增强了算法的寻优能力.此外,算法将局部搜索机制用于变异算子,通过迫使变异节点与其多数邻居在同一社区内,有针对性地缩小了搜索空间,从而加快了算法收敛速度.在计算机生成网络和真实世界网络上进行了测试,并与当前具有代表性的社区挖掘算法进行比较,实验结果表明了该算法的可行性和有效性.

关键词：复杂网络社区结构遗传算法聚类融合局部搜索

来源：评论

学校读者我要写书评

暂无评论

一种快速局部特征描述算法

引用

自动化学报 2010年第1期36卷 40-45页

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

利用局部邻域像素强度分布性质提出了一种快速局部特征描述算法—规范化强度对比描述子(Normalized intensity contrast descriptor,NICD).首先规格化兴趣点邻域的像素强度,再根据邻域中像素强弱分布建立描述子.分别利用Fast-Hessian,Do... 详细信息

利用局部邻域像素强度分布性质提出了一种快速局部特征描述算法—规范化强度对比描述子(Normalized intensity contrast descriptor,NICD).首先规格化兴趣点邻域的像素强度,再根据邻域中像素强弱分布建立描述子.分别利用Fast-Hessian,DoG以及Harris-Laplacian检测子搭配NICD进行图像匹配以及物体识别实验.结果表明:在多种图像变换中,NICD可以实现与当前先进的SIFT和SURF算子相当的匹配效果,而匹配时间大幅缩短,因而更适合在实时应用中使用.

关键词：局部特征图像匹配尺度空间物体识别

来源：评论

学校读者我要写书评

暂无评论

方向关系矩阵的复合

引用

吉林大学学报（工学版） 2010年第4期40卷 1048-1053页

作者：欧阳继红孙伟刘大有霍琳琳吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

采用方向关系矩阵模型表示空间区域最小边界矩形(MBR)间的关系,形式化描述了Skiadopoulos等提出的方向关系复合思想,并对其进行细化,提出方向关系矩阵复合方法,使方向关系复合易于实现;简化了Most运算,使复合过程更加简洁;通过定义取极... 详细信息

采用方向关系矩阵模型表示空间区域最小边界矩形(MBR)间的关系,形式化描述了Skiadopoulos等提出的方向关系复合思想,并对其进行细化,提出方向关系矩阵复合方法,使方向关系复合易于实现;简化了Most运算,使复合过程更加简洁;通过定义取极小和取极大算子,实现了Most算法,为复合算法的提出奠定了基础;定义求幂运算符,实现了复合算法Com-pose并证明了算法的正确性,Compose算法的实现使方向关系复合从理论向应用更进一步。

关键词：人工智能方向关系矩阵方向关系复合 Compose算法

来源：评论

学校读者我要写书评

暂无评论

一种新的不平衡数据学习的性能评估方法

一种新的不平衡数据学习的性能评估方法

引用

2011 AASRI Conference on Applied Information Technology(AASRIAIT 2011)

作者：董元方李雄飞李军赵海英吉林大学符号计算与知识工程教育部重点实验室长春理工大学经济管理学院长春理工大学数学系新疆师范大学计算机科学技术学院

在不平衡数据学习问题中,不同类别上的正确率对总体性能有不同的贡献,而AUC并没有反映这一点。本文提出一种新的分类器性能评估度量wAUC和一种新颖的求取wAUC值的方法。这种方法对于TPrate取不同值的区域,采用不同的权值,计算ROC曲线下... 详细信息

在不平衡数据学习问题中,不同类别上的正确率对总体性能有不同的贡献,而AUC并没有反映这一点。本文提出一种新的分类器性能评估度量wAUC和一种新颖的求取wAUC值的方法。这种方法对于TPrate取不同值的区域,采用不同的权值,计算ROC曲线下方面积。本文讨论了权值的选择方法,以及w AUC的性质,并指出AUC是wAUC的特殊情形。实验结果表明,w AUC优于AUC。

关键词：机器学习分类模型选择 AUC

来源：评论

学校读者我要写书评

暂无评论

仿射不变的快速局部特征描述子算法

引用

吉林大学学报（工学版） 2010年第4期40卷 1059-1064页

作者：刘萍萍赵宏伟耿庆田刘志勇吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

在局部图像特征的研究中,提出了一种用于实时图像匹配的仿射不变快速局部特征(Affine invariant fast local feature,AIFLF)描述方法。在兴趣点的局部邻域内利用归一化的梯度值建立基于仿射不变矩的描述子。模拟实验中,将利用Harris-Lap... 详细信息

在局部图像特征的研究中,提出了一种用于实时图像匹配的仿射不变快速局部特征(Affine invariant fast local feature,AIFLF)描述方法。在兴趣点的局部邻域内利用归一化的梯度值建立基于仿射不变矩的描述子。模拟实验中,将利用Harris-Laplacian检测子的本文算法与经典SIFT算法进行了对比。结果表明:在识别率相当的条件下,本文算法运行时间明显小于SIFT描述子。在标准评估图片和移动机器人平台拍摄的定位图片构成的数据集下,本文算法在尺度、视角和旋转变换中的匹配效果好于经典的SIFT算子和SURF算子。

关键词：计算机应用局部特征仿射不变矩图像匹配

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：