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

中国科学（A辑） 2008年第2期38卷 221-240页

作者：孙家昶中国科学院软件研究所并行中心计算机科学国家重点实验室北京100080

研究一类新的三变量正交多项式,定义为二阶偏微分算子的本征函数,且在一曲四面体域上正交.该曲四面体可由普通的四面体映射而得,可视为二维Steiner区域的三维推广.所讨论的正交多项式可视为该区域上的Jacobi多项式.推导了正交多项式的... 详细信息

研究一类新的三变量正交多项式,定义为二阶偏微分算子的本征函数,且在一曲四面体域上正交.该曲四面体可由普通的四面体映射而得,可视为二维Steiner区域的三维推广.所讨论的正交多项式可视为该区域上的Jacobi多项式.推导了正交多项式的显式递推公式,证明其所含的正交多项式项数不依赖多项式的总次数,沿两个复变量z和z^-方向及单个实变量r方向,递推公式所含的正交多项式项数分别只为5项与7项.作为3个特例,详细讨论了三变量的第1类与第2类Chebyshev多项式及Lengendre多项式.

关键词：三维PDE本征问题三变量Jacobi正交多项式 Chebyshev多项式 Legendre多项式递推公式

来源：评论

学校读者我要写书评

暂无评论

FM-index分块并行算法及其实现

引用

计算机工程 2008年第8期34卷 53-54,58页

作者：李开士张云泉李玉成中国科学院研究生院北京100080 中国科学院软件研究所并行计算实验室

查询海量数据有压缩和索引两种方法来提高速度,该文结合这两种方法提出了压缩查询的方法。FM-index是一种自索引的全文查询算法,存在内存占用过大的问题,对于复杂的查询效率也不理想。该文提出分块FM-index算法,在分块的基础上采用MPI... 详细信息

查询海量数据有压缩和索引两种方法来提高速度,该文结合这两种方法提出了压缩查询的方法。FM-index是一种自索引的全文查询算法,存在内存占用过大的问题,对于复杂的查询效率也不理想。该文提出分块FM-index算法,在分块的基础上采用MPI对算法进行并行化,解决了内存占用过多的问题,达到了较好的并行效率。

关键词：压缩自索引 FM-index算法分块并行

来源：评论

学校读者我要写书评

暂无评论

基于语义的恶意软件判定器框架

引用

小型微型计算机系统 2008年第12期29卷 2233-2240页

作者：高鹰陈意云华保健中国科学技术大学计算机系安徽合肥230027 中国科学院软件研究所计算机科学实验室北京100080

目前代码迷惑技术已经成为构造恶意软件变体的主要方式,大量出现的病毒变体使得传统基于程序文本特征的病毒排查工具的防护作用大大降低.本文提出一种新的基于语义的恶意软件变体判定框架,为了确定一个程序是否是某种恶意软件的变体:首... 详细信息

目前代码迷惑技术已经成为构造恶意软件变体的主要方式,大量出现的病毒变体使得传统基于程序文本特征的病毒排查工具的防护作用大大降低.本文提出一种新的基于语义的恶意软件变体判定框架,为了确定一个程序是否是某种恶意软件的变体:首先基于符号执行收集程序语义状态,然后通过证明语义之间是否满足变体关系来确定该程序是否是恶意软件的变体.本框架能够识别经代码迷惑变换后得到的程序是属于变换前程序的变体,从而可以减少对病毒数据库的更新.最后,通过一个实现了该框架的原型系统来说明基于语义的恶意软件判定器框架的可行性.

关键词：恶意软件判定代码迷惑程序分析符号执行

来源：评论

学校读者我要写书评

暂无评论

GOTOBLAS一般矩阵乘法高效实现机制的研究

引用

计算机工程 2008年第7期34卷 84-86,103页

作者：蒋孟奇张云泉宋刚李玉成中国科学院软件研究所并行计算实验室北京100080 中国科学院研究生院北京100080 中国科学院计算机科学国家重点实验室北京100080

