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

计算机辅助设计与图形学学报 2014年第10期26卷 1720-1726页

作者：马旋薛原杨若瑜南京大学计算机科学与技术系南京210093 南京大学软件新技术国家重点实验室南京210093

目前,人体三维重建技术在建模前一般需要采集从多个视角观察人体的数据,并限定人体的姿势,不能很好地用于需要人体模型的交互式应用中.针对这个问题,提出一种基于单个Kinect的渐进式人体重建方法.首先结合特征点检测算法和校错处理,对... 详细信息

目前,人体三维重建技术在建模前一般需要采集从多个视角观察人体的数据,并限定人体的姿势,不能很好地用于需要人体模型的交互式应用中.针对这个问题,提出一种基于单个Kinect的渐进式人体重建方法.首先结合特征点检测算法和校错处理,对深度视频帧中人体上的特征点进行定位;其次对身体尺寸进行测算或估算,并在对视频流的处理中渐进式地补充与完善;最后根据以上信息对人体进行分块参数化建模和合成,得到人体模型.实验结果表明,在尺寸不完整的情况下,该方法即可重建包含肢体结构语义的完整人体,易于实现局部模型或姿势的修改,并在虚拟试衣应用中体现出良好的实时性和交互性.

关键词：人体三维重建实时性特征点定位渐进式人体测量

来源：评论

学校读者我要写书评

暂无评论

R-演算中若干问题的研究

引用

计算机研究与发展 2012年第4期49卷 833-838页

作者：吴佳森宋方敏南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

李未教授提出了R-演算系统,它是形式理论的修正演算系统,是OPEN过程模式和GUINA过程模式的基础.R-演算在这2种过程模式中的核心作用是,当一个形式理论与事实产生矛盾时,找出矛盾的必要前提,从而获得一个协调的子理论.通过3种不同的方法... 详细信息

李未教授提出了R-演算系统,它是形式理论的修正演算系统,是OPEN过程模式和GUINA过程模式的基础.R-演算在这2种过程模式中的核心作用是,当一个形式理论与事实产生矛盾时,找出矛盾的必要前提,从而获得一个协调的子理论.通过3种不同的方法细致刻画R-演算的基本概念"必要前提",第1种方法来自R-演算,第2种方法基于极大协调子集与极小非协调子集的,最后一种方法是对于R-必要前提的归纳定义.通过比较这3种方法,指出各自的优缺点,并从第3种方法推演出一个可靠并且相对完全的系统.在比较这3种方法的同时,还细致地探讨了R-终止式的上下界以及极大协调子集的不可枚举性.其中极大协调的不可枚举性在一定程度上表明了不存在一种同时满足可靠并且完全的系统.

关键词： R-演算 R-终止集极大协调子集递归可枚举性可靠性与完全性 R′-演算

来源：评论

学校读者我要写书评

暂无评论

类规模对面向对象度量易变性预测能力的潜在混和效应:一个元分析

引用

计算机学报 2015年第5期38卷 1069-1081页

作者：卢红敏周毓明徐宝文南京大学计算机科学与技术系南京210023 南京大学软件新技术国家重点实验室南京210023

最近的研究表明,类的规模对面向对象(OO)度量的易变性预测能力存在很强的混和效应,因此需要将其作为一个混和变量来考虑,否则有可能会得到误导性的结果.然而,先前的研究仅仅分析了一个软件系统,因此不清楚这个结论是否可以推广到其他系... 详细信息

最近的研究表明,类的规模对面向对象(OO)度量的易变性预测能力存在很强的混和效应,因此需要将其作为一个混和变量来考虑,否则有可能会得到误导性的结果.然而,先前的研究仅仅分析了一个软件系统,因此不清楚这个结论是否可以推广到其他系统上.为解决此问题,文中在102个Java软件系统的基础上利用元分析技术检查类的规模对55个OO度量和易变性之间关联关系的潜在混和效应.对每一个OO度量,首先在单个系统上分别计算在控制规模和不控制规模的两种情况下它与易变性的关联强度.然后,利用随机效应元分析模型计算在所有系统上且分别在这两种情况下它与易变性的平均关联强度.最后,在此基础上利用统计方法检测类规模的潜在混和效应.实验结果表明类规模的混和效应是广泛存在的,因此在验证OO度量的易变性预测能力时确实需要将其作为一个混和变量来考虑.

关键词：类规模易变性混和效应面向对象元分析

来源：评论

学校读者我要写书评

暂无评论

面向认知协作的知识流分析与研究

引用

计算机研究与发展 2006年第6期43卷 1109-1114页

作者：窦万春刘茜萍蔡士杰南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

