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

除环上无限方阵的分解

引用

Journal of Mathematical Research and Exposition 2004年第3期24卷 513-519页

作者：朱昌杰陈国龙淮北煤炭师范学院数学系安徽淮北235000 中国科学院软件研究所计算机科学实验室北京100080

对除环上无限方阵的逆方阵作了简单讨论,证明了除环上无限方阵的分解定理.

关键词：除环逆方阵无限方阵的分解

来源：评论

学校读者我要写书评

暂无评论

OSCAR集群技术

引用

计算机工程与设计 2004年第11期25卷 1872-1875页

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

集群系统是目前最广泛被采用的高性能计算机系统解决方案。安装一个高性能计算集群需要多个节点协同安装和配置,这对于多达几百台计算机节点的集群系统常常是很麻烦的过程。目前最受欢迎的集群系统安装软件包"OS-CAR(Open Source C... 详细信息

集群系统是目前最广泛被采用的高性能计算机系统解决方案。安装一个高性能计算集群需要多个节点协同安装和配置,这对于多达几百台计算机节点的集群系统常常是很麻烦的过程。目前最受欢迎的集群系统安装软件包"OS-CAR(Open Source Cluster Application Resource)"很好地解决了这个问题。详细介绍了OSCAR的各个功能部件的工作方式和使用方法,并概括了OSCAR集群的安装流程。

关键词：集群系统安装软件高性能计算机系统集群技术高性能计算集群解决方案节点协同流程工作方式

来源：评论

学校读者我要写书评

暂无评论

图的划分及其在非结构网格油藏数值模拟中的应用

图的划分及其在非结构网格油藏数值模拟中的应用

引用

第8届全国并行计算大会

作者：陈玉荣中国科学院软件研究所并行计算实验室北京 100080

图的划分已经成为应用于不规则结构计算的一种标准方法。本文采用Chaco提供的几种图的划分算法，对非结构网格油藏模拟科研算例进行了划分,提出实现非结构网格油藏数据的有效分割必须根据油藏几何地质特征并结合图的划分算法进行。另外... 详细信息

图的划分已经成为应用于不规则结构计算的一种标准方法。本文采用Chaco提供的几种图的划分算法，对非结构网格油藏模拟科研算例进行了划分,提出实现非结构网格油藏数据的有效分割必须根据油藏几何地质特征并结合图的划分算法进行。另外，文章还针对基于非结构网格数值离散得到的线性方程组，提出的配合“GraphPartitioning+Block Reordering”的对角块不完全分解预处理Krylov子空间方法是一种较为有效的并行计算方法。

关键词：油藏数值数值模拟并行计算计算机仿真

来源：评论

学校读者我要写书评

暂无评论

万亿次机群系统NPB性能和可扩展性研究

万亿次机群系统NPB性能和可扩展性研究

引用

第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 随机接入过程形式化建模移动通信无线传输技术

来源：评论

学校读者我要写书评

暂无评论

现场总线中一种基于时间的信息认证方案

引用

仪器仪表标准化与计量 2004年第4期 17-19,21页

作者：杨玉柱王连强韩小西北京宽网社区数字化建设有限公司北京市100037 南开大学信息技术科学学院天津市300071 中科院软件所计算机科学实验室北京市100080

信息认证是指对网络中传输信息可靠性及完整性的确认,它在各类网络环境下的控制系统、电子商务、电子政务等多个领域有着重要而广泛的应用。目前采用的主要技术手段是采用询问- 应答机制,通过消息认证码实现。本文介绍了几种现有的信息... 详细信息

信息认证是指对网络中传输信息可靠性及完整性的确认,它在各类网络环境下的控制系统、电子商务、电子政务等多个领域有着重要而广泛的应用。目前采用的主要技术手段是采用询问- 应答机制,通过消息认证码实现。本文介绍了几种现有的信息认证方案,并结合现场总线控制系统中数据信息小、实时性高的特点,提出了一个基于时间的信息认证方案。它使用时间和消息认证码 MAC,实现控制双方的双向认证,在运算量、速度方面都要优于现有的方案。

关键词：现场总线信息认证完整性 MAC 电子政务电子商务控制系统

来源：评论

学校读者我要写书评

暂无评论

面向高性能数值计算的并行计算模型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) 计算模型存储复杂性

来源：评论

学校读者我要写书评

暂无评论

计算模型RAM(h)下的分块矩阵乘:分析与验证

计算模型RAM(h)下的分块矩阵乘:分析与验证

引用

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

作者：张云泉中科院软件所并行计算实验室(北京) 中科院计算机科学重点实验室(北京)

本文提出了一个基于非一致存储访问开销存储层次的新计算模型RAM(h),并给出了在PIII 1GHz,PIV 1.5Ghz两种计算平台上对在该模型下六种形式分块矩阵乘的分析结果进行的实验验证.实验表明:我们的新模型对六种形式分块矩阵乘的分析结果与在... 详细信息

本文提出了一个基于非一致存储访问开销存储层次的新计算模型RAM(h),并给出了在PIII 1GHz,PIV 1.5Ghz两种计算平台上对在该模型下六种形式分块矩阵乘的分析结果进行的实验验证.实验表明:我们的新模型对六种形式分块矩阵乘的分析结果与在2个实验平台上的实验结果几乎完全吻合;通过SimpleScalar 3.0/Alpha模拟器的模拟我们还发现,数据TLB不命中率和L1数据高速缓存不命中率几乎一样,在很多情况下甚至更严重并且会影响模型分析的精度,这说明在模型中加入对数据TLB存储访问行为的分析是很必要的,但必须考虑到这样做带来的模型分析复杂性的增加.对有指令级并行时计算模型下分析方法的研究和实验验证是我们将来的工作.

关键词：存储复杂性分块矩阵乘计算模型软件开发

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：