检索结果-维普期刊中文期刊服务平台

科学计算程序蜕变关系层次分类模型被引量：3: 1; 作者阳小华闫仕宇 +1 位作者刘杰李萌《计算机科学》 CSCD 北大核心 2020年第S02期557-561,共5页; 蜕变测试是一种解决测试Oracle问题的有效方法,其关键在于蜕变关系的发现。文中通过分析科学计算程序的研发过程,提出物理模型蜕变关系、计算模型蜕变关系和代码模型蜕变关系的概念,明确了3类蜕变关系之间的层次结构,建立了蜕变关系的... 展开更多; 关键词科学计算程序蜕变测试蜕变关系分类模型; 在线阅读下载PDF 职称材料

一种基于执行路径状态比对的科学计算程序等效性判定方法: 2; 作者曲海鹏张敏媛 +1 位作者韩庆迪林喜军《中国海洋大学学报（自然科学版）》 CAS CSCD 北大核心 2021年第11期86-93,共8页; 科学计算程序的计算等效性判定是科学计算领域的重要问题。科学计算程序在算法改进、程序优化和版本迭代过程中经常对函数进行等价转换,转换前后的同一函数需要确保其计算过程的等效性。针对该问题,提出基于程序路径的状态匹配验证方法... 展开更多; 关键词程序等效性验证科学计算程序状态匹配回归验证语义不变的转换; 在线阅读下载PDF 职称材料

科学计算应用程序单核指令级优化研究被引量：4: 3; 作者罗红兵张晓霞 +1 位作者王伟武林平《计算机研究与发展》 EI CSCD 北大核心 2014年第6期1263-1269,共7页; 尽管高性能计算机性能提升越来越快,但科学计算应用程序获得同步的性能提升是很困难的.提高科学计算应用程序的执行性能,需要依照高性能计算机体系结构的特点进行针对性的优化,其中单核指令级优化是科学计算应用程序性能优化的重要方面... 展开更多; 关键词性能分析性能优化 XEON 指令级优化科学计算程序; 在线阅读下载PDF 职称材料

一个科学计算服务网格应用系统的设计与实现被引量：3: 4; 作者王彬余华山 +1 位作者李洪忠许卓群《小型微型计算机系统》 CSCD 北大核心 2005年第8期1318-1321,共4页; 为扩大计算能力的共享规模,并充分复用已有的计算程序,提出了一个SCS服务的概念.一个SCS服务把一个科学计算程序和它的宿主环境(计算节点)结合起来,构成了一个提供科学计算服务的基本单元.设计了一个网格应用系统(PCG系统)来管理SCS服务... 展开更多; 关键词 SCS服务网格计算网格应用科学计算程序的复用; 在线阅读下载PDF 职称材料

面向GPU存储优化的程序重构方法被引量：4: 5; 作者陈钢李国波吴百锋《小型微型计算机系统》 CSCD 北大核心 2011年第10期1921-1927,共7页; 图形处理器(GPU)的高性价比吸引了越来越多的科学计算.和图形应用相比,科学计算程序存在纷杂的数据依赖和不规则访问,影响其在GPU上的执行性能.为此,提出一种面向GPU体系结构的程序重构方法.通过计算重构增大程序的可并行性和计算密集性... 展开更多; 关键词 GPU 科学计算程序计算重构数据重构存储优化向量数据类型; 在线阅读下载PDF 职称材料

计算作业网格执行环境的分析、设计与应用被引量：5: 6; 作者王彬《计算机应用研究》 CSCD 北大核心 2008年第8期2546-2549,共4页; 针对网格环境下科学计算遗产程序执行涉及到的关键问题进行了分析和设计,提出了一个基于固有计算执行环境+网格运行支持扩展的计算作业网格执行环境,以支持在网格环境下调用执行科学程序,并将其应用到了科学计算遗产程序包装成的网格服... 展开更多; 关键词科学计算遗产程序作业运行支持工具计算作业网格执行环境网格运行支持扩展网格服务; 在线阅读下载PDF 职称材料

数组机复合系统效能分析与改进: 7; 作者穆长富《计算机工程与科学》 CSCD 1990年第2期68-73,共6页; 引言 60年代未期,以信号处理为主要任务的外设型数组机(简称AP)技术发展成熟,这种机器象一般外设一样,附接在已有的中小型计算机上(简称HOST)可将数组运算的速度提高1—2个数量级,并具有结构简单、规模小、价格低等优点。八十年代发展... 展开更多; 关键词效能分析复合系统八十年代传输时间程序执行过程科学计算程序单总线并发执行时间开销数据传输; 在线阅读下载PDF 职称材料

