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

模式识别与人工智能 2016年第11期29卷 961-968页

作者：刘峰南京大学软件学院南京210093 南京大学计算机软件新技术国家重点实验室南京210093

基于点的值迭代方法是求解部分可观测马尔科夫决策过程(POMDP)问题的一类有效算法.目前基于点的值迭代算法大都基于单一启发式标准探索信念点集,从而限制算法效果.基于此种情况,文中提出基于杂合标准探索信念点集的值迭代算法(HHVI),可... 详细信息

基于点的值迭代方法是求解部分可观测马尔科夫决策过程(POMDP)问题的一类有效算法.目前基于点的值迭代算法大都基于单一启发式标准探索信念点集,从而限制算法效果.基于此种情况,文中提出基于杂合标准探索信念点集的值迭代算法(HHVI),可以同时维持值函数的上界和下界.在扩展探索点集时,选取值函数上下界差值大于阈值的信念点进行扩展,并且在值函数上下界差值大于阈值的后继信念点中选择与已探索点集距离最远的信念点进行探索,保证探索点集尽量有效分布于可达信念空间内.在4个基准问题上的实验表明,HHVI能保证收敛效率,并能收敛到更好的全局最优解.

关键词：部分可观测马尔科夫决策过程(POMDP) 杂合启发式值迭代可达信念空间探索价值

来源：评论

学校读者我要写书评

暂无评论

通用量子计算机:理论、组成与实现

引用

计算机学报 2016年第12期39卷 2429-2445页

作者：吴楠宋方敏 LIXiang-Dong 南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093 纽约城市大学计算机科学系纽约美国10016

通用量子计算机是指可以在不改变量子计算机物理组成和基本体系结构的条件下针对所有可计算问题进行量子计算及其它量子信息处理的设备.通用量子计算机的研究和制造具有重要的理论和实际意义.要达成制造通用量子计算机的目标,需要在底... 详细信息

通用量子计算机是指可以在不改变量子计算机物理组成和基本体系结构的条件下针对所有可计算问题进行量子计算及其它量子信息处理的设备.通用量子计算机的研究和制造具有重要的理论和实际意义.要达成制造通用量子计算机的目标,需要在底层量子物理设备、量子计算机体系结构、量子资源调度和上层量子程序设计语言、量子算法及量子应用软件等多方面进行努力.文中结合国内外在上述各方面研究的最新进展以及作者自身的研究结果,从计算机系统的角度为通用量子计算机的研究和制造绘制一幅蓝图,并详细阐述了其中的困难与努力方向.

关键词：量子计算量子计算机体系结构量子信息量子程序设计语言量子算法物理实现

来源：评论

学校读者我要写书评

暂无评论

面向类别比例偏移的半监督支持向量机方法

引用

模式识别与人工智能 2016年第7期29卷 625-632页

作者：李远肇王少博李宇峰南京大学计算机软件新技术国家重点实验室南京210023

当未标记数据与有标记数据类别比例偏移较大时,半监督支持向量机性能不佳.基于此情况,文中提出面向类别比例偏移的半监督支持向量机方法.首先估计未标记数据类中心,然后对多个类别比例下的类中心进行最坏情况集成,从而提升半监督支持向... 详细信息

当未标记数据与有标记数据类别比例偏移较大时,半监督支持向量机性能不佳.基于此情况,文中提出面向类别比例偏移的半监督支持向量机方法.首先估计未标记数据类中心,然后对多个类别比例下的类中心进行最坏情况集成,从而提升半监督支持向量机的性能保障.实验表明,文中方法有效提升半监督支持向量机在类别比例偏移时的性能保障.

关键词：半监督学习半监督支持向量机类别比例偏移集成方法

来源：评论

学校读者我要写书评

暂无评论

基于滑动窗口均值先验的非同构动态贝叶斯网络转换点检测算法

引用

模式识别与人工智能 2016年第8期29卷 751-759页

作者：俞露高阳史颖欢南京大学计算机软件新技术国家重点实验室南京210023

为了放宽动态贝叶斯网络中的同构假设,提出非同构贝叶斯网络.基于此种情况,文中提出结合先验知识的可逆跳转的马尔可夫链蒙特卡洛算法(APK-RJ-MCMC).算法基本假设为如果一个时间点左右窗口中数据均值间的欧氏距离越大,则这个时间点作为... 详细信息

