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

科学通报 2015年第5期60卷 485-490页

作者：李武军周志华南京大学计算机软件新技术国家重点实验室南京210023 软件新技术与产业化协同创新中心南京210023

随着信息技术的迅速发展,各行各业积累的数据都呈现出爆炸式增长趋势,我们已经进入大数据时代.大数据在很多领域都具有广阔的应用前景,已经成为国家重要的战略资源,对大数据的存储、管理和分析也已经成为学术界和工业界高度关注的热点.... 详细信息

随着信息技术的迅速发展,各行各业积累的数据都呈现出爆炸式增长趋势,我们已经进入大数据时代.大数据在很多领域都具有广阔的应用前景,已经成为国家重要的战略资源,对大数据的存储、管理和分析也已经成为学术界和工业界高度关注的热点.收集、存储、传输、处理大数据的目的是为了利用大数据,而要有效地利用大数据,机器学习技术必不可少.因此,大数据机器学习(简称大数据学习)是大数据研究的关键内容之一.哈希学习通过将数据表示成二进制码的形式,不仅能显著减少数据的存储和通信开销,还能降低数据维度,从而显著提高大数据学习系统的效率.因此,哈希学习近年来成为大数据学习中的一个研究热点.本文对这方面的工作进行介绍.

关键词：大数据机器学习哈希学习大数据学习

来源：评论

学校读者我要写书评

暂无评论

基于程序频谱的动态缺陷定位方法研究

引用

软件学报 2015年第2期26卷 390-412页

作者：陈翔鞠小林文万志顾庆南通大学计算机科学与技术学院江苏南通226019 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

基于程序频谱的动态缺陷定位是软件自动化调试研究中的一个热点问题,通过搜集测试用例的程序频谱和执行结果,基于特定模型以定位缺陷语句在被测程序内的可能位置.对近些年来国内外学者在该研究领域取得的成果进行系统总结:首先,给出预... 详细信息

基于程序频谱的动态缺陷定位是软件自动化调试研究中的一个热点问题,通过搜集测试用例的程序频谱和执行结果,基于特定模型以定位缺陷语句在被测程序内的可能位置.对近些年来国内外学者在该研究领域取得的成果进行系统总结:首先,给出预备知识和基本假设;随后,提出缺陷定位研究框架并识别出框架内一系列可影响缺陷定位效果的内在影响因素,包括程序频谱构造方式、测试套件构成和维护、内在缺陷数量、测试用例预言设置、用户反馈和缺陷修复开销等;接着,对实证研究中采用的评测指标和评测程序进行总结和分析;然后,对缺陷定位方法在一些特定测试领域中的应用进行总结;最后,对该领域未来值得关注的研究方向进行了展望.

关键词：软件调试缺陷定位程序频谱测试用例测试用例预言

来源：评论

学校读者我要写书评

暂无评论

一种基于模型分割的三维人体骨架提取方法

引用

计算机应用与软件 2016年第9期33卷 33-37页

作者：甘凌云侯进西南交通大学信息科学与技术学院四川成都611756 南京大学计算机软件新技术国家重点实验室江苏南京210093

针对当前三维骨架提取方法复杂度较高、提取结果不够准确,以及专门针对人体模型的方法较少等问题,提出一种基于模型分割的三维人体骨架提取方法。首先,根据模型顶点与末端特征点的最小测地距离将模型分割;然后由归一化的测地距离函数确... 详细信息

针对当前三维骨架提取方法复杂度较高、提取结果不够准确,以及专门针对人体模型的方法较少等问题,提出一种基于模型分割的三维人体骨架提取方法。首先,根据模型顶点与末端特征点的最小测地距离将模型分割;然后由归一化的测地距离函数确定模型各顶点所属拓扑层次;接着在模型分割的基础上依据拓扑层次提取出原始骨架点;最后经过微调,将各骨架点按照拓扑关系连接得到较为精确的人体骨架。实验结果表明,该方法有效降低了骨架提取算法的复杂度,且对不同姿势的人体模型均可获得较为准确的提取结果。

关键词：骨架提取模型分割测地距离拓扑层次

来源：评论

学校读者我要写书评

暂无评论

基于协作度的分布式自动协商联盟形成机制

引用

计算机研究与发展 2015年第5期52卷 1080-1090页

作者：胡军张振兴邹立湖南大学信息科学与工程学院长沙410082 计算机软件新技术国家重点实验室(南京大学) 南京210093 桂林电子科技大学广西可信软件重点实验室广西桂林541004

