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

信息与电脑（理论版） 2014年第11期 14-16页

作者：吴林蒋东辰西北师范大学计算机科学与工程学院中国科学院计算技术研究所计算机体系结构国家重点实验室

通过分析支付宝交易流程,发现基于该平台的交易方式无法有效保护买家购物的隐私信息。为此,本文提出了一种保护买家隐私的网上购物解决方案。该方案即能有效解决隐私泄露问题,又能解决电子商务中信息监管的问题。最后,还对新交易框架的... 详细信息

通过分析支付宝交易流程,发现基于该平台的交易方式无法有效保护买家购物的隐私信息。为此,本文提出了一种保护买家隐私的网上购物解决方案。该方案即能有效解决隐私泄露问题,又能解决电子商务中信息监管的问题。最后,还对新交易框架的安全协议属性规范进行了分析。

关键词：隐私保护协议设计支付宝隐私信息信息监管第三方支付注册信息收货电子支付信息描述

来源：评论

学校读者我要写书评

暂无评论

一种带有无效缓存路访问过滤机制的低功耗高速缓存

一种带有无效缓存路访问过滤机制的低功耗高速缓存

引用

2012中国计算机大会

作者：范灵俊唐士斌张轮凯郑亚松张浩中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院研究生院北京100049 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190

功耗是当今处理器设计领域的重要问题之一.随着多核处理器的普及,片上缓存占有了越来越多的芯片面积和功耗.提出一种带有无效缓存路访问过滤机制的低功耗高速缓存结构来降低CPU的动态功耗,具体为,通过无效缓存块的预先检查(Pre-Invalid ... 详细信息

功耗是当今处理器设计领域的重要问题之一.随着多核处理器的普及,片上缓存占有了越来越多的芯片面积和功耗.提出一种带有无效缓存路访问过滤机制的低功耗高速缓存结构来降低CPU的动态功耗,具体为,通过无效缓存块的预先检查(Pre-Invalid Way Checking,PIWC)消除对无效缓存路的访问,及通过不匹配缓存路的预先检测(Pre-Mismatch Way Detecting,PMWD)消除对tag低位不匹配缓存路的访问.对实际程序的测试表明,65.2％ -88.9％缓存路的无效访问可以通过以上方法被消除,约60.9％-85.6％由缓存访问带来的动态能耗从而被降低.同时,跟tag-data顺序访问方法相比,对于大多数程序,我们的方法可以获得5.1％ -13.8％的节能效果提升.

关键词：组相联缓存动态功耗无效缓存路检查不匹配缓存路检测

来源：评论

学校读者我要写书评

暂无评论

性能不对称多核处理器负载均衡调度研究

性能不对称多核处理器负载均衡调度研究

引用

2013全国高性能计算学术年会

作者：徐远超谭旭范灵俊张志敏首都师范大学信息工程学院北京100048 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190

在同等面积条件下,性能不对称异构多核处理器比同构多核处理器能具有更好的性能功耗比,实现这一目标的前提是操作系统要能够进行合理的任务分配和负载均衡.针对已有负载均衡调度算法存在的不足,基于现有Linux调度框架提出了一种全面的... 详细信息

在同等面积条件下,性能不对称异构多核处理器比同构多核处理器能具有更好的性能功耗比,实现这一目标的前提是操作系统要能够进行合理的任务分配和负载均衡.针对已有负载均衡调度算法存在的不足,基于现有Linux调度框架提出了一种全面的异构感知负载均衡策略,保证了处理器核负载均衡优先原则,无需定义阈值区分程序类别.在DVFS异构多核环境下测试表明,本文算法要优于现有部分算法,既能做到负载均衡又能实现异构感知.

关键词：性能不对称异构多核处理器负载均衡调度算法优化设计性能测试

来源：评论

学校读者我要写书评

暂无评论

抗板级物理攻击的持久存储方法研究

引用

计算机工程 2022年第2期48卷 132-139页

作者：李闽张倩颖王国辉施智平关永首都师范大学信息工程学院北京100048 高可靠嵌入式系统北京市工程研究中心北京100048 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 电子系统可靠性技术北京市重点实验室北京100048 北京成像理论与技术高精尖创新中心北京100048

为保护文件系统的安全性,提出一种抗板级物理攻击的持久存储方法。利用ARM TrustZone技术构建持久存储架构,实现内存保护机制和持久存储保护服务,提高文件系统的物理安全性。基于片上内存(OCM)在可信执行环境(TEE)中的内核层建立内存保... 详细信息

为保护文件系统的安全性,提出一种抗板级物理攻击的持久存储方法。利用ARM TrustZone技术构建持久存储架构,实现内存保护机制和持久存储保护服务,提高文件系统的物理安全性。基于片上内存(OCM)在可信执行环境(TEE)中的内核层建立内存保护机制,保证TEE的可信应用能够抵抗板级物理攻击。基于TEE的内存保护机制实现保护文件系统中敏感数据的持久存储保护服务,确保文件系统的机密性和完整性。在物理开发板上实现持久存储架构的原型系统,使用基准测试工具对原型系统进行性能评估,并分析性能损耗的原因。测试结果表明,内存保护机制在保护TEE系统物理安全性时引入的时间开销会随着OCM的增大而减小,持久存储保护服务在保护数据量较小的敏感数据时产生的时间开销在用户可接受范围内。

关键词： ARM TrustZone技术可信执行环境板级物理攻击片上内存持久存储保护

来源：评论

学校读者我要写书评

暂无评论

面向FPGA的二值神经网络模型压缩方法研究

引用

小型微型计算机系统 2024年第6期45卷 1356-1362页

作者：陈胤杰裴颂文上海理工大学光电信息与计算机工程学院上海200093 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 华东师范大学软硬件协同设计技术与应用教育部工程研究中心上海200062

针对卷积神经网络在正向推理时的高计算复杂度与空间复杂度问题,提出了一种基于二值神经网络(Binary Neural Network,BNN)的过滤器剪枝算法(Binary Filter Pruning:BFP). BFP算法通过剪除L2范数较小的过滤器,构建剪枝压缩后的二值神经... 详细信息

针对卷积神经网络在正向推理时的高计算复杂度与空间复杂度问题,提出了一种基于二值神经网络(Binary Neural Network,BNN)的过滤器剪枝算法(Binary Filter Pruning:BFP). BFP算法通过剪除L2范数较小的过滤器,构建剪枝压缩后的二值神经网络模型.进一步面向FPGA(Field Programmable Gate Array)平台,设计并实现了基于二值复值神经网络(Binary Complex Neural Network,BCNN)的ResNet-18加速计算模型.对二值复值卷积层与预处理过程中的卷积层,分别设计了数据预处理合并优化与数据重排序.实验结果显示,BFP算法在CIFAR-10数据集上的分类精度,比基于SLR(Surrogate Lagrangian Relaxation)的通道剪枝方法平均提高了1%.与CPU平台相比,设计的加速器在PYNQ-Z1平台上的计算性能提高了23倍.

关键词：二值神经网络过滤器剪枝 FPGA 模型压缩

来源：评论

学校读者我要写书评

暂无评论

渗透缓存命中率诱导的缓存区域动态分配机制研究

引用

软件导刊 2020年第4期19卷 1-8页

作者：李灵枝胡九川叶笑春范东睿严龙北京交通大学计算机与信息技术学院北京100044 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190

为解决计算机体系结构性能瓶颈——存储墙问题,在依赖硬件技术和体系结构创新的同时,还需优化程序算法。传统算法主要以时间和空间复杂度作为衡量指标,未考虑计算机存储结构设置。延迟避免和延迟容忍机制是解决"存储墙"问题... 详细信息

为解决计算机体系结构性能瓶颈——存储墙问题,在依赖硬件技术和体系结构创新的同时,还需优化程序算法。传统算法主要以时间和空间复杂度作为衡量指标,未考虑计算机存储结构设置。延迟避免和延迟容忍机制是解决"存储墙"问题的新途径。借助一种新型缓存结构——渗透缓存可缓解该问题。利用延迟容忍机制,通过研究渗透缓存模型在处理器片上数据调配方式,提出一种依据历史访存命中率变化情况动态调控渗透缓存容量机制(以下简称动态渗透机制)。通过改进数据在渗透缓存上的调配策略,使缓存容量动态适应程序的数据特征,经过调整得出命中率更高的缓存结构配置方案。阐述了动态渗透机制原理与仿真实验模型架构。仿真实验结果表明,在SPLASH-2的部分测试集下,与传统缓存命中率相比较,平均提高了7.629%;以动态渗透机制得出的缓存容量配置方案命中率比传统缓存平均提高31.003%。即在缓存结构改进的动态渗透机制下,访存命中率得到提高,从而缓解了"存储墙"问题。

关键词：渗透缓存存储墙动态缓存分区缓存容量

来源：评论

学校读者我要写书评

暂无评论

多线程共享缓存中冗余路访问消除机制研究

引用

高性能计算技术 2014年第1期 20-24页

作者：范灵俊徐远超唐士斌杜坤王达中国科学院计算技术研究所计算机体系结构国家重点实验室北京 100190 中国科学院大学北京 100049 中国科学院计算技术研究所计算机体系结构国家重点实验室北京 100190 首都师范大学信息工程学院北京 100048 南京邮电大学宽带无线通信技术教育部工程研究中心南京210003 中国科学院计算技术研究所计算机体系结构国家重点实验室北京 100190

近年来,功耗是处理器设计领域的关键问题之一.由于片上缓存占用了越来越多的CPU芯片面积和功耗,本文提出了一种针对多线程共享缓存通过过滤不必要缓存路(Way)访问来降低CPU动态功耗的缓存结构,称为Thread id Cache.通过设置和预先访问Th... 详细信息

近年来,功耗是处理器设计领域的关键问题之一.由于片上缓存占用了越来越多的CPU芯片面积和功耗,本文提出了一种针对多线程共享缓存通过过滤不必要缓存路(Way)访问来降低CPU动态功耗的缓存结构,称为Thread id Cache.通过设置和预先访问Thread id 过滤器(Thread id Filter)来排除每次访问发生时不同线程对组相联缓存同一组(Set)中其它线程私有数据块的访问.本文在128KB 8路Thread id Cache上对传统并行程序和大数据处理并行程序进行了测试,实验结果表明,对于不同应用、不同执行线程数,69.8％-87.5％的缓存路访问可以得到消除,相应地,由于访问操作产生的同等动态功耗可以被有效降低.

关键词：组相联缓存动态功耗多线程 Thread id表

来源：评论

学校读者我要写书评

暂无评论

移动设备应用程序的体系结构特征分析

移动设备应用程序的体系结构特征分析

引用

2013全国高性能计算学术年会

作者：张坤黄永兵陈明宇北京航空航天大学软件学院移动云计算系北京100191 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190

云计算的成熟以及移动互联网的兴起,移动设备为用户提供了丰富的高质量及高可靠的服务.移动智能终端如智能手机、平台电脑已经成为最主要的电子消费品,且呈现快速增长的趋势.移动设备上运行的应用程序种类丰富多样,对硬件平台的需求也... 详细信息

云计算的成熟以及移动互联网的兴起,移动设备为用户提供了丰富的高质量及高可靠的服务.移动智能终端如智能手机、平台电脑已经成为最主要的电子消费品,且呈现快速增长的趋势.移动设备上运行的应用程序种类丰富多样,对硬件平台的需求也大不相同:而移动设备的硬件平台在性能和功耗上有其自身的局限性.因而,分析移动设备上的应用程序运行过程中体现出的体系结构特征,对于硬件平台如处理器的设计,以及指导应用程序的优化,具有指导性的意义. 本文分析了现代移动设备上应用程序的体系结构特征,为应用程序优化提供依据.在应用市场中挑选了测试程序集,它覆盖了整个用户需求空间,包括社交、娱乐、办公、学习等等.随后测试这些应用的体系结构特征并做出分析.这些程序都存在较高的指令缓存和指令旁路转换缓冲器未命中率,并且由于程序自身的设计,分支预测失败率也较高.

关键词：移动通讯设备应用程序体系架构数据存储

来源：评论

学校读者我要写书评

暂无评论

一种基于指令模板的通用处理器约束随机指令生成方法

一种基于指令模板的通用处理器约束随机指令生成方法

引用

第八届全国测试学术会议

作者：刘婧王天成王健李华伟湘潭大学信息工程学院湘潭411105 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院大学北京100049

通用处理器是集成电路中功能最为复杂的设计之一,这对其功能验证提出了巨大的挑战.本文提出了一种基于指令模板的通用处理器约束随机指令生成方法,针对一款ARMv8处理器进行了模拟验证.此指令生成方法基于从指令集中提炼的指令模板,通过... 详细信息

通用处理器是集成电路中功能最为复杂的设计之一,这对其功能验证提出了巨大的挑战.本文提出了一种基于指令模板的通用处理器约束随机指令生成方法,针对一款ARMv8处理器进行了模拟验证.此指令生成方法基于从指令集中提炼的指令模板,通过约束的调整即可支持各种功能场景的验证.基于结果自动比对的验证环境,对处理器进行了充分的验证,发现了58处设计错误,为处理器进入后续的FPGA硬件仿真奠定了良好的基础.

关键词：集成电路通用处理器指令模板生成机制

来源：评论

学校读者我要写书评

暂无评论

基于精化的可信执行环境内存隔离机制验证

引用

软件学报 2022年第6期33卷 2189-2207页

作者：靳翠珍张倩颖马雨薇李希萌王国辉施智平关永首都师范大学信息工程学院北京100048 高可靠嵌入式系统北京市工程研究中心(首都师范大学) 北京100048 计算机体系结构国家重点实验室(中国科学院计算技术研究所) 北京100190 电子系统可靠性技术北京市重点实验室(首都师范大学) 北京100048 电子系统可靠性与数理交叉学科国家国际科技合作示范型基地(首都师范大学) 北京100048

可信执行环境(trusted execution environment,TEE)基于硬件隔离机制,为安全敏感应用提供隔离的执行环境,保护敏感数据的安全性.内存隔离机制是TEE的关键机制之一,用于对安全内存和非安全内存进行隔离,并对安全内存实施访问控制,如果其... 详细信息

可信执行环境(trusted execution environment,TEE)基于硬件隔离机制,为安全敏感应用提供隔离的执行环境,保护敏感数据的安全性.内存隔离机制是TEE的关键机制之一,用于对安全内存和非安全内存进行隔离,并对安全内存实施访问控制,如果其安全性不能保证,可能造成存储在安全内存中的敏感数据泄露.为验证TEE内存隔离机制的安全性,针对基于ARM TrustZone技术构建的TEE,提出一种基于精化的可信执行环境内存隔离机制安全性验证方法.建立抽象模型和具体模型,并定义两种模型之间的精化关系,在证明精化关系成立和抽象模型满足信息流安全性的前提下,验证具体模型的信息流安全性.具体模型建模了TEE内存隔离机制的关键硬件和软件,包括TrustZone地址空间控制器、MMU和TrustZone monitor等,在定理证明器Isabelle/HOL中,验证了该模型满足无干扰、无泄露、无影响等信息流安全属性.

关键词： TEE 内存隔离机制形式化验证精化关系信息流安全性

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：