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

电子学报 2004年第12期32卷 1987-1991页

作者：吴刚李道伦南京财经大学电子商务重点实验室江苏南京210003 中国科学技术大学计算机科学与技术系安徽合肥230027

目标物体的识别和匹配在计算机视觉、图像视频压缩与传输中都有重要应用 .由于隐含多项式曲线对物体有良好的描述能力 ,因而用它识别和匹配目标物体是比较有效的 .文章首先证明了隐含多项式曲线封闭有界的充要条件定理 ,接着基于隐含多... 详细信息

目标物体的识别和匹配在计算机视觉、图像视频压缩与传输中都有重要应用 .由于隐含多项式曲线对物体有良好的描述能力 ,因而用它识别和匹配目标物体是比较有效的 .文章首先证明了隐含多项式曲线封闭有界的充要条件定理 ,接着基于隐含多项式曲线的二次分解性质 ,给出了目标物体仿射几何不变量的计算方法 .实验证明这种基于首二次因子积的仿射几何不变量准确的描述了物体的特征 ,从而能较好的设别出复杂的。

关键词：隐含多项式曲线仿射几何不变量目标识别计算机视觉

来源：评论

学校读者我要写书评

暂无评论

一种基于Straight的语音焦点合成方法

引用

计算机工程 2005年第13期31卷 46-47,128页

作者：杨金辉易中华王煦法中国科学技术大学计算机科学与技术系合肥230026 中国科学技术大学讯飞语音实验室合肥230026

针对汉语焦点的特性,设计了接近自然语流风格的实验语料。通过对语料的分析,运用CART技术,建立了焦点的韵律模型。在语音合成阶段,使用韵律模型生成语音的韵律参数,结合Straight算法,实现了语音焦点的合成。对合成效果的评测表明,该方... 详细信息

针对汉语焦点的特性,设计了接近自然语流风格的实验语料。通过对语料的分析,运用CART技术,建立了焦点的韵律模型。在语音合成阶段,使用韵律模型生成语音的韵律参数,结合Straight算法,实现了语音焦点的合成。对合成效果的评测表明,该方法能够合成自然度很高的语音焦点。

关键词：焦点分类回归树 Straight 基频曲线语音合成

来源：评论

学校读者我要写书评

暂无评论

基于图核同构网络的图分类方法

引用

计算机研究与发展 2024年第4期61卷 903-915页

作者：徐立祥葛伟陈恩红罗斌合肥学院人工智能与大数据学院合肥230601 大数据分析与应用安徽省重点实验室(中国科学技术大学计算机科学与技术学院) 合肥230027 安徽大学计算机科学与技术学院合肥230601

图表示学习已成为图深度学习领域的一个研究热点.大多数图神经网络存在过平滑现象,这类方法重点关注图节点特征,对图的结构特征关注度不高.为了提升对图结构特征的表征能力,提出了一种基于图核同构网络的图分类方法,即KerGIN.该方法首... 详细信息

图表示学习已成为图深度学习领域的一个研究热点.大多数图神经网络存在过平滑现象,这类方法重点关注图节点特征,对图的结构特征关注度不高.为了提升对图结构特征的表征能力,提出了一种基于图核同构网络的图分类方法,即KerGIN.该方法首先通过图同构网络(graph isomorphism network,GIN)对图进行节点特征编码,并使用图核方法对图进行结构编码,进一步利用Nystrom方法降低图核矩阵的维度.其次借助MLP将图核矩阵与图特征矩阵对齐,通过注意力机制将图的特征编码和结构编码进行自适应加权融合,进而得到图的最终特征表示,提升了图结构特征信息的表达能力.最后在7个公开的图分类数据集上对模型进行了实验评估:与现有图表示模型相比,KerGIN模型能够在图分类准确度上有较大幅度提升,它可以增强GIN对图结构特征信息的表达能力.

关键词：图分类图神经网络图核 Nystrom方法图注意力机制

来源：评论

学校读者我要写书评

暂无评论

基于多模态对比学习的代码表征增强预训练方法

引用

软件学报 2024年第4期35卷 1601-1617页

作者：杨宏宇马建辉侯旻沈双宏陈恩红大数据分析与应用安徽省重点实验室(中国科学技术大学) 安徽合肥230027 中国科学技术大学计算机科学与技术学院安徽合肥230027 中国科学技术大学大数据学院安徽合肥230027 认知智能全国重点实验室安徽合肥230088

代码表征旨在融合源代码的特征,以获取其语义向量,在基于深度学习的代码智能中扮演着重要角色.传统基于手工的代码表征依赖领域专家的标注,繁重耗时,且无法灵活地复用于特定下游任务,这与绿色低碳的发展理念极不相符.因此,近年来,许多... 详细信息