为了有效地对认知科学中基于群学习方式的认知协作进行研究,首先探讨了基于本体描述的认知基础环境,对知识驱动的认知环境所涉及的一些基本概念进行了定义·进而,基于本体论思想,对支持认知协作的知识应用集成环境进行了探讨·... 详细信息

为了有效地对认知科学中基于群学习方式的认知协作进行研究,首先探讨了基于本体描述的认知基础环境,对知识驱动的认知环境所涉及的一些基本概念进行了定义·进而,基于本体论思想,对支持认知协作的知识应用集成环境进行了探讨·在此基础上,对知识流关系进行了形式化定义,并利用Markov决策过程理论分析研究了知识应用集成环境下协同认知的过程逻辑·最后,对全文进行了总结并提出了进一步的研究方向·

关键词：认知协作知识流本体学习

来源：评论

学校读者我要写书评

暂无评论

支持向量机最优模型选择的研究

引用

计算机研究与发展 2005年第4期42卷 576-581页

作者：刘向东骆斌陈兆乾南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

通过对核矩阵的研究,利用核矩阵的对称正定性,采用核校准的方法提出了一种SVM最优模型选择的算法———OMSA算法.利用训练样本不通过SVM标准训练和测试过程而寻求最优的核参数和相应的最优学习模型,弥补了传统SVM在模型选择上经验性强... 详细信息

通过对核矩阵的研究,利用核矩阵的对称正定性,采用核校准的方法提出了一种SVM最优模型选择的算法———OMSA算法.利用训练样本不通过SVM标准训练和测试过程而寻求最优的核参数和相应的最优学习模型,弥补了传统SVM在模型选择上经验性强和计算量大的不足.采用该算法在UCI标准数据集和FERET标准人脸库上进行了实验,结果表明,通过该算法找到的核参数以及相应的核矩阵是最优的,得到的SVM分类器的错误率最小.该算法为SVM最优模型选择提供了一种可行的方法,同时对其他基于核的学习方法也具有一定的参考价值.

关键词：支持向量机核参数核校准模型选择

来源：评论

学校读者我要写书评

暂无评论

LDA-CRF:一种基于概率图模型的目标检测方法

引用

计算机研究与发展 2012年第11期49卷 2296-2304页

作者：郭乔进李宁杨育彬武港山南京大学计算机科学与技术系南京210093 计算机软件新技术国家重点实验室(南京大学) 南京210093

目标检测和识别是计算机视觉和机器学习的研究热点.近年来,主题模型(如LDA等)在无监督的图像识别和定位等应用中获得了巨大的成功.然而,LDA忽略了图像区域之间的空间关系,并且不能处理连续值的视觉特征或特征向量.而条件随机场(CRF)能... 详细信息

目标检测和识别是计算机视觉和机器学习的研究热点.近年来,主题模型(如LDA等)在无监督的图像识别和定位等应用中获得了巨大的成功.然而,LDA忽略了图像区域之间的空间关系,并且不能处理连续值的视觉特征或特征向量.而条件随机场(CRF)能够利用图像区域之间的局部相关性来提高分类准确性.基于LDA和CRF提出了一种LDA-CRF模型.通过利用LDA生成的主题信息来辅助CRF的分类,同时结合图像区域之间结构化的类别信息来改进LDA的主题生成机制.实验结果表明,LDA-CRF模型的检测效果要优于CRF.

关键词： LDA CRF 目标检测变分推论概率图模型

来源：评论

学校读者我要写书评

暂无评论

基于草图的人机交互技术研究进展

引用

计算机辅助设计与图形学学报 2005年第9期17卷 1889-1899页

作者：孙正兴冯桂焕周若鸿南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

从草图识别和语义理解这两个方面对基于草图的人机交互技术的研究状况进行了分析和总结.对草图识别方法按其模式单元定义(笔划、图元、特征和组合图形)进行了分类和剖析;对草图语义理解所涉及的语义获取、语义解释和语义应用这三个关键... 详细信息

从草图识别和语义理解这两个方面对基于草图的人机交互技术的研究状况进行了分析和总结.对草图识别方法按其模式单元定义(笔划、图元、特征和组合图形)进行了分类和剖析;对草图语义理解所涉及的语义获取、语义解释和语义应用这三个关键问题及其解决方法进行了分析和阐述;并分别从基于草图的人机交互技术的几何模糊性、用户适应性和应用独立性及其关系角度提出了这一领域的主要研究课题及其解决思路.

关键词：基于草图的人机交互在线草图识别草图语义理解

来源：评论

学校读者我要写书评

暂无评论

UMLTGF:一个基于灰盒方法从UML活动图生成测试用例的工具

引用

计算机研究与发展 2006年第1期43卷 46-53页

