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

计算机学报 2023年第4期46卷 743-760页

作者：刘耿耿鲍晨鹏王鑫郭文忠陈国龙福州大学计算机与大数据学院福州350116 计算机系统结构国家重点实验室北京100190 天津大学智能与计算学部天津300350 天津市认知计算与应用重点实验室天津300350

层分配作为超大规模集成电路物理设计中的关键环节,在决定布线方案的时延起到非常重要作用.为了优化集成电路的时延性能,现有的层分配工作通常注重优化互连时延和通孔数量,但要么未考虑到对线网中时序关键段的分配问题,要么对线网段的... 详细信息

层分配作为超大规模集成电路物理设计中的关键环节,在决定布线方案的时延起到非常重要作用.为了优化集成电路的时延性能,现有的层分配工作通常注重优化互连时延和通孔数量,但要么未考虑到对线网中时序关键段的分配问题,要么对线网段的时序关键性的表示不够合理,最终使得算法的时延优化不够理想.为此,本文提出一种非默认规则线技术下基于多策略的时延驱动层分配算法,主要包含4种关键策略:(1)提出轨道数感知的层选择策略,增强层分配器为线网段选择合适布线层的能力;(2)提出多指标驱动的初始线网排序策略,综合考虑线长、信号接收器数和可布线轨道资源等多个指标为线网确定层分配优先级,从而获得高质量的初始层分配结果;(3)提出线网段调整策略,通过重绕线网,将时序关键段调整至上层布线层,优化线网时延;(4)提出线网段时延优化策略,对存在溢出线网进行拆线重绕,从而可同时优化时延和溢出数.实验结果表明,本文提出的算法相比于现有的层分配算法能够在时延和通孔数两个指标上均取得最佳,并且保证不产生溢出.

关键词：超大规模集成电路层分配时延通孔时序关键段

来源：评论

学校读者我要写书评

暂无评论

基于源码查重比对的计算机专业教学评价系统开发研究

引用

中国教育技术装备 2022年第3期 32-35页

作者：秦国锋王睿晗任成琨郝泳涛王力生同济大学计算机科学与技术系计算机系统结构教研室同济大学计算机科学与技术系 200092

为解决学生递交的计算机课程代码管理和审核问题,构建本地哈希指纹算法和Spring Cloud框架的查重比对模型,开发计算机专业课程教学评价系统,其中包含按照课程和小节分类的文件管理和代码重复率计算。哈希指纹算法是通过哈希函数和滑动... 详细信息

为解决学生递交的计算机课程代码管理和审核问题,构建本地哈希指纹算法和Spring Cloud框架的查重比对模型,开发计算机专业课程教学评价系统,其中包含按照课程和小节分类的文件管理和代码重复率计算。哈希指纹算法是通过哈希函数和滑动窗口计算出文件一系列的哈希值,通过比较哈希值来计算出文件之间的重复率,从而为教师对学生代码的评价提供参考。

关键词：在线课程管理查重比对算法网络教学平台 k-gram算法

来源：评论

学校读者我要写书评

暂无评论

基于静态调度的多线程程序分析方法

引用

高技术通讯 2018年第7期28卷 575-582页

作者：周卿李炼冯晓兵中国科学院计算技术研究所计算机系统结构国家重点实验室北京100190 中国科学院大学北京100190

静态多线程程序分析是一种在编译时刻分析多线程程序的执行行为和特征的有效方法。本文通过分析多线程程序实际执行的特点,提出了一种基于静态调度的多线程分析方法。该方法通过模拟多线程程序的动态执行方式,从而在不运行程序的情况下... 详细信息

静态多线程程序分析是一种在编译时刻分析多线程程序的执行行为和特征的有效方法。本文通过分析多线程程序实际执行的特点,提出了一种基于静态调度的多线程分析方法。该方法通过模拟多线程程序的动态执行方式,从而在不运行程序的情况下也能较准确地获得多线程的行为特征。实验表明,该分析方法可以有效地提高多线程程序中同步关系的识别和匹配精度,为分析和检测多线程性能瓶颈以及程序错误等信息奠定了基础。

关键词：静态多线程程序分析多线程控制流图调度同步关系可能并行分析

来源：评论

学校读者我要写书评

暂无评论

污点分析技术的原理和实践应用

引用

软件学报 2017年第4期28卷 860-882页

作者：王蕾李丰李炼冯晓兵计算机系统结构国家重点实验室(中国科学院计算技术研究所) 北京100190 中国科学院大学北京100190

信息流分析可以有效保证计算机系统中信息的保密性和完整性,污点分析作为其实践,被广泛用于软件系统的安全保障技术领域.对近些年来面向解决应用程序安全问题的污点分析技术进行综述:首先,总结了污点分析的基本原理以及在应用中的通用技... 详细信息

