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

小型微型计算机系统 2015年第6期36卷 1393-1397页

作者：尹存燕黄书剑戴新宇陈家骏南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

命名实体翻译可以有效地提高跨语言信息检索、统计机器翻译等系统的性能.双语新闻语料包含了丰富的命名实体,利用统计方法可以从中抽取出命名实体翻译.基于中日双语新闻语料,对中日命名实体的翻译特征进行了分析,基于这些特征,提出一种... 详细信息

命名实体翻译可以有效地提高跨语言信息检索、统计机器翻译等系统的性能.双语新闻语料包含了丰富的命名实体,利用统计方法可以从中抽取出命名实体翻译.基于中日双语新闻语料,对中日命名实体的翻译特征进行了分析,基于这些特征,提出一种中日双语命名实体翻译自动抽取的方法,该方法融合了中日汉字翻译概率、片假名词汇和中文音译词汇的拼音相似度以及双语词汇共现等特征.实验表明本文方法充分利用这些特征,在语料规模不大的情况下,也可以取得较好的效果.

关键词：命名实体双语语料对齐模型拼音相似度词汇共现

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于种群混合协同联盟的属性量子博弈均衡约简

引用

电子学报 2015年第1期43卷 45-53页

作者：丁卫平王建东施全陈森博沈学华南通大学计算机科学与技术学院江苏南通226019 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093 南京航空航天大学计算机科学与技术学院江苏南京210016

为进一步提高进化种群在粗糙集属性演化约简中寻求最优解的协同性能,提出了一种基于种群混合协同联盟的属性量子博弈均衡约简算法.该算法建立一种基于自适应多层进化树的种群协同演化联盟模型,以种群内个体竞争和种群间精英合作的混合... 详细信息

为进一步提高进化种群在粗糙集属性演化约简中寻求最优解的协同性能,提出了一种基于种群混合协同联盟的属性量子博弈均衡约简算法.该算法建立一种基于自适应多层进化树的种群协同演化联盟模型,以种群内个体竞争和种群间精英合作的混合协同机制实现各种群协同演化,较好地达到属性协同演化约简中广度寻优和深度探索的有效平衡;然后将信任裕度报酬机制引入到多种群精英量子协同博弈模型,种群精英在每个划分的属性子集中通过量子协同博弈策略均能求得各自最优约简子集,从而稳定取得Nash均衡下全局最优属性约简集.实验结果表明本文算法具有较高的属性演化约简效能和精度,对不完备电子病历系统中脑组织核磁共振成像MRI的高效约简与分割进一步展示其具有较强的实用性和鲁棒性.

关键词：属性演化约简自适应进化树混合协同信任裕度量子博弈纳什均衡

来源：评论

学校读者我要写书评

暂无评论

大数据哈希学习:现状与趋势

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于量子搜索的软件工程

引用

中国科学：信息科学 2015年第5期45卷 623-633页

作者：吴楠宋方敏 LI XiangDong 南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 Department of Computer Science The City University of New York

基于搜索的软件工程(SBSE)是通过基于搜索的优化算法和对复杂问题的自动/半自动求解过程来解决软件工程相关问题的工程化方法.从软件的需求、开发项目的计划到软件的后期维护和复用,基于搜索的软件工程方法的应用可贯穿软件工程的整个... 详细信息

基于搜索的软件工程(SBSE)是通过基于搜索的优化算法和对复杂问题的自动/半自动求解过程来解决软件工程相关问题的工程化方法.从软件的需求、开发项目的计划到软件的后期维护和复用,基于搜索的软件工程方法的应用可贯穿软件工程的整个生命周期.本文提出了基于量子搜索的框架式软件工程方法,将传统的SBSE问题转化为可用量子搜索快速解决的搜索问题并给出通用的解决方法.研究表明,对于大多数软件工程相关问题,使用基于Grover迭代和量子行走的量子搜索算法比传统SBSE的搜索优化算法的效率更高且具有更好的通用性.

关键词：基于搜索的软件工程量子搜索算法量子计算软件测试软件维护

来源：评论

学校读者我要写书评

暂无评论

基于改进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期43卷 2429-2439页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：