作者：袁洁松王林章李宣东郑国梁南京大学计算机科学与技术系南京210093 南京大学软件新技术国家重点实验室南京210093

UML已经成为建模语言的事实标准,如何从UML分析设计模型生成测试用例也为面向对象软件测试带来了新的挑战·为了从UML设计模型中的活动图直接生成测试用例,给出了UML活动图的形式化定义和灰盒测试方法·该方法首先分析UML活动... 详细信息

UML已经成为建模语言的事实标准,如何从UML分析设计模型生成测试用例也为面向对象软件测试带来了新的挑战·为了从UML设计模型中的活动图直接生成测试用例,给出了UML活动图的形式化定义和灰盒测试方法·该方法首先分析UML活动图上的所有执行路径(每条路径称为一个测试场景),然后根据测试场景中的节点和转换所代表的活动及其输入/输出变量、相关约束条件等生成测试用例·并根据该方法实现了一个自动生成测试用例的工具UMLTGF,它可以从Rational Rose的规约文件中提取活动图信息并生成相应的测试用例·该工具能够提高软件测试的效率,降低测试成本·

关键词： UML 活动图灰盒方法测试场景测试用例

来源：评论

学校读者我要写书评

暂无评论

自动验证并发实时系统的线性时段性质

引用

计算机研究与发展 2001年第9期38卷 1097-1104页

作者：许何赵建华李宣东郑国梁南京大学软件新技术国家重点实验室南京210093 南京计算机科学与技术系南京210093

介绍了一个就线性时段特性验证实时系统正确性的工具的设计思想以及相关算法 .使用时间自动机作为实时系统的描述模型 .同时 ,为了便于描述并发实时系统 ,使用带共享变量和通道的时间自动机网作为模型描述并发实时系统 .在检验时间自动... 详细信息

介绍了一个就线性时段特性验证实时系统正确性的工具的设计思想以及相关算法 .使用时间自动机作为实时系统的描述模型 .同时 ,为了便于描述并发实时系统 ,使用带共享变量和通道的时间自动机网作为模型描述并发实时系统 .在检验时间自动机网时 ,用户可以使用工具提供的合成程序将其合并为一个时间自动机然后进行检验 .由于时间自动机的状态空间是无穷的 ,通过引入整数状态和状态等价关系的概念 ,将整个状态空间划分为有限的状态等价类空间 .模型检验过程只需要通过对等价类空间的搜索就可以完成 .但往往等价类空间的规模很大 ,超出了现在计算机的处理能力 ,原始搜索算法仅仅在理论上是可行的 .为了增强工具的使用性 ,工具中使用的算法运用了一些优化技术来避免对等价类空间的穷尽搜索 ,使得工具在使用时具有比较好的时间和空间效率 .

关键词：形式化方法时间自动化自动验证并发实时系统线性时段性质

来源：评论

学校读者我要写书评

暂无评论

一种基于自演化预训练的多变量时间序列预测算法

引用

计算机学报 2022年第3期45卷 513-525页

作者：万晨李文中丁望祥张治杰叶保留陆桑璐南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

时间序列预测是典型的时间序列分析任务,对于辅助决策、资源配置、提前采取止损措施等方面有重要意义,在包括电力、气象、交通、商业等领域有广泛应用.近年来,时间序列预测算法一直是机器学习的热门研究领域,其中多变量时间序列预测是... 详细信息

时间序列预测是典型的时间序列分析任务,对于辅助决策、资源配置、提前采取止损措施等方面有重要意义,在包括电力、气象、交通、商业等领域有广泛应用.近年来,时间序列预测算法一直是机器学习的热门研究领域,其中多变量时间序列预测是一个具有挑战性的任务.本文研究多变量时间序列预测的局部变量预测精度问题,即多变量预测需要在提升整体预测性能的同时保证局部单变量的预测精度.针对现有多变量时间序列预测算法不能保障局部变量预测精度的局限性,我们设计并实现了一种基于自演化预训练的多变量时间序列预测算法SEPNets.基于预训练的思想,SEPNets首先构建和训练单变量时间序列模型作为后续建模的基准.然后,通过拓展时序卷积网络和长短记忆(LSTM)单元来建模变量间复杂的时序依赖关系.通过将预训练模型和拓展模型进行融合再训练,SEPNets可以保障多变量时间序列预测的局部变量预测精度,并提升总体的预测性能.我们在5个真实数据集上对所提模型进行性能评估.实验结果表明,本文提出的SEPNets算法比现有算法获得相对最高的预测精度,同时在保障局部变量预测精度上具有更好的性能.

关键词：时间序列预测多变量时间序列机器学习神经网络预训练

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：