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

最优路径问题是资源分配,线路设计等优化问题的基础,很多问题都可以归结为最优路径问题。求解网络中最优路径的方法可以分为两大类。一种是标号设定算法(label setting, LS),另一种是标号改变算法(label correcting, LC)。由于网络路径算法的应用越来越强调动态性和及时性,因此高效的求解最优路径问题变得越来越重要。在这里,利用一种高效的网络划分方法,实现了基于网络划分的LS/LC并行算法。实验结果表明,基于这种网络划分的并行算法对于求解最优路径有很好的加速比和扩展比。

关键词：并行算法最优路径问题网络划分

来源：评论

学校读者我要写书评

暂无评论

基于机群架构的并行数据库中间件系统改进研究

基于机群架构的并行数据库中间件系统改进研究

引用

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

作者：陈虎张云泉柳锴李玉成中国科学院软件研究所并行计算实验室中国科学院计算机科学国家重点实验室中国科学院研究生院

基于机群架构的高性能计算机已经被应用到很多领域,如大气预测、油藏模拟、CFD仿真模拟和Web服务等.随着数据量的爆炸式增长,传统的集中式的数据库系统已经难以满足各种应用的需求,基于机群式架构的并行数据库系统为增强海量数据的存储... 详细信息

基于机群架构的高性能计算机已经被应用到很多领域,如大气预测、油藏模拟、CFD仿真模拟和Web服务等.随着数据量的爆炸式增长,传统的集中式的数据库系统已经难以满足各种应用的需求,基于机群式架构的并行数据库系统为增强海量数据的存储以及处理能力提供了一种途径.对以前实现的一个基于机群架构的并行数据库中间件系统ParaMidSQL进行了改进.通过对并行选择、并行排序、并行连接等关键操作的测试,给出对并行数据库中间件系统改进后的性能分析.

关键词：并行数据库 Beowulf机群中间件并行算法 MPI

来源：评论

学校读者我要写书评

暂无评论

线性系统同时镇定中广义香槟问题的解

引用

中国科学（E辑） 2007年第6期37卷 770-780页

作者：关强王龙夏壁灿杨路郁文生曾振柄中国科学院自动化研究所复杂系统与智能科学实验室北京100080 北京大学工学院系统与控制研究中心北京100871 北京大学数学科学学院信息科学系北京100871 华东师范大学软件学院上海计算机理论研究所上海200062 清华大学智能技术与系统国家重点实验室

利用复分析理论,结合Blondel的方法,对线性系统同时镇定中著名的广义香槟问题给出理论上的解答,完整地回答了Patel等人文中的未解决问题,自然包含原香槟问题的解,结合杨路等人新近发展的不等式型定理机器证明理论,给出控制器的设计方法... 详细信息

利用复分析理论,结合Blondel的方法,对线性系统同时镇定中著名的广义香槟问题给出理论上的解答,完整地回答了Patel等人文中的未解决问题,自然包含原香槟问题的解,结合杨路等人新近发展的不等式型定理机器证明理论,给出控制器的设计方法,得到的数值例子明显改进了已有文献中的结果.

关键词：线性系统镇定同时镇定香槟问题广义香槟问题复分析不等式型定理机器证明

来源：评论

学校读者我要写书评

暂无评论

HPL与HPCC在lBM刀片机群上的对比测试与分析

HPL与HPCC在lBM刀片机群上的对比测试与分析

引用

2007中国计算机大会

作者：王宣强王向前张云泉陈虎中科院软件研究所并行计算实验室北京100080 中科院软件研究所并行计算实验室北京100080 中国科学院计算机科学国家重点实验室北京100080 中国科学院计算机科学国家重点实验室北京100080

在IBM JS21 Bladecenter上进行THPL与HPcc的对比测试，介绍THPL与HPCC的测试方法及结果分析方法，并采用分层模型(AHPCC)对HPCC的测试结果进行了分析。其目的是通过在高性能机群上执行这两个基准测试，比较它们的测试过程和结果分析方... 详细信息

在IBM JS21 Bladecenter上进行THPL与HPcc的对比测试，介绍THPL与HPCC的测试方法及结果分析方法，并采用分层模型(AHPCC)对HPCC的测试结果进行了分析。其目的是通过在高性能机群上执行这两个基准测试，比较它们的测试过程和结果分析方法。实验表明：HPLSDHPCC可操作性相近，HPCC的结果评价较HPL复杂。通过分层模型的评价，我们能够得到更多关于目标系统的性能参数和发现可能的性能瓶颈，能够通过一次测试为以后的系统设计和构建积累有价值的经验。

关键词： HPL HPCC 分层模型系统评价对比测试

来源：评论

学校读者我要写书评

暂无评论

一种新的MPI Allgather算法及其在万亿次机群系统上的实现与性能分析

引用

计算机学报 2006年第5期29卷 808-814页

作者：陈靖张云泉张林波袁伟中国科学技术大学计算机科学与技术系合肥230026 中国科学院软件研究所并行计算实验室中国科学院数学与系统科学研究院

给出一个新的MPIAllgather算法———邻居交换算法(neighborexchange).提出的平均逻辑通信距离的概念和计算公式,可以有效地衡量通信的局部性.通过分析,发现在4种MPIAllgather算法中,邻居交换和环算法均具有最优的通信局部性.在万亿次... 详细信息