现有联盟形成的研究中大都没有考虑到不同Agent的协作资源和协作态度不同的异质性,而是假定所有Agent具有相同的协作资源和协作态度.为此提出一种基于协作度的分布式自动协商联盟形成机制(collaborative degree-based distributed autom... 详细信息

现有联盟形成的研究中大都没有考虑到不同Agent的协作资源和协作态度不同的异质性,而是假定所有Agent具有相同的协作资源和协作态度.为此提出一种基于协作度的分布式自动协商联盟形成机制(collaborative degree-based distributed automatic negotiation coalition formation mechanism,CDBDN),通过对处在网络拓扑结构中Agent的协作资源和协作态度的描述建立Agent协作度的概念.以分布式的应用环境为背景,建立分布式协商协议(distributed negotiation protocal,DNP)来实现分布式自动协商方式构建联盟.该机制建立了分布式协商协议和引入了Agent协作度,提出基于Agent协作度的协商策略.实验结果表明,该机制在联盟形成的效率、Agent协商效率和个体效用方面都表现出有较好的性能.

关键词：多Agent系统联盟形成分布式自动协商协商策略协作度

来源：评论

学校读者我要写书评

暂无评论

基于语法描述语言的在线手绘流程图识别

引用

计算机科学 2015年第B11期42卷 113-118页

作者：陈泉施大鹏冯桂焕赵小燕骆斌南京大学软件学院南京210093 计算机软件新技术国家重点实验室南京210093

提出了一种基于语法描述语言来对草图的结构和组成符号进行识别的方法。该方法将整个识别过程分为3步:首先,使用具有空间和时序约束的动态规划对笔画序列进行自由组合;然后通过神经网络分类器对笔画组合进行识别,生成候选符号集;最后,... 详细信息

提出了一种基于语法描述语言来对草图的结构和组成符号进行识别的方法。该方法将整个识别过程分为3步:首先,使用具有空间和时序约束的动态规划对笔画序列进行自由组合;然后通过神经网络分类器对笔画组合进行识别,生成候选符号集;最后,基于流程图构成的语法规则,对候选符号进行筛选,最终通过语法解析获得识别结果。在FCinkML数据上对该方法进行验证,结果表明了该方法的有效性。

关键词：草图理解手绘流程图语法描述语言神经网络

来源：评论

学校读者我要写书评

暂无评论

基于改进Candide-3模型的眼部动画建模

引用

哈尔滨工程大学学报 2015年第4期36卷 581-586页

作者：雷腾侯进王献西南交通大学信息科学与技术学院四川成都610031 南京大学计算机软件新技术国家重点实验室江苏南京210023

针对在Candide-3模型上进行三维人脸重建时不能表达人眼部细节动作的问题,提出了一种改进Candide-3模型重建人脸的方法。该方法首先在Candide-3模型上对眼部进行建模,其中眼部的建模具体分为眼球的建模以及眼睑的建模。对于眼球采用2个... 详细信息

针对在Candide-3模型上进行三维人脸重建时不能表达人眼部细节动作的问题,提出了一种改进Candide-3模型重建人脸的方法。该方法首先在Candide-3模型上对眼部进行建模,其中眼部的建模具体分为眼球的建模以及眼睑的建模。对于眼球采用2个半球结合的方式进行建模。对于眼睑的建立,分别在Candide-3的模型上对眼睑的内边缘、外边缘以及上眼睑沟用Bezier曲线进行建模。然后结合人脸特征点的信息和局部最小二乘法匹配原理建立了与输入人脸图像相仿的三维人脸模型。接着,对脸部进行特征点约束的方法贴纹理,眼球分别用局部球形纹理贴图以及球形纹理贴图的方法贴图。最后,在该模型上用分段线性插值的方法,逼真地完成了眼睑的睁闭、眨眼以及眼球的旋转等相关动作。

关键词： Candide-3模型眼部动画建模模型改进局部最小二乘法匹配纹理贴图插值动画

来源：评论

学校读者我要写书评

暂无评论

基于数据流分析的单链表可达性自动化验证

引用

计算机科学 2015年第12期42卷 47-51页

作者：冬雨辰王寒非赵建华南京大学计算机软件新技术国家重点实验室南京210023

程序验证中的常见情景是判断某个用户指定的性质在程序执行之后或执行过程中的某个程序点上是否成立。人工的形式化验证过程繁琐且容易出错,因此形式化验证的自动化是提高代码验证效率的重要方法。数据流分析技术是一种能够自动发现程... 详细信息

程序验证中的常见情景是判断某个用户指定的性质在程序执行之后或执行过程中的某个程序点上是否成立。人工的形式化验证过程繁琐且容易出错,因此形式化验证的自动化是提高代码验证效率的重要方法。数据流分析技术是一种能够自动发现程序中某类性质的技术。研究了将一种数据流分析技术(单链表形状分析)和基于Scope Logic的代码验证过程相结合的方法。通过数据流分析获得所有程序点上的单链表可达性性质,将结果表达为带有递归函数的一阶逻辑公式,并将其插入到相应程序点中。分析程序还根据Scope Logic的证明法则设定了这些公式之间的逻辑依赖关系。实例测试表明所提方法可以分析得到单链表可达性性质,并且分析结果能够被基于Scope Logic的代码形式化验证过程有效利用,提高了代码形式化证明的效率。

关键词：代码验证数据流分析 Scope Logic

来源：评论

学校读者我要写书评

暂无评论

一种优化缓存的Mobile Agent迁移机制

引用

北京理工大学学报 2015年第1期35卷 86-91页

作者：徐小龙吴家兴曹玲玲王新珩南京邮电大学计算机学院江苏南京210003 南京大学计算机软件新技术国家重点实验室江苏南京210046 西苏格兰大学计算机学院

目前的Mobile Agent迁移系统中,若Agent迁移失败,封装好的最小信息集将被简单抛弃,再次迁移时需重新封装,导致了额外的系统开销和迁移的低效率.对Mobile Agent迁移机制进行改进,通过在本地Agency添加Agent迁移缓存管理器AMCM,提出了一... 详细信息

目前的Mobile Agent迁移系统中,若Agent迁移失败,封装好的最小信息集将被简单抛弃,再次迁移时需重新封装,导致了额外的系统开销和迁移的低效率.对Mobile Agent迁移机制进行改进,通过在本地Agency添加Agent迁移缓存管理器AMCM,提出了一种优化缓存的Mobile Agent迁移机制.机制区分了Mobile Agent强迁移和弱迁移两种情况;当Agent迁移失败之后,已封装好的Agent信息集由Agent迁移缓存管理器保存;该Agent再次迁移时,封装好的消息将被直接发送至目的节点;机制还实现了Agent在多个节点间高效率的连续迁移.实验与性能分析表明,优化缓存的Mobile Agent迁移机制可有效节约系统的计算资源,缩短Mobile Agent的迁移时延.

关键词：移动主体迁移机制优化缓存连续迁移

来源：评论

学校读者我要写书评

暂无评论

采用搜索趋化策略的布谷鸟全局优化算法

引用

电子学报 2015年第12期43卷 2429-2439页

作者：马卫孙正兴南京大学计算机软件新技术国家重点实验室江苏南京210093 南京旅游职业学院酒店管理学院江苏南京211100

布谷鸟搜索算法是一种基于莱维飞行搜索策略的新型智能优化算法.单一的莱维飞行随机搜索更新策略存在全局搜索性能不足和寻优精度不高等缺陷.为了解决这一问题,本文提出了一种改进的布谷鸟全局优化算法.该算法的主要特点在于以下三个方... 详细信息

布谷鸟搜索算法是一种基于莱维飞行搜索策略的新型智能优化算法.单一的莱维飞行随机搜索更新策略存在全局搜索性能不足和寻优精度不高等缺陷.为了解决这一问题,本文提出了一种改进的布谷鸟全局优化算法.该算法的主要特点在于以下三个方面:首先,采用全局探测和模式移动交替进行的模式搜索趋化策略,实现了布谷鸟莱维飞行的全局探测与模式搜索的局部优化的有机结合,从而避免盲目搜索,加强算法的局部开采能力;其次,采取自适应竞争机制动态选择最优解数量,实现了迭代过程搜索速度和解的多样性间的有效平衡;最后,采用优势集搜索机制,实现了最优解的有效合作分享,强化了优势经验的学习.对52个典型测试函数实验结果表明,本文算法不仅寻优精度和寻优率显著提高,鲁棒性强,且适合于多峰及复杂高维空间全局优化问题.本文算法与最新提出的改进的布谷鸟优化算法以及其它智能优化策略相比,其全局搜索性能与寻优精度更具优势,效果更好.

关键词：布谷鸟算法趋化搜索 Hooke-Jeeves模式搜索合作分享自适应竞争全局优化

来源：评论

学校读者我要写书评

暂无评论

一种软件自适应UML建模及其形式化验证方法

引用

软件学报 2015年第4期26卷 730-746页

作者：韩德帅杨启亮邢建春解放军理工大学国防工程学院江苏南京210007 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093

软件自适应的建模和形式化验证是提高自适应软件开发效率、保证自适应软件可靠性的基础,现有研究中软件自适应可视化建模与形式化建模相隔离,一定程度上阻碍了自适应软件的开发.为此,提出MV4SAS的方法,将可视化的UML与严格化的时间自动... 详细信息

软件自适应的建模和形式化验证是提高自适应软件开发效率、保证自适应软件可靠性的基础,现有研究中软件自适应可视化建模与形式化建模相隔离,一定程度上阻碍了自适应软件的开发.为此,提出MV4SAS的方法,将可视化的UML与严格化的时间自动机相结合,用于软件自适应的建模和形式化验证.首先,应用UML扩展机制引入新的构造型、标记值和约束条件,定义软件自适应建模设施,在此基础上构造软件自适应结构模型和行为模型;然后,根据定义好的转换算法将软件自适应行为模型转换为时间自动机网络,建立软件自适应形式化模型;最后,定义一组软件自适应形式化验证性质,并利用模型检测工具UPPAAL验证软件自适应模型的可靠性.案例研究表明,该方法可有效降低软件自适应建模和验证的复杂度,提高软件自适应的建模效率和模型可靠性.

关键词：软件自适应自适应软件软件建模形式化验证

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：