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

电子学报 2015年第8期43卷 1627-1636页

作者：杨思春戴新宇陈家骏安徽工业大学计算机科学与技术学院安徽马鞍山243032 南京大学计算机软件新技术国家重点实验室江苏南京210023

开放域问答是当前自然语言处理和信息检索领域的研究热点,作为开放域问答系统的重要组成部分,问题分类可以缩小答案的搜索空间并决定答案的选择策略.近年来,基于机器学习的问题分类技术受到广泛的关注,相关研究表明问题分类的准确性直... 详细信息

开放域问答是当前自然语言处理和信息检索领域的研究热点,作为开放域问答系统的重要组成部分,问题分类可以缩小答案的搜索空间并决定答案的选择策略.近年来,基于机器学习的问题分类技术受到广泛的关注,相关研究表明问题分类的准确性直接影响问答系统的整体性能.本文从分类体系与数据集、特征提取、分类器设计、性能评测等层面,总结了问题分类技术近年的主要研究成果.重点分析了各种基于监督学习的问题分类方法的特点和不足,讨论了核方法、半监督学习、主动学习、迁移学习等在问题分类中的应用,同时对问题分类技术未来研究动向进行了展望.

关键词：开放域问答问题分类机器学习特征提取分类器设计

来源：评论

学校读者我要写书评

暂无评论

基于量子搜索的软件工程

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

边界和曲率驱动修复的图像编码算法

引用

模式识别与人工智能 2015年第11期28卷 1023-1032页

作者：王相海汲海巍宋传鸣辽宁师范大学计算机与信息技术学院大连116029 南京大学计算机软件新技术国家重点实验室南京210023

提出面向人眼视觉的基于边界和曲率驱动修复的图像编码算法.首先利用梯度方差和二值边缘将图像分成结构块、梯度块和平凡块.然后采用JPEG和算术编码压缩平凡块、必要的结构块和梯度块及其辅助信息.最后在解码端利用JPEG解码平凡块,利用... 详细信息

提出面向人眼视觉的基于边界和曲率驱动修复的图像编码算法.首先利用梯度方差和二值边缘将图像分成结构块、梯度块和平凡块.然后采用JPEG和算术编码压缩平凡块、必要的结构块和梯度块及其辅助信息.最后在解码端利用JPEG解码平凡块,利用梯度加权的线性插值重构梯度块,采用边界指导的像素扩散方法和曲率驱动扩散模型解码结构块,较好保持解码图像边界的完整性和强度.实验表明,文中算法在压缩效率和解码图像的视觉效果上均有较大幅度的提高,且计算复杂度较低.

关键词：图像编码图像修复曲率驱动扩散人眼视觉系统

来源：评论

学校读者我要写书评

暂无评论

基于改进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年第B11期42卷 113-118页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于云计算的多层量子精英属性协同约简算法

引用

四川大学学报（工程科学版） 2015年第6期47卷 97-103页

作者：丁卫平陈森博王杰华管致锦南通大学计算机科学与技术学院江苏南通226019 南京大学计算机软件新技术国家重点实验室江苏南京210093 苏州大学江苏省计算机信息处理技术重点实验室江苏苏州215006

针对传统粗糙集属性约简算法无法高效处理日益增长的大数据问题,提出一种基于云计算的多层量子精英属性协同约简算法。该算法首先在云计算MapReduce模型下将大规模数据集划分到不同的进化蛙群中,分别获得各子种群最优解;然后构造一种基... 详细信息

针对传统粗糙集属性约简算法无法高效处理日益增长的大数据问题,提出一种基于云计算的多层量子精英属性协同约简算法。该算法首先在云计算MapReduce模型下将大规模数据集划分到不同的进化蛙群中,分别获得各子种群最优解;然后构造一种基于多层量子蛙群精英向量的属性协同约简策略,挑选出具有全局搜索和局部精化最强优化能力的精英子种群向量,快速引导各子种群找到各自最小属性约简集,从而取得大规模数据集的全局最优属性约简集。实验结果表明,本文算法在大规模数据集上求解全局最优属性约简解的效率和精度具有明显优势,同时应用于电子病历数据库MRI分割效果表明其具有较强适用性。

关键词：属性协同约简云计算 MapReduce模型多层量子精英 MRI分割

来源：评论

学校读者我要写书评

暂无评论

小车远程控制及自主寻路系统的设计与实现

引用

计算机科学 2015年第12期42卷 98-101页

作者：李晓帆许畅南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

智能机器人可通过传感器获取周围的地形、温度等信息,并加以分析处理而采取对应策略。然而,机器人可能由于本身不具备定位功能而只能进行简单控制,也可能因为障碍物信息采样不足而导致避障算法失败。面对这一类问题,设计并实现了一套能... 详细信息

智能机器人可通过传感器获取周围的地形、温度等信息,并加以分析处理而采取对应策略。然而,机器人可能由于本身不具备定位功能而只能进行简单控制,也可能因为障碍物信息采样不足而导致避障算法失败。面对这一类问题,设计并实现了一套能对智能车进行远程控制并令其自主寻路的系统。该系统通过高效的图像处理与识别对智能车自动定位;对现有避障算法进行了改进,并建立了避让策略来保证智能车总能找到一条抵达目标的安全路径。实验结果表明,该系统定位精度较高,控制与寻路功能具有一定的可靠性与实用性。

关键词：远程控制自主寻路安卓平台

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：