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

第8届全国并行计算大会

作者：袁伟张云泉唐渊李玉成中国科学院软件所并行计算实验室北京 100080 中国科学院计算机科学重点实验室北京 100080 中国科学院研究生院北京100039 中国科学院软件所并行计算实验室北京 100080 中国科学院计算机科学重点实验室北京 100080 中国科学院软件所并行计算实验室北京 100080 中国科学院计算机科学重点实验室北京 100080 中国科学院研究生院北京100039 中国科学院软件所并行计算实验室北京 100080

本文对万亿次机群系统NPB性能和可扩展性进行了研究。高性能机群的性能评测和并行程序的性能是我们研究的重点。理论峰值以及Linpack测试性能都不能代表高性能计算机的实际性能,大规模并行处理时机器效率和应用程序性能较低,采用商品化... 详细信息

本文对万亿次机群系统NPB性能和可扩展性进行了研究。高性能机群的性能评测和并行程序的性能是我们研究的重点。理论峰值以及Linpack测试性能都不能代表高性能计算机的实际性能,大规模并行处理时机器效率和应用程序性能较低,采用商品化部件构造的高性能机群系统(Cluster)虽然有较高的性价比，但它的性能也受到置疑。我们采用NAS Parallel Benchmarks(NPB)在两个万亿次机群和一个千亿次机群上进行测试，研究影响机群系统性能的关键因素及NPB测试程序在大规模并行处理时的性能，并结合各个程序的性质做了扩展性分析。

关键词：高性能计算并行计算机计算机扩展

来源：评论

学校读者我要写书评

暂无评论

有限自动机单钥密码的一种IC卡实现及对合的选择

有限自动机单钥密码的一种IC卡实现及对合的选择

引用

第八届中国密码学学术会议

作者：陶仁骥李登峰中国科学院软件研究所计算机科学实验室中国北京100080

本文首次公布上世纪八十年代设计和实现的一种有限自动机单钥密码。接着讨论这一密码在IC卡上的实现，以及对所用对合φ的限制。文中并给出了产生次数最高的256符号的对合的几个算法。

关键词：有限自动机单钥密码对合 IC卡

来源：评论

学校读者我要写书评

暂无评论

消除结构冗余的XML数据库模式规范化设计

消除结构冗余的XML数据库模式规范化设计

引用

第二十一届中国数据库学术会议

作者：吴永辉复旦大学计算机科学与工程系中国科学院软件研究所计算机科学实验室

XML数据库模式规范化设计是给出一个能很好地表示数据间依赖关系并消除了冗余的XML模式或DTD的集合.目前这一领域的研究并没有对XML数据库模式中的数据依赖和冗余进行专门的分析.引入标识符分别表示XML模式中的元素和属性,分析XML数据... 详细信息

XML数据库模式规范化设计是给出一个能很好地表示数据间依赖关系并消除了冗余的XML模式或DTD的集合.目前这一领域的研究并没有对XML数据库模式中的数据依赖和冗余进行专门的分析.引入标识符分别表示XML模式中的元素和属性,分析XML数据库模式的结构冗余:局部冗余、传递冗余和不规则;并在此基础上,定义XML数据库模式第3范式(3NF),给出并验证其规范化设计算法.

关键词： XML数据库模式元素属性标识符局部冗余传递冗余不规则第3范式(3NF)

来源：评论

学校读者我要写书评

暂无评论

基于UPPAAL的TD-SCDMA随机接入过程的形式化建模与分析

基于UPPAAL的TD-SCDMA随机接入过程的形式化建模与分析

引用

2004年全国理论计算机科学学术年会

作者：施小纯张海旸中国科学院软件研究所计算机科学实验室中国科学院研究生院北京100080 北京邮电大学计算机科学系北京100876

对于第三代移动通信系统,目前国际上主要有三种不同的技术标准:CDMA2000,WCDMA,TD-SCDMA.其中TD-SCDMA无线传输技术是由我国提出的第三代移动通信标准.尽管TD-SCDMA的无线传输方案使得通信网络空中接口的整体能力得到了提升,当多个移动... 详细信息

