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

小型微型计算机系统 2013年第3期34卷 654-658页

作者：刘振科施智平关永金声震张杰叶世伟李晓娟电子系统可靠性技术北京市重点实验室首都师范大学信息工程学院北京100048 计算机体系结构国家重点实验室中国科学院计算技术研究所北京100190 北京化工大学信息科学与技术学院北京100029 中国科学院研究生院信息科学与工程学院北京100049

定理证明是重要的形式化验证方法之一,其将系统建模为逻辑公式,依托定理证明器进行推理从而完成验证.定理证明器中包含的定理库越多,其建模和推理能力越强.控制理论中经常用函数向量描述状态空间,形式化函数矩阵理论对控制系统的形式化... 详细信息

定理证明是重要的形式化验证方法之一,其将系统建模为逻辑公式,依托定理证明器进行推理从而完成验证.定理证明器中包含的定理库越多,其建模和推理能力越强.控制理论中经常用函数向量描述状态空间,形式化函数矩阵理论对控制系统的形式化分析有重要意义.本文在高阶逻辑定理证明器Higher-Order Logic 4中形式化函数向量和函数矩阵,包括形式化定义数据类型、运算及形式化验证运算性.本文同时给出了函数矩阵求导的形式化定义,证明了矩阵微分法中函数矩阵(或函数向量)相对于数量变量的微分法的常用定理,并给出了对二次型函数求导的形式化证明.本文工作已整理成定理库.

关键词：函数矩阵形式化验证矩阵微分法定理证明 Higher-Order Logic4

来源：评论

学校读者我要写书评

暂无评论

k一种微服务器系统的研制与应用

引用

计算机测量与控制 2013年第10期21卷 2838-2840,2850页

作者：职燕蔡晔李政甫林建清桂林理工大学机械与控制工程学院广西桂林541004 计算机体系结构国家重点实验室中国科学院计算技术研究所北京100086 广东省汕尾芯灵电子科技有限公司广东汕尾518000

简述了微服务器的发展和应用背景,对一种微服务器研制的关键技术以及应用框架进行了阐述,在此基础上,实现了一个基于微服务器架构的应用服务器系统;实际测试表明,在性能相当情况下,研制的微服务器刀片的部署成本约是常规机架服务器的1/2... 详细信息

简述了微服务器的发展和应用背景,对一种微服务器研制的关键技术以及应用框架进行了阐述,在此基础上,实现了一个基于微服务器架构的应用服务器系统;实际测试表明,在性能相当情况下,研制的微服务器刀片的部署成本约是常规机架服务器的1/2,而功耗约为常规机架服务器的1/4,大幅度降低了应用服务器的部署和运营成本,针对具有高通量计算特性的主流互联网应用,在每瓦数据吞吐率、性价比、可扩展性上具有明显优势。

关键词：微服务器高通量应用服务器负载均衡高可用

来源：评论

学校读者我要写书评

暂无评论

面向浏览器不兼容性的自动化测试的研究

引用

计算机应用与软件 2016年第3期33卷 14-17,30页

作者：吴小东裴颂文上海理工大学计算机科学与工程系上海200093 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190

随着Web应用技术的快速发展及浏览器和平台数量的不断增长,跨浏览器的不兼容性问题显得越来越突出。尽管现有的浏览器不兼容性测试工具较多,但是大多数的测试工具是手工测试,耗时过长,容易出错,而且国内对于跨浏览器不兼容性的自动化测... 详细信息

随着Web应用技术的快速发展及浏览器和平台数量的不断增长,跨浏览器的不兼容性问题显得越来越突出。尽管现有的浏览器不兼容性测试工具较多,但是大多数的测试工具是手工测试,耗时过长,容易出错,而且国内对于跨浏览器不兼容性的自动化测试问题缺乏系统性研究。因此基于爬虫工具生成应用程序的导航模型,以及等价性检查技术和自动化测试系统(ATS)提出一种检测跨浏览器不兼容性问题的方法,并结合已有的测试工具进行比较。实验结果表明,该方法能够有效地自动识别和测试跨浏览器不兼容性问题。

关键词：跨浏览器不兼容性爬虫工具导航模型等价性检查自动化测试系统

来源：评论

学校读者我要写书评

暂无评论

一种针对PCIE协议栈芯片的模拟验证平台的设计和实现

一种针对PCIE协议栈芯片的模拟验证平台的设计和实现

引用

第八届全国测试学术会议

作者：张良王天成王健李华伟郭建湘潭大学材料与光电物理学院湘潭411105 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院大学北京100049

Intel提出的第三代总线技术PCI Express对计算机应用系统发展所带来的总线带宽需求有了很大的满足,基于PCIE的设计因此蓬勃发展,对PCIE的验证也因此成为SoC功能验证的重要组成部分.本文设计并实现了一种状态图和覆盖率组合驱动的验证平... 详细信息