代码表征旨在融合源代码的特征,以获取其语义向量,在基于深度学习的代码智能中扮演着重要角色.传统基于手工的代码表征依赖领域专家的标注,繁重耗时,且无法灵活地复用于特定下游任务,这与绿色低碳的发展理念极不相符.因此,近年来,许多自监督学习的编程语言大规模预训练模型(如CodeBERT)应运而生,为获取通用代码表征提供了有效途径.这些模型通过预训练获得通用的代码表征,然后在具体任务上进行微调,取得了显著成果.但是,要准确表示代码的语义信息,需要融合所有抽象层次的特征(文本级、语义级、功能级和结构级).然而,现有模型将编程语言仅视为类似于自然语言的普通文本序列,忽略了它的功能级和结构级特征.因此,旨在进一步提高代码表征的准确性,提出了基于多模态对比学习的代码表征增强的预训练模型(representation enhanced contrastive multimodal pretraining,REcomp).REcomp设计了新的语义级-结构级特征融合算法,将它用于序列化抽象语法树,并通过多模态对比学习的方法将该复合特征与编程语言的文本级和功能级特征相融合,以实现更精准的语义建模.最后,在3个真实的公开数据集上进行了实验,验证了REcomp在提高代码表征准确性方面的有效性.

关键词：代码表征预训练模型多模态对比学习

来源：评论

学校读者我要写书评

暂无评论

Web应用程序搜索功能的组合测试

引用

计算机科学与探索 2019年第11期13卷 1839-1851页

作者：吕成成张龙邓茜曾凡平严俊张健中国科学技术大学计算机科学与技术系合肥230026 中国科学院软件研究所计算机科学国家重点实验室北京100190 安徽省计算与通讯软件重点实验室合肥230026

为了方便用户查询感兴趣的资源,许多Web应用程序会提供搜索功能。如果搜索功能存在故障,将会导致Web应用程序的功能异常,甚至会引发安全问题,因而需要对其进行充分的测试。可以使用组合测试的方法生成测试用例测试Web应用程序的搜索功能... 详细信息

为了方便用户查询感兴趣的资源,许多Web应用程序会提供搜索功能。如果搜索功能存在故障,将会导致Web应用程序的功能异常,甚至会引发安全问题,因而需要对其进行充分的测试。可以使用组合测试的方法生成测试用例测试Web应用程序的搜索功能,其中每一个测试用例是由特殊字符组成的字符串。对于引起系统错误的测试用例,使用组合测试错误定位的方法找到系统错误是由哪些字符组合引起的。使用该方法对学校、政府和事业单位的96个网站进行了测试,发现其中23个网站在搜索某些特殊字符组合时,会引起服务器错误响应。错误定位结果表明,56%的服务器错误响应是由"%""<""’""\"和其他字符的组合引起的。

关键词： Web测试组合测试错误定位

来源：评论

学校读者我要写书评

暂无评论

基于心理量表的情感图像检索性能评价方法研究

引用

电路与系统学报 2010年第1期15卷 65-70页

作者：王上飞赵瑞王煦法中国科学技术大学计算机科学与技术系安徽省计算与通讯软件重点实验室安徽合肥230027

情感图像检索中检索算法优劣的有效评估是一个尚未解决的问题。本文提出基于心理量表的情感图像检索性能评价方法,采用等级排列法或对偶比较法对不同算法检索出的图像进行排序,建立顺序量表,并在样本满足正态分布假设的前提下,将顺序量... 详细信息

情感图像检索中检索算法优劣的有效评估是一个尚未解决的问题。本文提出基于心理量表的情感图像检索性能评价方法,采用等级排列法或对偶比较法对不同算法检索出的图像进行排序,建立顺序量表,并在样本满足正态分布假设的前提下,将顺序量表转化成等距量表,以比较检索算法的优劣。文中将本实验室实现的情感检索算法检索出的"厚重的"、"简洁的"服装图像以及"热情的"、"视野宽广的"风景图像与随机检索出的图像进行了比较,验证了基于心理量表的情感图像检索性能评价方法的有效性。

关键词：情感图像检索评估心理量表等级排列法对偶比较法

来源：评论

学校读者我要写书评

暂无评论

一种汇编程序的形式验证框架

引用

计算机研究与发展 2008年第5期45卷 825-833页

作者：李兆鹏陈意云葛琳华保健中国科学技术大学计算机科学与技术系合肥230026 中国科学技术大学苏州研究院软件安全实验室苏州215123

在高可信软件的各种性质中,安全性是关注的重点.软件满足安全策略的证明方法是安全性研究的热点之一.根据前期提出的安全程序设计与证明的框架以及指针逻辑推理系统,介绍在所实现的出具证明编译器(certifying compiler)原型系统中有关... 详细信息

