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

2005高性能计算应用大会

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

本文概括介绍了FM-index压缩查询技术,详细阐述了FM-index的工作流程,描述了实现计算字符串在压缩文本中出现次数的算法.对FM-index的源代码在Linux平台上进行了测试,从测试结果分析了使用FM-index进行压缩查询的优点和不足.在最后给出... 详细信息

本文概括介绍了FM-index压缩查询技术,详细阐述了FM-index的工作流程,描述了实现计算字符串在压缩文本中出现次数的算法.对FM-index的源代码在Linux平台上进行了测试,从测试结果分析了使用FM-index进行压缩查询的优点和不足.在最后给出了加快FM-index压缩速度的一个并行化算法的初步设计思路.

关键词： FM-index 压缩查询技术压缩文本字符串查找性能测试

来源：评论

学校读者我要写书评

暂无评论

基于函数指针数组的代码迷惑技术

引用

计算机学报 2004年第12期27卷 1706-1711页

作者：李永祥陈意云中国科学技术大学计算机科学与技术系中国科学院软件研究所计算机科学实验室北京100080

移动代理在网络计算中经常遇到有目的的篡改攻击 ,只要通过代码迷惑技术使得对移动代理的程序分析复杂度增加或精确性降低 ,就能有效地增加这种攻击的难度 ,从而在一定程度上阻止这种攻击 .函数指针分析及控制流分析是程序分析中的难点 ... 详细信息

移动代理在网络计算中经常遇到有目的的篡改攻击 ,只要通过代码迷惑技术使得对移动代理的程序分析复杂度增加或精确性降低 ,就能有效地增加这种攻击的难度 ,从而在一定程度上阻止这种攻击 .函数指针分析及控制流分析是程序分析中的难点 ,也是引起分析的精确度降低的原因 .文章首先给出一种增添函数指针数组的程序变换方法 ,使得函数之间的调用关系函数变得难以分析 ;同时提出一种控制流变换方法来增加程序分析中的数据流及控制流分析的复杂度 ,从而使得程序分析的精确度大大降低 ,最终使篡改攻击难以达到目的 .

关键词：代码迷惑函数指针控制流变换

来源：评论

学校读者我要写书评

暂无评论

除环上无限方阵的分解

引用

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子空间方法是一种较为有效的并行计算方法。

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

来源：评论

学校读者我要写书评

暂无评论

有限自动机单钥密码的一种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通讯模型各个参数所造成的影响.希望能够对配置机群系统时需要考虑的硬件因素提供有用的参考.软件因素的影响分析是我们将来的工作.

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：