Intel提出的第三代总线技术PCI Express对计算机应用系统发展所带来的总线带宽需求有了很大的满足,基于PCIE的设计因此蓬勃发展,对PCIE的验证也因此成为SoC功能验证的重要组成部分.本文设计并实现了一种状态图和覆盖率组合驱动的验证平台,主要包括激励生成、自动检测和覆盖率分析机制,并将其应用于一款基于PCIE接口的协议栈芯片的功能验证.实验结果表明,本文实现的验证平台具有良好的激励生成机制,能够对该协议栈芯片进行全面的验证,同时平台具有良好的复用性、可扩展性,可以对多个协议栈的互连进行验证.

关键词：协议栈芯片功能验证平台设计状态图覆盖率 PCIE接口

来源：评论

学校读者我要写书评

暂无评论

基于事件出现率的故障预测方法

基于事件出现率的故障预测方法

引用

第十五届全国容错计算学术会议(CFTC'13)

作者：连世奇韩银和孙发强李晓维计算机体系结构国家重点实验室中国 100080 中国科学院计算技术研究所中国 100080 中国科学院大学中国 100080

大型计算计算系统基于规则的故障预测可较好解决故障提前发现的问题.目前基于规则的故障预测方法只考虑了事件出现与否和故障的关系,而没有考虑事件出现率,而事件出现率往往可以提供更多的故障信息.本文将提出一种基于事件出现率的预测... 详细信息

大型计算计算系统基于规则的故障预测可较好解决故障提前发现的问题.目前基于规则的故障预测方法只考虑了事件出现与否和故障的关系,而没有考虑事件出现率,而事件出现率往往可以提供更多的故障信息.本文将提出一种基于事件出现率的预测方法,能够有效地找出事件出现率与故障的关联性.通过对Blue Gene/P日志的实验分析,验证了该方法的有效性.

关键词：数据中心故障预测事件出现率关联规则

来源：评论

学校读者我要写书评

暂无评论

基于缓存估算模型的代码测试系统性能优化方法

引用

软件 2013年第12期34卷 10-13页

作者：徐教显王雅文北京邮电大学网络与交换技术国家重点实验室北京100876 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190

为了解决代码测试系统测试C项目的时间开销较大这一问题,本文提出了一种基于缓存估算模型的性能优化方法。该方法向代码测试系统中引入了缓存技术,并且建立了缓存规模估算模型。不相似的C项目应用该模型计算出的缓存规模是不一样的。使... 详细信息

为了解决代码测试系统测试C项目的时间开销较大这一问题,本文提出了一种基于缓存估算模型的性能优化方法。该方法向代码测试系统中引入了缓存技术,并且建立了缓存规模估算模型。不相似的C项目应用该模型计算出的缓存规模是不一样的。使用缓存规模估算模型后,代码测试系统文件缓存的规模能够随着C项目的改变而发生改变,具有动态变化的能力。缓存估算模型已在系统中实现,对4个开源C项目的测试结果表明:该优化方法能有效地提高代码测试系统测试C项目时的时间性能。

关键词：软件测试缓存规模估算文件缓存动态性能优化

来源：评论

学校读者我要写书评

暂无评论

ATOM处理器上数据中心应用的适用性分析.

ATOM处理器上数据中心应用的适用性分析.

引用

2011年全国高性能计算学术年会(HPC china2011)

作者：孙发强韩银和谭光明李晓维计算机体系结构国家重点实验室（筹）中国科学院计算技术研究所中国科学院中国科学院研究生院

云计算的蓬勃发展，引起了数据中心规模的不断增大，从而对数据中心的能源消耗提出了严峻的挑战。针对这一问题，本文探索低功耗处理器在数据中心的适用性来缓解数据中心能源缺乏的现状。文中根据数据中心的两种典型应用——Web 搜索和... 详细信息

云计算的蓬勃发展，引起了数据中心规模的不断增大，从而对数据中心的能源消耗提出了严峻的挑战。针对这一问题，本文探索低功耗处理器在数据中心的适用性来缓解数据中心能源缺乏的现状。文中根据数据中心的两种典型应用——Web 搜索和社交网络的应用特点，使用Linpack 和Graph500来评估系统的性能。在此基础上，我们发现ATOM机群在数据中心计算密集型应用（比如PageRank计算）中应用潜力较低;在数据密集型应用中，并行程度高、通信量低的应用（比如数据收集）有较强的应用潜力。本文还指出多核低功耗处理器在数据密集型的数据中心应用中有研究价值。

关键词：数据中心处理器适用性分析云计算 Web搜索

来源：评论

学校读者我要写书评

暂无评论

专用处理器芯片自动设计技术与应用

引用

中国科技成果 2022年第5期23卷 76-76,F0003页

作者：无王颖李晓维李华伟鄢贵海中国科学院计算技术研究所中科驭数(北京)科技有限公司中科物栖(北京)科技有限责任公司中国科学院计算技术研究所计算机体系结构国家重点实验室

集成电路芯片的敏捷开发与自动设计技术被认为是后摩尔时代降低芯片开发成本与设计周期的关键技术路径,也是未来集成电路的电子设计自动化(EDA)技术的重要发展方向.为了应对人工智能物联网(AIoT)时代海量端设备对于专用处理器芯片的碎... 详细信息

集成电路芯片的敏捷开发与自动设计技术被认为是后摩尔时代降低芯片开发成本与设计周期的关键技术路径,也是未来集成电路的电子设计自动化(EDA)技术的重要发展方向.为了应对人工智能物联网(AIoT)时代海量端设备对于专用处理器芯片的碎片化设计需求,变革现有专用处理器芯片设计方法,研究专用处理器芯片自动设计技术,对于降低处理器芯片的设计门槛与成本,打破国外EDA技术壁垒具有重要意义.

关键词：专用处理器处理器芯片敏捷开发自动设计集成电路芯片技术路径芯片开发碎片化设计

来源：评论

学校读者我要写书评

暂无评论

考虑串扰的集成电路静态定时分析方法

考虑串扰的集成电路静态定时分析方法

引用

第七届中国测试学术会议

作者： Wang Weifang 王伟芳 Li Huawei 李华伟 Insitute of Computing Technology Chinese Academy of Sciences Beijing 100190 计算机体系结构国家重点实验室中国科学院计算技术研究所北京100190

随着集成电路(IC)的工艺尺寸逐渐缩小，片上相邻线之间的耦合电容越来越大，尤其是90nm及以下工艺，线间耦合电容引发的串扰带来的额外时延也越来越大。电路中的时延增大，时钟频率和性能降低，因此，设计流程中对串扰的关注也随之增加... 详细信息

随着集成电路(IC)的工艺尺寸逐渐缩小，片上相邻线之间的耦合电容越来越大，尤其是90nm及以下工艺，线间耦合电容引发的串扰带来的额外时延也越来越大。电路中的时延增大，时钟频率和性能降低，因此，设计流程中对串扰的关注也随之增加。本文介绍了考虑串扰的静态定时分析的基本概念及基于时间窗口和跳变图的分析方法，并将这两种方法应用于一款商业EDA工具。针对商业电路的实验结果显示，考虑串扰的静态定时分析能更准确的分析电路中的时延。文中最后对两种方法进行了简单的比较和分析。

关键词：集成电路设计流程串扰效应静态定时分析时延估计

来源：评论

学校读者我要写书评

暂无评论

基于层次化硬件检查点的SRAM型FPGA快速故障恢复技术

基于层次化硬件检查点的SRAM型FPGA快速故障恢复技术

引用

第十五届全国容错计算学术会议(CFTC'13)

作者：杨恩山黄柯衡胡瑜李晓维龚健刘鸿谨刘波华更新计算机体系结构国家重点实验室中国科学院计算技术研究所北京 100190 中国科学院大学北京 100190 计算机体系结构国家重点实验室中国科学院计算技术研究所北京 100190 北京控制工程研究所北京 100190 空间智能控制技术国防科技重点实验室北京 100190

随着工艺特征尺寸逐渐趋近于纳米级,SRAM型FPGA越来越容易受到软错误的影响而引发系统故障.检查点是进行故障恢复的有效技术,可以将故障系统恢复至之前的正常状态.由于检查点保存和恢复过程中需要暂停系统功能,系统平均恢复时间(mean ti... 详细信息

随着工艺特征尺寸逐渐趋近于纳米级,SRAM型FPGA越来越容易受到软错误的影响而引发系统故障.检查点是进行故障恢复的有效技术,可以将故障系统恢复至之前的正常状态.由于检查点保存和恢复过程中需要暂停系统功能,系统平均恢复时间(mean time to repair,MTTR)对系统性能至关重要.HHC(Hierarchical Hardware Checkpoint)层次化的硬件检查点技术包含高速片上检查点和低速片外检查点,能够对单粒子效应(single event effect,SEE)引起的绝大多数故障采用片内检查点进行恢复,因此可显著降低MTTR.同时,由于HHC仅需在片上保存与用户设计有关的逻辑状态的比特位,而对配置比特位使用ECC进行保护,因此片内存储资源的占用很少.实验数据显示,相对于传统的片外检查点技术,HHC技术可以使MTTR降低94.30％,存储资源占用仅为FPGA的11.11％,可以进一步优化到6％.

关键词：现场可编程门阵列故障恢复层次化硬件检查点

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：