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

软件学报 2000年第2期11卷 213-221页

作者：白硕隋立颖陈庆锋付岩庄超国家智能计算机研究开发中心北京100080

该文提出一种论证安全协议之安全性质的非单调动态逻辑 .针对信息安全的特定需要 ,给出了一组与加密、解密、签名、认证和密钥分配等密码学操作有关的公理和推理规则 ,举例说明了这一逻辑框架在验证安全协议方面的应用 ,并讨论了需要进... 详细信息

该文提出一种论证安全协议之安全性质的非单调动态逻辑 .针对信息安全的特定需要 ,给出了一组与加密、解密、签名、认证和密钥分配等密码学操作有关的公理和推理规则 ,举例说明了这一逻辑框架在验证安全协议方面的应用 ,并讨论了需要进一步解决的问题 .

关键词：信息安全协议验证 Internet网密码学

来源：评论

学校读者我要写书评

暂无评论

压控振荡器和计数器组成A／D转换的设计与实现

引用

计算机工程与设计 1996年第1期17卷 27-32页

作者：刘金刚钱跃良李国杰国家智能计算机研究开发中心

首先介绍Ａ／Ｄ转换芯片的原理，然后阐述压控振荡器（Ｖ－ｆ）和计数民组成模数（Ａ／Ｄ）转换的原理。利用该原理实现了１０位高速Ａ／Ｄ转换的功能，并设计出实用的Ａ／Ｄ转换电路。最后测试了利周该方法实现Ａ／Ｄ转换的性能，给出... 详细信息

首先介绍Ａ／Ｄ转换芯片的原理，然后阐述压控振荡器（Ｖ－ｆ）和计数民组成模数（Ａ／Ｄ）转换的原理。利用该原理实现了１０位高速Ａ／Ｄ转换的功能，并设计出实用的Ａ／Ｄ转换电路。最后测试了利周该方法实现Ａ／Ｄ转换的性能，给出其检测结果。同时说明利用此原理实现不同位数和转换速度的Ａ／Ｄ转换器的方法。

关键词：模-数转换器压控振荡器计数器设计

来源：评论

学校读者我要写书评

暂无评论

基于高速通信协议的COSMOS机群文件系统性能研究

引用

计算机研究与发展 2002年第2期39卷 129-135页

作者：贺劲徐志伟孟丹马捷冯军中国科学院计算技术研究所国家智能计算机研究开发中心北京100080

作为曙光3000超级服务器的重要组成部分,COSMOS机群文件系统对机群文件系统协议、结构及性能优化等问题进行全面深入的探讨.首先描述了基于曙光3000机群高速通信协议BCL-3的COSMOS文件系统的实现,然后引入并发带宽利用率,描述了通信与I/... 详细信息

作为曙光3000超级服务器的重要组成部分,COSMOS机群文件系统对机群文件系统协议、结构及性能优化等问题进行全面深入的探讨.首先描述了基于曙光3000机群高速通信协议BCL-3的COSMOS文件系统的实现,然后引入并发带宽利用率,描述了通信与I/O对机群文件系统性能影响程度;最后介绍了有关性能实验并对实验结果作出解释.

关键词：机群文件系统高速通信协议异步I/O

来源：评论

学校读者我要写书评

暂无评论

Web集群服务器的分离式调度策略

引用

计算机研究与发展 2002年第9期39卷 1093-1098页

作者：雷迎春张松李国杰中国科学院计算技术研究所国家智能计算机研究开发中心北京100080

主要用排队论方法讨论了 Web集群整体性能与请求调度策略之间的关系 .所获得的结论是 :在 Web集群非过载情况下 ,一部分后端服务器仅处理静态请求而另一部分后端服务器仅处理动态请求的分离式调度策略要好于所有后端服务器既处理静态请... 详细信息

