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

华中科技大学学报（自然科学版） 2010年第S1期38卷 51-54页

作者：孙相征张云泉王婷杨超李力刚中国科学院软件研究所北京100190 中国科学院计算机科学国家重点实验室北京100190 中国科学院研究生院北京100190 中国科学院上海天文台上海200030

在百万亿次超级计算机深腾7000上进行了基于Aztec库和PETSc库的天体大规模数值模拟程序对比测试,并对性能测试结果进行了分析.实验结果表明,当8核/节点时,PETSc程序运行时间是Aztec程序的23.34%～41.10%,平均为29.31%;当4核/节点时,PETS... 详细信息

在百万亿次超级计算机深腾7000上进行了基于Aztec库和PETSc库的天体大规模数值模拟程序对比测试,并对性能测试结果进行了分析.实验结果表明,当8核/节点时,PETSc程序运行时间是Aztec程序的23.34%～41.10%,平均为29.31%;当4核/节点时,PETSc程序运行时间是Aztec程序的19.72%～31.34%,平均为24.97%.在测试过程中,还观察到同样的问题规模和处理器核数,每节点采用4个处理器核比采用8个处理器核时的运行时间,在基于Aztec库的情况下平均下降29%,在基于PETSc软件包的情况下平均下降36%.此外,还给出了对PETSc程序进一步对角线存储优化的结果.实验结果体现了深腾7000提供的有效支持,对软件下一步的优化研究有指导意义.

关键词：天体数值模拟深腾7000 性能测试可扩展性 Aztec库 PETSc库

来源：评论

学校读者我要写书评

暂无评论

正规树文法的产生式相交判定

引用

计算机工程与设计 2012年第3期33卷 1197-1202,1212页

作者：倪晓勇陈海明中国科学院软件研究所计算机科学国家重点实验室北京100190 中国科学院研究生院北京100049

在针对产生式不相交的正规树文法的XML类型检查中,需要对正规树文法的产生式进行相交判定。基于正规树文法的产生式的构成特点,提出了基于自动机的相交判定算法。根据产生式的内容模型即正则表达式,构建相应自动机,判定两个自动机的交... 详细信息

在针对产生式不相交的正规树文法的XML类型检查中,需要对正规树文法的产生式进行相交判定。基于正规树文法的产生式的构成特点,提出了基于自动机的相交判定算法。根据产生式的内容模型即正则表达式,构建相应自动机,判定两个自动机的交是否为空,该算法的时间复杂度为O(‖E1‖.‖E2‖.|∑E1∪∑E2|)。实验结果表明,该算法运行正确且高效,可以应用到针对产生式不相交的正规树文法的XML类型检查中。

关键词： XML类型检查正规树文法产生式相交判定正则表达式自动机

来源：评论

学校读者我要写书评

暂无评论

基于GPU的实时线绘制及水墨仿真研究

引用

计算机工程与设计 2011年第3期32卷 1079-1083,1107页

作者：卢健刘学慧中国科学院软件研究所计算机科学国家重点实验室北京100190 中国科学院研究生院北京100049

为了由简单三维输入自动生成水墨仿真风格图像,提出了一种基于GPU的实时线绘制算法及水墨仿真算法。提出的微分几何线绘制算法结合了视点相关和视点无关两类特征线的绘制,利用了多种曲率信息和风格化纹理。由于GPU加速和风格化纹理的设... 详细信息

为了由简单三维输入自动生成水墨仿真风格图像,提出了一种基于GPU的实时线绘制算法及水墨仿真算法。提出的微分几何线绘制算法结合了视点相关和视点无关两类特征线的绘制,利用了多种曲率信息和风格化纹理。由于GPU加速和风格化纹理的设计,该算法达到实时且风格化可控,方便了国画仿真,仿真计算将水墨看作二维流体,利用LB方法模拟水墨在宣纸中的边缘扩散。通过对比大量的绘制结果以及和其他方法的比较,结果表明,该方法的绘制结果更加清晰逼真,绘制实时完成且完全自动化。

关键词：计算机图形学非真实感绘制线绘制技术水墨仿真 LB方法

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机工程与设计 2009年第20期30卷 4581-4584页

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

