SearcharxivSearch

arXiv subjects

Ferdinando Auricchio

Publications and source records attributed to Ferdinando Auricchio.

At least 19 recordsLinked to original sources

An Efficient Bayesian Framework for Inverse Problems via Optimization and Inversion: Surrogate Modeling, Parameter Inference, and Uncertainty Quantification

The present paper proposes a Bayesian framework for inverse problems that seamlessly integrates optimization and inversion to enable rapid surrogate modeling, accurate parameter inference, and rigorous uncertainty quantification. Bayesian optimization is employed to adaptively construct accurate Gaussian process surrogate models using a minimal number of high-fidelity model evaluations, strategically focusing sampling in regions of high predictive uncertainty. The trained surrogate model is then leveraged within a Bayesian inversion scheme to infer optimal parameter values by combining prior knowledge with observed quantities of interest, resulting in posterior distributions that rigorously characterize epistemic uncertainty. The framework is theoretically grounded, computationally efficient, and particularly suited for engineering applications in which high-fidelity models -- whether arising from numerical simulations or physical experiments -- are computationally expensive, analytically intractable, or difficult to replicate, and data availability is limited. Furthermore, the combined use of Bayesian optimization and inversion outperforms their separate application, highlighting the synergistic benefits of unifying the two approaches. The performance of the proposed Bayesian framework is demonstrated on a suite of one- and two-dimensional analytical benchmarks, including the Mixed Gaussian-Periodic, Lévy, Griewank, Forrester, and Rosenbrock functions, which provide a controlled setting to assess surrogate modeling accuracy, parameter inference robustness, and uncertainty quantification. The results demonstrate the framework's effectiveness in efficiently solving inverse problems while providing informative uncertainty quantification and supporting reliable engineering decision-making at reduced computational cost.

cs.CE

Phenomenological modeling of the stress-free two-way shape-memory effect in semi-crystalline networks: Formulation, numerical simulation, and experimental validation

Polymers exhibiting the stress-free two-way shape-memory effect (SME) represent an appealing solution to achieve self-standing reversible actuation that is a fundamental feature required by numerous applications. The present paper proposes a one-dimensional continuum phenomenological framework to model single-component semi-crystalline polymer networks exhibiting both the one-way SME and the two-way SME under stress and stress-free conditions. A comprehensive experimental campaign is first performed on semi-crystalline networks based on poly($\varepsilon$-caprolactone) (PCL) to characterize the mechanical and thermal properties as well as the one-way and two-way shape memory behavior of the material under different thermo-mechanical conditions. The results guide the formulation of the model, elucidating the selection of the control and phase variables and motivating the choice of their evolution laws. Model capabilities are then demonstrated against experimental data. All the phenomena that influence the stress-free two-way SME, including the actuation temperature, heating/cooling rates, applied stress/strain, and the amount of skeleton and actuation phase, are analyzed and discussed, giving new important insight for application development.

cond-mat.soft

On the accuracy of interpolation based on single-layer artificial neural networks with a focus on defeating the Runge phenomenon

In the present paper, we consider one-hidden layer ANNs with a feedforward architecture, also referred to as shallow or two-layer networks, so that the structure is determined by the number and types of neurons. The determination of the parameters that define the function, called training, is done via the resolution of the approximation problem, so by imposing the interpolation through a set of specific nodes. We present the case where the parameters are trained using a procedure that is referred to as Extreme Learning Machine (ELM) that leads to a linear interpolation problem. In such hypotheses, the existence of an ANN interpolating function is guaranteed. The focus is then on the accuracy of the interpolation outside of the given sampling interpolation nodes when they are the equispaced, the Chebychev, and the randomly selected ones. The study is motivated by the well-known bell-shaped Runge example, which makes it clear that the construction of a global interpolating polynomial is accurate only if trained on suitably chosen nodes, ad example the Chebychev ones. In order to evaluate the behavior when growing the number of interpolation nodes, we raise the number of neurons in our network and compare it with the interpolating polynomial. We test using Runge's function and other well-known examples with different regularities. As expected, the accuracy of the approximation with a global polynomial increases only if the Chebychev nodes are considered. Instead, the error for the ANN interpolating function always decays and in most cases we observe that the convergence follows what is observed in the polynomial case on Chebychev nodes, despite the set of nodes used for training.

