SymX: Energy-based Simulation from Symbolic Expressions

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autores principales: Fernández-Fernández, José Antonio, Löschner, Fabian, Westhofen, Lukas, Longva, Andreas, Bender, Jan
Formato: Preprint
Publicado: 2023
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1866918265705463808
author Fernández-Fernández, José Antonio
Löschner, Fabian
Westhofen, Lukas
Longva, Andreas
Bender, Jan
author_facet Fernández-Fernández, José Antonio
Löschner, Fabian
Westhofen, Lukas
Longva, Andreas
Bender, Jan
contents Optimization time integrators are effective at solving complex multi-physics problems including deformable solids with non-linear material models, contact with friction, strain limiting, etc. For challenging problems, Newton-type optimizers are often used, which necessitates first- and second-order derivatives of the global non-linear objective function. Manually differentiating, implementing, testing, optimizing, and maintaining the resulting code is extremely time-consuming, error-prone, and precludes quick changes to the model, even when using tools that assist with parts of such pipeline. We present SymX, an open source framework that computes the required derivatives of the different energy contributions by symbolic differentiation, generates optimized code, compiles it on-the-fly, and performs the global assembly. The user only has to provide the symbolic expression of each energy for a single representative element in its corresponding discretization and our system will determine the assembled derivatives for the whole simulation. We demonstrate the versatility of SymX in complex simulations featuring different non-linear materials, high-order finite elements, rigid body systems, adaptive discretizations, frictional contact, and coupling of multiple interacting physical systems. SymX's derivatives offer performance on par with SymPy, an established off-the-shelf symbolic engine, and produces simulations at least one order of magnitude faster than TinyAD, an alternative state-of-the-art integral solution.
format Preprint
id arxiv_https___arxiv_org_abs_2303_02156
institution arXiv
publishDate 2023
record_format arxiv
spellingShingle SymX: Energy-based Simulation from Symbolic Expressions
Fernández-Fernández, José Antonio
Löschner, Fabian
Westhofen, Lukas
Longva, Andreas
Bender, Jan
Computational Engineering, Finance, and Science
Graphics
Optimization time integrators are effective at solving complex multi-physics problems including deformable solids with non-linear material models, contact with friction, strain limiting, etc. For challenging problems, Newton-type optimizers are often used, which necessitates first- and second-order derivatives of the global non-linear objective function. Manually differentiating, implementing, testing, optimizing, and maintaining the resulting code is extremely time-consuming, error-prone, and precludes quick changes to the model, even when using tools that assist with parts of such pipeline. We present SymX, an open source framework that computes the required derivatives of the different energy contributions by symbolic differentiation, generates optimized code, compiles it on-the-fly, and performs the global assembly. The user only has to provide the symbolic expression of each energy for a single representative element in its corresponding discretization and our system will determine the assembled derivatives for the whole simulation. We demonstrate the versatility of SymX in complex simulations featuring different non-linear materials, high-order finite elements, rigid body systems, adaptive discretizations, frictional contact, and coupling of multiple interacting physical systems. SymX's derivatives offer performance on par with SymPy, an established off-the-shelf symbolic engine, and produces simulations at least one order of magnitude faster than TinyAD, an alternative state-of-the-art integral solution.
title SymX: Energy-based Simulation from Symbolic Expressions
topic Computational Engineering, Finance, and Science
Graphics
url https://arxiv.org/abs/2303.02156