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

软件学报 2014年第6期25卷 1143-1153页

作者：李沁曾庆凯袁志祥安徽工业大学计算机学院安徽马鞍山243032 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023

目前,针对线程信息流的验证研究主要着重于时间信道.然而,由于线程程序中线程控制原语存在函数副作用,对此类原语的不恰当调用亦可引起非法信息流,有意或无意地破坏程序的非干扰属性.因此,提出以验证线程程序信息流为目的依赖逻辑,其可... 详细信息

目前,针对线程信息流的验证研究主要着重于时间信道.然而,由于线程程序中线程控制原语存在函数副作用,对此类原语的不恰当调用亦可引起非法信息流,有意或无意地破坏程序的非干扰属性.因此,提出以验证线程程序信息流为目的依赖逻辑,其可表达线程程序的数据流、控制流以及线程控制函数的副作用,推理程序变量和线程标识符之间的依赖关系,进而判定是否存在高机密性变量对低机密性变量的干扰.

关键词：非干扰动态作用域线程公理语义

来源：评论

学校读者我要写书评

暂无评论

Kinect平台上使用机器学习的非接触式GUI操控方式

引用

计算机科学与探索 2014年第2期8卷 171-178页

作者：曾繁江李涛黎铭南京大学计算机软件新技术国家重点实验室南京210093

触摸屏的出现使人们逐渐摒弃鼠标和键盘,而触摸操作的不便和局限性也随之显现,非接触式操作凭借其独特的优势正逐渐成为未来人机交互方式的新潮流。针对现有的非接触式操作方式存在的手势定义不合理,方法复杂难解,识别精度低等许多问题... 详细信息

触摸屏的出现使人们逐渐摒弃鼠标和键盘,而触摸操作的不便和局限性也随之显现,非接触式操作凭借其独特的优势正逐渐成为未来人机交互方式的新潮流。针对现有的非接触式操作方式存在的手势定义不合理,方法复杂难解,识别精度低等许多问题,提出了使用"抓"和"放"这两个手势的非接触式操控方式RemoteControl,用户可在三维空间中做出操控动作来完成大部分基础图形用户界面(graphical user interface,GUI)操作。RemoteControl使用支持向量机(support vector machine,SVM)和随机森林来从手部图像中识别出手的形状。实验结果表明RemoteControl的操控动作识别取得了较高的精确度。

关键词：人机交互非接触式操作手势识别机器学习

来源：评论

学校读者我要写书评

暂无评论

二次集成学习在医疗数据挖掘中的应用

引用

计算机科学与探索 2014年第9期8卷 1113-1119页

作者：魏秀参慕鑫杨杨南京大学计算机软件新技术国家重点实验室南京210023

CCDM 2014数据挖掘竞赛基于医学诊断数据,提出了实际生活中广泛出现的多类标问题和多类分类问题。针对两个问题出现的类别不平衡现象以及训练样本较少等特点,为了更好地完成数据挖掘任务,借助二次学习和集成学习的思想,提出了一个新的... 详细信息

CCDM 2014数据挖掘竞赛基于医学诊断数据,提出了实际生活中广泛出现的多类标问题和多类分类问题。针对两个问题出现的类别不平衡现象以及训练样本较少等特点,为了更好地完成数据挖掘任务,借助二次学习和集成学习的思想,提出了一个新的学习框架——二次集成学习。该学习框架通过首次集成学习得到若干置信度较高的样本,将其加入到原始训练集,并在新的训练集上进行二次学习,进而得到泛化性能更高的分类器。竞赛结果表明,与常用的集成学习相比,二次集成学习在两个问题上均取得了非常理想的结果。

关键词：二次学习集成学习类别不平衡学习数据挖掘

来源：评论

学校读者我要写书评

暂无评论

基于CPU+GPU联合计算真地表叠前时间偏移实用化研究

引用

石油地球物理勘探 2014年第3期49卷 530-537,417页

作者：马召贵赵改善武港山许自龙段文超王海波中国石化石油物探技术研究院江苏南京211103 南京大学软件新技术国家重点实验室江苏南京210093

为了提高起伏地表条件下的基尔霍夫叠前时间偏移算法的计算效率,针对CPU+GPU异构计算平台开展了算法移植与优化研究。首先分析了起伏地表条件下提高偏移成像精度的反假频、弯曲射线旅行时计算以及真地表旅行时校正的处理方法,然后在对... 详细信息

为了提高起伏地表条件下的基尔霍夫叠前时间偏移算法的计算效率,针对CPU+GPU异构计算平台开展了算法移植与优化研究。首先分析了起伏地表条件下提高偏移成像精度的反假频、弯曲射线旅行时计算以及真地表旅行时校正的处理方法,然后在对算法的并行计算特征进行分析的基础上,针对CPU+GPU异构平台的算法移植进行了多级并行联合计算架构的设计,通过炮检距域的多进程数据域并行、地震数据I/O与偏移计算的异步并行、基于CUDA的超大规模线程成像域并行以及联合CPU计算的多线程成像域并行技术对算法进行了移植及优化。利用大规模测试数据集进行了计算效率测试,测试结果验证了多级并行联合计算架构以及分别针对CPU和GPU平台的算法优化技术能够极大地提高偏移处理效率。

