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

计算机应用与软件 2016年第6期33卷 207-211页

作者：陶宗勤方贤勇谈业静陈尚文安徽大学媒体计算研究所安徽合肥230601 南京大学计算机软件新技术国家重点实验室江苏南京210023

目前图像的运动去模糊方法在处理较复杂的运动模糊时难以得到理想的效果,其原因之一是这些方法普遍只考虑图像梯度的稀疏性,忽略了模糊核的稀疏性。针对这一不足提出一种新的双L_0正则约束的运动模糊去除方法,该方法同时对自然图像梯度... 详细信息

目前图像的运动去模糊方法在处理较复杂的运动模糊时难以得到理想的效果,其原因之一是这些方法普遍只考虑图像梯度的稀疏性,忽略了模糊核的稀疏性。针对这一不足提出一种新的双L_0正则约束的运动模糊去除方法,该方法同时对自然图像梯度和模糊核使用L_0正则约束,结合半正定二次分裂最小化的方法进行求解优化,实现自然模糊图像梯度和模糊核均稀疏下的模糊核估计,并进一步使用L_(0.5)超拉普拉斯正则约束项恢复最终图像。实验发现,该方法可以较好地去除单幅图像较复杂的运动模糊,更好地克服了估计的模糊核中存在的噪点和错误,得到较现有方法更加理想去模糊效果。

关键词： L.正则约束运动去模糊半正定二次分裂

来源：评论

学校读者我要写书评

暂无评论

一种基于模型结合的错误定位方法

引用

新型工业化 2012年第3期 54-64页

作者：唐启锋许蕾钱巨陈林张震宇南京大学计算机软件新技术国家重点实验室，南京 210093 南京大学计算机科学与技术系，南京 210093 南京航空航天大学计算机科学与技术学院南京210016 中国科学院软件研究所，计算机科学国家重点实验室，北京 100080

目前大多数错误定位技术的研究均基于单一类型的程序节点（如语句、谓词等），其效果往往只在定位相应类型的错误时表现较好，而定位其他类型的程序错误时则表现不佳。为此，借鉴机器学习领域中集成学习的思想，建立多错误定位方法相结... 详细信息

目前大多数错误定位技术的研究均基于单一类型的程序节点（如语句、谓词等），其效果往往只在定位相应类型的错误时表现较好，而定位其他类型的程序错误时则表现不佳。为此，借鉴机器学习领域中集成学习的思想，建立多错误定位方法相结合的错误定位模型，并综合了基于语句覆盖信息和程序谓词信息这2种错误定位方法，提出了3种新的错误定位方法。实验结果表明，相对于此前单一的方法，所提出的2种方法具有更高的错误定位效率和更强的适应性。

关键词：错误定位集成学习程序分析软件调试

来源：评论

学校读者我要写书评

暂无评论

常系数线性微分方程RMI解题机

引用

Journal of Mathematical Research and Exposition 1996年第3期16卷 471-476页

作者：王建东朱梧(木贾) 肖奚安徐利治南京航空航天大学计算机科学与工程系南京大学计算机软件国家重点实验室空军气象学院数学教研室大连理工大学数学科学研究所

本文介绍的常系数线性微分方程解题机是利用数学方法论的研究成果，摸拟人的数学思维过程，采用关系映射反演（ＲＭＩ）方法，通过符号推理给出微分方程解析解的数学软件．文中介绍了研制该解题机的基本思想和实现技术，并给出了用解题... 详细信息

本文介绍的常系数线性微分方程解题机是利用数学方法论的研究成果，摸拟人的数学思维过程，采用关系映射反演（ＲＭＩ）方法，通过符号推理给出微分方程解析解的数学软件．文中介绍了研制该解题机的基本思想和实现技术，并给出了用解题机求解微分方程和微分方程组的几个实例．

关键词：解题机微分方程数值解线性常系数

来源：评论

学校读者我要写书评

暂无评论

可解释的局部和全局对比多行为推荐算法

引用

计算机工程与设计 2024年第10期45卷 2970-2977页

作者：陈文俊高榕邵雄凯吴歆韵万祥高海燕湖北工业大学计算机学院湖北武汉430068 南京大学南京大学计算机软件新技术国家重点实验室江苏南京210023 武汉第二船舶设计研究所研发部湖北武汉430064 南京邮电大学通达学院商学院江苏扬州225127

针对传统的多行为推荐模型无法高效学习异构信息网络的复杂结构以及缺乏可解释性的问题,提出一种多行为推荐模型,即可解释的局部和全局对比多行为推荐。运用一种被广泛应用于提取全局结构的元路径视图从特定的语义角度捕获每个节点之间... 详细信息

针对传统的多行为推荐模型无法高效学习异构信息网络的复杂结构以及缺乏可解释性的问题,提出一种多行为推荐模型,即可解释的局部和全局对比多行为推荐。运用一种被广泛应用于提取全局结构的元路径视图从特定的语义角度捕获每个节点之间的特征。设计一个能捕获局部特征和元路径之间的交互信息的超元路径图来捕获多个元路径之间的交互信息,区分不同用户面对不同类别物品的不同行为模式。采用一种异质性可解释对比学习,确定行为类型的重要性,得出更加优质的正负样本进行对比。在两个公共数据集上的实验中,所提模型优于主流先进推荐模型。

关键词：推荐模型异构信息网络多行为推荐全局结构元路径可解释性对比学习

来源：评论

学校读者我要写书评

暂无评论

基于边缘异常候选集的迭代式主动多元时序异常检测算法

引用

计算机应用 2024年第5期44卷 1458-1463页