为了放宽动态贝叶斯网络中的同构假设,提出非同构贝叶斯网络.基于此种情况,文中提出结合先验知识的可逆跳转的马尔可夫链蒙特卡洛算法(APK-RJ-MCMC).算法基本假设为如果一个时间点左右窗口中数据均值间的欧氏距离越大,则这个时间点作为转换点的可能性越高.基于上述假设,可得到关于每个时间点作为转换点可能性的粗略估计,将其作为先验知识调控可逆跳转的马尔可夫蒙特卡洛采样技术(RJ-MCMC)采样转换点时的生成、消除、转换动作的提议概率之比,进而调节状态跳转时的接受概率.在人工数据集和基因数据集上的实验表明,相比其它算法,APK-RJ-MCMC在转换点检测上具有更高的检测后验概率.

关键词：非同构动态贝叶斯网络可逆跳转马尔可夫链蒙特卡洛采样算法(RJ—MCMC) 分布距离先验知识

来源：评论

学校读者我要写书评

暂无评论

半监督软件缺陷挖掘研究综述

引用

数据采集与处理 2016年第1期31卷 56-64页

作者：黎铭霍轩南京大学计算机软件新技术国家重点实验室南京210023

软件质量是计算机系统安全可靠运行的保障,而软件缺陷是导致软件质量低下的重要诱因。软件缺陷挖掘技术凭借其能够通过对软件代码及其相关数据进行分析建模,发现软件系统潜在的缺陷,已得到了软件质量保障领域的广泛关注。要准确发现软... 详细信息

软件质量是计算机系统安全可靠运行的保障,而软件缺陷是导致软件质量低下的重要诱因。软件缺陷挖掘技术凭借其能够通过对软件代码及其相关数据进行分析建模,发现软件系统潜在的缺陷,已得到了软件质量保障领域的广泛关注。要准确发现软件模块中潜在的缺陷,需要利用大量带有缺陷情况标注的模块进行学习。然而,缺陷情况标注往往需要通过详细测试或人工代码检查获取,要消耗大量测试和人工资源,在实际应用中难以满足,这严重制约了软件缺陷挖掘的性能。针对这一问题,半监督学习技术被引入软件缺陷挖掘,通过对大量缺少标注的模块进行利用,辅助提升软件缺陷挖掘的性能。本文对半监督缺陷挖掘技术的研究现状进行综述。首先综述了软件缺陷挖掘研究现状,然后简要介绍了半监督学习的4种学习范式;最后系统梳理了基于半监督学习进行软件缺陷挖掘的多种方法与技术。

关键词：软件挖掘机器学习半监督学习软件缺陷挖掘

来源：评论

学校读者我要写书评

暂无评论

Rings游戏开发在《Java语言程序设计A》课程中的应用研究

引用

现代计算机 2017年第8期23卷 15-17页

作者：陈兴国南京邮电大学计算机学院/软件学院南京210023 南京大学计算机软件新技术国家重点实验室南京210046

传统的语言程序设计课程的教学方式都以教师按部就班的课堂讲授和练习为主。对大一新生来说难以理解和消化,从而产生对语言类程序设计课程的抵触情绪。通过在《Java语言程序设计A》课程中引入Rings游戏开发,不仅激发学生的学习兴趣、贯... 详细信息

传统的语言程序设计课程的教学方式都以教师按部就班的课堂讲授和练习为主。对大一新生来说难以理解和消化,从而产生对语言类程序设计课程的抵触情绪。通过在《Java语言程序设计A》课程中引入Rings游戏开发,不仅激发学生的学习兴趣、贯穿课程的知识点、在一定程度上防止沉迷游戏,而且有效地锻炼学生的思考和解决问题的能力。在游戏开发基础上,通过智能算法竞赛,引领学生走进人工智能科学前沿。

关键词：游戏开发程序设计人工智能

来源：评论

学校读者我要写书评

暂无评论

Prelude:手写谱曲系统的交互方法

引用

计算机辅助设计与图形学学报 2016年第8期28卷 1358-1364页

作者：陈若轻陈泉宋笑寒张顺冯桂焕南京大学软件学院南京210093 计算机软件新技术国家重点实验室南京210093 东南大学艺术学院南京210096