主要用排队论方法讨论了 Web集群整体性能与请求调度策略之间的关系 .所获得的结论是 :在 Web集群非过载情况下 ,一部分后端服务器仅处理静态请求而另一部分后端服务器仅处理动态请求的分离式调度策略要好于所有后端服务器既处理静态请求又处理动态请求的混合式调度策略 .用 SPECweb99测试工具所做的实际测试更进一步证明 :当负载参数为 12 0个连接时 ,采用分离式调度策略的 Web集群服务器可完成 6 3个连接 ,而采用混合式调度策略的 Web集群服务器仅能完成 36个连接 ,性能提高了 2 2 .5 % .

关键词： Web集群服务器分离式调度策略 Internet 计算机网络混合式调度策略伸展因子

来源：评论

学校读者我要写书评

暂无评论

高性能计算机曙光4000A的网格使能特征

引用

计算机研究与发展 2004年第12期41卷 2079-2087页

作者：孟丹孙凝晖徐志伟中国科学院计算技术研究所国家智能计算机研究开发中心北京100080

网格计算的理想是实现基于Internet的资源共享和协同工作 ,是Internet继WWW后的又一个发展浪潮高性能计算机 (超级服务器 )是网格中主要的共享资源提供者 ,而网格也必将成为高性能计算机的主要应用环境因此网格成为推动高性能计算机... 详细信息

网格计算的理想是实现基于Internet的资源共享和协同工作 ,是Internet继WWW后的又一个发展浪潮高性能计算机 (超级服务器 )是网格中主要的共享资源提供者 ,而网格也必将成为高性能计算机的主要应用环境因此网格成为推动高性能计算机发展的一个重要因素 ,高性能计算机研制中必须考虑网格的需求 ,并提供必要的支持曙光 4 0 0 0A是由中国科学院计算技术研究所最新研制的面向网格的高性能计算机 ,该系统的研制得到国家“八六三”高技术研究发展计划的支持 ,并作为中国国家网格的主节点部署在上海超级计算中心详细论述了曙光 4 0 0 0A系统中主要的网格使能特征 ,这些特征从体系结构、系统硬件和软件方面对网格提供了支持。

关键词：高性能计算机网格网格使能技术大规模机群计算网格路由器

来源：评论

学校读者我要写书评

暂无评论

量化测试高性能L5-Dispatcher

引用

计算机研究与发展 2003年第8期40卷 1153-1161页

作者：雷迎春张松李国杰中国科学院计算技术研究所国家智能计算机研究开发中心北京100080

主要内容是关于HTTPSplicing的性能评测 HTTPSplicing是针对TCPSplicing的缺陷而提出的 ,TCPSplicing现被广泛应用在L5 Dispatcher(即基于内容的Web交换机 )中测试内容包括开销测试、性能测试、与L4 Dispatcher的对比测试、与TCPSpli... 详细信息

主要内容是关于HTTPSplicing的性能评测 HTTPSplicing是针对TCPSplicing的缺陷而提出的 ,TCPSplicing现被广泛应用在L5 Dispatcher(即基于内容的Web交换机 )中测试内容包括开销测试、性能测试、与L4 Dispatcher的对比测试、与TCPSplicing的对比测试和扩展性测试所获得的结论为 :当尽力 (besteffort)访问 1KB大小的文件时 ,HTTPSplicing的性能要比TCPSplicing至少快 3 5倍 ,而当尽力访问 10KB大小的文件时 ,HTTPSplicing的性能比TCPSplic ing的性能高 2 2 % 当尽力访问 30 7KB大小的文件时 ,HTTPSplicing的一种实现———WebPatcher———的最好性能值为5 5 5 6 8replies/s ,超过了ArrowPoint公司的CS 10 0 (1193replies/s)和Alteon公司的ACEdirector 3(v6 0 2 5 ) (135 6replies/s).

关键词： dispatcher TCP Splicing HTTP Splicing 评测工具

来源：评论

学校读者我要写书评

暂无评论

高生产率计算系统

引用

计算机研究与发展 2005年第4期42卷 563-569页

作者：孟丹张志宏陈明宇中国科学院计算技术研究所国家智能计算机研究开发中心北京100080

