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

计算机研究与发展 2014年第8期51卷 1764-1772页

作者：夏静王天成吕涛李华伟邝继顺湖南大学信息科学与工程学院长沙410082 计算机体系结构国家重点实验室(筹)(中国科学院计算技术研究所) 北京100190

为了提高基于SRAM的FPGA(SFPGA)上的容软错误能力,提出了一种基于软错误率(soft error rate,SER)评估的装箱算法SER-Tvpack.通过结合软错误率的两个组成部分错误传播率(error propagation probability,EPP)和节点错误率(node error rate,NER),得到软错误评估标准SER的估算值,并将该值作为可靠性因子加入到代价函数中指导装箱过程,以减少装箱后可编程逻辑块(configuration logic block,CLB)之间互连的软错误率,从而提高设计的可靠性.对20个MCNC基准电路(最大基准电路集)进行实验,结果表明,与基准时序装箱算法T-Vpack及已有的容错装箱算法FTvpack相比较,软故障率分别减少了14.5%和4.11%.而且,与F-Tvpack比较,在仅增加0.04%的面积开销下,减少了2.31%的关键路径的时延,提供了较好的时序性能.

关键词： SRAM型FPGA 软错误率可靠性装箱单粒子翻转

来源：评论

学校读者我要写书评

暂无评论

高性能逻辑文件系统设计与实现

引用

计算机工程 2008年第6期34卷 74-76页

作者：赵奕唐荣锋陈欢熊劲马捷中国科学院计算技术研究所国家智能计算机研究开发中心中国科学院计算技术研究所计算机系统结构重点实验室北京100080 中国科学院研究生院北京100039

服务器端文件系统不仅需要很大的容量,而且要为大量并发访问提供很高的I/O性能。该文提出一种把多个物理文件系统通过软件集成为一个逻辑文件系统的技术,很好地聚合了各个文件系统所在磁盘设备的带宽和容量,综合了不同文件系统在元数据... 详细信息

服务器端文件系统不仅需要很大的容量,而且要为大量并发访问提供很高的I/O性能。该文提出一种把多个物理文件系统通过软件集成为一个逻辑文件系统的技术,很好地聚合了各个文件系统所在磁盘设备的带宽和容量,综合了不同文件系统在元数据和数据处理性能上的优势。性能测试结果表明,逻辑文件系统技术是一种构造支持高度并发访问的高性能文件系统的有效方法。

关键词：文件系统数据布局元数据

来源：评论

学校读者我要写书评

暂无评论

面向异构多核处理器的FPGA验证

引用

计算机研究与发展 2021年第12期58卷 2684-2695页

作者：李小波唐志敏李文计算机体系结构国家重点实验室(中国科学院计算技术研究所) 北京100190 中国科学院大学计算机科学与技术学院北京100049 上海处理器技术创新中心上海200120

随着处理器架构的发展,高性能异构多核处理器不断涌现.由于高性能异构多核处理器的设计十分复杂,为了降低设计风险,缩短验证周期,提前进行软件开发,复现硅后问题等,通常需要搭建现场可编程门阵列(field programmable gate array,FPGA)... 详细信息

随着处理器架构的发展,高性能异构多核处理器不断涌现.由于高性能异构多核处理器的设计十分复杂,为了降低设计风险,缩短验证周期,提前进行软件开发,复现硅后问题等,通常需要搭建现场可编程门阵列(field programmable gate array,FPGA)的原型验证平台,并基于FPGA平台开展种类繁多,功能各异的软硬协同验证和调试工作.提出的基于同构FPGA平台对异构多核高性能处理器的FPGA调试、验证方法,有效地利用了异构多核处理器的架构特征,同构FPGA的对称特点,以层次化的方法自顶向下划分FPGA,自底向上构建FPGA平台.结合差速桥、自适应延迟调节、内嵌的虚拟逻辑分析仪(virtual logic analyzer,VLA)等技术可快速完成FPGA平台的点亮(bring-up)和部署.所提出的多核互补,核间替换模拟的调试SHELL等方法可以快速完整地对目标高性能异构多核处理器进行FPGA验证.通过该FPGA原型验证平台,成功地完成了硅前验证,软硬件协同开发和测试,硅后问题复现工作,并为下一代处理器架构设计提供了快速的硬件平台.

关键词：异构多核 FPGA原型验证差速桥自适应延迟调节虚拟逻辑分析仪核间替换模拟

来源：评论

学校读者我要写书评

暂无评论

曙光5000芯片组系统级功能验证平台

引用

计算机工程与科学 2009年第11期31卷 37-39,44页

作者：刘涛王凯李晓民安学军中国科学院计算技术研究所北京100190 中国科学院计算机系统结构重点实验室北京100190 中国科学院研究生院北京100049

曙光5000芯片组是曙光5000计算单元中的系统控制器,它通过HT接口连接两颗CPU并提供高速网络通信能力。为了确保曙光5000芯片组的功能正确性,我们为其设计了系统级功能验证平台SVP。SVP采用分层结构对系统进行建模,通过对本地计算单元的... 详细信息

