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

高性能计算技术 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年第2期36卷 286-296页

作者：王鹏张磊任超郭又铭成都信息工程学院并行计算实验室成都610225 中国科学院成都计算机应用研究所成都610041 中国科学院研究生院北京100049

针对云计算系统具有海量节点和节点间高耦合性的特点,提出了将云计算系统投影到参数相空间,将节点参数的变化转化为参数相空间中点的运动,利用海量节点在参数相空间的运动与热力学运动的相似性定义来分析云计算系统在相空间上的广义热... 详细信息

针对云计算系统具有海量节点和节点间高耦合性的特点,提出了将云计算系统投影到参数相空间,将节点参数的变化转化为参数相空间中点的运动,利用海量节点在参数相空间的运动与热力学运动的相似性定义来分析云计算系统在相空间上的广义热力学参数,并在参数相空间的基础上进一步定义云计算系统的动量相空间,建立云计算相空间分析方法的基本理论模型.依据该模型建立了相空间调度算法,通过仿真对比实验验证了相空间分析模型对云计算系统工作状态的分析表述能力和相空间调度算法的有效性.相空间调度算法能使云计算系统在参数相空间中保持低熵的均衡状态.

关键词：云计算参数相空间动量相空间相空间调度算法广义热力学参数

来源：评论

学校读者我要写书评

暂无评论

缩减轮数PRESENT算法的Biclique分析

引用

计算机学报 2013年第6期36卷 1139-1148页

作者：龚征刘树生温雅敏唐韶华华南师范大学计算机学院广州510631 中国科学院信息工程研究所信息安全国家重点实验室北京100093 广东商学院数学与计算科学学院广州510320 华南理工大学计算机科学与工程学院广州510641

轻量级分组密码算法PRESENT由于其出色的硬件实现性能和简洁的轮函数设计,一经提出便引起了工业界与学术界的广泛关注.文中作者基于Biclique分析方法,首次提出针对21轮PRESENT-80算法的Biclique密钥恢复攻击方法.该攻击方法需要278.9的... 详细信息

轻量级分组密码算法PRESENT由于其出色的硬件实现性能和简洁的轮函数设计,一经提出便引起了工业界与学术界的广泛关注.文中作者基于Biclique分析方法,首次提出针对21轮PRESENT-80算法的Biclique密钥恢复攻击方法.该攻击方法需要278.9的计算复杂度和264的数据复杂度.此外,针对PRESENT-80的Biclique攻击也可推广到相同轮数的PRESENT-128和DM-PRESENT压缩函数的安全性分析.与其它已公开密码学安全性分析结果相比,作者提出的Biclique攻击在内存复杂度上具有一定的优势.

关键词：物联网轻量级分组密码 PRESENT Biclique分析

来源：评论

学校读者我要写书评

暂无评论

一种计算机网络对抗战术情报的生成模型

引用

系统仿真学报 2013年第3期25卷 509-513页

作者：姚珊李肖坚焦健魏晴夏春和北京航空航天大学网络技术北京市重点实验室北京100191 广西师范大学计算机科学与信息工程学院桂林541004 北京信息科技大学计算机学院北京100192

情报提供及时、完整、准确的对抗态势,使得作战的指挥决策者能顺利完成决策任务。情报生成是保证情报质量的关键,现有计算机网络对抗缺少独立的情报生成系统。基于着色Petri网,为计算机网络对抗的战术情报提出一种生成模型。明确计算机... 详细信息

情报提供及时、完整、准确的对抗态势,使得作战的指挥决策者能顺利完成决策任务。情报生成是保证情报质量的关键,现有计算机网络对抗缺少独立的情报生成系统。基于着色Petri网,为计算机网络对抗的战术情报提出一种生成模型。明确计算机网络对抗的作用对象及情报外延,形式地定义情报生成活动及过程,在此基础上建立战术情报生成的CPN模型。该模型通过CPN Tool 2.2进行仿真和分析,验证了该模型提供的情报生成过程的计算可行性和有效性,为相应的软件系统设计提供依据。

关键词：计算机网络对抗战术情报情报生成模型 CPN模型

来源：评论

学校读者我要写书评

暂无评论

逻辑之间的语义忠实语义满翻译

引用

软件学报 2013年第7期24卷 1626-1637页

作者：申宇铭马越曹存根眭跃飞王驹中国科学院计算技术研究所智能信息处理重点实验室北京100190 中国科学院研究生院北京100049 广西师范大学计算机科学与信息工程学院广西桂林541004

翻译在计算机科学中的一个重要应用是实现一个逻辑与另一个逻辑在表达能力上的比较,以及利用目标逻辑的推理机实现源逻辑的推理.现有逻辑之间的翻译理论和性质没有深入研究逻辑的语义翻译,以及翻译是否保持不可满足性等问题.该文研究了... 详细信息

翻译在计算机科学中的一个重要应用是实现一个逻辑与另一个逻辑在表达能力上的比较,以及利用目标逻辑的推理机实现源逻辑的推理.现有逻辑之间的翻译理论和性质没有深入研究逻辑的语义翻译,以及翻译是否保持不可满足性等问题.该文研究了一类同时保持公式的可满足性和不可满足性的翻译——语义忠实语义满翻译,给出了语义忠实语义满翻译的定义,比较了语义忠实语义满翻译与已有文献中翻译定义的区别和联系,讨论了逻辑的可靠性、完备性、可判定性、紧致性、公式的逻辑等价性,以及模型的初等等价性在语义忠实语义满翻译下被保持的问题.运用语义忠实语义满翻译的定义给出了逻辑之间的同义性定义,并证明了同义关系是逻辑之间的一个等价关系.

关键词：翻译语义忠实语义满翻译逻辑同义性

