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

Chinese Journal of Chemical Physics 2023年第4期36卷 443-452,I0035页

作者：韩超王皓朱健保刘淇朱文光中国科学技术大学物理学院合肥230026 中国科学技术大学计算机科学与技术学院大数据分析与应用安徽省重点实验室合肥230026

随着深度学习的快速发展,相关算法被广泛应用于量子化学计算领域以实现高效的分子设计及性质研究,其中,多任务学习方法通过挖掘分子性质之间的关系可以同时预测多个分子属性,然而此类研究目前较为有限.本文采用硬参数共享结构与损失函... 详细信息

随着深度学习的快速发展,相关算法被广泛应用于量子化学计算领域以实现高效的分子设计及性质研究,其中,多任务学习方法通过挖掘分子性质之间的关系可以同时预测多个分子属性,然而此类研究目前较为有限.本文采用硬参数共享结构与损失函数加权方法来实现多任务分子性质预测.通过对比单任务基准与各类多任务模型在不同分子属性集上的性能,展示了多属性预测精度强烈依赖于属性间的关系,当关联变复杂时,硬参数共享可以提高预测精度,此外,恰当的损失函数加权方法有利于实现更均衡的多目标优化,使预测更准确.进一步的实验展示了多任务学习模型的计算效率优势及其在训练数据量受限时的预测性能优势.

关键词：深度学习多任务学习分子属性预测损失函数加权方法

来源：评论

学校读者我要写书评

暂无评论

柔性作业车间调度的动态禁忌粒子群优化算法

引用

华南理工大学学报（自然科学版） 2012年第1期40卷 69-76页

作者：贾兆红朱建建陈华平安徽大学计算智能与信号处理教育部重点实验室安徽合肥230039 中国科学技术大学计算机科学与技术学院安徽合肥230026

针对复杂的多目标柔性作业车间调度问题(FJSP),提出一种基于全知型粒子群优化(FIPS)和动态禁忌搜索(TS)的混合Pareto算法,它在利用FIPS的全局搜索能力确定搜索方向后,通过TS进行有效的局部搜索以提高算法的搜索性能.该算法采用基于强度... 详细信息

针对复杂的多目标柔性作业车间调度问题(FJSP),提出一种基于全知型粒子群优化(FIPS)和动态禁忌搜索(TS)的混合Pareto算法,它在利用FIPS的全局搜索能力确定搜索方向后,通过TS进行有效的局部搜索以提高算法的搜索性能.该算法采用基于强度的适应度函数来评价粒子,以使非劣解均匀分布于Pareto前沿;采用基于公共关键块的多种邻域结构,既保持了种群的多样性,避免算法陷入局部最优,又有效提高了算法的收敛速度.算法中还引入了基于变异的自适应扰动策略来进一步增加解的多样性.对不同规模实例的比较实验表明,文中所提出的算法具有较好的搜索性能,是一种求解大、小规模多目标FJSP的有效算法.

关键词：柔性车间调度全知型粒子群优化禁忌搜索多目标优化

来源：评论

学校读者我要写书评

暂无评论

面向处理器功能验证的硬件化System Verilog断言设计

引用

计算机研究与发展 2024年第6期61卷 1436-1449页

作者：张子卿石侃徐烁翔王梁辉包云岗处理器芯片全国重点实验室(中国科学院计算技术研究所) 北京100190 中国科学院大学计算机科学与技术学院北京100049 上海科技大学信息科学与技术学院上海201210 中国科学技术大学计算机科学与技术学院合肥230027

功能验证在处理器芯片开发流程中所占用的时间超过70%,因此优化提升功能验证环节的效率非常必要.软件仿真等传统验证方法提供了包括断言等多种验证机制,以提升验证的细粒度可见性和自检查能力,但是软件仿真运行速度较慢,在高效性方面有... 详细信息