曙光5000芯片组是曙光5000计算单元中的系统控制器,它通过HT接口连接两颗CPU并提供高速网络通信能力。为了确保曙光5000芯片组的功能正确性,我们为其设计了系统级功能验证平台SVP。SVP采用分层结构对系统进行建模,通过对本地计算单元的系统软件行为、硬件平台功能以及远程计算单元的网络行为进行模拟,提供了接近真实系统的验证环境。在曙光5000芯片组的验证过程中,SVP发现并排除了逻辑设计中的大多数功能错误,通过并行验证加速了验证覆盖率的收敛过程。

关键词：芯片组功能验证建模模拟覆盖率

来源：评论

学校读者我要写书评

暂无评论

一种场景敏感的高效错误检测方法

引用

软件学报 2014年第3期25卷 472-488页

作者：衷璐洁霍玮李龙李丰冯晓兵张兆庆中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 首都师范大学信息工程学院北京100089 中国科学院大学北京100049 中国科学院信息工程研究所第五研究室北京100093

定值-引用类错误是一类非常重要且常见的错误.当前,对这类错误的检测很难同时达到高精度和高可扩展性.通过合理组合敏感和不敏感的检测方法并控制两类方法的实施范围,可以同时达到高检测精度和高可扩展性.提出一种新颖的场景敏感的检测... 详细信息

定值-引用类错误是一类非常重要且常见的错误.当前,对这类错误的检测很难同时达到高精度和高可扩展性.通过合理组合敏感和不敏感的检测方法并控制两类方法的实施范围,可以同时达到高检测精度和高可扩展性.提出一种新颖的场景敏感的检测方法,该方法根据触发状态对潜在错误语句分类,识别不同类别语句的触发场景并实施不同开销的检测,在不降低精度的同时最小化检测开销.设计了一个多项式时间复杂度的流敏感、域敏感和上下文敏感的场景分析以进行分类,并基于程序依赖信息识别触发场景,仅对必要的触发场景实施路径敏感的检测.为上述方法实现了一种原型系统——Minerva.通过使用空指针引用错误检测为实例研究以及总代码规模超过290万行,最大单个应用超过200万行的应用验证,用例实验结果表明,Minerva的平均检测时间比当前先进水平的路径敏感检测工具Clang-sa和Saturn分别快3倍和46倍.而Minerva的误报率仅为24%,是Clang-sa和Saturn误报率的1/3左右,并且Minerva未发现漏报已知错误.上述数据表明,所提出的场景敏感的错误检测方法可同时获得高可扩展性和高检测精度.

关键词：定值-引用错误路径敏感错误检测错误目标触发场景场景敏感程序分析

来源：评论

学校读者我要写书评

暂无评论

模块化片上系统中高级可扩展接口的死锁避免

引用

电子与信息学报 2023年第9期45卷 3175-3183页

作者：郭振江王焕东张福新肖俊华计算机体系结构国家重点实验室北京100190 中国科学院计算技术研究所北京100190 中国科学院大学计算机科学与技术学院北京100049 龙芯中科技术有限公司北京100190

模块化片上系统(MSoC)包含多个独立的IP组件及多个可能的子网络,这种异构集成的方式往往为片上网络(NoC)引入潜在的死锁。该文基于模块化异构系统MSoC研究了使用高级可扩展接口(AXI)协议的片上网络中3种类型的死锁。MSoC包含多种常见的... 详细信息

模块化片上系统(MSoC)包含多个独立的IP组件及多个可能的子网络,这种异构集成的方式往往为片上网络(NoC)引入潜在的死锁。该文基于模块化异构系统MSoC研究了使用高级可扩展接口(AXI)协议的片上网络中3种类型的死锁。MSoC包含多种常见的异构组件,以及由多个独立子网络集成的片上网络,能够充分反映真实芯片的复杂性和不规则性。该文发现除环形通道导致的死锁外,基于AXI的片上网络还涉及双重路径死锁和桥接死锁。该文还提出一种两阶段算法检测片上网络中可能存在的这3种死锁。相比于通用验证方法学(UVM)随机验证,使用该算法可以将检测时长从几个月缩短到几个小时,提高片上网络的可靠性和鲁棒性。

关键词：片上网络模块化片上系统死锁避免高级可扩展接口协议

来源：评论

学校读者我要写书评

暂无评论

基于时间卷积注意力神经网络的序列推荐模型

引用

模式识别与人工智能 2022年第5期35卷 472-480页

作者：杜永萍牛晋宇王陆霖闫瑞北京工业大学信息学部北京100124 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100086

序列推荐任务根据用户与项目的交互记录动态建模用户兴趣,并进行项目推荐.序列推荐模型通常将用户行为视为兴趣进行建模,仅考虑用户行为的顺序,忽略用户行为之间的时间间隔信息.文中将行为序列的时间间隔信息作为预测用户行为的重要因素... 详细信息

