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

针对蚁群优化算法在进行全局最优解搜索时容易出现陷入局部最优解和收敛速度慢等缺陷，提出了一种求解全局最优解搜索问题的重叠蚁群算法。通过设置多个重叠的蚁群系统，并对不同蚁群之间进行信息素的动态学习，增强不同蚁群对最优解的开采能力，避免算法出现早熟现象。仿真实验结果表明，重叠蚁群算法在避免陷入局部最优解方面具有良好的效果，表明重叠蚁群算法是一种提高蚁群算法性能的有效改进算法。

关键词：人工智能蚁群算法局部最优解重叠蚁群动态学习

来源：评论

学校读者我要写书评

暂无评论

传感器网络中基于卡尔曼滤波的能量高效Top-k查询处理技术

引用

计算机与数字工程 2013年第10期41卷 1545-1548页

作者：宋保利郑吉平王海翔南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

无线传感器网络能量受限,如何实现top-k查询处理的能量高效从而延长网络的生命周期是该领域研究的一个重要课题。论文利用传感器节点读数的时空相关性,提出运用卡尔曼滤波根据已知节点读数对未知节点读数估计的时空建模方法,进而提出基... 详细信息

无线传感器网络能量受限,如何实现top-k查询处理的能量高效从而延长网络的生命周期是该领域研究的一个重要课题。论文利用传感器节点读数的时空相关性,提出运用卡尔曼滤波根据已知节点读数对未知节点读数估计的时空建模方法,进而提出基于预测机制的区域采样方法(Region Sampling,RS)。实验表明,论文提出的查询方法不但可以满足用户的查询精度要求,而且大大减少了传感器网络的通信次数节省了能量,从而延长了网络的生命周期。

关键词：无线传感器网络能量高效卡尔曼滤波区域采样

来源：评论

学校读者我要写书评

暂无评论

Hybrid-fixing:上下文一致性错误的正确修复

Hybrid-fixing:上下文一致性错误的正确修复

引用

第十二届全国软件与应用学术会议(NASAC2012)

作者：陈小康许畅江磊南京大学计算机软件新技术国家重点实验室南京市中国 210023 南京大学计算机科学与技术系南京市中国 210023

在普适计算中,上下文持续快速变化,上下文感知的应用根据上下文变化自动调整自身的行为以作出适应.然而,由于不可预测和控制的环境噪声以及环境动态变化等诸多因素的影响,环境上下文很容易发生一致性错误,从而导致应用表现异常甚至失效... 详细信息

在普适计算中,上下文持续快速变化,上下文感知的应用根据上下文变化自动调整自身的行为以作出适应.然而,由于不可预测和控制的环境噪声以及环境动态变化等诸多因素的影响,环境上下文很容易发生一致性错误,从而导致应用表现异常甚至失效.为了解决这个问题,上下文一致性错误需要被自动并正确地修复,本文基于已有工作提出了一项新的修复技术Hybrid-fixing,它结合了对一致性约束的静态分析和修复动作的动态产生,以确保所生成的修复用例必然正确,即便一致性约束内部存在复杂的依赖关系.实验结果表明,这项修复技术大幅提高了复杂约束依赖关系下一致性错误修复的成功率,并只花费了很小的时间开销.

关键词：软件工程普适计算环境信息错误修复

来源：评论

学校读者我要写书评

暂无评论

基于三支决策的重叠社团发现算法

基于三支决策的重叠社团发现算法

引用

2013年中国计算机学会人工智能会议

作者：刘有力潘磊贾修一王崇骏谢俊元南京大学计算机科学与技术系南京 210023 南京大学计算机软件新技术国家重点实验室南京 210023 南京理工大学计算机科学与工程学院南京 210046

基于三支决策的重叠社团发现算法(Overlapping Community Detection based Three-Way Decision,OCD-TWD)将社会网络中两个社团之间的归属关系分为：完全属于、完全不属于、不完全属于,并使用三支决策中正域、负域、边界域来刻画社团之... 详细信息

基于三支决策的重叠社团发现算法(Overlapping Community Detection based Three-Way Decision,OCD-TWD)将社会网络中两个社团之间的归属关系分为：完全属于、完全不属于、不完全属于,并使用三支决策中正域、负域、边界域来刻画社团之间的归属关系.OCD-TWD算法定义了节点之间、社团之间的相似度和节点对社团的归属度,使用扩展模块度函数的增大值来反映包含度阈值,进而使用三支决策决策社团间的归属关系来指导社团合并.当决策两个社团的归属关系为完全属于时社团合并,当决策为完全不属于时社团不合并,当决策为不完全属于时提出了重叠节点发现算法(Overlapping Node Detection Algorithm,ONDA)来挖掘社团中的重叠节点.在计算机生成网络和真实世界网络上对OCD-TWD算法进行测试,并和当前重叠社团发现领域中代表性算法进行比较,表明了OCD-TWD算法的可行性和有效性.

关键词：重叠社团发现重叠节点发现三支决策社会网络决策粗糙集

来源：评论

学校读者我要写书评

暂无评论

LDA-CRF:一种基于概率图模型的目标检测方法

引用

计算机研究与发展 2012年第11期49卷 2296-2304页