作者：孟凡杨群力霍静王新宽江苏省战略与发展研究中心公共信用信息中心南京210036 计算机软件新技术国家重点实验室(南京大学) 南京210093 中国移动江苏公司扬州分公司江苏扬州225012

无监督多元时间序列(MTS)异常检测方法因标注成本低而广受关注,但传统方法一般基于两个假设:1)服从独立同分布(IID)假设,即假设时序数据样本之间和属性之间不存在依赖关系;2)高净度启动假设,即假设可拥有完全正常态的时序数据集进行训... 详细信息

无监督多元时间序列(MTS)异常检测方法因标注成本低而广受关注,但传统方法一般基于两个假设:1)服从独立同分布(IID)假设,即假设时序数据样本之间和属性之间不存在依赖关系;2)高净度启动假设,即假设可拥有完全正常态的时序数据集进行训练。以上假设在实际场景中往往难以满足。为此,提出一种基于边缘异常候选集的迭代式主动多元时序异常检测算法(EraseMTS)。首先,利用一种多粒度时序特征学习方法捕捉子序列内和子序列间的依赖关系,并在此基础上对原始多元时间序列进行再表示;其次,提出一种利用边缘异常候选集的选择策略,以子序列异常得分为基础,同时考虑异常程度,选择待人工交互的范围;最后,提出一种迭代式子序列权重更新机制,将异常反馈信息融入无监督异常检测模型的训练过程中,通过迭代方式不断优化初始训练模型性能。在UCR时间序列库中的4个数据集和1个人工合成数据集上对所提算法的检测性能、可扩展性和稳定性进行验证,实验结果表明该算法能够有效且稳定运行。

关键词：异常检测多元时间序列权重更新多粒度表示主动学习

来源：评论

学校读者我要写书评

暂无评论

基于推理规则的OODBMS授权管理机制

基于推理规则的OODBMS授权管理机制

引用

第十七届全国数据库学术会议

作者：应丽君徐洁磐南京大学计算机软件新技术国家重点实验室南京大学计算机系南大谷元石油软件研究所有限公司

1引言随着网络技术的发展以及计算机在社会各个领域的广泛应用,数据的安全性问题已日益被人们所关注。数据库系统作为一个数据的主要存放场所,其安全与否已成为评价它的重要性能指标。目前,大部分数据库系统主要利用强制访问控制、自主... 详细信息

1引言随着网络技术的发展以及计算机在社会各个领域的广泛应用,数据的安全性问题已日益被人们所关注。数据库系统作为一个数据的主要存放场所,其安全与否已成为评价它的重要性能指标。目前,大部分数据库系统主要利用强制访问控制、自主授权控制管理等措施来实现安全性保护。限于篇幅,本文只讨论其中的自主授权控制管理问题。

关键词： Reasoning rule Authorization management Authorization-user Authorization-object

来源：评论

学校读者我要写书评

暂无评论

一种新的航迹与量测互联技术

引用

电光与控制 2004年第2期11卷 1-7页

作者：何佳洲吴传利李艳丽陈世福江苏自动化研究所江苏连云港222006 南京大学计算机软件新技术国家重点实验室江苏南京210093

为了同时解决存在于航迹与量测互联问题中的两种不确定性 :目标运动和量测源的不确定性 ,本文提出一种基于BP的变结构交互式多模型 2 D互联技术。首先 ,采用全局 2 D分配算法确定量测与目标的分配问题 ,确定量测序列 ;其次 ,提出一种... 详细信息

为了同时解决存在于航迹与量测互联问题中的两种不确定性 :目标运动和量测源的不确定性 ,本文提出一种基于BP的变结构交互式多模型 2 D互联技术。首先 ,采用全局 2 D分配算法确定量测与目标的分配问题 ,确定量测序列 ;其次 ,提出一种元模式的概念 ,采用离散小波变换 ,将目标量测序列映射到目标模式序列 ,从而由BP神经网络对目标运动模型对应的概率进行估计 ,再利用变结构的交互式多模型进行目标滤波估计。初步实验结果表明 :本文提出的技术能较好地解决密集目标。

关键词：航迹与量测互联 VSIMM 元模式离散小波变换

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

无线网络环境下的缓存策略研究

引用

计算机科学 2009年第4期36卷 1-4,11页

作者：林晨黄宇金蓓弘中国科学院软件研究所软件工程技术中心北京100190 中国科学院研究生院北京100049 南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

日益普及的无线网络和移动设备为普适的Internet接入提供了良好的硬件基础,缓存技术是普适Internet场景中人们进行信息共享和分发的关键技术之一。综述了两类无线网络环境,即基于基础设施无线网络环境和移动自组网中的缓存策略,具体包... 详细信息

日益普及的无线网络和移动设备为普适的Internet接入提供了良好的硬件基础,缓存技术是普适Internet场景中人们进行信息共享和分发的关键技术之一。综述了两类无线网络环境,即基于基础设施无线网络环境和移动自组网中的缓存策略,具体包括缓存放置策略、缓存替换策略、缓存一致性维护算法。进而分析、讨论了上述策略的优缺点,并指出了缓存策略的发展趋势。

关键词：无线网络缓存放置替换一致性

来源：评论

学校读者我要写书评

暂无评论

基于结构信息的神经网络机器翻译

基于结构信息的神经网络机器翻译

引用

第十五届中国自然语言处理青年学者研讨会(YSSNLP2018)

作者：黄书剑南京大学自然语言处理研究组计算机软件新技术国家重点实验室

探讨了神经网络机器翻译中的结构信息的获取和利用，综合利用多层次的结构信息进行编码表示的方法，尝试兼顾对源端表示和目标端生成能力的提高，探索在翻译学习过程中综合利用外部工具和自动学习方法获得结构信息的可能性。

关键词：机器翻译神经网络结构信息

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：