题名科学计算程序蜕变关系层次分类模型被引量：3: 1; 作者阳小华闫仕宇刘杰李萌; 机构南华大学计算机学院湖南省智能装备软件评测工程技术研究中心中核集团高可信计算重点学科实验室; 出处《计算机科学》 CSCD 北大核心 2020年第S02期557-561,共5页; 基金国家科技重大专项子课题(2019ZX06005001) 湖南省自然科学基金项目(2020JJ4519)。; 文摘蜕变测试是一种解决测试Oracle问题的有效方法,其关键在于蜕变关系的发现。文中通过分析科学计算程序的研发过程,提出物理模型蜕变关系、计算模型蜕变关系和代码模型蜕变关系的概念,明确了3类蜕变关系之间的层次结构,建立了蜕变关系的层次分类模型,并探讨了其在蜕变关系发现方法研究方面的应用前景。; 关键词科学计算程序蜕变测试蜕变关系分类模型; Keywords Scientific computing program Metamorphic test Metamorphic relations Classification model; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种基于执行路径状态比对的科学计算程序等效性判定方法: 2; 作者曲海鹏张敏媛韩庆迪林喜军; 机构中国海洋大学信息科学与工程学院; 出处《中国海洋大学学报（自然科学版）》 CAS CSCD 北大核心 2021年第11期86-93,共8页; 基金国家自然科学基金项目(41976184)资助。; 文摘科学计算程序的计算等效性判定是科学计算领域的重要问题。科学计算程序在算法改进、程序优化和版本迭代过程中经常对函数进行等价转换,转换前后的同一函数需要确保其计算过程的等效性。针对该问题,提出基于程序路径的状态匹配验证方法——SCEP,通过对程序不同版本在相同的输入空间的路径状态进行约束求解和精确比对,判定其计算的等效性。将SCEP方法与已有的判定方法在多个库函数组成的spcLib测试程序集上进行了对比实验,结果表明SCEP能判定更多的函数转换类型,不仅可用于“Fortran-to-Fortran”源码等效性检查,还能对“Fortran-to-C/C++”源码转换进行等价性判定。该方法有助于为科学计算程序的优化改进过程和向C/C++迁移过程提供完备的计算等效性保证。; 关键词程序等效性验证科学计算程序状态匹配回归验证语义不变的转换; Keywords program equivalence checking scientific codes state matching regression verification semantics-preserving transformation; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名科学计算应用程序单核指令级优化研究被引量：4: 3; 作者罗红兵张晓霞王伟武林平; 机构北京应用物理与计算数学研究所高性能计算中心; 出处《计算机研究与发展》 EI CSCD 北大核心 2014年第6期1263-1269,共7页; 基金国家"八六三"高技术研究发展计划重大专项基金项目(2012AA01A309); 文摘尽管高性能计算机性能提升越来越快,但科学计算应用程序获得同步的性能提升是很困难的.提高科学计算应用程序的执行性能,需要依照高性能计算机体系结构的特点进行针对性的优化,其中单核指令级优化是科学计算应用程序性能优化的重要方面之一.以基于JASMIN（J adaptive structured meshes applications infrastructure）框架实现的Euler程序为例,探讨了科学计算应用程序在Intel Xeon微处理器平台上的具体性能问题和指令级并行性能优化方法,并较大幅度地优化了Euler程序的单核性能.程序优化后,二维和三维两个物理模型计算的总运行时间比优化前减少了21％～34％,核心模块Gas1dapproxy的执行时间缩短了50％以上.性能优化实验表明：流水线效率已成为影响科学计算类实际应用程序计算效率的重要因素,需要通过降低计算语句的依赖度、减少长延迟计算数量等方法予以改进.; 关键词性能分析性能优化 XEON 指令级优化科学计算程序; Keywords performance analysis performance optimization Xeon instruction level optimization scientific computing application; 分类号 TP302 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一个科学计算服务网格应用系统的设计与实现被引量：3: 4; 作者王彬余华山李洪忠许卓群; 机构北京大学信息科学技术学院计算机科学技术系; 出处《小型微型计算机系统》 CSCD 北大核心 2005年第8期1318-1321,共4页; 基金国家自然科学基金项目(60173004和60303001)资助科技部"国家气象网格计算应用节点建论"项目(2004DKA50730)资助.; 文摘为扩大计算能力的共享规模,并充分复用已有的计算程序,提出了一个SCS服务的概念.一个SCS服务把一个科学计算程序和它的宿主环境(计算节点)结合起来,构成了一个提供科学计算服务的基本单元.设计了一个网格应用系统(PCG系统)来管理SCS服务.PCG系统是一个3层的架构,顶部是一个Web门户,中间是SCS服务管理器,网格中间件系统位于后端.SCS服务管理器是整个系统的核心部分,包含了四个模块:通讯模块(comm)、需求转换模块(UserRequirementsTranslator)、服务信息查询协商模块(ServiceQuery&Broker)和服务提交管理模块(ServiceHandler).基于GlobusToolkit作为中间件,PCG系统已经在北京大学校园网内跨越多个局域网进行了实现.在PCG系统上,已经成功地运行了若干个实际科学计算的实例.; 关键词 SCS服务网格计算网格应用科学计算程序的复用; Keywords SCS（scientific computing service） services grid computing grid application reuse of scientific computing programs; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名面向GPU存储优化的程序重构方法被引量：4: 5; 作者陈钢李国波吴百锋; 机构复旦大学计算机科学技术学院; 出处《小型微型计算机系统》 CSCD 北大核心 2011年第10期1921-1927,共7页; 基金上海市重点学科建设基金项目(B114)资助 AMD大学合作计划基金资助; 文摘图形处理器(GPU)的高性价比吸引了越来越多的科学计算.和图形应用相比,科学计算程序存在纷杂的数据依赖和不规则访问,影响其在GPU上的执行性能.为此,提出一种面向GPU体系结构的程序重构方法.通过计算重构增大程序的可并行性和计算密集性,改善GPU上计算资源的利用率.通过数据重构消除程序中的不规则数据访问,使用向量数据类型提高程序的存储带宽.实验结果表明:文中提出的优化方法减少了程序在GPU上的执行时间,获得了1.17～8.91倍的加速比.; 关键词 GPU 科学计算程序计算重构数据重构存储优化向量数据类型; Keywords GPU scientific computing programs computation restructuring data restructuring memory optimization vector data type; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名计算作业网格执行环境的分析、设计与应用被引量：5: 6; 作者王彬; 机构国家气象信息中心计算机室; 出处《计算机应用研究》 CSCD 北大核心 2008年第8期2546-2549,共4页; 基金国家科技基础条件平台重点资助项目(2005DKA64000); 文摘针对网格环境下科学计算遗产程序执行涉及到的关键问题进行了分析和设计,提出了一个基于固有计算执行环境+网格运行支持扩展的计算作业网格执行环境,以支持在网格环境下调用执行科学程序,并将其应用到了科学计算遗产程序包装成的网格服务运行中。计算作业网格执行环境很好地满足了传统科学计算遗产程序在网格环境下共享后的运行管理的需要,具有广泛的适用性和参考价值。; 关键词科学计算遗产程序作业运行支持工具计算作业网格执行环境网格运行支持扩展网格服务; Keywords scientific computing legacy codes job runtime tools grid-enabled execution environment for computing jobs grid runtime extension grid services; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名数组机复合系统效能分析与改进: 7; 作者穆长富; 出处《计算机工程与科学》 CSCD 1990年第2期68-73,共6页; 文摘引言 60年代未期,以信号处理为主要任务的外设型数组机(简称AP)技术发展成熟,这种机器象一般外设一样,附接在已有的中小型计算机上(简称HOST)可将数组运算的速度提高1—2个数量级,并具有结构简单、规模小、价格低等优点。八十年代发展更为迅速。著名的专门生产AP的FPS公司,到1982年已生产了二千多台AP,其后产量大幅度增长。1983年FPS公司推出的FPS-5000系列,具有高达48MFLOPS的速度。; 关键词效能分析复合系统八十年代传输时间程序执行过程科学计算程序单总线并发执行时间开销数据传输; 分类号 TP3 [自动化与计算机技术—计算机科学与技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	科学计算程序蜕变关系层次分类模型	阳小华闫仕宇刘杰李萌	《计算机科学》 CSCD 北大核心	2020	3	在线阅读下载PDF 职称材料
2	一种基于执行路径状态比对的科学计算程序等效性判定方法	曲海鹏张敏媛韩庆迪林喜军	《中国海洋大学学报（自然科学版）》 CAS CSCD 北大核心	2021	0	在线阅读下载PDF 职称材料
3	科学计算应用程序单核指令级优化研究	罗红兵张晓霞王伟武林平	《计算机研究与发展》 EI CSCD 北大核心	2014	4	在线阅读下载PDF 职称材料
4	一个科学计算服务网格应用系统的设计与实现	王彬余华山李洪忠许卓群	《小型微型计算机系统》 CSCD 北大核心	2005	3	在线阅读下载PDF 职称材料
5	面向GPU存储优化的程序重构方法	陈钢李国波吴百锋	《小型微型计算机系统》 CSCD 北大核心	2011	4	在线阅读下载PDF 职称材料
6	计算作业网格执行环境的分析、设计与应用	王彬	《计算机应用研究》 CSCD 北大核心	2008	5	在线阅读下载PDF 职称材料
7	数组机复合系统效能分析与改进	穆长富	《计算机工程与科学》 CSCD	1990	0	在线阅读下载PDF 职称材料