信息流分析可以有效保证计算机系统中信息的保密性和完整性,污点分析作为其实践,被广泛用于软件系统的安全保障技术领域.对近些年来面向解决应用程序安全问题的污点分析技术进行综述:首先,总结了污点分析的基本原理以及在应用中的通用技术,即,使用动态和静态的方法解决污点传播;随后,分析该技术在移动终端、互联网平台上的应用过程中遇到的问题和解决方案,包括解决Android应用隐私泄露与检测Web系统安全漏洞的污点分析技术;最后,展望该技术的研究前景和发展趋势.

关键词：污点分析信息流分析软件安全静态分析与动态分析 Android Web

来源：评论

学校读者我要写书评

暂无评论

一种基于多模态数据自组织的城市移动增强现实方法

引用

系统仿真学报 2017年第11期29卷 2629-2636页

作者：官万先李万鹏葛林万华根浙江大学计算机系统结构研究所杭州310027 浙江大学CAD&CG国家重点实验室杭州310058

城市移动增强现实近年来受到研究界和应用界的高度关注。然而面对城市大场景,如何采集数据、合理管理和组织数据、以及高效利用数据成为了制约移动增强现实系统性能的重要问题。以城市街景增强为应用背景,提出一种基于多模态数据自组织... 详细信息

城市移动增强现实近年来受到研究界和应用界的高度关注。然而面对城市大场景,如何采集数据、合理管理和组织数据、以及高效利用数据成为了制约移动增强现实系统性能的重要问题。以城市街景增强为应用背景,提出一种基于多模态数据自组织的城市移动增强现实方法。通过以面向移动增强现实系统的多模态数据为中心,从数据采集、数据组织、数据使用三方面出发,研究如何有效获取和处理原始数据、合理组织数据、高效准确使用数据。实验结果验证了所提出方法的有效性和实用性。

关键词：移动增强现实多模态数据数据自组织信息检索

来源：评论

学校读者我要写书评

暂无评论

低熵云计算系统

引用

中国科学：信息科学 2017年第9期47卷 1149-1163页

作者：徐志伟李春典中国科学院计算技术研究所计算机系统结构国家重点实验室北京100190 中国科学院大学北京100049

当前的云计算系统,不论是虚拟化云还是分区云,难以同时满足用户体验和系统效率需求,产业界和学术界都开始研究下一代云计算系统以应对这个难题.本文指出,这个难题的一个重要原因是计算系统熵(无序、干扰和不确定性)居高不下,并归纳了云... 详细信息

当前的云计算系统,不论是虚拟化云还是分区云,难以同时满足用户体验和系统效率需求,产业界和学术界都开始研究下一代云计算系统以应对这个难题.本文指出,这个难题的一个重要原因是计算系统熵(无序、干扰和不确定性)居高不下,并归纳了云计算系统中存在的4类无序现象.本文提出了低熵云计算系统的学术概念,刻画了其主要特点,比较了低熵云计算系统与虚拟化云和分区云在用户体验、开发效率、运行效率、资源适配方面的区别,并讨论了低熵云的新概念和新技术:(1)不同于图灵可计算性和算法可计算性的实用可计算性概念,形式化地刻画了云计算行业的"用户体验差的功能是不存在的功能"的实践经验;(2)刻画云计算系统能够实现实用可计算性的充分必要条件,即DIP猜想;(3)支持DIP猜想,即能够区分、隔离、优先化计算任务相空间,从而降低干扰,有潜力同时满足用户体验和系统效率需求的标签化von Neumann体系结构;(4)适配深度学习负载与神经网络处理器的云计算协同设计技术.

关键词：云计算用户体验系统效率计算系统熵分布式系统计算机体系结构

来源：评论

学校读者我要写书评

暂无评论

基于软硬件协同设计的解释器指令分派方法

引用

高技术通讯 2016年第3期26卷 226-234页

作者：傅杰靳国杰章隆兵王剑中国科学院大学北京100049 计算机系统结构国家重点实验室北京100190 中国科学院计算技术研究所北京100190 龙芯中科技术有限公司北京100095

为了降低指令分派造成的运行开销以提高解释器的性能,提出了一种采用软硬件协同设计的解释器指令分派方法。其核心思想是在软件层面通过对指令分派表进行优化以消除了代价较高的地址常量加载操作,在硬件层面通过扩展处理器的访存指令进... 详细信息

为了降低指令分派造成的运行开销以提高解释器的性能,提出了一种采用软硬件协同设计的解释器指令分派方法。其核心思想是在软件层面通过对指令分派表进行优化以消除了代价较高的地址常量加载操作,在硬件层面通过扩展处理器的访存指令进一步实现基于硬件支持的访存加速。软硬件协同设计可以最大限度地降低由指令分派引入的运行时开销,从而提升解释执行的效率。试验结果表明,该方法能够显著提升解释器的性能。对于SPECjvm98和Da Capo测试集,解释器总体性能提升了11.5%,且单项性能的最大提升幅度高达15.4%。该方法通用性强,实现代价低,适用于现代主流处理器平台上高性能解释器的设计和优化。