来源：评论

学校读者我要写书评

暂无评论

基于问题模式的形式化软件规格说明生成方法

引用

计算机研究与发展 2013年第2期50卷 352-360页

作者：王昌晶罗海梅左正康江西师范大学计算机信息工程学院南昌330022 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学北京100190 江西师范大学物理与通信电子学院南昌330022

精确的形式化软件规格说明是软件描述、开发与验证的基础,而工业界普遍使用非(半)形式化的表示定义与描述用户需求,如何由非(半)形式化的用户需求生成形式化软件规格说明是需求工程的难点之一.将设计模式的概念进行扩展,定义了问题模式... 详细信息

精确的形式化软件规格说明是软件描述、开发与验证的基础,而工业界普遍使用非(半)形式化的表示定义与描述用户需求,如何由非(半)形式化的用户需求生成形式化软件规格说明是需求工程的难点之一.将设计模式的概念进行扩展,定义了问题模式,提出了一种基于问题模式形式化软件规格说明生成方法.该方法从结构化自然语言SNL描述的高层问题需求出发,通过选择知识库中的问题模式逐步精化得到各个新的子问题对应的形式化规格说明,之后对各个子问题组合并进行优化以得到最终的形式化规格说明.进一步,使用模型精化演算的原理与概念给出了该生成方法的理论基础.采用算法程序领域作为研究对象并使用Radl语言作为形式化规格说明语言.通过算法程序领域中的典型实例对这一方法进行了详细的描述,实际效果表明该方法能有效地生成高质量形式化规格说明.

关键词：形式化软件规格说明生成方法问题模式模型精化演算算法程序

来源：评论

学校读者我要写书评

暂无评论

低功耗混合分辨率视频编码

引用

系统仿真学报 2013年第9期25卷 2039-2043页

作者：姚春莲阮秋琦姜东万丽莉北京工商大学计算机与信息工程学院北京100037 北京交通大学现代信息科学与网络技术北京市重点实验室北京100044

视频数据在时域和空域上都存在极强相关性,为此,对标准编码过程进行改进,将I帧空域分解为四个子帧,把P帧的预测方法引入I帧,充分利用空域相关性进行编码,克服标准方法只利用局部相关性的问题;同时,改进标准P帧编码只利用时域相关性压缩... 详细信息

视频数据在时域和空域上都存在极强相关性,为此,对标准编码过程进行改进,将I帧空域分解为四个子帧,把P帧的预测方法引入I帧,充分利用空域相关性进行编码,克服标准方法只利用局部相关性的问题;同时,改进标准P帧编码只利用时域相关性压缩而忽略了空域相关性的缺点,将P帧做下采样形成分辨率为原图1/4的R帧,同时利用时域和空域相关性进行运动估计,完成预测编码。方法在降低编码复杂度的同时保证了恢复图像质量,测试结果表明,本方法对于运动不剧烈的视频,R-D性能曲线优于标准的方法,适用于低功耗的需求。

关键词：视频压缩低功耗空域相关性时域相关性

来源：评论

学校读者我要写书评

暂无评论

一种用于硬Java实时平台的非堆内存模型

引用

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

作者：胡光柴志雷涂时亮陈章龙复旦大学计算机科学技术学院嵌入式系统实验室上海200433 上海外国语大学计算机教研室上海200086 江南大学信息工程学院江苏无锡214122

针对Java实时规范中的非堆内存抽象,讨论实现中的不确定因素以及运行时不可预测的时间特性,提出并实现了一种用于硬Java实时平台的非堆内存模型.模型基于硬Java实时平台预处理机制的支持,采用一种基于静态约束的安全访问检查算法,将运... 详细信息

针对Java实时规范中的非堆内存抽象,讨论实现中的不确定因素以及运行时不可预测的时间特性,提出并实现了一种用于硬Java实时平台的非堆内存模型.模型基于硬Java实时平台预处理机制的支持,采用一种基于静态约束的安全访问检查算法,将运行时单亲规则及赋值规则检查等影响系统实时性的操作在运行前完成,保证了运行时的可预测.同时,针对当前关于静态分析方法研究中多不支持作用域多线程共享的现状,模型在不改变实时Java句法及编程模式的前提下,保留了对作用域多线程共享的支持.

关键词：实时Java Java处理器内存管理单亲规则赋值规则

来源：评论

学校读者我要写书评

暂无评论

多尺度量子谐振子高维函数全局优化算法

引用

电子学报 2013年第12期41卷 2468-2473页

作者：王鹏黄焱任超郭又铭成都信息工程学院并行计算实验室四川成都610225 中国科学院成都计算机应用研究所四川成都610041 中国科学院大学北京100049

函数优化问题与量子谐振子从高能态向基态收敛过程具有相似的概率解释,结合基于高斯尺度函数的多尺度二进信息采样方法,提出了高维函数优化问题的多尺度量子谐振子算法模型,该算法模型将高维函数优化过程分为尺度收敛和量子谐振子收敛... 详细信息

函数优化问题与量子谐振子从高能态向基态收敛过程具有相似的概率解释,结合基于高斯尺度函数的多尺度二进信息采样方法,提出了高维函数优化问题的多尺度量子谐振子算法模型,该算法模型将高维函数优化过程分为尺度收敛和量子谐振子收敛两个步骤,物理模型明确,无需编码和复杂的初始条件设定,即可实现高维函数优化.通过对15种典型二维优化测试函数和6种典型的高维优化测试函数进行实验和分析表明,多尺度量子谐振子算法可以快速精确地获得高维函数的全局最优解,同时采用"降频"方法可以提高对具有"高频"成分函数的搜索速度.

关键词：多尺度量子谐振子算法波函数函数优化全局优化

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：