math.NA

Numerical investigation of fluid-structure interaction in a pilot-operated microfluidic valve

The present paper is concerned with numerical investigation of the performance of a pilot-operated control valve based on shape memory alloy actuation control. The valve under investigation can be integrated into miniaturized hydraulic systems and is developed to perform precise dispensing, mixing, or dosing tasks while being able to withstand relatively high pressure differences. The study evaluates the valve's response under the current ON/OFF and the desired proportional control regimes using numerical methods for fluid-structure interaction. The computational model replicates the operation of the valve, which requires an understanding of the complex interactions between the fluid flow with the pressurized valve and the contact with the valve seat during the opening and closing processes. In addition, the model leverages advanced numerical techniques to overcome several complexities arising mainly from the geometrical, material, and contact nonlinearities, and to mitigate the shortcomings of the partitioned fluid-structure interaction approach. Several simulations are conducted to examine the valve's structural and flow behavior under varying pressure conditions. Results indicate that the valve is adequate for ON/OFF actuation control but is susceptible to flow-induced vibrations during the proportional control regime that occurs due to the sharp pressure drop in the valve-seat gap and the ensuing Venturi effect, which counteract the opening of the main valve. The fluid-structure-interaction simulations provide insight into the mechanism underlying the flow-induced vibrations, which can serve to improve the design and enhance the performance of the valve in microfluidic applications.

physics.flu-dyn

Data-informed uncertainty quantification for laser-based powder bed fusion additive manufacturing

We present an efficient approach to quantify the uncertainties associated with the numerical simulations of the laser-based powder bed fusion of metals processes. Our study focuses on a thermomechanical model of an Inconel 625 cantilever beam, based on the AMBench2018-01 benchmark proposed by the National Institute of Standards and Technology (NIST). The proposed approach consists of a forward uncertainty quantification analysis of the residual strains of the cantilever beam given the uncertainty in some of the parameters of the numerical simulation, namely the powder convection coefficient and the activation temperature. The uncertainty on such parameters is modelled by a data-informed probability density function obtained by a Bayesian inversion procedure, based on the displacement experimental data provided by NIST. To overcome the computational challenges of both the Bayesian inversion and the forward uncertainty quantification analysis we employ a multi-fidelity surrogate modelling technique, specifically the multi-index stochastic collocation method. The proposed approach allows us to achieve a 33\% reduction in the uncertainties on the prediction of residual strains compared with what we would get basing the forward UQ analysis on a-priori ranges for the uncertain parameters, and in particular the mode of the probability density function of such quantities (i.e., its ``most likely value'', roughly speaking) results to be in good agreement with the experimental data provided by NIST, even though only displacement data were used for the Bayesian inversion procedure.

cs.CE

Analysis of a combined Filtered/phase-field approach to topology optimization in elasticit

We advance a combined filtered/phase-field approach to topology optimization in the setting of linearized elasticity. Existence of minimizers is proved and rigorous parameter asymptotics are discussed by means of variational convergence techniques. Moreover, we investigate an abstract space discretization in the spirit of conformal finite elements. Eventually, stationarity is equivalently reformulated in terms of a Lagrangian.

math.OC

Impact of interaction forces in first order many-agent systems for swarm manufacturing

We study the large time behavior of a system of interacting agents modeling the relaxation of a large swarm of robots, whose task is to uniformly cover a portion of the domain by communicating with each other in terms of their distance. To this end, we generalize a related result for a Fokker-Planck-type model with a nonlocal discontinuous drift and constant diffusion, recently introduced by three of the authors, of which the steady distribution is explicitly computable. For this new nonlocal Fokker-Planck equation, existence, uniqueness and positivity of a global solution are proven, together with precise equilibration rates of the solution towards its quasi-stationary distribution. Numerical experiments are designed to verify the theoretical findings and explore possible extensions to more complex scenarios.

