AF: Small: Metanumerical Computing for Emerging Architectures: Automated Embedded Algorithms for Partial Differential Equations on Multicore Platforms

点击翻译按钮获取中文摘要

Computers were invented to automate tedious and error-pronetasks, especially in the context of numerical calculations forscientific simulation. Given the importance and difficulty of developing these simulations, it makes sense to study whether computers can assist in their production as well. This project focuses on the open-source project Sundance, which provideshigh-level syntax to describe finite element methods (FEM) for thenumerical solution of partial differential equations, freeing users from the burdens of low-level programming. This approach can reduce development time from months to days or even hours, allowing scientists and engineers to get correct answers more quickly. Sundance is useful software starting from a solid theoretical basis,where the structure of finite element operators are derived andanalyzed from software-based Frechet differentiation of variationalforms.Via this domain-specific embedded language, Sundance users (domainscientistis and engineers) can express and simulate nonlinear processes with little more difficulty than linear ones; Jacobians are calculated internally and automatically. This robust system automates not only standard simulations, but also sensitivity calculations, eigenvalueproblems, and PDE-constrained optimization, all through the language ofdifferentiation, providing a simple gateway to efficient ``embedded''algorithms for optimization and control. Furthermore, in this project, Sundance will be extended to run on emerging architectures such as multicore CPU and GPU machines. New low-complexity finite element algorithms based on Bernstein polynomials will be developed and included within Sundance to further exploit this new hardware. Thus, this project represents concrete transformational contributions not only automatingmathematical software but in core numerical algorithms, broadening thecircle of domain specialists with access to leading-edge simulationtechnology.