在高可信软件的各种性质中,安全性是关注的重点.软件满足安全策略的证明方法是安全性研究的热点之一.根据前期提出的安全程序设计与证明的框架以及指针逻辑推理系统,介绍在所实现的出具证明编译器(certifying compiler)原型系统中有关目标机器的形式定义、汇编程序的形式验证框架以及汇编程序指针程序性质证明等方面的研究.它们的主要特点是汇编验证框架是基于Hoare风格的程序验证方式;与指针有关的性质使用和源语言一级类似的指针逻辑推理系统进行证明;使用一个简单的类型系统完成有关指针的类型检查.

关键词：软件安全出具证明编译器指针逻辑 Hoare逻辑携带证明的汇编程序

来源：评论

学校读者我要写书评

暂无评论

基于事务性执行的投机并行多线程软件模拟

引用

小型微型计算机系统 2008年第3期29卷 437-443页

作者：姚震郑启龙陈国良杨晓奇中国科学技术大学计算机科学与技术系高性能计算及应用省部共建重点实验室安徽合肥230027

基于事务性执行的投机并行多线程是一种适合未来多核微处理器架构的新型并行程序设计和编译技术.但在此基础上的并行程序执行过程更为复杂,程序执行过程的模拟成为关键问题之一.本文提出利用二进制代码级动态插桩技术对投机并行多线程... 详细信息

基于事务性执行的投机并行多线程是一种适合未来多核微处理器架构的新型并行程序设计和编译技术.但在此基础上的并行程序执行过程更为复杂,程序执行过程的模拟成为关键问题之一.本文提出利用二进制代码级动态插桩技术对投机并行多线程程序进行功能性模拟,设计并实现了完整的软件平台,可精确地模拟和监控并行程序的线程级投机执行过程,检测访存冲突,从而实现投机并行多线程的语义.该软件平台同时可以作为进一步研究投机多线程并行程序真实执行过程的基础,并有效支持投机并行多线程编译器的设计和分析.

关键词：投机并行多线程事务性内存软件模拟动态插桩

来源：评论

学校读者我要写书评

暂无评论

并行异构系统中的一种高效任务调度算法

引用

计算机工程 2007年第11期33卷 39-41页

作者：蒋韵联孙广中许胤龙中国科学技术大学计算机科学与技术系高性能计算与应用省部共建重点实验室合肥230027

并行分布计算是当前计算机科学的热点之一。调度算法是影响分布式计算的关键因素,也是一个具有挑战性的课题。调度算法是将有通信关系的任务按顺序分配给不同的处理器。提出了一种基于区间插入和任务复制的高效启发式算法,通过对各种随... 详细信息

并行分布计算是当前计算机科学的热点之一。调度算法是影响分布式计算的关键因素,也是一个具有挑战性的课题。调度算法是将有通信关系的任务按顺序分配给不同的处理器。提出了一种基于区间插入和任务复制的高效启发式算法,通过对各种随机任务图和高斯迭代任务图进行模拟,与已有算法相比,新算法的效率有很大的提高。

关键词：异构并行系统启发式算法任务复制

来源：评论

学校读者我要写书评

暂无评论

多目标遗传算法求解认知无线电性能优化问题

引用

计算机工程与应用 2007年第20期43卷 159-162页

作者：王国强李金龙张敏王煦法中国科学技术大学计算机科学与技术系安徽省计算与通讯软件重点实验室合肥230027

认知无线电的性能优化是一个动态多目标优化问题。现有的Bio-CR模型基于遗传算法优化认知无线电的性能,它使用线性加权方法将此多目标优化问题简化为了一个单目标优化问题。针对Bio-CR很难确定每个适应度函数的权值和容易漏掉一些最优... 详细信息

认知无线电的性能优化是一个动态多目标优化问题。现有的Bio-CR模型基于遗传算法优化认知无线电的性能,它使用线性加权方法将此多目标优化问题简化为了一个单目标优化问题。针对Bio-CR很难确定每个适应度函数的权值和容易漏掉一些最优解的问题,提出了基于多目标遗传算法的认知无线电性能优化算法CREA。CREA能够根据信道条件和用户服务需求的变化动态地调整传输参数以优化性能,不仅克服了Bio-CR的两个缺点,而且通过保存计算结果进一步减少了遗传算法的运行次数。CREA首先根据信道条件的变化动态确定一组适应度函数,然后运行多目标遗传算法获得一个Pareto-optimalset,最后根据用户服务需求从中选出一个最满意解,并通知认知无线电更新自己的传输参数。Matlab仿真实验证明了CREA的正确性和有效性。

关键词：认知无线电多目标遗传算法性能优化 Bio—CR CREA

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：