关键词：解释器指令分派软硬件协同设计虚拟机优化

来源：评论

学校读者我要写书评

暂无评论

带权图的均衡k划分

引用

计算机研究与发展 2015年第3期52卷 769-776页

作者：郑丽丽武继刚陈勇朱梅霞天津工业大学计算机科学与软件学院天津300387 计算机系统结构国家重点实验室(中国科学院计算技术研究所) 北京100190

带权图的均衡k划分是把一个图的顶点集分成k个不相交的子集,使得任意2个子集中顶点的权值之和的差异达到极小,并且连接不同子集的边权之和也达到极小.这种图的k划分问题已被应用在软硬件协同设计、大规模集成电路设计和数据划分等领域,... 详细信息

带权图的均衡k划分是把一个图的顶点集分成k个不相交的子集,使得任意2个子集中顶点的权值之和的差异达到极小,并且连接不同子集的边权之和也达到极小.这种图的k划分问题已被应用在软硬件协同设计、大规模集成电路设计和数据划分等领域,它已被证明是NP完全问题.首先针对带权图的均衡k划分问题提出了能够生成优质近似解的启发式算法.该算法在保证子集均衡的条件下,采用最大化同一子集内部边权之和的策略来构造每一个顶点子集;构建子集S的思想是每次从候选集中选择与子集S相连的具有最大增益的顶点放入子集S中,直到子集S的顶点权值之和满足要求.此外,采用了定制的禁忌搜索算法对生成的初始近似解实施进一步优化.实验结果表明,当k分别取值为2,4,8时所提算法分别在86%,81%,68%的基准图上求得的平均解优于当前最新算法求得的平均解;解的最大改进幅度可达60%以上.

关键词：带权图 k划分启发式算法禁忌搜索算法设计

来源：评论

学校读者我要写书评

暂无评论

计算机系统模拟器研究综述

引用

计算机研究与发展 2015年第1期52卷 3-15页

作者：刘雨辰王佳陈云霁焦帅计算机系统结构国家重点实验室(中国科学院计算技术研究所) 北京100190 中国科学院大学北京100049

计算机系统模拟器已经成为计算机系统结构领域研究中不可或缺的工具,真实计算机系统的不断发展对模拟器的性能要求也越来越高,模拟器的性能提升也促进了真实计算机结构和性能上的进步.为了提升性能,模拟器的发展经历了从串行单线程模拟... 详细信息

计算机系统模拟器已经成为计算机系统结构领域研究中不可或缺的工具,真实计算机系统的不断发展对模拟器的性能要求也越来越高,模拟器的性能提升也促进了真实计算机结构和性能上的进步.为了提升性能,模拟器的发展经历了从串行单线程模拟到多处理单元并行模拟的发展趋势.串行模拟器和并行模拟器分别针对各自的模拟目标和模拟过程提出了各种优化方案,串行模拟器研究者提出了交织码、二进制翻译、FPGA加速、模拟分离等加速技术,而并行模拟器在串行模拟器基础上针对自己特有的支撑架构以及负载均衡、同步机制和通信机制等问题提出了各种解决方案.

关键词：模拟器串行并行并行离散事件模拟负载均衡

来源：评论

学校读者我要写书评

暂无评论

基于NUMA架构的解释器访存优化设计与实现

引用

高技术通讯 2015年第7期25卷 661-668页

作者：任彤傅杰靳国杰中国科学院大学北京100049 中国科学院计算技术研究所北京100190 中国电子设备系统工程公司研究所北京100141 计算机系统结构国家重点实验室北京100190 龙芯中科技术有限公司北京100190

为了提高非一致内存访问(NUMA)架构虚拟机解释器的访存性能,研究了解释器在NUMA架构下的访存优化技术,提出了一种NUMA架构下的解释器访存优化方案,而且设计并实现了解释器的静态指令分派优化方法和动态指令分派优化方法。根据这一方案... 详细信息

为了提高非一致内存访问(NUMA)架构虚拟机解释器的访存性能,研究了解释器在NUMA架构下的访存优化技术,提出了一种NUMA架构下的解释器访存优化方案,而且设计并实现了解释器的静态指令分派优化方法和动态指令分派优化方法。根据这一方案虚拟机启动时首先获取NUMA节点信息,并在每个NUMA节点中自动生成解释器所需的全部数据结构;解释器在运行时,通过静态或动态的指令分派技术来实现其执行线程在NUMA节点上访存的局部化。试验结果表明,上述方法能够显著提升解释器在NUMA系统中的性能。在DaCapo测试集上的总体性能提升了8%,最高性能提升幅度高达23%,而且算法实现代价低,适用于绝大多数的NUMA服务器系统。

关键词：非一致内存访问(NUMA) 虚拟机解释器响应速度启动性能访存优化

来源：评论

学校读者我要写书评

暂无评论

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：