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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

自动化学报 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算法

来源：评论

学校读者我要写书评

暂无评论

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

引用

吉林大学学报（工学版） 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算子。

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

来源：评论

学校读者我要写书评

暂无评论

混合语义约简和选择估值优化SPARQL

引用

电子学报 2010年第5期38卷 1205-1210页

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

本文在定义SPARQL查询优化问题基础上,利用本体中概念间的语义关系提出语义约简优化方案.并通过与选择估值策略的有机结合,给出RS-Opti优化算法及其实现.测试表明:RS-Opti优于单独使用语义约简和选择估值两种优化策略;与其它查询引擎测... 详细信息

本文在定义SPARQL查询优化问题基础上,利用本体中概念间的语义关系提出语义约简优化方案.并通过与选择估值策略的有机结合,给出RS-Opti优化算法及其实现.测试表明:RS-Opti优于单独使用语义约简和选择估值两种优化策略;与其它查询引擎测试对比表明:该优化方案在查询的元组模式个数较多和语义较复杂时效果明显.

关键词：语义Web 查询优化 SPARQL 本体语义约简选择估值

来源：评论

学校读者我要写书评

暂无评论

WSN中一种DV-Hop定位精度改进算法

引用

吉林大学学报（工学版） 2010年第3期40卷 763-768页

作者：刘衍珩刘炳日孙大洋王爱民吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

提出了一种DV-Hop的改进算法(RHDV-Hop算法)。该算法引入接收信号强度指示器(RSSI)测距技术代替DV-Hop算法中到锚节点一跳距离测量并采用2-D Hyperbolic算法代替DV-Hop算法中三边测量法。通过NS2对RHDV-Hop算法和DV-Hop算法以及一些已... 详细信息

提出了一种DV-Hop的改进算法(RHDV-Hop算法)。该算法引入接收信号强度指示器(RSSI)测距技术代替DV-Hop算法中到锚节点一跳距离测量并采用2-D Hyperbolic算法代替DV-Hop算法中三边测量法。通过NS2对RHDV-Hop算法和DV-Hop算法以及一些已经提出的对DV-Hop算法的改进算法进行了模拟实验对比,结果表明:RHDV-Hop算法定位精度要明显好于DV-Hop算法和其他改进的DV-Hop算法。

关键词：计算机应用 DV-Hop算法 RSSI 2-D Hyperbolic 定位精度

来源：评论

学校读者我要写书评

暂无评论

基于VPN的车载网关异构无线网络切换系统

引用

吉林大学学报（工学版） 2010年第5期40卷 1292-1297页

作者：曲良东刘衍珩魏达吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

设计和实现了在嵌入式Linux车载网关中基于VPN(Virtual private network)的异构无线网络切换系统。车载网关中使用支持802.11协议的无线网卡连接无线局域网和支持CDMA的无线通信模块来连接无线广域网,软件上采用虚拟网络接口来实现上层... 详细信息

设计和实现了在嵌入式Linux车载网关中基于VPN(Virtual private network)的异构无线网络切换系统。车载网关中使用支持802.11协议的无线网卡连接无线局域网和支持CDMA的无线通信模块来连接无线广域网,软件上采用虚拟网络接口来实现上层应用程序通信与底层协议的无关性,从而实现了这种异构无线网络的无缝衔接,提高了网络利用效率。实验结果表明,该系统简单有效,适用于低能耗、低运算能力的车载系统中。

关键词：计算机系统结构嵌入式Linux 车载网关垂直切换虚拟专用网络

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：