对GOTOBLAS库(GOTO)的实现机制,尤其是其中的一般矩阵乘法部分的实现进行了分析。结合近年来的一些研究成果,讨论了如何高效地实现矩阵相乘操作,把存储层次对程序性能的影响提高到计算模型的高度。对比实验表明,GOTO库的性能远远高于没... 详细信息

对GOTOBLAS库(GOTO)的实现机制,尤其是其中的一般矩阵乘法部分的实现进行了分析。结合近年来的一些研究成果,讨论了如何高效地实现矩阵相乘操作,把存储层次对程序性能的影响提高到计算模型的高度。对比实验表明,GOTO库的性能远远高于没有考虑存储层次的一般BLAS库。证明了GOTO库性能上的优越性和将存储层次引入计算模型的必要性。

关键词： GOTOBLAS库一般矩阵乘法存储层次分块算法计算模型

来源：评论

学校读者我要写书评

暂无评论

2008年中国高性能计算机TOP100排行榜分析与展望

引用

数据与计算发展前沿 2008年第3期 71-78页

作者：张云泉孙家昶袁国兴张林波中科院软件所并行计算实验室北京应用物理与计算数学所中科院数学与系统科学研究院

本文根据2008年11月发布的中国高性能计算机TOP100排行榜的数据,对国内高性能计算机的发展现状从总体性能、制造商、行业领域等方面进行了深入分析。在此基础上,根据七届排行榜积累的性能数据和能够得到的其他公开历史数据,对未来几年... 详细信息

本文根据2008年11月发布的中国高性能计算机TOP100排行榜的数据,对国内高性能计算机的发展现状从总体性能、制造商、行业领域等方面进行了深入分析。在此基础上,根据七届排行榜积累的性能数据和能够得到的其他公开历史数据,对未来几年中国大陆高性能计算机的发展趋势进行了分析预测。从预测可以看出,峰值Petaflops的机器将在2010年到2011年间出现,峰值10Petaflops的机器将在2012年到2013年间出现,累计Linpack性能将在2011年到2012年间达到10Petaflops。

关键词：高性能计算机 TOP100 排行榜性能分析

来源：评论

学校读者我要写书评

暂无评论

软件自适应性能优化技术与优化搜索过程评价指标研究

软件自适应性能优化技术与优化搜索过程评价指标研究

引用

2008年全国高性能计算机学术年会

作者：孙相征张云泉王宣强中科院软件所并行计算实验室北京 100190 中国科学院计算机科学国家重点实验室北京 100190 中科院研究生院北京 100190 xiangzheng.sun yunquan.zhang 中科院软件所并行计算实验室北京 100190 中国科学院计算机科学国家重点实验室北京 100190 中科院软件所并行计算实验室北京 100190 中国科学院计算机科学国家重点实验室北京 100190 中科院研究生院北京 100190 xiangzheng.sun yunquan.zhang@

在自适应性能优化技术中，优化参数的搜索过程往往要花费较大的时间开销，但通常在搜索一定时间后，性能很难再得到显著的提高。为了有效的控制优化搜索过程，提高搜索效率，本文提出了一个对优化搜索过程的评价指标Pt。并用此指标对在... 详细信息

在自适应性能优化技术中，优化参数的搜索过程往往要花费较大的时间开销，但通常在搜索一定时间后，性能很难再得到显著的提高。为了有效的控制优化搜索过程，提高搜索效率，本文提出了一个对优化搜索过程的评价指标Pt。并用此指标对在两种不同硬件平台上ATLAS的GEMM优化过程进行了分析和评价，力图发现一种更实用的自适应性能优化搜索过程评价指标。

关键词：软件工程软件开发软件测试自适应优化

来源：评论

学校读者我要写书评

暂无评论

一种改进的OpenMP Guided 调度策略研究

一种改进的OpenMP Guided 调度策略研究

引用

2008年全国高性能计算机学术年会