功能验证在处理器芯片开发流程中所占用的时间超过70%,因此优化提升功能验证环节的效率非常必要.软件仿真等传统验证方法提供了包括断言等多种验证机制,以提升验证的细粒度可见性和自检查能力,但是软件仿真运行速度较慢,在高效性方面有明显不足.基于FPGA的硬件原型验证方法能极大地加速验证性能,但其调试能力较弱,虽能快速发现漏洞,但难以定位漏洞出现的具体位置和根本原因,存在有效性不足难题.为同时解决上述功能验证有效性与高效性的问题,提出一种将不可综合的断言语言SVA(SystemVerilog Assertion)自动转换成逻辑等效但可综合的RTL电路的方法,聚焦于断言这一类对设计进行非全局建模、纵向贯穿各抽象层级的验证方式,对基于全局指令集架构(instruction set architecture,ISA)模型的验证能力进行补足.同时,结合FPGA细粒度并行化、高度可扩展的优势,对处理器的验证过程进行硬件加速,提升了处理器的开发效率.实现了一个端到端的硬件断言平台,集成对SVA进行硬件化的完整工具链,并统计运行在FPGA上的硬件化断言的触发和覆盖率情况.实验表明,和软件仿真相比,所提方法能取得超过2万倍的验证效率提升.

关键词：断言处理器验证硬件仿真现场可编程逻辑门阵列原型验证

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于跨模态对比学习的视觉问答主动学习方法

引用

计算机学报 2022年第8期45卷 1730-1745页

作者：张北辰李亮查正军黄庆明中国科学院大学计算机科学与技术学院北京101408 中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学技术大学信息科学技术学院合肥230027 鹏城实验室深圳广东518055

视觉自动问答技术是一个新兴的多模态学习任务,它联系了图像内容理解和文本语义推理,针对图像和问题给出对应的回答.该技术涉及多种模态交互,对视觉感知和文本语义学习有较高的要求,受到了广泛的关注.然而,视觉自动问答模型的训练对数... 详细信息

视觉自动问答技术是一个新兴的多模态学习任务,它联系了图像内容理解和文本语义推理,针对图像和问题给出对应的回答.该技术涉及多种模态交互,对视觉感知和文本语义学习有较高的要求,受到了广泛的关注.然而,视觉自动问答模型的训练对数据集的要求较高.它需要多种多样的问题模式和大量的相似场景不同答案的问题答案标注,以保证模型的鲁棒性和不同模态下的泛化能力.而标注视觉自动问答数据需要花费大量的人力物力,高昂的成本成为制约该领域发展的瓶颈.针对这个问题,本文提出了基于跨模态特征对比学习的视觉问答主动学习方法(CCRL).该方法从尽可能覆盖更多的问题类型和尽可能获取更平衡的问题分布两方面出发,设计了视觉问题匹配评价(VQME)模块和视觉答案不确定度度量(VAUE)模块.视觉问题评价模块使用了互信息和对比预测编码作为自监督学习的约束,学习视觉模态和问题模式的匹配关系.视觉答案不确定性模块引入了标注状态学习模块,自适应地选择匹配的问题模式并学习跨模态问答语义关联,通过答案项的概率分布评估样本不确定度,寻找最有价值的未标注样本进行标注.在实验部分,本文在视觉问答数据集VQA-v2上将CCRL和其他最新的主动学习算法进行了性能比较,实验结果表明该方法在各个问题模式下均超越之前的方法,该方法对比当前性能最好的主动学习方法在不同的采样率下平均提升了1.65%的准确率.在仅标注30%的数据下,该方法可以达到100%样本标注下性能的96%;在40%的标注比例之下,该方法可以达到100%样本标注下性能的97%.这说明该方法可以选取出具有高指导价值的样本,节约了标注花费的同时最大化视觉自动问答的模型性能.

关键词：主动学习跨模态语义推理对比学习视觉问答互信息

来源：评论

学校读者我要写书评

暂无评论

SSRules:让智能家居自动化规则更易于编写和检查

引用

软件学报 2021年第12期32卷 3728-3750页

作者：王博张昱耿佳宁李向阳中国科学技术大学计算机科学与技术学院下一代移动计算与数据创新实验室安徽合肥230027 中国科学院无线光电通信重点实验室安徽合肥230027