以往的高端计算领域将峰值运算速度作为衡量计算系统的最重要的指标.然而体系结构的失衡和落后的编程支持成为困扰高性能计算技术发展的关键问题.未来高端计算的发展方向应该着眼于提高系统的生产率,强调系统的易用性和好用性.介绍了HPC... 详细信息

以往的高端计算领域将峰值运算速度作为衡量计算系统的最重要的指标.然而体系结构的失衡和落后的编程支持成为困扰高性能计算技术发展的关键问题.未来高端计算的发展方向应该着眼于提高系统的生产率,强调系统的易用性和好用性.介绍了HPCS的背景、目标、主要技术挑战以及主要的解决方案和关键技术.

关键词：高生产率计算系统体系结构编程模型可移植性稳定可靠性

来源：评论

学校读者我要写书评

暂无评论

Dagger:一种散耦合的网格计算机体系结构

引用

计算机研究与发展 2003年第12期40卷 1731-1736页

作者：孙凝晖樊建平中国科学院计算技术研究所国家智能计算机研究开发中心北京100080

计算机系统面临着网格计算对其提出的资源共享、协同计算和应用服务的挑战 ,现有的计算机系统的体系结构不能够很好地适应这种需求提出一种基于散耦合思想的网格计算机系统的体系结构 ,称之为DAGGER(De coupledAr chitecturewithGrid k... 详细信息

计算机系统面临着网格计算对其提出的资源共享、协同计算和应用服务的挑战 ,现有的计算机系统的体系结构不能够很好地适应这种需求提出一种基于散耦合思想的网格计算机系统的体系结构 ,称之为DAGGER(De coupledAr chitecturewithGrid keyandGridEnablingResource) ,采用 8个基本概念构成网格计算机。

关键词：网格计算机体系结构

来源：评论

学校读者我要写书评

暂无评论

几何因果定性推理的基本原理和算法

引用

软件学报 1997年第4期8卷 308-315页

作者：葛建新杨莉浙江大学CAD&CG国家重点实验室国家智能计算机研究开发中心

因果定性推理是一种通过分析描述物理系统行为和关系的约束找出系统内部各个成分之间的因果结构的推理方法．本文提出一种基于约束和变量分析的因果定性分析模型和算法．该方法在产品设计中有广泛的应用，利用这个模型和算法可较好地解... 详细信息

因果定性推理是一种通过分析描述物理系统行为和关系的约束找出系统内部各个成分之间的因果结构的推理方法．本文提出一种基于约束和变量分析的因果定性分析模型和算法．该方法在产品设计中有广泛的应用，利用这个模型和算法可较好地解决参数化设计中的几何推理问题，还可用作概念设计的工具，用于完成复杂系统设计任务的划分及定序、设计变量之间相互依赖关系分析等工作．算法具有应用性强、效率和稳定性好。

关键词：定性推理因果推理几何推理产品设计 CAD

来源：评论

学校读者我要写书评

暂无评论

双粒度协议下基于hint的启发式缓存替换算法

引用

软件学报 1999年第8期10卷 800-805页

作者：王建勇祝明发徐志伟北京大学计算机科学与技术系国家智能计算机研究与开发中心

合作式缓存技术是提高机群文件系统性能的关键技术之一，s2fs（scablablesingle-imagefilesystem）是一个单一映像机群文件系统原型，它利用双粒度协议实现了符合严格UNIX语义的合作式缓存．该文为s2fs设计了基于hint的启发式缓存替换... 详细信息

合作式缓存技术是提高机群文件系统性能的关键技术之一，s2fs（scablablesingle-imagefilesystem）是一个单一映像机群文件系统原型，它利用双粒度协议实现了符合严格UNIX语义的合作式缓存．该文为s2fs设计了基于hint的启发式缓存替换算法，并为其建立了性能分析模型．分析结果表明，同现有的合作式缓存替换算法N－chance相比，启发式算法几乎在所有情况下都有效地降低了I／O的响应时间．

关键词：缓存替换算法双粒度协议文件系统操作系统

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：