math.AP

Trends to equilibrium for a nonlocal Fokker-Planck equation

We obtain equilibration rates for a one-dimensional nonlocal Fokker-Planck equation with time-dependent diffusion coefficient and drift, modeling the relaxation of a large swarm of robots, feeling each other in terms of their distance, towards the steady profile characterized by uniform spreading over a finite interval of the line. The result follows by combining entropy methods for quantifying the decay of the solution towards its quasi-stationary distribution, with the properties of the quasi-stationary profile.

math.AP

Sparse-grids uncertainty quantification of part-scale additive manufacturing processes

The present paper aims at applying uncertainty quantification methodologies to process simulations of powder bed fusion of metal. In particular, for a part-scale thermomechanical model of an Inconel 625 super-alloy beam, we study the uncertainties of three process parameters, namely the activation temperature, the powder convection coefficient and the gas convection coefficient. First, we perform a variance-based global sensitivity analysis to study how each uncertain parameter contributes to the variability of the beam displacements. The results allow us to conclude that the gas convection coefficient has little impact and can therefore be fixed to a constant value for subsequent studies. Then, we conduct an inverse uncertainty quantification analysis, based on a Bayesian approach on synthetic displacements data, to quantify the uncertainties of the two remaining parameters, namely the activation temperature and the powder convection coefficient. Finally, we use the results of the inverse uncertainty quantification analysis to perform a data-informed forward uncertainty quantification analysis of the residual strains. Crucially, we make use of surrogate models based on sparse grids to keep to a minimum the computational burden of every step of the uncertainty quantification analysis. The proposed uncertainty quantification workflow allows us to substantially ease the typical trial-and-error approach used to calibrate power bed fusion part-scale models, and to greatly reduce uncertainties on the numerical prediction of the residual strains. In particular, we demonstrate the possibility of using displacement measurements to obtain a data-informed probability density function of the residual strains, a quantity much more complex to measure than displacements.

cs.CE

Well-posedness for a diffusion-reaction compartmental model simulating the spread of COVID-19

This paper is concerned with the well-posedness of a diffusion-reaction system for a Susceptible-Exposed-Infected-Recovered (SEIR) mathematical model. This model is written in terms of four nonlinear partial differential equations with nonlinear diffusions, depending on the total amount of the SEIR populations. The model aims at describing the spatio-temporal spread of the COVID-19 pandemic and is a variation of the one recently introduced, discussed and tested in [A. Viguerie et al, Diffusion-reaction compartmental models formulated in a continuum mechanics framework: application to COVID-19, mathematical analysis, and numerical study, Comput. Mech. 66 (2020) 1131-1152]. Here, we deal with the mathematical analysis of the resulting Cauchy-Neumann problem: the existence of solutions is proved in a rather general setting and a suitable time discretization procedure is employed. It is worth mentioning that the uniform boundedness of the discrete solution is shown by carefully exploiting the structure of the system. Uniform estimates and passage to the limit with respect to the time step allow to complete the existence proof. Then, two uniqueness theorems are offered, one in the case of a constant diffusion coefficient and the other for more regular data, in combination with a regularity result for the solutions.

math.AP

Fokker-Planck modeling of many-agent systems in swarm manufacturing: asymptotic analysis and numerical results

In this paper we study a novel Fokker-Planck-type model that is designed to mimic manufacturing processes through the dynamics characterizing a large set of agents. In particular, we describe a many-agent system interacting with a target domain in such a way that each agent/particle is attracted by the center of mass of the target domain with the aim to uniformly cover this zone. To this end, we first introduce a mean-field model with discontinuous flux whose large time behavior is such that the steady state is globally continuous and uniform over a connected portion of the domain. We prove that a diffusion coefficient that guarantees that a given portion of mass enters in the target domain exists and that it is unique. Furthermore, convergence to equilibrium in 1D is provided through a reformulation of the initial problem involving a nonconstant diffusion function. The extension to 2D is explored numerically by means of recently introduced structure preserving methods for Fokker-Planck equations.