作者：刘胜飞张云泉中国科学院软件研究所并行计算实验室北京 100190 中国科学院研究生院北京 100190 中国科学院软件研究所并行计算实验室北京 100190 中国科学院软件研究所计算机科学国家重点实验室北京 100190 bigbigfei@*** zyq@mail.rdcps.ac.c

在科学计算中，循环结构是最重要的行对象之一。本文在考虑负载平衡、调度开销等多面因素的基础上，OpenMP标准制定了静态调度动态调度、指数调度和运行时调度等不同策略针对指数调度策略不适合递减型循环结构的点，提出一种改进的new_g... 详细信息

在科学计算中，循环结构是最重要的行对象之一。本文在考虑负载平衡、调度开销等多面因素的基础上，OpenMP标准制定了静态调度动态调度、指数调度和运行时调度等不同策略针对指数调度策略不适合递减型循环结构的点，提出一种改进的new_guided 指数调度略，并在OMPi 编译器上加以实现。new_guided调度策略的主要思想是对前半部分的循环采静态调度，后半部分的循环采用指数调度。

关键词：科学计算负载平衡静态调度指数调度

来源：评论

学校读者我要写书评

暂无评论

一种高速缓存优化的并行连接算法

一种高速缓存优化的并行连接算法

引用

2008年全国高性能计算机学术年会

作者：胡泽林张云泉中国科学院软件研究所并行计算实验室北京 1000190 中国科学院软件研究所计算机科学国家重点实验室北京 100190 中国科学院研究生院北京 100049 huzheling@yahoo.c 中国科学院软件研究所并行计算实验室北京 1000190 中国科学院软件研究所计算机科学国家重点实验室北京 100190

连接查询操作是主存数据库中一种较为重要的查询操作。随着计算机芯片技术的发展，中央处理器和内存速度之间的差距越来越大，极大地影响了连接算法的性能。本文通过高速缓存优化技术，提出了一种基于缓冲的高速缓存参数无关的嵌套循环... 详细信息

连接查询操作是主存数据库中一种较为重要的查询操作。随着计算机芯片技术的发展，中央处理器和内存速度之间的差距越来越大，极大地影响了连接算法的性能。本文通过高速缓存优化技术，提出了一种基于缓冲的高速缓存参数无关的嵌套循环并行连接算法。分析以及实验结果表明，高速缓存优化后的串行连接算法的性能是原来的2倍，其并行算法效果近似线形加速比。

关键词：高性能计算高速缓存存储层次并行算法

来源：评论

学校读者我要写书评

暂无评论

2008年中国高性能计算机TOP100排行榜分析与展望

引用

科研信息化技术与应用 2008年第3期 71-78页

作者：张云泉孙家昶袁国兴张林波中科院软件所并行计算实验室北京100190 北京应用物理与计算数学所北京100088 中科院数学与系统科学研究院北京100190

关键词：高性能计算机 TOP100 排行榜性能分析

来源：评论

学校读者我要写书评

暂无评论

用数据流分析方法检查程序信息流安全

引用

小型微型计算机系统 2007年第1期28卷 102-106页

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

程序信息流安全是信息安全的一个重要研究方向.基于类型的分析虽然是检查程序信息流安全的一种有效方法,但过于保守.本文尝试将传统的数据流分析方法用于程序信息流安全的检查,即利用数据流分析来跟踪程序数据间的安全依赖关系,达到检... 详细信息

程序信息流安全是信息安全的一个重要研究方向.基于类型的分析虽然是检查程序信息流安全的一种有效方法,但过于保守.本文尝试将传统的数据流分析方法用于程序信息流安全的检查,即利用数据流分析来跟踪程序数据间的安全依赖关系,达到检查程序信息流安全的目的.和基于类型的方法相比,数据流分析方法能更加精确地分析程序,具有更大的宽容性.最后,本文对数据流分析方法的可靠性进行了证明.

关键词：程序信息流安全形式语义静态分析数据流分析

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：