智能家居赋予家庭设备以智能,受到用户的广泛欢迎.由于用户需求不同,服务提供商采用“触发-动作”编程(TAP)模式以支持用户定制规则.然而,现在TAP编程和智能家居执行引擎中流行的Event-State时序范式极易出错,且难以修改规则和追踪运行... 详细信息

智能家居赋予家庭设备以智能,受到用户的广泛欢迎.由于用户需求不同,服务提供商采用“触发-动作”编程(TAP)模式以支持用户定制规则.然而,现在TAP编程和智能家居执行引擎中流行的Event-State时序范式极易出错,且难以修改规则和追踪运行错误.对TAP缺陷的原因进行系统分析之后,提出一种编写和修改难度较低、且能够检测规则运行异常的方案,记为***允许用户以一种改进的State-State时序范式输入规则,并基于Z3定理证明器将其翻译为Event-State时序范式,且为开源智能家居系统Home Assistant所接受的规则输入.考虑到智能家居需要实时掌握设备的动态,SSRules引入了运行时子系统获取实体状态信息,并对规则执行有效性检查.最后,基于Unity3D开发了智能家居模拟器HA-Simulator.测试结果表明:SSRules与传统方法相比表达简洁,规则数目平均减少60%左右,且能够及时检测瞬时异常并记录原因,更易被用户理解和使用.

关键词：智能家居触发-动作编程终端用户编程运行时系统缺陷检测

来源：评论

学校读者我要写书评

暂无评论

正交频分复用系统多播资源分配的动态规划算法

引用

西安交通大学学报 2011年第10期45卷 38-42页

作者：李濛周颢赵保华中国科学技术大学计算机科学与技术学院合肥230027 网络与交换技术国家重点实验室北京100876 安徽省计算与通讯软件重点实验室合肥230027

针对现有正交频分复用系统采用多播资源分配算法时效率较低的问题,提出了一种多重描述编码的多播资源分配算法.首先将系统的功率划分为等长的基本分配单元,之后使用动态规划算法计算每个子载波上的功率分配和用户分配.该算法可以从全局... 详细信息

针对现有正交频分复用系统采用多播资源分配算法时效率较低的问题,提出了一种多重描述编码的多播资源分配算法.首先将系统的功率划分为等长的基本分配单元,之后使用动态规划算法计算每个子载波上的功率分配和用户分配.该算法可以从全局进行子载波分配和功率分配,从而提高了资源分配的效率,实现了系统总吞吐率的最大化.由于不需要重复计算相同子问题,因此算法能在很短的时间内完成资源的分配计算.仿真结果表明,所提动态规划算法可以有效地利用系统资源,使得系统总吞吐率与最优算法计算结果之差小于2%.

关键词：多播子载波分配正交频分复用动态规划多重描述编码

来源：评论

学校读者我要写书评

暂无评论

时延受限且能量高效的无线传感网络跨层路由

引用

软件学报 2011年第7期22卷 1626-1640页

作者：王辛果张信明陈国良中国科学技术大学计算机科学与技术学院安徽合肥230027 东南大学移动通信国家重点实验室江苏南京210096

如何通过网络的多跳中继把传感器节点收集的信息快速、高效地传输至基站,是无线传感器网络的基本问题.研究发现,MAC(media access control)层的睡眠调度和无线信道的不规则性均会对路由协议的效率产生较大影响.虽然传统分层设计的网络... 详细信息

如何通过网络的多跳中继把传感器节点收集的信息快速、高效地传输至基站,是无线传感器网络的基本问题.研究发现,MAC(media access control)层的睡眠调度和无线信道的不规则性均会对路由协议的效率产生较大影响.虽然传统分层设计的网络协议有着模块化的优点,但各层之间的相互独立却导致网络的整体性能不能达到最优.此外,已有协议通常采用牺牲时延以提高能量效率的方法,会给时延敏感系统带来不能容忍的端到端时延.提出一种时延受限且能量高效的跨层路由协议(delay-constrained and energy-efficient cross-layer routing,简称DECR),该协议在做出路由决定时考虑MAC层以及链路层的相关信息,其目标是在将端到端时延控制到低于预定上界的前提下最优化节点的能量效率.理论分析和实验结果表明,所提出的跨层路由协议具有较好的性能.