nlin.AO

Residual-based error estimation and adaptivity for stabilized immersed isogeometric analysis using truncated hierarchical B-splines

We propose an adaptive mesh refinement strategy for immersed isogeometric analysis, with application to steady heat conduction and viscous flow problems. The proposed strategy is based on residual-based error estimation, which has been tailored to the immersed setting by the incorporation of appropriately scaled stabilization and boundary terms. Element-wise error indicators are elaborated for the Laplace and Stokes problems, and a THB-spline-based local mesh refinement strategy is proposed. The error estimation .and adaptivity procedure is applied to a series of benchmark problems, demonstrating the suitability of the technique for a range of smooth and non-smooth problems. The adaptivity strategy is also integrated in a scan-based analysis workflow, capable of generating reliable, error-controlled, results from scan data, without the need for extensive user interactions or interventions.

math.NA

Two-level Method Part-scale Thermal Analysis of Laser Powder Bed Fusion Additive Manufacturing

Numerical simulations of a complete laser powder bed fusion (LPBF) additive manufacturing (AM) process are extremely challenging or even impossible to achieve without a radical model reduction of the complex physical phenomena occurring during the process. However, even when we adopt reduced model with simplified physics, the complex geometries of parts usually produced by LPBF AM processes make this kind of analysis computationally expensive. In fact, small geometrical features - which might be generated when the part is design following the principal of the so-called design for AM, for instance, by means of topology optimization procedures - often require complex conformal meshes. Immersed boundary methods seem to offer a valid alternative to deal with this kind of complexity. The two-level method lies within this family of numerical methods and presents a very flexible tool to deal with multi-scale problems. In this contribution, we apply the recently introduced two-level method to part-scale thermal analysis of LPBF manufactured components, first validating the proposed part-scale model with respect to experimental measurements from the literature and then applying the presented numerical framework to simulate a complete LPBF process of a topologically optimized structure, showing the capability of the method to easily deal with complex geometrical features.

math.NA

A theoretical and numerical analysis of a Dirichlet-Neumann domain decomposition method for diffusion problems in heterogeneous media

Problems with localized nonhomogeneous material properties present well-known challenges for numerical simulations. In particular, such problems may feature large differences in length scales, causing difficulties with meshing and preconditioning. These difficulties are increased if the region of localized dynamics changes in time. Overlapping domain decomposition methods, which split the problem at the continuous level, show promise due to their ease of implementation and computational efficiency. Accordingly, the present work aims to further develop the mathematical theory of such methods at both the continuous and discrete levels. For the continuous formulation of the problem, we provide a full convergence analysis. For the discrete problem, we show how the described method may be interpreted as a Gauss-Seidel scheme or as a Neumann series approximation, establishing a convergence criterion in terms of the spectral radius of the system. We then provide a spectral scaling argument and provide numerical evidence for its justification.

math.NA

A spatiotemporal two-level method for high-fidelity thermal analysis of laserpowder bed fusion

Numerical simulation of the laser powder bed fusion (LPBF) procedure for additive manufacturing (AM) is difficult due to the presence of multiple scales in both time and space, ranging from the part scale (order of millimeters/seconds) to the powder scale (order of microns/milliseconds). This difficulty is compounded by the fact that the regions of small-scale behavior are not fixed, but change in time as the geometry is produced. While much work in recent years has been focused on resolving the problem of multiple scales in space, there has been less work done on multiscale approaches for the temporal discretization of LPBF problems. In the present contribution, we extend on a previously introduced two-level method in space by combining it with a multiscale time integration method. The unique transfer of information through the transmission conditions allows for interaction between the space and time scales while reducing computational costs. At the same time, all of the advantages of the two-level method in space (namely its geometrical flexibility and the ease in which one may deploy structured, uniform meshes) remain intact. Adopting the proposed multiscale time integration scheme, we observe a computational speed-up by a factor $\times 2.44$ compared to the same two-level approach with uniform time integration, when simulating a laser source traveling on a bare plate of nickel-based superalloy material following an alternating scan path of fifty laser tracks.

