科学计算程序

作品数：13被引量：38H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：谢虎成韩硕郝萌王学惠王锋更多>>
相关机构：国防科学技术大学哈尔滨工业大学华东师范大学无锡恒鼎超级计算中心有限公司更多>>
相关期刊：《北京理工大学学报》《计算机集成制造系统》《小型微型计算机系统》《气象科技》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划上海市教育委员会重点学科基金湖南省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于执行路径状态比对的科学计算程序等效性判定方法
《中国海洋大学学报（自然科学版）》2021年第11期86-93,共8页曲海鹏 张敏媛 韩庆迪 林喜军 
国家自然科学基金项目(41976184)资助。
科学计算程序的计算等效性判定是科学计算领域的重要问题。科学计算程序在算法改进、程序优化和版本迭代过程中经常对函数进行等价转换,转换前后的同一函数需要确保其计算过程的等效性。针对该问题,提出基于程序路径的状态匹配验证方法...
关键词：程序等效性验证 科学计算程序 状态匹配 回归验证 语义不变的转换 
科学计算程序蜕变关系层次分类模型被引量：3
《计算机科学》2020年第S02期557-561,共5页阳小华 闫仕宇 刘杰 李萌 
国家科技重大专项子课题(2019ZX06005001);湖南省自然科学基金项目(2020JJ4519)。
蜕变测试是一种解决测试Oracle问题的有效方法,其关键在于蜕变关系的发现。文中通过分析科学计算程序的研发过程,提出物理模型蜕变关系、计算模型蜕变关系和代码模型蜕变关系的概念,明确了3类蜕变关系之间的层次结构,建立了蜕变关系的...
关键词：科学计算程序 蜕变测试 蜕变关系 分类模型 
中国仿真软件自主发展策略初探
《中国工业和信息化》2020年第10期34-41,共8页田锋 
中国仿真软件与世界领先仿真软件的主要差距不完全在技术本身,更在于将其从科学计算程序转向软件工程。发展中国本土仿真软件,成功的商业路线是首先需要考虑的问题。但在技术路线的选择上,也需要一点不走寻常路的精神。我们的思路,可以...
关键词：科学计算程序 仿真软件 软件工程 自主软件 路线 
WRF与NPB科学计算程序在云平台上的性能研究被引量：2
《计算机集成制造系统》2018年第7期1816-1821,共6页张心言 任开军 赵成武 邓科峰 
国家自然科学基金面上资助项目(61572510)~~
为了探究IaaS云平台在运行科学计算程序方面存在的优势与不足,采用虚拟化技术基于高性能计算物理集群创建了NUDT_SCICloud科学云平台,并选择通用NPB标准测试集和包括若干数据与计算流程的大规模气象数值模拟软件WRF模式对该平台进行了...
关键词：云计算 高性能计算 科学云 天气预报模式 
科学计算应用程序单核指令级优化研究被引量：4
《计算机研究与发展》2014年第6期1263-1269,共7页罗红兵 张晓霞 王伟 武林平 
国家"八六三"高技术研究发展计划重大专项基金项目(2012AA01A309)
尽管高性能计算机性能提升越来越快,但科学计算应用程序获得同步的性能提升是很困难的.提高科学计算应用程序的执行性能,需要依照高性能计算机体系结构的特点进行针对性的优化,其中单核指令级优化是科学计算应用程序性能优化的重要方面...
关键词：性能分析 性能优化 XEON 指令级优化 科学计算程序 
面向GPU存储优化的程序重构方法被引量：4
《小型微型计算机系统》2011年第10期1921-1927,共7页陈钢 李国波 吴百锋 
上海市重点学科建设基金项目(B114)资助;AMD大学合作计划基金资助
图形处理器(GPU)的高性价比吸引了越来越多的科学计算.和图形应用相比,科学计算程序存在纷杂的数据依赖和不规则访问,影响其在GPU上的执行性能.为此,提出一种面向GPU体系结构的程序重构方法.通过计算重构增大程序的可并行性和计算密集性...
关键词：GPU 科学计算程序 计算重构 数据重构 存储优化 向量数据类型 
科学计算程序的验证和确认被引量：24
《北京理工大学学报》2010年第3期353-356,360,共5页王瑞利 林忠 袁国兴 
国家自然科学基金资助项目(90718029);计算物理重点实验室基金项目(9140C6902010903)
针对科学计算中工程应用程序的研制和预测能力的评估,基于应用程序研制的过程与软件开发的生命周期,提出了一种科学计算程序验证与确认(V&V)模型.论述了物理建模、数值模拟与科学计算程序验证与确认的关系,以及科学计算程序验证与确认...
关键词：科学计算 程序设计 验证与确认(V&V) 
科学计算程序的验证与确认
《中国工程物理研究院科技年报》2008年第1期154-154,共1页王瑞利 袁国兴 林忠 
科学计算程序的验证和确认（Verification＆Validation，简称V＆V）是数值模拟的一个重要组成部分，其目的是为了评估模拟程序和物理模型的可靠性，并量化数值模拟程序计算结果的置信度。这是解决全系统试验无法进行或者代价十分昂贵情...
关键词：计算程序 验证 科学 数值模拟程序 组成部分 物理模型 计算结果 置信度 
科学计算程序在FT64流处理器上的实现、优化和评测
《计算机工程与科学》2008年第9期107-110,共4页邓宇 晏小波 杜静 张英 杨学军 
国家自然科学基金资助项目(60621003;60633050)
流体系结构是一种适应VLSI工艺发展的新型体系结构,它是否对科学计算程序有效是一个广泛关注的问题。本文选取NASA并行测试程序集中的一个数据密集型程序MG,研究了它在一个64位的面向科学计算设计的流处理器FT64上的实现和优化问题。在F...
关键词：FT64 流处理器 存储层次 性能评测 
使用Matlab　Engine库实现和Matlab的进程间通信被引量：1
《现代计算机（中旬刊）》2000年第85期34-35,共2页任菁圃 周东方 
本文分析了Ｍａｔｌａｂ提供的进程间通信接口Ｍａｔｌａｂ　Ｅｎｇｉｎｅ库，并详细 介绍了在Ｃ＋＋Ｂｕｉｄｅｒ环境下和Ｍａｔｌａｂ进行通信的方法。
关键词：MATLAB 函数库 进程间通信 科学计算程序 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部