关键词：叠前时间偏移起伏地表高性能计算并行效率 GPU移植 CUDA优化

来源：评论

学校读者我要写书评

暂无评论

一种结合演示数据和演化优化的强化学习方法

引用

计算机工程与应用 2014年第11期50卷 115-119,129页

作者：宋拴俞扬南京大学计算机软件新技术国家重点实验室南京210023

强化学习研究智能体如何从与环境的交互中学习最优的策略,以最大化长期奖赏。由于环境反馈的滞后性,强化学习问题面临巨大的决策空间,进行有效的搜索是获得成功学习的关键。以往的研究从多个角度对策略的搜索进行了探索,在搜索算法方面... 详细信息

强化学习研究智能体如何从与环境的交互中学习最优的策略,以最大化长期奖赏。由于环境反馈的滞后性,强化学习问题面临巨大的决策空间,进行有效的搜索是获得成功学习的关键。以往的研究从多个角度对策略的搜索进行了探索,在搜索算法方面,研究结果表明基于演化优化的直接策略搜索方法能够获得优于传统方法的性能;在引入外部信息方面,通过加入用户提供的演示,可以有效帮助强化学习提高性能。然而,这两种有效方法的结合却鲜有研究。对用户演示与演化优化的结合进行研究,提出iNEAT+Q算法,尝试将演示数据通过预训练神经网络和引导演化优化的适应值函数的方式与演化强化学习方法结合。初步实验表明,iNEAT+Q较不使用演示数据的演化强化学习方法NEAT+Q有明显的性能改善。

关键词：强化学习演化算法从演示中学习神经网络

来源：评论

学校读者我要写书评

暂无评论

支持依赖修复的热部署技术

引用

计算机科学 2014年第11期41卷 141-145页

作者：李海骋曹春吕军陶先平南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机系南京210023

热部署机制是主流应用服务器的典型功能之一。但是目前的应用服务器仅仅支持独立应用的热部署,并不能满足具有依赖注入的复杂企业级应用在线更新的需求。如果在线更新部分模块,会出现程序调用失效的问题,并会导致整个应用平台的失效。... 详细信息

热部署机制是主流应用服务器的典型功能之一。但是目前的应用服务器仅仅支持独立应用的热部署,并不能满足具有依赖注入的复杂企业级应用在线更新的需求。如果在线更新部分模块,会出现程序调用失效的问题,并会导致整个应用平台的失效。为了解决这个问题,介绍一种支持依赖修复的热部署技术。在首次部署应用的各模块时,用该技术建立模块之间的依赖关系。而在其更新时,通过查找依赖关系,找出受到更新影响的模块,修复依赖并进行局部的热部署,避免重启应用服务器的代价。最后通过实验表明,该热部署技术可以保证依赖注入下的应用正确性;在实际工程应用的场景下,该技术也能够大幅度提升应用服务器的性能和运行效率。

关键词：热部署依赖修复应用服务器

来源：评论

学校读者我要写书评

暂无评论

大规模RFID系统中一种能量有效的丢失标签快速检测算法

引用

计算机学报 2014年第2期37卷 434-444页

作者：张士庚刘光亮刘璇王建新中南大学信息科学与工程学院长沙410083 计算机软件新技术国家重点实验室(南京大学) 南京210046 香港理工大学计算机系

在基于主动式标签构建的RFID系统中,如何以能量有效的方式检测出丢失标签是一个重要的研究问题.针对多阅读器RFID系统,首次提出一种基于虚拟布鲁姆过滤器的丢失标签检测算法BMD,能够以较低的能量开销快速地检测出丢失标签.算法的核心思... 详细信息

在基于主动式标签构建的RFID系统中,如何以能量有效的方式检测出丢失标签是一个重要的研究问题.针对多阅读器RFID系统,首次提出一种基于虚拟布鲁姆过滤器的丢失标签检测算法BMD,能够以较低的能量开销快速地检测出丢失标签.算法的核心思想是让标签在一个查询帧中对RFID阅读器进行多次回复,并基于回复信息构造若干"虚拟"布鲁姆过滤器来进行丢失标签检测.理论分析和仿真结果均表明了BMD算法的有效性.相比于传统的基于标签标识号收集的检测方法,BMD算法的能耗要低一个数量级,算法执行时间减少了最高达52%;相比于当前最好的单阅读器丢失标签检测算法IIP,BMD算法的能耗要低两个数量级以上,并且算法执行时间减少了最高达80%.

关键词：无线射频识别丢失标签检测布鲁姆过滤器能量有效物联网

来源：评论

学校读者我要写书评

暂无评论

一个移动应用个性化集成框架的研究及其在Android平台的实现