math.NA

Image-based numerical characterization and experimental validation of tensile behavior of octet-truss lattice structures

The production of lightweight metal lattice structures has received much attention due to the recent developments in additive manufacturing (AM). The design flexibility comes, however, with the complexity of the underlying physics. In fact, metal additive manufacturing introduces process-induced geometrical defects that mainly result in deviations of the effective geometry from the nominal one. This change in the final printed shape is the primary cause of the gap between the as-designed and as-manufactured mechanical behavior of AM products. Thus, the possibility to incorporate the precise manufactured geometries into the computational analysis is crucial for the quality and performance assessment of the final parts. Computed tomography (CT) is an accurate method for the acquisition of the manufactured shape. However, it is often not feasible to integrate the CT-based geometrical information into the traditional computational analysis due to the complexity of the meshing procedure for such high-resolution geometrical models and the prohibitive numerical costs. In this work, an embedded numerical framework is applied to efficiently simulate and compare the mechanical behavior of as-designed to as-manufactured octet-truss lattice structures. The parts are produced using laser powder bed fusion (LPBF). Employing an immersed boundary method, namely the Finite Cell Method (FCM), we perform direct numerical simulations (DNS) and first-order numerical homogenization analysis of a tensile test for a 3D printed octet-truss structure. Numerical results based on CT scan (as-manufactured geometry) show an excellent agreement with experimental measurements, whereas both DNS and first-order numerical homogenization performed directly on the 3D virtual model (as-designed geometry) of the structure show a significant deviation from experimental data.

cs.CE

Mixed variational formulations for structural topology optimization based on the phase-field approach

We propose a variational principle combining a phase-field functional for structural topology optimization with a mixed (three-field) Hu-Washizu functional, then including directly in the formulation equilibrium, constitutive, and compatibility equations. The resulting mixed variational functional is then specialized to derive a classical topology optimization formulation (where the amount of material to be distributed is an \emph{a priori} assigned quantity acting as a global constraint for the problem) as well as a novel topology optimization formulation (where the amount of material to be distributed is minimized, hence with no pre imposed constraint for the problem). Both formulations are numerically solved by implementing a mixed finite element scheme, with the second approach avoiding the introduction of a global constraint, hence respecting the convenient local nature of the finite element discretization. Furthermore, within the proposed approach it is possible to obtain guidelines for settings proper values of phase-field-related simulation parameters and, thanks to the combined phase-field and Hu-Washizu rationale, a monolithic algorithm solution scheme can be easily adopted. An insightful and extensive numerical investigation results in a detailed convergence study and a discussion on the obtained final designs. The numerical results clearly highlight differences between the two formulations as well as advantages related to the monolithic solution strategy; numerical investigations address both two-dimensional and three-dimensional applications.

math.NA

Bending behavior of additively manufactured lattice structures: numerical characterization and experimental validation

Selective Laser Melting (SLM) technology has undergone significant development in the past years providing unique flexibility for the fabrication of complex metamaterials such as octet-truss lattices. However, the microstructure of the final parts can exhibit significant variations due to the high complexity of the manufacturing process. Consequently, the mechanical behavior of these lattices is strongly dependent on the process-induced defects, raising the importance on the incorporation of as-manufactured geometries into the computational structural analysis. This, in turn, challenges the traditional mesh-conforming methods making the computational costs prohibitively large. In the present work, an immersed image-to-analysis framework is applied to efficiently evaluate the bending behavior of AM lattices. To this end, we employ the Finite Cell Method (FCM) to perform a three-dimensional numerical analysis of the three-point bending test of a lattice structure and compare the as-designed to as-manufactured effective properties. Furthermore, we undertake a comprehensive study on the applicability of dimensionally reduced beam models to the prediction of the bending behavior of lattice beams and validate classical and strain gradient beam theories applied in combination with the FCM. The numerical findings suggest that the SLM octet-truss lattices exhibit size effects, thus, requiring a flexible framework to incorporate high-order continuum theories.

cs.CE