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.

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