期刊文献+
共找到917篇文章
< 1 2 46 >
每页显示 20 50 100
微处理器性能分析与优化:基于SPEC CPU2017的对比研究
1
作者 徐晗 郭振江 肖俊华 《高技术通讯》 北大核心 2025年第3期241-249,共9页
运行标准测试程序是进行微处理器设计空间探索的基本手段。横向对比分析国内外主流处理器在标准测试程序场景下的各项性能指标,有助于识别国产处理器的性能瓶颈,为进一步的性能优化指明方向。本文基于SPEC CPU2017对3款微处理器进行同... 运行标准测试程序是进行微处理器设计空间探索的基本手段。横向对比分析国内外主流处理器在标准测试程序场景下的各项性能指标,有助于识别国产处理器的性能瓶颈,为进一步的性能优化指明方向。本文基于SPEC CPU2017对3款微处理器进行同频性能测试和对比分析,分别是龙芯LA464架构的3A5000微处理器、AMD ZEN1架构的R3-1200以及Intel Skylake架构的i3-9100f。根据测试结果,3A5000定点性能与R3-1200基本相同,比i3-9100f低10%左右;3A5000浮点性能相当于另2款微处理器的70%左右。本文从动态指令数和每周期指令数(instruction per cycle,IPC)2个角度对微处理器进行比较和分析。基于SPEC CPU2017的结果显示,3A5000定点动态指令数和浮点动态指令数分别比另2款微处理器多约10%和25%。在3A5000上使用激进的自动向量化编译优化策略、优化立即数乘法编译效率等手段可以将其性能提升10%左右。3A5000的定点IPC比另外2款微处理器高4%左右,浮点IPC低8%左右。发射宽度、执行单元数量、功能和延迟等微结构参数接近是3款微处理器IPC差别较小的主要原因。 展开更多
关键词 spec CPU2017 性能分析 龙芯3A5000 向量化 体系结构
在线阅读 下载PDF
A double toroidal analyzer for scanning probe electron energy spectrometer 被引量:1
2
作者 徐春凯 张盼科 +1 位作者 郦盟 陈向军 《Chinese Physics B》 SCIE EI CAS CSCD 2014年第7期183-187,共5页
An ultra-high vacuum (UHV) compatible electron spectrometer employing a double toroidal analyzer has been de- veloped. It is designed to be combined with a custom-made scanning tunneling microscope (STM) to study ... An ultra-high vacuum (UHV) compatible electron spectrometer employing a double toroidal analyzer has been de- veloped. It is designed to be combined with a custom-made scanning tunneling microscope (STM) to study the spatially localized electron energy spectrum on a surface. A tip-sample system composed of a piezo-driven field-emission tungsten tip and a sample of highly ordered pyrolytic graphite (HOPG) is employed to test the performance of the spectrometer. Two-dimensional images of the energy-resolved and angle-dispersed electrons backscattered from the surface of HOPG are obtained, the performance is optimized and the spectrometer is calibrated. A complete electron energy loss spectrum covering the elastic peak to the secondary electron peaks for the HOPG surface, acquired at a tip voltage of -140 V and a sample current of 0.5 pA, is presented, demonstrating the viability of the spectrometer. 展开更多
关键词 double toroidal analyzer scanning probe electron energy spectroscopy electron energy loss spec-troscopy secondary electron emission spectroscopy
原文传递
浅析SPEC基准测试程序集及评价指标 被引量:6
3
作者 徐洁 王华 +1 位作者 吴晓华 王雁东 《实验科学与技术》 2010年第6期21-24,共4页
基准测试程序用于测试计算机系统的性能,对不同结构的计算机性能提供量化比较结果,为用户选择更适合应用要求的机器提供决策。文章介绍了SPEC基准测试程序组件,给出了SPECCPU2006测试程序说明,分析了SPEC评价指标及使用。
关键词 spec评测机构 基准测试程序集 评价指标
在线阅读 下载PDF
API Spec 5L的发展过程及最新进展(上) 被引量:4
4
作者 李平全 罗卫国 韩勇 《钢管》 CAS 2009年第1期56-62,共7页
油气管道建设从最初的工业管道至今已经历了一个多世纪的发展。APISpec5L管线钢管规范自1928年发布第1版起至2007年发布第44版也经历了近80年的发展进程。该规范经分、合、再整合的不断修改与完善,已成为油气管道输送用钢管的国际通行... 油气管道建设从最初的工业管道至今已经历了一个多世纪的发展。APISpec5L管线钢管规范自1928年发布第1版起至2007年发布第44版也经历了近80年的发展进程。该规范经分、合、再整合的不断修改与完善,已成为油气管道输送用钢管的国际通行标准。APISpec5L第44版于2007年10月1日出版,2008年10月1日生效,第一次与ISO3183:2007(第2版)等同合版发布。介绍了APISpec5L的发展历程,APISpec5L第44版的最新进展和变化。 展开更多
关键词 管线钢管规范 API spec 5L 发展历程 修订 第44版 进展和变化
在线阅读 下载PDF
Intel Cascade Lake架构CPU SPEC CPU2017评测 被引量:4
5
作者 杜琦 黄卉 +2 位作者 龚盛 刘新娃 黄春 《计算机工程与科学》 CSCD 北大核心 2021年第1期49-57,共9页
SPEC CPU2017基准包中包含SPEC的下一代行业标准,是目前CPU性能评测的客观和可信的基准程序之一。采用SPEC CPU2017对Intel Cascade Lake架构的Intel Xeon Gold 6252N型号CPU做了不同内存频率、不同副本数、打开/关闭Turbo的组合测试,... SPEC CPU2017基准包中包含SPEC的下一代行业标准,是目前CPU性能评测的客观和可信的基准程序之一。采用SPEC CPU2017对Intel Cascade Lake架构的Intel Xeon Gold 6252N型号CPU做了不同内存频率、不同副本数、打开/关闭Turbo的组合测试,总结了不同应用程序在不同配置组合中的性能表现。同时,还对比测试了Intel Ivy Bridge架构的Intel Xeon E5-2692 v2型号CPU和Intel Haswell架构的Intel Xeon E5-2620 v3型号CPU,通过引入计算访存跑分比PBR的概念,分析了3种架构的硬件功能部件的增加对应用程序的性能影响。 展开更多
关键词 spec CPU2017 Intel Cascade Lake Intel Ivy Bridge Intel Haswell 计算访存跑分比
在线阅读 下载PDF
基于SPEC 2000的桌面操作系统与处理器适配评测 被引量:1
6
作者 罗军 吕宏峰 +1 位作者 王小强 孙宇 《计算机工程与科学》 CSCD 北大核心 2016年第4期693-698,共6页
桌面操作系统与处理器的适配评测是提升国产计算机系统质量的重要途径,传统桌面操作系统的评测侧重于软件本身的测试,不能够全面反映其与处理器的适配性能。基于SPEC 2000基准程序集,提出通过比较基准程序集在不同桌面操作系统下的评测... 桌面操作系统与处理器的适配评测是提升国产计算机系统质量的重要途径,传统桌面操作系统的评测侧重于软件本身的测试,不能够全面反映其与处理器的适配性能。基于SPEC 2000基准程序集,提出通过比较基准程序集在不同桌面操作系统下的评测分值差异来反映桌面操作系统与处理器的适配性能。进一步提出了剔除程度因子(λ)用以分析不同基准程序对任意两个桌面操作系统评测分值差值的影响,并选用了三种典型的桌面操作系统进行了验证。实验结果表明,剔除对两桌面操作系统差值较大的基准程序或者差值较小的基准程序在一定的λ值下会使不同桌面操作系统下的SPEC 2000整点运算评测分值发生逆转。文中提出的方法是相关软件评测标准在软硬件适配性能维度上的扩展,剔除程度因子的提出有利于判定对桌面操作系统评测分值差值影响较大的基准程序,进而可用于指导桌面操作系统和基准程序的改进和优化。 展开更多
关键词 操作系统 spec 2000 适配性能 处理器 评测
在线阅读 下载PDF
Spec CPU2000基准程序运行路径分析 被引量:4
7
作者 葛仁北 《计算机工程》 CAS CSCD 北大核心 2007年第7期38-40,共3页
Spec CPU2000的基准程序被广泛地应用于处理器的设计性能评估。在微处理器RTL级系统评估过程中,需要运行一些性能评估代码来完成系统的评估,因为运行整个基准程序的代价很大,所以都用运行部分代码的方式来获得性能情况。该文利用基准程... Spec CPU2000的基准程序被广泛地应用于处理器的设计性能评估。在微处理器RTL级系统评估过程中,需要运行一些性能评估代码来完成系统的评估,因为运行整个基准程序的代价很大,所以都用运行部分代码的方式来获得性能情况。该文利用基准程序的频繁函数提取出微程序的方法,用于微处理器RTL级系统的评估,在函数提取过程中研究函数内部的频繁使用路径,研究了这些最频繁函数中的最频繁使用路径,了解基准程序的运行行为,为处理器的初级阶段的研究提供一些类基准程序,快速评估初级的处理器性能。 展开更多
关键词 微处理器 spec CPU 2000 基准程序 路经分析
在线阅读 下载PDF
使用SPEC#开发高可靠性的物流信息系统 被引量:2
8
作者 郑宇军 王金全 薛锦云 《计算机工程与设计》 CSCD 北大核心 2006年第22期4178-4182,共5页
结合形式化软件开发方法和面向对象的方法学,使用SPEC#开发物流信息管理系统,利用该语言中的前置条件、后置条件、对象不变式等形式化机制显著地提高了软件的可读性、可靠性和可维护性。系统地总结了分析、设计和编码阶段的经验和问题,... 结合形式化软件开发方法和面向对象的方法学,使用SPEC#开发物流信息管理系统,利用该语言中的前置条件、后置条件、对象不变式等形式化机制显著地提高了软件的可读性、可靠性和可维护性。系统地总结了分析、设计和编码阶段的经验和问题,提出了应用SPEC#进行契约式程序设计的一组原则和建议,并分析了该语言存在的不足和改进策略。 展开更多
关键词 spec# 形式化方法 契约 不变式 物流信息系统
在线阅读 下载PDF
使用SPEC#开发高可靠性的算法程序 被引量:1
9
作者 郑宇军 马燕 薛锦云 《计算机工程与应用》 CSCD 北大核心 2006年第12期114-117,130,共5页
概要介绍了SPEC#的基本特性;使用SPEC#开发了若干典型的算法程序,利用该语言中的契约机制来形式化地描述前置条件、后置条件、对象不变式等程序规约,从而显著地提高了程序的可读性、可靠性和可维护性,有助于软件自动化水平的提高。
关键词 spec# 形式化方法 算法程序 契约
在线阅读 下载PDF
国际工程SPEC管理重点与应对策略
10
作者 田伟 《施工技术(中英文)》 2025年第18期144-148,153,共6页
国际工程中,业主的高质量要求与承包商的成本控制间的博弈贯穿项目全周期。技术规格书(SPEC)作为合同文件核心,可有效平衡需求与成本间的矛盾,已成为国际工程项目管理的重要工具。首先阐述了SPEC的概念、格式和内容,分析SPEC在国际工程... 国际工程中,业主的高质量要求与承包商的成本控制间的博弈贯穿项目全周期。技术规格书(SPEC)作为合同文件核心,可有效平衡需求与成本间的矛盾,已成为国际工程项目管理的重要工具。首先阐述了SPEC的概念、格式和内容,分析SPEC在国际工程项目管理中的作用,并结合国际工程中SPEC的应用实践案例,提出了SPEC管理重点和应对策略。 展开更多
关键词 项目管理 技术规格书 造价控制 参数库 审核流程 应对策略
在线阅读 下载PDF
API SPEC 5L《管线钢管规范》第45版主要内容变化分析 被引量:2
11
作者 王慧 李狄楠 +3 位作者 付宏强 薛磊红 高霞 邵紫艳 《焊管》 2013年第8期67-70,72,共5页
API SPEC 5L《管线钢管规范》是广泛应用于世界石油天然气输送钢管生产、检验和使用的重要基础标准。依据美国石油学会(API)2012年12月发布的第45版API SPEC 5L英文版,对照2007年第44版API SPEC 5L和API在2009—2011年期间发出的3个补遗... API SPEC 5L《管线钢管规范》是广泛应用于世界石油天然气输送钢管生产、检验和使用的重要基础标准。依据美国石油学会(API)2012年12月发布的第45版API SPEC 5L英文版,对照2007年第44版API SPEC 5L和API在2009—2011年期间发出的3个补遗,按照标准章节顺序,从总体结构、规范性引用文件、钢管钢级及交货状态、购方提供信息、制造、验收极限、检验试验方法和附录入手,分析了新标准的主要变化情况,便于标准使用者总体了解新版标准的主要变化情况,利于新版标准2013年7月1日后的正式实施。 展开更多
关键词 管线钢管 API spec 5L 规范 变化 分析
在线阅读 下载PDF
API SPEC 5ST《连续油管规范》概述 被引量:4
12
作者 付宏强 毕宗岳 《焊管》 2011年第10期67-71,共5页
简要介绍了美国石油学会新发布的API SPEC 5ST《连续油管规范》标准的总体结构、范围及主要内容。该标准涉及的连续油管高技术产品在国外应用非常广泛,而目前国内了解和掌握该产品性能及标准内容的人员又十分有限。因此,笔者从标准角度... 简要介绍了美国石油学会新发布的API SPEC 5ST《连续油管规范》标准的总体结构、范围及主要内容。该标准涉及的连续油管高技术产品在国外应用非常广泛,而目前国内了解和掌握该产品性能及标准内容的人员又十分有限。因此,笔者从标准角度帮助大家正确理解连续油管产品及其标准内容,通过对标准相关内容的进一步解释或说明,期望对国内用户及标准使用者了解和正确理解连续油管产品性能及标准内容有所帮助。 展开更多
关键词 API spec 5ST 总体结构 范围
在线阅读 下载PDF
北美高校图书馆数字学术服务现状及启示——基于《SPEC Kit 350:支持数字学术》报告 被引量:3
13
作者 杨晓雯 《情报探索》 2018年第9期90-93,共4页
[目的/意义]为我国高校图书馆更好地开展数字学术服务提供借鉴。[方法/过程]通过文献调研、内容分析方法,对研究图书馆协会(ARL)《SPEC Kit 350:支持数字学术》的调查背景、简介及相关说明、报告核心内容等方面进行研究分析。[结果/结论... [目的/意义]为我国高校图书馆更好地开展数字学术服务提供借鉴。[方法/过程]通过文献调研、内容分析方法,对研究图书馆协会(ARL)《SPEC Kit 350:支持数字学术》的调查背景、简介及相关说明、报告核心内容等方面进行研究分析。[结果/结论]我国高校图书馆开展数字学术服务应制定发展规划和提供制度保障,有条件的高校图书馆应建立数字学术中心,建立与校内外的合作机制,重视成效评估和考核等。 展开更多
关键词 高校图书馆 数字学术 spec KIT 350:支持数字学术》 启示
在线阅读 下载PDF
API SPEC 5L《管线钢管规范》第44版主要变化分析 被引量:7
14
作者 王慧 《焊管》 2008年第5期84-88,共5页
根据API SPEC 5L《管线钢管规范》第44版,对照第43版,从整体结构和具体层次两个角度,对引用标准、钢管等级及交货状态、钢管制造、力学性能、无损检验、尺寸等方面的主要变化进行了分析,对API会标持证企业按时实施API SPEC 5L第44版《... 根据API SPEC 5L《管线钢管规范》第44版,对照第43版,从整体结构和具体层次两个角度,对引用标准、钢管等级及交货状态、钢管制造、力学性能、无损检验、尺寸等方面的主要变化进行了分析,对API会标持证企业按时实施API SPEC 5L第44版《管线钢管规范》,做好换证准备工作有一定的借鉴意义。 展开更多
关键词 API spec 5L第43版 API spec 5L第44版 分析对比
在线阅读 下载PDF
美国石油学会对API SPEC 5L《管线管规范》第44版的修改 被引量:2
15
作者 许晓锋 方伟 《石油工业技术监督》 2009年第6期27-29,共3页
针对API SPEC 5L《管线管规范》第44版,美国石油学会于2009年1月发布了勘误,并于2月又发布了补充件,对附录N(规范性附录)及附录O(资料性附录)进行了修改。为使API油套管相关生产厂、油田用户、监督检验人员等尽快了解、掌握该标... 针对API SPEC 5L《管线管规范》第44版,美国石油学会于2009年1月发布了勘误,并于2月又发布了补充件,对附录N(规范性附录)及附录O(资料性附录)进行了修改。为使API油套管相关生产厂、油田用户、监督检验人员等尽快了解、掌握该标准的这些变化,在生产实践中更准确地使用该标准,现将其最新修改内容简介如下。 展开更多
关键词 美国石油学会 spec API 管线管 修改 检验人员 内容简介 生产厂
在线阅读 下载PDF
API Spec 5L的发展过程及最新进展(下)
16
作者 李平全 罗卫国 韩勇 《钢管》 CAS 2009年第2期48-51,共4页
油气管道建设从最初的工业管道至今已经历了一个多世纪的发展。APISpec5L管线钢管规范自1928年发布第1版起至2007年发布第44版也经历了近80年的发展进程。该规范经分、合、再整合的不断修改与完善,已成为油气管道输送用钢管的国际通行... 油气管道建设从最初的工业管道至今已经历了一个多世纪的发展。APISpec5L管线钢管规范自1928年发布第1版起至2007年发布第44版也经历了近80年的发展进程。该规范经分、合、再整合的不断修改与完善,已成为油气管道输送用钢管的国际通行标准。APISpec5L第44版于2007年10月1日出版,2008年10月1日生效,第一次与ISO3183:2007(第2版)等同合版发布。介绍了APISpec5L的发展历程,APISpec5L第44版的最新进展和变化。 展开更多
关键词 管线钢管规范 API spec 5L 发展历程 修订 第44版 进展和变化
在线阅读 下载PDF
基于SPEC#的功能性冗余软件开发
17
作者 王侃 郑宇军 范宏伟 《计算机工程与设计》 CSCD 北大核心 2009年第15期3487-3490,共4页
软件的功能性冗余能够有效提高计算机系统可靠性和安全性。研究了SPEC#语言中的前后置断言和对象不变式等契约机制,分析了如何通过这些机制来实现输入输出域控制、主动冗余和故障恢复等软件功能性冗余的方法和手段,并总结了软件开发过... 软件的功能性冗余能够有效提高计算机系统可靠性和安全性。研究了SPEC#语言中的前后置断言和对象不变式等契约机制,分析了如何通过这些机制来实现输入输出域控制、主动冗余和故障恢复等软件功能性冗余的方法和手段,并总结了软件开发过程中应用契约设计和冗余技术的若干准则和建议。这种基于契约的冗余技术能够显著地提高软件的可靠性、可维护性和可测试性,进而提高软硬件系统的整体可信性水平。 展开更多
关键词 软件可靠性 spec# 契约 功能性冗余 异常
在线阅读 下载PDF
SPEC-代数与T-代数之关系
18
作者 王宪栋 《西安电子科技大学学报》 EI CAS CSCD 北大核心 1994年第3期362-371,共10页
该文在自由SPEC-代数T_s(X)及相应的典范映射X_η:→T_s(X)的基础上,利用范畴论中函子与自然变换的概念,建立了函子范畴Set ̄s上的代数理论T=(T_s,η,μ),讨论了SPEC-代数、T-代数的性质。
关键词 spec-代数 T-代数 范畴 函子范畴
在线阅读 下载PDF
基于PC与SPEC061A嵌入式芯片的通信技术
19
作者 但斌斌 易建钢 林躜 《湖北工学院学报》 2004年第3期103-104,共2页
应用台湾凌阳公司生产的SPCE系列嵌入式芯片,利用该芯片所具有的串口与PC机的RS232接口通讯,研究PC与SPEC061A嵌入式芯片串口通讯的原理与实现方式.并采用该系统产生数字式的三角波、正弦波、方波、斜波等幅值可调的工业测试中常用的信号.
关键词 PC spec061A 嵌入式芯片 串口通信 通信协议
在线阅读 下载PDF
SPEC CPU2000性能测试程序分析及其应用 被引量:7
20
作者 廖秋林 莫玮 陈大为 《国外电子测量技术》 2006年第6期65-68,共4页
SPEC CPU2000是由标准性能评价组织(SPEC)开发的用于评测通用型CPU性能的基准程序测试组,是目前CPU性能评测的客观和可信的基准程序之一。通过研究CPU2000基准程序的组成,及其在具体硬件平台上的安装和测试过程,最后分析指出CPU2000基... SPEC CPU2000是由标准性能评价组织(SPEC)开发的用于评测通用型CPU性能的基准程序测试组,是目前CPU性能评测的客观和可信的基准程序之一。通过研究CPU2000基准程序的组成,及其在具体硬件平台上的安装和测试过程,最后分析指出CPU2000基准程序的特点和不足之处。 展开更多
关键词 CPU性能评测 基准程序 spec CPU2000
在线阅读 下载PDF
上一页 1 2 46 下一页 到第
使用帮助 返回顶部