引用

计算机科学 2014年第11期41卷 63-68页

作者：张栋栋徐锋南京大学计算机软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046

随着互联网和智能手机的日益普及,移动应用数量呈现爆炸式增长,海量的移动应用既是机遇也是挑战。从开发者角度看,基于大量的已有移动应用快捷构造新的移动应用成为了可能,但当前大部分的开发工具对移动应用集成的支持仅停留在应用编程... 详细信息

随着互联网和智能手机的日益普及,移动应用数量呈现爆炸式增长,海量的移动应用既是机遇也是挑战。从开发者角度看,基于大量的已有移动应用快捷构造新的移动应用成为了可能,但当前大部分的开发工具对移动应用集成的支持仅停留在应用编程接口和底层运行机制上,尚未出现更高层次的面向执行流程的集成支持;从用户角度看,从众多移动应用中选择符合自己个性化需求的应用成为了可能,但目前大量的移动应用推荐系统集中在单个应用的个性化推荐问题上,未见面向用户个性化需求的移动应用执行序列推荐方法。为此,提出一个移动应用个性化集成框架,主要包括:1)定义了一套意图流程描述执行语言,以便开发者从更为自然的执行流程角度完成新移动应用的构造;2)给出了一个移动应用序列偏好度预测算法,用于解决移动应用执行序列的个性化推荐问题。在当前典型的移动应用平台Android上,实现了相应的移动应用个性化集成开发工具和运行支撑机制,并通过实例初步验证了上述方法的合理性。

关键词：移动应用集成框架序列推荐

来源：评论

学校读者我要写书评

暂无评论

基于颜色直方图和小波变换的视频烟雾检测

引用

计算机科学 2014年第12期41卷 251-254,287页

作者：孙建坤杨若瑜南京大学计算机科学与技术系南京210046 南京大学软件新技术国家重点实验室南京210046

从视频中自动识别烟雾在火灾早期预报警、尾气识别等实际应用中具有重要意义。烟雾检测的难点之一在于如何排除与烟雾颜色相近的运动对象的干扰。为了保证检测效果和实时性,提出使用静态的小波统计特征来排除汽车、行人等干扰区域。该... 详细信息

从视频中自动识别烟雾在火灾早期预报警、尾气识别等实际应用中具有重要意义。烟雾检测的难点之一在于如何排除与烟雾颜色相近的运动对象的干扰。为了保证检测效果和实时性,提出使用静态的小波统计特征来排除汽车、行人等干扰区域。该算法首先使用背景剪除法获取运动区域,然后利用颜色直方图映射来提取符合烟雾色彩特征的疑似区,最后分别对背景和相应的视频帧做小波变换并对二者求差,根据差值图像的统计特征来去除疑似区域中的非烟雾物体。实验结果表明,该方法正确率较高,检错率较低,且基本达到实时效果。

关键词：烟雾检测背景减除直方图反射小波变换

来源：评论

学校读者我要写书评

暂无评论

混合种群多样性自适应遗传操作的HMM训练模型

引用

计算机研究与发展 2014年第8期51卷 1833-1844页

作者：王相海丛志环方玲玲宋传鸣辽宁师范大学计算机与信息技术学院辽宁大连116029 智能计算与信息处理教育部重点实验室(湘潭大学) 湖南湘潭411105 计算机软件新技术国家重点实验室(南京大学) 南京210093

针对传统GA方法训练HMM模型所存在的对遗传控制参数具有较强的敏感性的问题:1)提出一种以混合遗传种群多样性为原则的BPD-AGA算法,该算法依据决定种群多样性的基因型和表现型来自适应地调整遗传参数,使整个遗传迭代过程能够在扩大遗传... 详细信息

针对传统GA方法训练HMM模型所存在的对遗传控制参数具有较强的敏感性的问题:1)提出一种以混合遗传种群多样性为原则的BPD-AGA算法,该算法依据决定种群多样性的基因型和表现型来自适应地调整遗传参数,使整个遗传迭代过程能够在扩大遗传搜索空间的同时提高最优解的质量;2)提出了一种基于BPD-AGA的HMM训练模型,该模型一方面利用BPD-AGA的自适应选择操作,选择对混合种群多样性贡献最大的个体作为竞争优胜者;另一方面利用BPD-AGA的自适应交叉变异操作,在扩大算法搜索空间的同时保护对混合种群多样性贡献较大的个体,从而保证了HMM解个体的全局最优性;3)为了提高BPD-AGA训练的收敛速度,利用Baum-Welch算法从外部对BPD-AGA的收敛性进行了改善,提出了一个从外部和内部同时改善GA性能的BPD-AGA/Baum-Welch混合模型;4)给出了将所提出的模型和算法应用在交通视频车辆行驶状态判别中的实现过程.仿真实验验证了所提出模型和算法的有效性.

关键词：混合遗传种群多样性自适应遗传算法 HMM训练模型车辆行驶状态实时判别

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：