对于第三代移动通信系统,目前国际上主要有三种不同的技术标准:CDMA2000,WCDMA,TD-SCDMA.其中TD-SCDMA无线传输技术是由我国提出的第三代移动通信标准.尽管TD-SCDMA的无线传输方案使得通信网络空中接口的整体能力得到了提升,当多个移动终端同时请求接入基站时,如何提高接入效率仍然是一个关键性技术.TD-SCD-MA的随机接入过程是由数据链路层支持的移动终端接入规则.通过随机延迟,该过程降低了接入碰撞的概率,进而提高接入效率.通过对TD－SCDMA协议的随机接入过程的形式化描述，本文给出了其基于时间自动机的系统模型。利用实时模型检测工具UPPAAL的系统验证和仿真，我们讨论和分析了影响整个系统接入性能的三个因素：移动终端的个数，最大随机延迟重试次数和随机延迟的时间设定。

关键词： UPPAAL TD-SCDMA 随机接入过程形式化建模移动通信无线传输技术

来源：评论

学校读者我要写书评

暂无评论

面向高性能数值计算的并行计算模型DRAM(h)

引用

计算机学报 2003年第12期26卷 1660-1670页

作者：张云泉中国科学院软件研究所并行计算实验室

提出了一个基于存储层次的新并行计算模型DRAM (h) ,并在该模型下对两个经典并行数值计算算法的不同实现形式 :四种形式并行下三角方程求解 (PTRS)和六种形式无列选主元并行LU分解 (PLU) ,进行了分析 .模型分析表明 ,具有近乎相同时间... 详细信息

提出了一个基于存储层次的新并行计算模型DRAM (h) ,并在该模型下对两个经典并行数值计算算法的不同实现形式 :四种形式并行下三角方程求解 (PTRS)和六种形式无列选主元并行LU分解 (PLU) ,进行了分析 .模型分析表明 ,具有近乎相同时间和空间复杂性的同一算法不同实现形式 ,在该模型下会有完全不同的存储复杂度 .作者在日立公司SR2 2 0 1MPP并行机、曙光 3 0 0 0超级服务器和中国科学院科学与工程计算国家重点实验室(LSEC)的 12 8节点LinuxCluster等三种并行计算平台上对模型分析结果进行了实验验证 .结果表明 ,该模型分析在绝大多数情况下都能较好地与不同实验平台上的实验结果吻合 .个别出现偏差的分析结果 ,在根据计算平台的存储层次特点修改模型分析的假定后 ,也能够进行解释 .这说明了该模型对不同形式的算法实现进行存储访问模式区分的有效性 .对在计算模型中加入指令 /线程级并行的可行性和方法的研究是下一步的工作 .

关键词：存储器并行计算模型高性能数值计算 DRAM(h) 计算模型存储复杂性

来源：评论

学校读者我要写书评

暂无评论

硬件因素对LogP模型参数影响的研究

硬件因素对LogP模型参数影响的研究

引用

国际并行算法与计算环境专题讨论会

作者：唐渊张云泉李玉成中国科学院软件研究所并行中心(北京) 中科院计算机科学重点实验室(北京) 中国科学院软件研究所并行中心(北京)

有关并行计算的通讯模型已经有很多了,其中比较著名的,并且又适合于机群系统(PC-Cluster)这种目前比较流行的并行计算环境的主要有:LogP,LogGP.在[参考文献4]所做的工作中详细地比较并分析了LogP模型各个参数对实际应用程序的影响.但是... 详细信息

有关并行计算的通讯模型已经有很多了,其中比较著名的,并且又适合于机群系统(PC-Cluster)这种目前比较流行的并行计算环境的主要有:LogP,LogGP.在[参考文献4]所做的工作中详细地比较并分析了LogP模型各个参数对实际应用程序的影响.但是,大多数的实验者与研究者限于条件,往往只是对一个给定的系统环境做各种各样的测试,无法考虑不同的硬件组合对LogP模型或者LogGP模型的参数产生的影响.而本文在对许多由不同硬件配置的系统的测试过程中,初步比较并分析了这些不同的硬件因素对LogP,LogGP通讯模型各个参数所造成的影响.希望能够对配置机群系统时需要考虑的硬件因素提供有用的参考.软件因素的影响分析是我们将来的工作.