作者：郭乔进李宁杨育彬武港山南京大学计算机科学与技术系南京210093 计算机软件新技术国家重点实验室(南京大学) 南京210093

目标检测和识别是计算机视觉和机器学习的研究热点.近年来,主题模型(如LDA等)在无监督的图像识别和定位等应用中获得了巨大的成功.然而,LDA忽略了图像区域之间的空间关系,并且不能处理连续值的视觉特征或特征向量.而条件随机场(CRF)能... 详细信息

目标检测和识别是计算机视觉和机器学习的研究热点.近年来,主题模型(如LDA等)在无监督的图像识别和定位等应用中获得了巨大的成功.然而,LDA忽略了图像区域之间的空间关系,并且不能处理连续值的视觉特征或特征向量.而条件随机场(CRF)能够利用图像区域之间的局部相关性来提高分类准确性.基于LDA和CRF提出了一种LDA-CRF模型.通过利用LDA生成的主题信息来辅助CRF的分类,同时结合图像区域之间结构化的类别信息来改进LDA的主题生成机制.实验结果表明,LDA-CRF模型的检测效果要优于CRF.

关键词： LDA CRF 目标检测变分推论概率图模型

来源：评论

学校读者我要写书评

暂无评论

微内核架构文件系统的形式化设计与验证方法研究

微内核架构文件系统的形式化设计与验证方法研究

引用

2013中国计算机大会

作者：钱振江唐洪英李康杰黄皓宋方敏常熟理工学院计算机科学与工程学院江苏苏州 215500 南京大学软件新技术国家重点实验室南京 210046 南京大学计算机科学与技术系南京210046 伦敦大学国王学院英国伦敦 WC 南京大学软件新技术国家重点实验室南京 210046 南京大学计算机科学与技术系南京210046

文件系统作为操作系统中数据存储和管理的功能模块,其正确性是操作系统安全性的重要方面.采用形式化方法时微内核架构文件系统进行设计,使用操作系统对象语义模型(OSOSM)框架提出微内核架构文件系统的状态自动机模型,并依此描述系统调... 详细信息

文件系统作为操作系统中数据存储和管理的功能模块,其正确性是操作系统安全性的重要方面.采用形式化方法时微内核架构文件系统进行设计,使用操作系统对象语义模型(OSOSM)框架提出微内核架构文件系统的状态自动机模型,并依此描述系统调用的功能语义和系统状态转换,分析和归纳文件系统的功能正确性断言.以实现的微内核安全操作系统(Verified Trusted Oper ating System,VTOS)为例,阐述在Isabelle/HOL定理证明器环境中构建状态自动机模型的方法,并对VTOS文件系统的形式化设计和功能正确性断言进行一致性验证,结果显示,VTOS文件系统的设计和实现符合预期的正确性规格说明.

关键词：文件系统微内核架构形式化设计状态自动机模型

来源：评论

学校读者我要写书评

暂无评论

近五年国内知识地图研究的文献计量分析

引用

中国科技资源导刊 2013年第5期45卷 68-71,88页

作者：张瑜刘玲辽宁师范大学管理学院辽宁大连116029 南京大学计算机科学与技术系江苏南京211102 南京大学计算机软件新技术国家重点实验室江苏南京211102

在信息爆炸的社会，知识的无序、分散和泛滥问题突显，知识地图作为一种有效的知识管理工具受到学者们的关注。论文利用文献计量的方法，对2007年至2012年知识地图的研究现状进行了统计分析，总结我国近五年来知识地图领域研究的热点问... 详细信息

在信息爆炸的社会，知识的无序、分散和泛滥问题突显，知识地图作为一种有效的知识管理工具受到学者们的关注。论文利用文献计量的方法，对2007年至2012年知识地图的研究现状进行了统计分析，总结我国近五年来知识地图领域研究的热点问题、构建模型以及发展趋势，并试探性地提出利用概率论中的条件概率对知识地图在搜索目标的准确性和响应时间的长短进行评判。

关键词：知识地图文献计量知识管理评价指标

来源：评论

学校读者我要写书评

暂无评论

基于ARToolKit的虚拟手表试戴系统的实现

引用

信息化研究 2013年第5期39卷 35-39页

作者：蒋峥峥高瞻陈翔王丹丹孙万捷孙其可南通大学计算机科学与技术学院南通226019 南京大学计算机软件新技术国家重点实验室南京210093 南通市紫琅职业技术学院南通226002

文章选用电荷耦合元件(Charge-coupled device,CCD)摄像头传感器,采用ARToolKit开发包设计并实现一个虚拟手表试戴系统。通过CCD摄像头采集真实场景中的视频图像,使用ARTooKit对CCD摄像头采集的图像进行分析、识别,并动态跟踪位于用户... 详细信息

文章选用电荷耦合元件(Charge-coupled device,CCD)摄像头传感器,采用ARToolKit开发包设计并实现一个虚拟手表试戴系统。通过CCD摄像头采集真实场景中的视频图像,使用ARTooKit对CCD摄像头采集的图像进行分析、识别,并动态跟踪位于用户手腕上的标识,使虚拟手表模型可以准确地叠加在标识处,从而实现虚拟手表试戴。

关键词：虚拟手表虚拟试戴增强现实计算机视觉 ARToolKit

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：