关键词：无线传感器网络时延受限能量高效跨层设计无状态路由

来源：评论

学校读者我要写书评

暂无评论

基于预测的JavaScript类型系统研究

引用

计算机研究与发展 2012年第2期49卷 421-431页

作者：李世胜程歩奇李晓峰孙广中陈国良中国科学技术大学计算机科学与技术学院合肥230027 安徽省高性能计算重点实验室合肥230027 英特尔中国研究中心北京100080

随着互联网和万维网的流行以及JavaScript在Web浏览器中的作用越来越重要,对JavaScript程序的执行行为的研究将有利于提高浏览器的性能,改善用户的体验.传统的研究认为JavaScript语言的动态性是其性能的主要瓶颈,因此大部分主流的JavaSc... 详细信息

随着互联网和万维网的流行以及JavaScript在Web浏览器中的作用越来越重要,对JavaScript程序的执行行为的研究将有利于提高浏览器的性能,改善用户的体验.传统的研究认为JavaScript语言的动态性是其性能的主要瓶颈,因此大部分主流的JavaScript执行引擎都将优化集中在其动态性的处理上.为了更深入的研究JavaScript程序的动态性,提出了两种算法:类型预测算法和基于位置的内联缓存算法,分别用于处理JavaScript程序中元数据和对象的类型.以这些算法为基础,在SunSpider测试程序集上系统地研究了JavaScript的类型系统.实验表明,算法平均能够正确识别或者预测99%的类型实例,因此可以认为,尽管JavaScript语言提供了丰富的动态性,实际的应用程序所使用到的动态行为是有限的.这是已知文献中首次提出类似的观点.

关键词：类型预测内联缓存 JavaScript 动态类型系统算法优化

来源：评论

学校读者我要写书评

暂无评论

MACT:高通量众核处理器离散访存请求批量处理机制

引用

计算机研究与发展 2015年第6期52卷 1254-1265页

作者：李文明叶笑春王达郑方李宏亮林晗范东睿孙凝晖计算机体系结构国家重点实验室(中国科学院计算技术研究所) 北京100190 中国科学院大学计算机与控制学院北京100049 数学工程与先进计算国家重点实验室江苏无锡214125 中国科学技术大学计算机科学与技术学院合肥230022

网络服务等新型高通量应用的迅速兴起给传统处理器设计带来了巨大的挑战.高通量众核处理器作为面向此类应用的新型处理器结构成为研究热点.然而,随着片上处理核数量的剧增,加之高通量应用的数据密集型特点,"存储墙"问题进一... 详细信息

网络服务等新型高通量应用的迅速兴起给传统处理器设计带来了巨大的挑战.高通量众核处理器作为面向此类应用的新型处理器结构成为研究热点.然而,随着片上处理核数量的剧增,加之高通量应用的数据密集型特点,"存储墙"问题进一步加剧.通过分析高通量应用访存行为,发现此类应用存在着大量的细粒度访存,降低了访存带宽的有效利用率.基于此分析,在高通量处理器设计中通过添加访存请求收集表(memory access collection table,MACT)硬件机制,结合消息式内存机制,用于收集离散的访存请求并进行批量处理.MACT硬件机制的实现,提高了访存带宽的有效利用率,同时也提高了执行效率;并通过时间窗口机制,确保访存请求在最晚期限之前发送出去,保证任务的实时性.实验以典型高通量应用WordCount,TeraSort,Search为基准测试程序.添加MACT硬件机制后,访存数量减少约49%,访存带宽提高约24%,平均执行速度提高约89%.

关键词：高通量处理器访存请求收集表时间窗口机制高速缓冲存储器便签式存储器

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：