手写通常是作曲者最传统且最自然的谱曲方式.然而受限于对书写过程的控制以及音符识别方法的影响,现有软件对音符的录入绝大多数仍基于非自然的鼠标点选模式.为解决这一问题,提出面向"自然"和"满足感"的交互设计思... 详细信息

手写通常是作曲者最传统且最自然的谱曲方式.然而受限于对书写过程的控制以及音符识别方法的影响,现有软件对音符的录入绝大多数仍基于非自然的鼠标点选模式.为解决这一问题,提出面向"自然"和"满足感"的交互设计思路.通过引入纸带放大镜和自由书写2套交互模型,最大限度还原纸笔创作的自然度与流畅度;同时提出基于轮廓扫描与分类的手绘音符识别方法,能够实现对多种不同类型音符的自动识别.前期系统测试结果表明,文中识别方法具有较强的容错能力,交互设计具有较高的用户满意度.

关键词：手写谱曲纸带放大镜模型自由书写模型轮廓扫描与分类方法

来源：评论

学校读者我要写书评

暂无评论

飞人:利用基灵矢量场的图像高保真变形

引用

计算机辅助设计与图形学学报 2016年第8期28卷 1333-1340页

作者：杜振龙赵中武李晓丽郭延文南京工业大学计算机科学与技术学院南京211816 南京大学计算机软件新技术国家重点实验室南京210023

为了把常态实拍人物图像参考指定姿态变形为跳、飞奔、飞跃的"飞人"效果,提出一种利用基灵矢量场的图像高保真变形方法.该方法利用改进的GrabCut算法提取待变形的目标人物;通过语义骨架匹配算法把人物骨架与姿态模板骨架进行... 详细信息

为了把常态实拍人物图像参考指定姿态变形为跳、飞奔、飞跃的"飞人"效果,提出一种利用基灵矢量场的图像高保真变形方法.该方法利用改进的GrabCut算法提取待变形的目标人物;通过语义骨架匹配算法把人物骨架与姿态模板骨架进行匹配;利用骨架约束基灵矢量场实现图像变形,从而达到实拍常态人物图像变形为跳、飞奔、飞跃等效果.实验结果表明,文中方法能够处理人物图像间的变形,有效地把人物图像参照姿态模板进行变形,效果真实.

关键词：图像变形基灵矢量场保真骨架语义匹配

来源：评论

学校读者我要写书评

暂无评论

基于网络爬虫的水利信息检索系统的设计与实现

引用

水利信息化 2017年第4期 36-41页

作者：巫义锐黄多辉周逸徉河海大学计算机与信息学院江苏南京211100 南京大学计算机软件新技术国家重点实验室江苏南京210093

随着水利信息化进程的快速发展,与水利信息相关的互联网资源不断增多,面对如此巨量和复杂形式的水利信息数据,依靠人工检索、分析的方式已难以满足行业应用的需求。随着大数据信息技术的逐步深入研究,设计与实现可应用于水利信息获取的... 详细信息

随着水利信息化进程的快速发展,与水利信息相关的互联网资源不断增多,面对如此巨量和复杂形式的水利信息数据,依靠人工检索、分析的方式已难以满足行业应用的需求。随着大数据信息技术的逐步深入研究,设计与实现可应用于水利信息获取的网络爬虫,成为解决水利信息检索与分析问题的基础。设计应用主题网络爬虫技术的水利信息检索系统,通过水利主题信息爬取,数据格式转化与整理,规范化写入数据库等步骤,实现网络水利数据到格式化数据库数据的自动转化。该系统的实现为多数据源信息的交叉验证与网络应急数据的获取,提供新的思路与可行方案。

关键词：水利信息化信息检索网络爬虫主题爬虫

来源：评论

学校读者我要写书评

暂无评论

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具

引用

系统科学与数学 2017年第7期37卷 1704-1721页

作者：王砺磊曾霞林望陈鑫杨争峰华东师范大学上海市高可信计算重点实验室上海200062 温州大学数学与信息科学学院温州325035 中国科学院数学与系统科学研究院数学机械化重点实验室北京100190 南京大学计算机软件新技术国家重点实验室南京210023

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复... 详细信息

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.

关键词：测试用例自动生成符号执行多项式系统实根求解低秩矩量矩阵恢复.

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：