关键词：机群系统并行计算通讯模型计算机硬件

来源：评论

学校读者我要写书评

暂无评论

硬件因素对LogP 模型参数影响的研究

硬件因素对LogP 模型参数影响的研究

引用

第七届全国并行计算学术交流会

作者：唐渊张云泉李玉成中国科学院软件研究所并行中心北京100080 中科院计算机科学重点实验室北京 100080 中国科学院软件研究所并行中心北京100080

本文在对许多由不同硬件配置的系统的测试过程中,初步比较并分析了这些不同的硬件因素对LogP,LogGP通讯模型各个参数所造成的影响.希望能够对配置机群系统时需要考虑的硬件因素提供有用的参考.软件因素的影响分析是我们将来的工作.

关键词：机群系统硬件因素通讯性能 MPI LogP模型并行计算

来源：评论

学校读者我要写书评

暂无评论

面向传值进程的谓词μ-演算与FO(HML)的完备推演系统

引用

计算机学报 2002年第6期25卷 561-569页

作者：薛锐林惠民中国科学院软件研究所计算机科学实验室北京100083

作者提出一个谓词μ-演算系统 ,目的在于描述传值进程的性质 .该系统的公式和谓词相互递归定义 ,谓词中含有抽象式、谓词变元以及最大和最小不动点 .其语义模型是带赋值的符号迁移图所诱导的迁移系统 .并且该系统包含 Hennessy- Milner... 详细信息

作者提出一个谓词μ-演算系统 ,目的在于描述传值进程的性质 .该系统的公式和谓词相互递归定义 ,谓词中含有抽象式、谓词变元以及最大和最小不动点 .其语义模型是带赋值的符号迁移图所诱导的迁移系统 .并且该系统包含 Hennessy- Milner逻辑的一阶扩充 FO(HML )作为子系统 .作者用例子说明了本演算系统在表达传值进程性质方面的优越性 .该文后半部分主要给出了 FO(HML )的一个推演系统 ,并运用判定树 (Tableau)的方法。

关键词：传值进程谓词μ-演算 FO 完备推演系统计算机

来源：评论

学校读者我要写书评

暂无评论

延迟1步弱可逆半输入存储有限自动机的结构

延迟1步弱可逆半输入存储有限自动机的结构

引用

第七届中国密码学学术会议

作者：陶仁骥陈世华中国科学院软件研究所计算机科学实验室(北京)

半输入存储有限自动机是在研究误差传播问题时由本文头一位作者提出的一类有限自动机,它作为输入存储有限自动机的推广,增加了一个自治有限自动机作为其组成部分.本文对于自治有限自动机M的状态图构成一个圈的情形,刻划了延迟1步弱可逆... 详细信息

半输入存储有限自动机是在研究误差传播问题时由本文头一位作者提出的一类有限自动机,它作为输入存储有限自动机的推广,增加了一个自治有限自动机作为其组成部分.本文对于自治有限自动机M<,a>的状态图构成一个圈的情形,刻划了延迟1步弱可逆半输入存储有限自动机C(M<,a>,f)的结构,即给出了f的显表达式.基于作者最近在互逆性方面的一个结果,上述刻划也导致延迟1步前馈逆有限自动机的一种刻划.

关键词：有限自动机半输入存储延迟1步可逆性

来源：评论

学校读者我要写书评

暂无评论

硬件因素对LogP模型参数影响的研究

硬件因素对LogP模型参数影响的研究

引用

中国科学院计算技术研究所第七届计算机科学与技术研究生学术讨论会

作者：唐渊张云泉中国科学院软件研究所并行中心北京100080 中科院计算机科学重点实验室北京100080 中国科学院软件研究所并行中心北京100080

关键词：机群系统硬件因素通讯性能 MPI LogP模型

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：