由于嵌套循环连接操作过程中存在较大的高速缓存缺失,严重影响了连接查询的性能。提出了一种基于缓冲的高速缓存参数无关的嵌套循环并行连接算法。通过高速缓存参数无关和缓冲技术,提高了连接算法的空间局部性和时间局部性。理论分析和... 详细信息

由于嵌套循环连接操作过程中存在较大的高速缓存缺失,严重影响了连接查询的性能。提出了一种基于缓冲的高速缓存参数无关的嵌套循环并行连接算法。通过高速缓存参数无关和缓冲技术,提高了连接算法的空间局部性和时间局部性。理论分析和实验结果表明,高速缓存优化后的串行连接算法的性能是原来的2倍,其并行算法效果近似线性加速比。

关键词：存储层次理想高速缓存模型高速缓存参数无关高度划分聚类缓冲并行化

来源：评论

学校读者我要写书评

暂无评论

并行计算模型参数动态分析软件包设计

引用

计算机工程 2009年第10期35卷 30-32页

作者：王向前张云泉侯晓吻中国科学院软件研究所并行计算实验室北京100190 中国科学院研究生院北京100190 中国科学院计算机科学国家重点实验室北京100190 杭州电子科技大学杭州310018

并行计算模型的发展引入越来越多的模型参数。对并行计算模型参数动态采集分析软件包DEMPAT的整体框架进行研究,实现基于硬件性能计数器的存储层次参数采集模块。实验表明,该模块能够准确快速地获取存储层次参数且具有较好的可移植性。

关键词：并行计算模型机器参数存储层次

来源：评论

学校读者我要写书评

暂无评论

真实感雨线绘制

引用

中国图象图形学报 2013年第5期18卷 600-606页

作者：江隆盛吴恩华中国科学院软件研究所计算机科学国家重点实验室北京100190 澳门大学科学技术学院电脑与资讯科学系中国澳门中国科学院研究生院北京100190

雨线的真实感绘制极具挑战性。雨滴在下落过程中会发生快速的震荡,由于光线在其中的反射和折射而具有复杂的光学效果,在人眼和摄像机观察时会产生运动模糊形成雨线。提出一种基于Monte Carlo光线跟踪的方法用于绘制真实感雨线。通过预... 详细信息

雨线的真实感绘制极具挑战性。雨滴在下落过程中会发生快速的震荡,由于光线在其中的反射和折射而具有复杂的光学效果,在人眼和摄像机观察时会产生运动模糊形成雨线。提出一种基于Monte Carlo光线跟踪的方法用于绘制真实感雨线。通过预先对雨滴震荡周期内每个离散时间点的雨滴三角形网格建立加速结构,并利用雨滴运动包围盒与采样光线的相交计算,大大加速了光线与雨滴的相交测试;使用自适应采样技术避免了对图像中每个像素点都使用大的采样数,提高了采样效率,加速了图像的绘制。将本文方法集成于离线绘制器(PBRT)中,生成了具有真实感的雨线图像和雨景动画。实验结果表明,本文方法能真实地模拟雨滴的震荡和光线在雨滴中的多次反射和折射,并能在包含任意类型光源的场景中有效地绘制真实感雨线。

关键词： Monte Carlo光线跟踪雨线雨滴粒子系统相交测试自适应采样

来源：评论

学校读者我要写书评

暂无评论

近似软影下的三维增强绘制

引用

计算机工程与设计 2013年第1期34卷 221-224,267页

作者：陈思明王山东中国科学院软件研究所计算机科学国家重点实验室北京100190 中国科学院研究生院北京100049

针对目前的三维增强绘制方法尚未涉及阴影效果这一现象,提出一种新的包含近似软影效果的三维增强绘制算法。针对简单光照场景,设计了一种新的尺度函数,应用该尺度函数调整每个像素的光亮度值,使得物体的表面细节看上去更加凸显;在此基... 详细信息