给出一个新的MPIAllgather算法———邻居交换算法(neighborexchange).提出的平均逻辑通信距离的概念和计算公式,可以有效地衡量通信的局部性.通过分析,发现在4种MPIAllgather算法中,邻居交换和环算法均具有最优的通信局部性.在万亿次机群深腾6800和曙光4000A上对4个MPIAllgather算法进行的性能测试和分析结果表明,邻居交换算法的长消息通信性能最优,中长消息通信性能不稳定,短消息通信性能次于递归倍增和Bruck算法.

关键词： MPI Allgather算法集合通信性能评测机群

来源：评论

学校读者我要写书评

暂无评论

一种求解混合约束问题的快速完备算法

引用

计算机研究与发展 2006年第3期43卷 551-556页

作者：季晓慧张健中国科学院软件研究所计算机科学实验室

布尔与数值变量相混合的约束问题有着广泛的应用,但是当约束中的数值变量间存在非线性关系时该问题求解起来十分困难.目前的许多求解方法都是不完备的,即这些方法不能完全肯定某些包含非线性数值表达式的约束是否能够成立.针对这种问题... 详细信息

布尔与数值变量相混合的约束问题有着广泛的应用,但是当约束中的数值变量间存在非线性关系时该问题求解起来十分困难.目前的许多求解方法都是不完备的,即这些方法不能完全肯定某些包含非线性数值表达式的约束是否能够成立.针对这种问题,提出了数值与区间分析相结合进行数值约束求解的方法.已经实现了一个基于此方法的原型工具.实验结果表明,该方法能够有效、快速、完备地求解非线性混合约束问题.

关键词：约束求解非线性数值约束数值法区间分析

来源：评论

学校读者我要写书评

暂无评论

多线程程序数据竞争的静态检测

引用

计算机研究与发展 2006年第2期43卷 329-335页

作者：吴萍陈意云张健中国科学技术大学计算机科学与技术系合肥230027 中国科学院软件研究所计算机科学实验室北京100080

多线程并发程序的广泛使用带来了更多的数据竞争错误.传统的数据竞争静态检测由于对并发语义和别名信息的保守分析会导致很多假错误.因此,提出了一个精确有效的静态检测框架:分析应用了精确的别名分析并静态模拟了访问事件发生序;为提... 详细信息

多线程并发程序的广泛使用带来了更多的数据竞争错误.传统的数据竞争静态检测由于对并发语义和别名信息的保守分析会导致很多假错误.因此,提出了一个精确有效的静态检测框架:分析应用了精确的别名分析并静态模拟了访问事件发生序;为提高分析效率,检测算法提出了一个以对象为中心,结合Escape分析缩小检测范围的检测算法并配合设计了压缩的别名等价类表示.检测框架在一个静态Java编译器JTool上做了实现,对于测试程序取得了很好的分析结果.

关键词：并发程序程序分析数据竞争别名分析

来源：评论

学校读者我要写书评

暂无评论

大规模油藏数值模拟软件并行计算技术及在Beowulf系统上的应用进展

引用

数值计算与计算机应用 2006年第2期27卷 86-95页

作者：曹建文刘洋孙家昶姚继锋潘峰中国科学院软件研究所并行计算实验室北京100080

本文主要介绍了大规模油藏数值模拟并行计算技术在国内的研究进展,提供了精细油藏模拟在国产Beowulf系统上的计算实例和应用效果,给出了百万网格点规模的油藏应用算例在不同处理器规模下的数值模拟计算结果与性能分析,并实现了一个针对... 详细信息

本文主要介绍了大规模油藏数值模拟并行计算技术在国内的研究进展,提供了精细油藏模拟在国产Beowulf系统上的计算实例和应用效果,给出了百万网格点规模的油藏应用算例在不同处理器规模下的数值模拟计算结果与性能分析,并实现了一个针对海量数据可视化的三维图、二维图、表格显示的后处理显示系统．

关键词：高性能计算油藏数值模拟并行计算非线性方城求解器预处理 Beowulf系统可视化

来源：评论

学校读者我要写书评

暂无评论

移动计算系统信息流安全

引用

小型微型计算机系统 2006年第8期27卷 1455-1460页

作者：黄海军陈意云中国科技大学计算机系中国科学院软件研究所计算机科学实验室北京100080

程序信息流安全是信息安全的一个重要研究方向.基于类型的静态分析可以保证程序信息流安全.与单进程系统相比,移动计算系统中数据通讯的存在使得程序信息流安全保护更加困难.Cornell大学的Zdancewic对函数式语言λsec的单进程程序信息... 详细信息

程序信息流安全是信息安全的一个重要研究方向.基于类型的静态分析可以保证程序信息流安全.与单进程系统相比,移动计算系统中数据通讯的存在使得程序信息流安全保护更加困难.Cornell大学的Zdancewic对函数式语言λsec的单进程程序信息流安全进行了研究.本文在其工作的基础上,根据移动计算系统的结构特征,通过对函数式语言λsec进行扩充,加入通讯原语,将其扩展成移动计算语言MobileML,并针对一个简单的移动计算模型,给出了描述程序信息流安全的无干扰性定义,设计了相应的信息流类型系统,用以静态检查保证MobileML语言程序信息流安全.

关键词：程序信息流安全无干扰性形式语义类型系统子定型

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：