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

第九届全国机器翻译研讨会

作者：黄书剑软件新技术国家重点实验室(南京大学)南京大学计算机科学与技术系

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

改进的蚁群优化算法

改进的蚁群优化算法

引用

第十三届中国Rough集与软计算学术会议、第七届中国Web智能学术研讨会、第七届中国粒计算学术研讨会联合学术会议

作者：王俊张月峰谢斌福王崇骏南京大学计算机科学与技术系南京 210023 南京大学软件新技术国家重点实验室南京 210023

针对蚁群优化算法在进行全局最优解搜索时容易出现陷入局部最优解和收敛速度慢等缺陷，提出了一种求解全局最优解搜索问题的重叠蚁群算法。通过设置多个重叠的蚁群系统，并对不同蚁群之间进行信息素的动态学习，增强不同蚁群对最优解的... 详细信息

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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算法的可行性和有效性.

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

来源：评论

学校读者我要写书评

暂无评论

基于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

来源：评论

学校读者我要写书评

暂无评论

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年第5期45卷 68-71,88页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

2013中国计算机大会

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

VPM:列存储系统中基于带值路径的物化技术

引用

计算机研究与发展 2012年第10期49卷 2086-2094页

作者：丁祥武余文兵刘国华东华大学计算机科学与技术学院上海201620 计算机软件新技术国家重点实验室(南京大学) 南京210093

物化是列存储数据仓库查询中必不可少的操作,物化策略和物化技术直接影响到查询执行的性能,因此设计一种适应于列存储系统的物化策略和相关技术尤为重要.针对延迟物化可能重复读取数据块的缺陷,提出了基于带值路径的物化技术,简称VPM.首... 详细信息

物化是列存储数据仓库查询中必不可少的操作,物化策略和物化技术直接影响到查询执行的性能,因此设计一种适应于列存储系统的物化策略和相关技术尤为重要.针对延迟物化可能重复读取数据块的缺陷,提出了基于带值路径的物化技术,简称VPM.首先,定义了一个描述物理执行中间结果的结构——传递块,该结构将用于重构的位置信息与实际列值相分离.在此基础上,对于给定的物理查询树,根据其操作节点是否需要某一列的值进行路径标记,生成自扫描节点或抽值节点到最终需要这些节点的引用列的祖先节点之间的路径,即带值路径.将起始节点引用列的列值保存在传递块的列值区中,并在向查询树的上层操作节点传输过程中不断对其过滤.对带值路径中的其他列仅保存其位置信息.在查询执行时,除了路径起始节点要从磁盘读取数据外,其他节点直接从传递块中获得相应的列值,有效地减少了查询处理过程的I/O开销,提高了查询的执行性能.最后在DWMS上使用TPC-H中针对数据仓库的基准数据集SSBM进行实验,验证了基于带值路径物化技术的有效性.

关键词：列存储物化传递块带值路径 VPM

来源：评论

学校读者我要写书评

暂无评论

基于互信息的无监督特征选择

引用

计算机研究与发展 2012年第2期49卷 372-382页

作者：徐峻岭周毓明陈林徐宝文东南大学计算机科学与工程学院南京210096 计算机软件新技术国家重点实验室(南京大学) 南京210093 南京大学计算机科学与技术系南京210093

在数据分析中,特征选择可以用来降低特征的冗余,提高分析结果的可理解性和发现高维数据中隐藏的结构.提出了一种基于互信息的无监督的特征选择方法(UFS-MI),在UFS-MI中,使用了一种综合考虑了相关度和冗余度的特征选择标准UmRMR(无监督... 详细信息

在数据分析中,特征选择可以用来降低特征的冗余,提高分析结果的可理解性和发现高维数据中隐藏的结构.提出了一种基于互信息的无监督的特征选择方法(UFS-MI),在UFS-MI中,使用了一种综合考虑了相关度和冗余度的特征选择标准UmRMR(无监督最小冗余最大相关)来评价特征的重要性.相关度和冗余度分别使用互信息来度量特征与潜在类别变量之间的依赖和特征与特征之间的依赖.UFS-MI同时适用于数值型和非数值型特征.在理论上证明了UFS-MI的有效性,实验结果也表明UFS-MI可以达到与传统的特征选择方法相当甚至更好的性能.

关键词：特征选择无监督特征选择互信息最小冗余-最大相关无监督最小冗余-最大相关

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：