针对目前的三维增强绘制方法尚未涉及阴影效果这一现象,提出一种新的包含近似软影效果的三维增强绘制算法。针对简单光照场景,设计了一种新的尺度函数,应用该尺度函数调整每个像素的光亮度值,使得物体的表面细节看上去更加凸显;在此基础上引入近似软阴影效果,利用GPU的几何着色器提取物体的轮廓边生成近似半影区,通过调整半影区的衰减参数来控制半影区的大小和亮度,可以使软阴影变得更黑更集中。实验表明应用该方法可以得到整个三维场景一致增强的效果。

关键词：三维增强尺度函数软影曲率几何着色器

来源：评论

学校读者我要写书评

暂无评论

基于Yices对时间自动机的有界模型检测

引用

计算机工程与设计 2010年第1期31卷 126-129页

作者：王晓亮中国科学院软件研究所计算机科学国家重点实验室北京100190 中国科学院研究生院北京100049

为了避免在有界模型检测过程中对变量进行布尔编码以及对时间自动机模型中的时钟进行预处理,给出一个利用SMT(satisfiability modulo theories)工具进行的对时间自动机进行有界模型检测的方法。该方法将时间自动机模型直接转换成SMT工... 详细信息

为了避免在有界模型检测过程中对变量进行布尔编码以及对时间自动机模型中的时钟进行预处理,给出一个利用SMT(satisfiability modulo theories)工具进行的对时间自动机进行有界模型检测的方法。该方法将时间自动机模型直接转换成SMT工具可识别的逻辑公式,利用SMT工具可求解包含有整数型和实数型变量逻辑公式的能力来进行模型检测。实验结果表明,对于某些可达性性质的验证,该方法的效率有一定的优势。

关键词：有界模型检测时间自动机 SMT工具可达性安全性逻辑公式

来源：评论

学校读者我要写书评

暂无评论

基于自适应光子发射的渐进式光子映射

引用

计算机工程与设计 2012年第1期33卷 219-223页

作者：李睿陈彦云刘学慧中国科学院软件研究所计算机科学国家重点实验室北京100190 中国科学院研究生院北京100049

通过对渐进式光子映射算法进行扩展,提出了一种基于自适应光子发射的渐进式光子映射算法。渐进式光子映射是一个多遍的全局光照算法,通过不断发射光子并渐进更新场景各点的光能估计能使其最终能收敛到无偏差的结果。由于渐进式光子映射... 详细信息

通过对渐进式光子映射算法进行扩展,提出了一种基于自适应光子发射的渐进式光子映射算法。渐进式光子映射是一个多遍的全局光照算法,通过不断发射光子并渐进更新场景各点的光能估计能使其最终能收敛到无偏差的结果。由于渐进式光子映射完全使用密度估计来计算各点的光能,因此其收敛速度受光子分布影响较大。利用渐进式光子映射算法中固有的场景统计信息以及其多遍的特点,设计了一个自适应的光子发射策略,使得发射的光子能更多的分布在对最终绘制有效的区域,提高了原算法的绘制效率。

关键词：渐进式光子映射自适应光子发射视点重要性重要性采样全局光照

来源：评论

学校读者我要写书评

暂无评论

生成诊断公式的有限状态进程等价验证

引用

计算机工程与设计 2010年第2期31卷 344-347页

作者：李明中国科学院软件研究所计算机科学国家重点实验室北京100190 中国科学院研究生院北京100049

分析有限状态进程互模拟等价判定技术,探讨了诊断公式的生成问题。给出了将有限状态进程转化为带标号的迁移系统,修改了Paige和Trajan求解最粗划分的算法,使其适用于带标号的迁移系统。给出生成Hennessy-Milner逻辑描述的诊断公式的算法... 详细信息

分析有限状态进程互模拟等价判定技术,探讨了诊断公式的生成问题。给出了将有限状态进程转化为带标号的迁移系统,修改了Paige和Trajan求解最粗划分的算法,使其适用于带标号的迁移系统。给出生成Hennessy-Milner逻辑描述的诊断公式的算法,当两个进程不能互模拟时,产生两个诊断公式。算法的时间复杂度为O(mlogn),空间复杂度为O(m+n)。

关键词：互模拟形式验证带标号的迁移系统有限状态进程 Hennessy-Milner逻辑

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：