SearcharxivSearch

arXiv subjects

Leonardo Boledi

Publications and source records attributed to Leonardo Boledi.

3 recordsLinked to original sources

A Kolmogorov-Arnold Surrogate Model for Chemical Equilibria: Application to Solid Solutions

The computational cost of geochemical solvers is a challenging matter. For reactive transport simulations, where chemical calculations are performed up to billions of times, it is crucial to reduce the total computational time. Existing publications have explored various machine-learning approaches to determine the most effective data-driven surrogate model. In particular, multilayer perceptrons are widely employed due to their ability to recognize nonlinear relationships. In this work, we focus on the recent Kolmogorov-Arnold networks, where learnable spline-based functions replace classical fixed activation functions. This architecture has achieved higher accuracy with fewer trainable parameters and has become increasingly popular for solving partial differential equations. First, we train a surrogate model based on an existing cement system benchmark. Then, we move to an application case for the geological disposal of nuclear waste, i.e., the determination of radionuclide-bearing solids solubilities. To the best of our knowledge, this work is the first to investigate co-precipitation with radionuclide incorporation using data-driven surrogate models, considering increasing levels of thermodynamic complexity from simple mechanical mixtures to non-ideal solid solutions of binary (Ba,Ra)SO$_4$ and ternary (Sr,Ba,Ra)SO$_4$ systems. On the cement benchmark, we demonstrate that the Kolmogorov-Arnold architecture outperforms multilayer perceptrons in both absolute and relative error metrics, reducing them by 62% and 59%, respectively. On the binary and ternary radium solid solution models, Kolmogorov-Arnold networks maintain median prediction errors near $1\times10^{-3}$. This is the first step toward employing surrogate models to speed up reactive transport simulations and optimize the safety assessment of deep geological waste repositories.

cs.LG

A scale-coupled numerical method for transient close-contact melting

We introduce a numerical workflow to model and simulate transient close-contact melting processes based on the space-time finite element method. That is, we aim at computing the velocity at which a forced heat source melts through a phase-change material. Existing approaches found in the literature consider a thermo-mechanical equilibrium in the contact melt film, which results in a constant melting velocity of the heat source. This classical approach, however, cannot account for transient effects in which the melting velocity adjusts itself to equilibrium conditions. With our contribution, we derive a model for the transient melting process of a planar heat source. We iteratively cycle between solving for the heat equation in the solid material and updating the melting velocity. The latter is computed based on the heat flux in the vicinity of the heat source. The motion of the heated body is simulated via the moving mesh strategy referred to as the Virtual Region Shear-Slip Mesh Update Method, which avoids remeshing and is particularly efficient in representing unidirectional movement. We show numerical examples to validate our methodology and present two application scenarios, a 2D planar thermal melting probe and a 2D hot-wire cutting machine.

math.NA

A level-set based space-time finite element approach to the modelling of solidification and melting processes

We present a strategy for the numerical solution of convection-coupled phase-transition problems, with focus on solidification and melting. We solve for the temperature and flow fields over time. The position of the phase-change interface is tracked with a level-set method, which requires knowledge of the heat-flux discontinuity at the interface. In order to compute the heat-flux jump, we build upon the ghost-cell approach and extend it to the space-time finite element method. This technique does not require a local enrichment of the basis functions, such as methods like extended finite elements, and it can be easily implemented in already existing finite element codes. Verification cases for the 1D Stefan problem and the lid-driven cavity melting problem are provided. Furthermore, we show a more elaborate 2D case in view of complex applications.

math.NA