序列推荐任务根据用户与项目的交互记录动态建模用户兴趣,并进行项目推荐.序列推荐模型通常将用户行为视为兴趣进行建模,仅考虑用户行为的顺序,忽略用户行为之间的时间间隔信息.文中将行为序列的时间间隔信息作为预测用户行为的重要因素,提出基于时间卷积注意力神经网络的序列推荐模型.在词嵌入层中引入序列位置信息和时间间隔信息,并设计时间卷积网络对位置信息进行建模,获取用户的长期偏好特征.使用双层自注意力机制对用户短期行为序列中项目之间的关联进行建模,并融合时间间隔信息获取用户短期兴趣特征.最后,通过预训练引入训练数据的全局信息,提升模型推荐性能.在Amazon等数据集上的实验表明,文中模型可有效提升推荐性能.

关键词：序列推荐自注意力机制时间卷积网络长短期兴趣

来源：评论

学校读者我要写书评

暂无评论

基于传播引擎的指针引用错误检测

引用

计算机学报 2013年第2期36卷 432-444页

作者：衷璐洁霍玮李丰陈聪明冯晓兵张兆庆中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 首都师范大学信息工程学院北京100048 中国科学院研究生院北京100049

指针在C程序中应用广泛,指针引用错误多发且危害严重.目前代表性的检测工具由于使用方便性和检测精度不足以及难以处理大规模程序等原因,并不能满足实用需求.文中提出一种新型的错误检测方法,该方法基于域敏感、流敏感和上下文敏感的传... 详细信息

指针在C程序中应用广泛,指针引用错误多发且危害严重.目前代表性的检测工具由于使用方便性和检测精度不足以及难以处理大规模程序等原因,并不能满足实用需求.文中提出一种新型的错误检测方法,该方法基于域敏感、流敏感和上下文敏感的传播引擎,通过定义错误属性格、在源程序中对错误属性格值进行计算和传播来完成错误检测.在开放源码编译器Open64中实现了其原型系统Propagator.以空指针引用错误检测为实例研究内容,使用Apache、OpenSSH、gzip等应用领域广泛的典型应用为实验用例.与Saturn、Splint和Clang-SA进行对比,Propagator的平均检测时间仅为12s,误报率平均仅为13%,远低于对比工具,且没有发现漏报已知错误.上述结果表明,Propagator既提高了检测精度又保证了可扩展性,具有很好的实用前景.

关键词：空指针引用错误属性格上下文敏感静态检测传播引擎

来源：评论

学校读者我要写书评

暂无评论

开源芯片生态技术体系构建面临的机遇与挑战

引用

中国科学院院刊 2022年第1期37卷 24-29页

作者：包云岗孙凝晖中国科学院计算技术研究所北京100190 中国科学院大学计算机科学与技术学院北京100049 计算机体系结构国家重点实验室北京100190

近年来,开源指令集RISC-Ⅴ以其“指令集应该免费”(instruction sets want to be free)的宗旨得到全世界的广泛认可与积极投入。基于RISC-Ⅴ构建开源芯片生态,有望形成普惠世界的处理器芯片领域的“人类命运共同体”。开源芯片技术体系... 详细信息

近年来,开源指令集RISC-Ⅴ以其“指令集应该免费”(instruction sets want to be free)的宗旨得到全世界的广泛认可与积极投入。基于RISC-Ⅴ构建开源芯片生态,有望形成普惠世界的处理器芯片领域的“人类命运共同体”。开源芯片技术体系仍然面临诸多挑战,而中国具备很好的条件,应抓住机遇积极参与,为开源芯片生态技术体系的建设作出贡献。

关键词：开源芯片 RISC-Ⅴ 开源生态体系

来源：评论

学校读者我要写书评

暂无评论

地理案例推理及其应用

引用

地理学报 2002年第2期57卷 151-158页

作者：杜云艳周成虎邵全琴苏奋振史忠植叶施仁中国科学院地理科学与资源研究所资源与环境信息系统国家重点实验室北京100101 中国科学院计算技术研究所北京100081

由于案例推理接近于人类认识、解决问题最原始的思维方式，具有在无法获取机理模型、确定规则或统计模型时，采用简单的历史相似性实现问题的定量求解和预测的特点，成为当前人工智能中备受关注的领域。在讨论案例推理方法发展的基础上... 详细信息

由于案例推理接近于人类认识、解决问题最原始的思维方式，具有在无法获取机理模型、确定规则或统计模型时，采用简单的历史相似性实现问题的定量求解和预测的特点，成为当前人工智能中备受关注的领域。在讨论案例推理方法发展的基础上，探讨应用案例推理进行地学问题求解的具体方法。从地学数据分析的角度提出了地理案例推理，并结合地理案例的特点，具体讨论了地理案例的表达模型和推理模型，最后结合东海中心渔场预报的实际工作，给出这种方法的具体应用实例。

关键词：人工智能地理案例推理表达模式推理模型东海中心渔场地学数据

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：