Small: Collaborative Research: Transform-to-Perform: Languages, Algorithms, and Code Transformations for High-Performance FEM

小：协作研究：从转换到执行：高性能 FEM 的语言、算法和代码转换

• 批准号: 1525697
• 负责人: Robert Kirby
• 金额: $ 23.06万
• 依托单位: Baylor University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2015
• 资助国家: 美国
• 起止时间: 2015-07-15 至 2019-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1525697&HistoricalAwards=false
• 关键词: Small; Collaborative; Research; Transform; Perform

Simulation of natural and engineering phenomena is a multi-layered technical task with high demands on mathematical sophistication and computational power. Producing a computer simulation code requires work at many different levels of detail. A computer program should represent a scientific problem in a language close to that used by domain specialists, but this differs greatly from low-level, hardware-specific details of computers. Bridging between the two requires several different links. This project sets up many intermediate software stages, called ?representations? modeling the domain knowledge of engineers, numerical analysts, and computer scientists by describing partial differential equations, the so-called weak forms needed for numerical methods, loop nests required to build discrete operations, and finally low-level code that can be executed by computers. ?Transformations? are then programs connecting these representations, injecting knowledge about algorithms and hardware. The key advance in this research is that, through this chain of transformations, domain knowledge about each level of detail, be it application-related, numerical, or computational, can be supplied at the appropriate level of detail. The tools developed in this project promote the advancement of science by both shortening the development time and increasing the resulting power of high-performance simulation codes used by scientists and engineers, enabling them to impact the world.

自然和工程现象的模拟是一项多层次的技术任务，对数学复杂性和计算能力有很高的要求。生成计算机模拟代码需要在许多不同的细节层面上进行工作。计算机程序应该用接近领域专家使用的语言来表示科学问题，但这与计算机的低级、特定于硬件的细节有很大不同。两者之间的连接需要几个不同的链接。该项目设置了许多中间软件阶段，称为“表示”。通过描述偏微分方程、数值方法所需的所谓弱形式、构建离散运算所需的循环巢以及最终可由计算机执行的低级代码，对工程师、数值分析师和计算机科学家的领域知识进行建模。？转换?然后是连接这些表示的程序，注入关于算法和硬件的知识。这项研究的关键进展是，通过这个转换链，可以在适当的细节级别提供关于每个细节级别的领域知识，无论是与应用相关的，数值的还是计算的。在这个项目中开发的工具通过缩短开发时间和增加科学家和工程师使用的高性能仿真代码的最终功率来促进科学的进步，使它们能够影响世界。