-
Damage Location in Mechanical Structures by Multi-Objective Pattern Search
Authors:
Christian Günther,
Benedikt Hofmeister,
Clemens Hübler,
Clemens Jonscher,
Jasper Ragnitz,
Jenny Schubert,
Marc C. Steinbach
Abstract:
We propose a multi-objective global pattern search algorithm for the task of locating and quantifying damage in flexible mechanical structures. This is achieved by identifying eigenfrequencies and eigenmodes from measurements and matching them against the results of a finite element simulation model, which leads to a nonsmooth nonlinear bi-objective parameter estimation problem. A derivative-free…
▽ More
We propose a multi-objective global pattern search algorithm for the task of locating and quantifying damage in flexible mechanical structures. This is achieved by identifying eigenfrequencies and eigenmodes from measurements and matching them against the results of a finite element simulation model, which leads to a nonsmooth nonlinear bi-objective parameter estimation problem. A derivative-free optimization algorithm is required since the problem is nonsmooth and also because complex mechanical simulation models are often solved using commercial black-box software. Moreover, the entire set of non-dominated solutions is of interest to practitioners. Most solution approaches published to date are based on meta-heuristics such as genetic algorithms. The proposed multi-objective pattern-search algorithm provides a mathematically well-founded alternative. It features a novel sorting procedure that reduces the complexity in our context. Test runs on two experimental structures with multiple damage scenarios are used to validate the approach. The results demonstrate that the proposed algorithm yields accurate damage locations and requires moderate computational resources. From the engineer's perspective it represents a promising tool for structural health monitoring.
△ Less
Submitted 2 April, 2024;
originally announced April 2024.
-
Accelerating Aeroelastic UVLM Simulations by Inexact Newton Algorithms
Authors:
Jenny Schubert,
Marc C. Steinbach,
Christian Hente,
David Märtins,
Daniel Schuster
Abstract:
We consider the aeroelastic simulation of flexible mechanical structures submerged in subsonic fluid flows at low Mach numbers. The nonlinear kinematics of flexible bodies are described in the total Lagrangian formulation and discretized by finite elements. The aerodynamic loads are computed using the unsteady vortex-lattice method wherein a free wake is tracked over time. Each implicit time step…
▽ More
We consider the aeroelastic simulation of flexible mechanical structures submerged in subsonic fluid flows at low Mach numbers. The nonlinear kinematics of flexible bodies are described in the total Lagrangian formulation and discretized by finite elements. The aerodynamic loads are computed using the unsteady vortex-lattice method wherein a free wake is tracked over time. Each implicit time step in the dynamic simulation then requires solving a nonlinear equation system in the structural variables with additional aerodynamic load terms. Our focus here is on the efficient numerical solution of this system by accelerating the Newton algorithm. The particular structure of the aeroelastic nonlinear system suggests the structural derivative as an approximation to the full derivative in the linear Newton system. We investigate and compare two promising algorithms based in this approximation, a quasi-Newton type algorithm and a novel inexact Newton algorithm. Numerical experiments are performed on a flexible plate and on a wind turbine. Our computational results show that the approximation can indeed accelerate the Newton algorithm substantially. Surprisingly, the theoretically preferable inexact Newton algorithm is much slower than the quasi-Newton algorithm, which motivates further research to speed up derivative evaluations.
△ Less
Submitted 22 March, 2024;
originally announced March 2024.
-
Modeling and numerical simulation of fully Eulerian fluid-structure interaction using cut finite elements
Authors:
Stefan Frei,
Tobias Knoke,
Marc C. Steinbach,
Anne-Kathrin Wenske,
Thomas Wick
Abstract:
We present a monolithic finite element formulation for (nonlinear) fluid-structure interaction in Eulerian coordinates. For the discretization we employ an unfitted finite element method based on inf-sup stable finite elements. So-called ghost penalty terms are used to guarantee the robustness of the approach independently of the way the interface cuts the finite element mesh. The resulting system…
▽ More
We present a monolithic finite element formulation for (nonlinear) fluid-structure interaction in Eulerian coordinates. For the discretization we employ an unfitted finite element method based on inf-sup stable finite elements. So-called ghost penalty terms are used to guarantee the robustness of the approach independently of the way the interface cuts the finite element mesh. The resulting system is solved in a monolithic fashion using Newton's method. Our developments are tested on a numerical example with fixed interface.
△ Less
Submitted 31 January, 2024;
originally announced February 2024.
-
Formulating and Heuristic Solving of Contact Problems in Hybrid Data-Driven Computational Mechanics
Authors:
Cristian Guillermo Gebhardt,
Senta Lange,
Marc Christian Steinbach
Abstract:
In this work we consider the hybrid Data-Driven Computational Mechanics (DDCM) approach, in which a smooth constitutive manifold is reconstructed to obtain a well-behaved nonlinear optimization problem (NLP) rather than the much harder discrete-continous NLP (DCNLP) of the direct DDCM approach. The key focus is on the addition of geometric inequality constraints to the hybrid DDCM formulation. The…
▽ More
In this work we consider the hybrid Data-Driven Computational Mechanics (DDCM) approach, in which a smooth constitutive manifold is reconstructed to obtain a well-behaved nonlinear optimization problem (NLP) rather than the much harder discrete-continous NLP (DCNLP) of the direct DDCM approach. The key focus is on the addition of geometric inequality constraints to the hybrid DDCM formulation. Therein, the required constraint force leads to a contact problem in the form of a mathematical program with complementarity constraints (MPCC), a problem class that is still less complex than the DCNLP. For this MPCC we propose a heuristic quick-shot solution approach, which can produce verifiable solutions by solving up to four NLPs. We perform various numerical experiments on three different contact problems of increasing difficulty to demonstrate the potential and limitations of this approach.
△ Less
Submitted 7 November, 2023;
originally announced November 2023.
-
Analysis of a space-time phase-field fracture complementarity model and its optimal control formulation
Authors:
Denis Khimin,
Johannes Lankeit,
Marc C. Steinbach,
Thomas Wick
Abstract:
The purpose of this work is the formulation of optimality conditions for phase-field optimal control problems. The forward problem is first stated as an abstract nonlinear optimization problem, and then the necessary optimality conditions are derived. The sufficient optimality conditions are also examined. The choice of suitable function spaces to ensure the regularity of the nonlinear optimizatio…
▽ More
The purpose of this work is the formulation of optimality conditions for phase-field optimal control problems. The forward problem is first stated as an abstract nonlinear optimization problem, and then the necessary optimality conditions are derived. The sufficient optimality conditions are also examined. The choice of suitable function spaces to ensure the regularity of the nonlinear optimization problem is a true challenge here. Afterwards the optimal control problem with a tracking type cost functional is formulated. The constraints are given by the previously derived first order optimality conditions of the forward problem. Herein regularity is proven under certain conditions and first order optimality conditions are formulated.
△ Less
Submitted 4 October, 2023;
originally announced October 2023.
-
Branching exponents of synthetic vascular trees under different optimality principles
Authors:
Etienne Jessen,
Marc C. Steinbach,
Charlotte Debbaut,
Dominik Schillinger
Abstract:
The branching behavior of vascular trees is often characterized using Murray's law. We investigate its validity using synthetic vascular trees generated under global optimization criteria. Our synthetic tree model does not incorporate Murray's law explicitly. Instead, we assume it holds implicitly and investigate the effects of different physical constraints and optimization goals on the branching…
▽ More
The branching behavior of vascular trees is often characterized using Murray's law. We investigate its validity using synthetic vascular trees generated under global optimization criteria. Our synthetic tree model does not incorporate Murray's law explicitly. Instead, we assume it holds implicitly and investigate the effects of different physical constraints and optimization goals on the branching exponent that is now allowed to vary locally. In particular, we include variable blood viscosity due to the Fåhræus--Lindqvist effect and enforce an equal pressure drop between inflow and the micro-circulation. Using our global optimization framework, we generate vascular trees with over one million terminal vessels and compare them against a detailed corrosion cast of the portal venous tree of a human liver. Murray's law is implicitly fulfilled when no additional constraints are enforced, indicating its validity in this setting. Variable blood viscosity or equal pressure drop leads to deviations from this optimum, but with the branching exponent inside the experimentally predicted range between 2.0 and 3.0. The validation against the corrosion cast shows good agreement from the portal vein down to the venules. Not enforcing Murray's law explicitly reduces the computational cost and increases the predictive capabilities of synthetic vascular trees. The ability to study optimal branching exponents across different scales can improve the functional assessment of organs.
△ Less
Submitted 24 April, 2023;
originally announced April 2023.
-
Principal Geodesic Analysis in Director-Based Dynamics of Hybrid Mechanical Systems
Authors:
Cristian C. Gebhardt,
Jenny Schubert,
Marc C. Steinbach
Abstract:
In this article, we present new computational realizations of principal geodesic analysis for the unit sphere $S^2$ and the special orthogonal group $SO(3)$. In particular, we address the construction of long-time smooth lifts across branches of the respective logarithm maps. To this end, we pay special attention to certain critical numerical aspects such as singularities and their consequences on…
▽ More
In this article, we present new computational realizations of principal geodesic analysis for the unit sphere $S^2$ and the special orthogonal group $SO(3)$. In particular, we address the construction of long-time smooth lifts across branches of the respective logarithm maps. To this end, we pay special attention to certain critical numerical aspects such as singularities and their consequences on the numerical precision. Moreover, we apply principal geodesic analysis to investigate the behavior of several mechanical systems that are very rich in dynamics. The examples chosen are computationally modeled by employing a director-based formulation for rigid and flexible mechanical systems. Such a formulation allows to investigate our algortihms in a direct manner while avoiding the introduction of additional sources of error that are unrelated to principal geodesic analysis. Finally, we test our numerical machinery with the examples and, at the same time, we gain deeper insight into their dynamical beahvior.
△ Less
Submitted 8 September, 2022;
originally announced September 2022.
-
Space-time formulation, discretization, and computational performance studies for phase-field fracture optimal control problems
Authors:
Denis Khimin,
Marc C. Steinbach,
Thomas Wick
Abstract:
The purpose of this work is the development of space-time discretization schemes for phase-field optimal control problems. Specifically in the optimal control minimization problem, a tracking-type cost functional is minimized to steer the crack via the phase-field variable into a desired pattern. To achieve such optimal solutions, Neumann type boundary conditions need to be determined. First, a ti…
▽ More
The purpose of this work is the development of space-time discretization schemes for phase-field optimal control problems. Specifically in the optimal control minimization problem, a tracking-type cost functional is minimized to steer the crack via the phase-field variable into a desired pattern. To achieve such optimal solutions, Neumann type boundary conditions need to be determined. First, a time discretization of the forward problem is derived using a discontinuous Galerkin formulation. Here, a challenge is to include regularization terms and the crack irreversibility constraint. The optimal control setting is formulated by means of the Lagrangian approach from which the primal part, adjoint, tangent and adjoint Hessian are derived. Herein the overall Newton algorithm is based on a reduced approach by eliminating the state constraint, namely the displacement and phase-field unknowns, but kee** the control variable as the only unknown. From the low-order discontinuous Galerkin discretization, adjoint time-step** schemes are finally obtained. Both our formulation and algorithmic developments are substantiated and illustrated with six numerical experiments.
△ Less
Submitted 5 September, 2022; v1 submitted 28 March, 2022;
originally announced March 2022.
-
Rigorous mathematical optimization of synthetic hepatic vascular trees
Authors:
Etienne Jessen,
Marc C. Steinbach,
Charlotte Debbaut,
Dominik Schillinger
Abstract:
In this paper, we introduce a new framework for generating synthetic vascular trees, based on rigorous model-based mathematical optimization. Our main contribution is the reformulation of finding the optimal global tree geometry into a nonlinear optimization problem (NLP). This rigorous mathematical formulation accommodates efficient solution algorithms such as the interior point method and allows…
▽ More
In this paper, we introduce a new framework for generating synthetic vascular trees, based on rigorous model-based mathematical optimization. Our main contribution is the reformulation of finding the optimal global tree geometry into a nonlinear optimization problem (NLP). This rigorous mathematical formulation accommodates efficient solution algorithms such as the interior point method and allows us to easily change boundary conditions and constraints applied to the tree. Moreover, it creates trifurcations in addition to bifurcations. A second contribution is the addition of an optimization stage for the tree topology. Here, we combine constrained constructive optimization (CCO) with a heuristic approach to search among possible tree topologies. We combine the NLP formulation and the topology optimization into a single algorithmic approach. Finally, we attempt the validation of our new model-based optimization framework using a detailed corrosion cast of a human liver, which allows a quantitative comparison of the synthetic tree structure to the tree structure determined experimentally down to the fifth generation. The results show that our new framework is capable of generating asymmetric synthetic trees that match the available physiological corrosion cast data better than trees generated by the standard CCO approach.
△ Less
Submitted 10 February, 2022; v1 submitted 9 February, 2022;
originally announced February 2022.
-
SABMIS: Sparse approximation based blind multi-image steganography scheme
Authors:
Rohit Agrawal,
Kapil Ahuja,
Marc C. Steinbach,
Thomas Wick
Abstract:
We hide grayscale secret images into a grayscale cover image, which is considered to be a challenging steganography problem. Our goal is to develop a steganography scheme with enhanced embedding capacity while preserving the visual quality of the stego-image as well as the extracted secret image, and ensuring that the stego-image is resistant to steganographic attacks. The novel embedding rule of…
▽ More
We hide grayscale secret images into a grayscale cover image, which is considered to be a challenging steganography problem. Our goal is to develop a steganography scheme with enhanced embedding capacity while preserving the visual quality of the stego-image as well as the extracted secret image, and ensuring that the stego-image is resistant to steganographic attacks. The novel embedding rule of our scheme helps to hide secret image sparse coefficients into the oversampled cover image sparse coefficients in a staggered manner. The stego-image is constructed by using ADMM to solve the LASSO formulation of the underlying minimization problem. Finally, the secret images are extracted from the constructed stego-image using the reverse of our embedding rule. Using these components together, to achieve the above mentioned competing goals, forms our most novel contribution. We term our scheme SABMIS (Sparse Approximation Blind Multi-Image Steganography).
We perform extensive experiments on several standard images. By choosing the size of the secret images to be half of the of cover image, we obtain embedding capacities of 2 bpp (bits per pixel), 4 bpp, 6 bpp, and 8 bpp while embedding one, two, three, and four secret images, respectively. Our focus is on hiding multiple secret images. For the case of hiding two and three secret images, our embedding capacities are higher than all the embedding capacities obtained in the literature until now. For the case of hiding four secret images, although our capacity is slightly lower than one work, we do better on the other two goals; a) very little deterioration in the quality of the stego-images and extracted secret images, and b) inherently and designed-to-be resistant to steganographic attacks. Additionally, we demonstrate that SABMIS executes in few minutes, and show its application on two real-life problems.
△ Less
Submitted 4 September, 2022; v1 submitted 21 October, 2021;
originally announced October 2021.
-
Space-time formulation, discretization, and computations for phase-field fracture optimal control problems
Authors:
Denis Khimin,
Marc C. Steinbach,
Thomas Wick
Abstract:
The purpose of this work is the development of space-time discretization schemes for phase-field optimal control problems. First, a time discretization of the forward problem is derived using a discontinuous Galerkin formulation. Here, a challenge is to include regularization termsand the crack irreversibility constraint. The optimal control setting is formulated by means of the Lagrangian approac…
▽ More
The purpose of this work is the development of space-time discretization schemes for phase-field optimal control problems. First, a time discretization of the forward problem is derived using a discontinuous Galerkin formulation. Here, a challenge is to include regularization termsand the crack irreversibility constraint. The optimal control setting is formulated by means of the Lagrangian approach from which the primal part, adjoint, tangent and adjoint Hessian are derived. Herein the overall Newton algorithm is based on a reduced approach by eliminating the state constraint. From the low-order discontinuous Galerkin discretization, adjoint time-step** schemes are finally obtained. Our algorithmic developments are substantiated and illustrated with some numerical experiments.
△ Less
Submitted 23 March, 2022; v1 submitted 21 October, 2021;
originally announced October 2021.
-
Multigoal-oriented error estimation and mesh adaptivity for fluid-structure interaction
Authors:
K. Ahuja,
B. Endtmayer,
M. C. Steinbach,
T. Wick
Abstract:
In this work, we consider multigoal-oriented error estimation for stationary fluid-structure interaction. The problem is formulated within a variational-monolithic setting using arbitrary Lagrangian-Eulerian coordinates. Employing the dual-weighted residual method for goal-oriented a posteriori error estimation, adjoint sensitivities are required. For multigoal-oriented error estimation, a combine…
▽ More
In this work, we consider multigoal-oriented error estimation for stationary fluid-structure interaction. The problem is formulated within a variational-monolithic setting using arbitrary Lagrangian-Eulerian coordinates. Employing the dual-weighted residual method for goal-oriented a posteriori error estimation, adjoint sensitivities are required. For multigoal-oriented error estimation, a combined functional is formulated such that several quantities of interest are controlled simultaneously. As localization technique for mesh refinement we employ a partition-of-unity. Our algorithmic developments are substantiated with several numerical tests such as an elastic lid-driven cavity with two goal functionals, an elastic bar in a chamber with two goal functionals, and the FSI-1 benchmark with three goal functionals.
△ Less
Submitted 12 August, 2021;
originally announced August 2021.
-
Relations between Abs-Normal NLPs and MPCCs. Part 1: Strong Constraint Qualifications
Authors:
Lisa C. Hegerhorst-Schultchen,
Christian Kirches,
Marc C. Steinbach
Abstract:
This work is part of an ongoing effort of comparing non-smooth optimization problems in abs-normal form to MPCCs. We study the general abs-normal NLP with equality and inequality constraints in relation to an equivalent MPCC reformulation. We show that kink qualifications and MPCC constraint qualifications of linear independence type and Mangasarian-Fromovitz type are equivalent. Then we consider…
▽ More
This work is part of an ongoing effort of comparing non-smooth optimization problems in abs-normal form to MPCCs. We study the general abs-normal NLP with equality and inequality constraints in relation to an equivalent MPCC reformulation. We show that kink qualifications and MPCC constraint qualifications of linear independence type and Mangasarian-Fromovitz type are equivalent. Then we consider strong stationarity concepts with first and second order optimality conditions, which again turn out to be equivalent for the two problem classes. Throughout we also consider specific slack reformulations suggested in [9], which preserve constraint qualifications of linear independence type but not of Mangasarian-Fromovitz type.
△ Less
Submitted 17 February, 2021; v1 submitted 29 July, 2020;
originally announced July 2020.
-
Relations between Abs-Normal NLPs and MPCCs. Part 2: Weak Constraint Qualifications
Authors:
Lisa C. Hegerhorst-Schultchen,
Christian Kirches,
Marc C. Steinbach
Abstract:
This work continues an ongoing effort to compare non-smooth optimization problems in abs-normal form to Mathematical Programs with Complementarity Constraints (MPCCs). We study general Nonlinear Programs with equality and inequality constraints in abs-normal form, so-called Abs-Normal NLPs, and their relation to equivalent MPCC reformulations. We introduce the concepts of Abadie's and Guignard's k…
▽ More
This work continues an ongoing effort to compare non-smooth optimization problems in abs-normal form to Mathematical Programs with Complementarity Constraints (MPCCs). We study general Nonlinear Programs with equality and inequality constraints in abs-normal form, so-called Abs-Normal NLPs, and their relation to equivalent MPCC reformulations. We introduce the concepts of Abadie's and Guignard's kink qualification and prove relations to MPCC-ACQ and MPCC-GCQ for the counterpart MPCC formulations. Due to non-uniqueness of a specific slack reformulation suggested in [10], the relations are non-trivial. It turns out that constraint qualifications of Abadie type are preserved. We also prove the weaker result that equivalence of Guginard's (and Abadie's) constraint qualifications for all branch problems hold, while the question of GCQ preservation remains open. Finally, we introduce M-stationarity and B-stationarity concepts for abs-normal NLPs and prove first order optimality conditions corresponding to MPCC counterpart formulations.
△ Less
Submitted 17 February, 2021; v1 submitted 29 July, 2020;
originally announced July 2020.
-
A Framework for Data-Driven Computational Dynamics Based on Nonlinear Optimization
Authors:
Cristian Guillermo Gebhardt,
Marc Christian Steinbach,
Dominik Schillinger,
Raimund Rolfes
Abstract:
In this article, we present an extension of the formulation recently developed by the authors (A Framework for Data-Driven Computational Mechanics Based on Nonlinear Optimization, arXiv:1910.12736 [math.NA]) to the structural dynamics setting. Inspired by a structure-preserving family of variational integrators, our new formulation relies on a discrete balance equation that establishes the dynamic…
▽ More
In this article, we present an extension of the formulation recently developed by the authors (A Framework for Data-Driven Computational Mechanics Based on Nonlinear Optimization, arXiv:1910.12736 [math.NA]) to the structural dynamics setting. Inspired by a structure-preserving family of variational integrators, our new formulation relies on a discrete balance equation that establishes the dynamic equilibrium. From this point of departure, we first derive an "exact" discrete-continuous nonlinear optimization problem that works directly with data sets. We then develop this formulation further into an "approximate" nonlinear optimization problem that relies on a general constitutive model. This underlying model can be identified from a data set in an offline phase. To showcase the advantages of our framework, we specialize our methodology to the case of a geometrically exact beam formulation that makes use of all elements of our approach. We investigate three numerical examples of increasing difficulty that demonstrate the excellent computational behavior of the proposed framework and motivate future research in this direction.
△ Less
Submitted 22 December, 2019;
originally announced December 2019.
-
A Framework for Data-Driven Computational Mechanics Based on Nonlinear Optimization
Authors:
Cristian Guillermo Gebhardt,
Dominik Schillinger,
Marc Christian Steinbach,
Raimund Rolfes
Abstract:
Data-Driven Computational Mechanics is a novel computing paradigm that enables the transition from standard data-starved approaches to modern data-rich approaches. At this early stage of development, one can distinguish two mainstream directions. The first one relies on a discrete-continuous optimization problem and seeks to assign to each material point a point in the phase space that satisfies c…
▽ More
Data-Driven Computational Mechanics is a novel computing paradigm that enables the transition from standard data-starved approaches to modern data-rich approaches. At this early stage of development, one can distinguish two mainstream directions. The first one relies on a discrete-continuous optimization problem and seeks to assign to each material point a point in the phase space that satisfies compatibility and equilibrium, while being closest to the data set provided. The second one is a data driven inverse approach that seeks to reconstruct a constitutive manifold from data sets by manifold learning techniques, relying on a well-defined functional structure of the underlying constitutive law. In this work, we propose a third route that combines the strengths of the two existing directions and mitigates some of their weaknesses. This is achieved by the formulation of an approximate nonlinear optimization problem, which can be robustly solved, is computationally efficient, and does not rely on any special functional structure of the reconstructed constitutive manifold. Additional benefits include the natural incorporation of kinematic constraints and the possibility to operate with implicitly defined stress-strain relations. We discuss important mathematical aspects of our approach for a data-driven truss element and investigate its key numerical behavior for a data-driven beam element that makes use of all components of our methodology.
△ Less
Submitted 28 October, 2019;
originally announced October 2019.
