arXiv subjects

Jan Zeman

Publications and source records attributed to Jan Zeman.

At least 19 recordsLinked to original sources

arXiv2026

A Quasicontinuum Method with Optimized Local Maximum-Entropy Interpolation and Heaviside Enrichment for Heterogeneous Lattices

Lattice systems are effective for modeling heterogeneous materials, but their computational cost is often prohibitive. The QuasiContinuum (QC) method reduces this cost by interpolating the lattice response over a coarse finite-element mesh, yet material interfaces in heterogeneous systems still require fine discretizations. Enrichment strategies from the eXtended Finite Element Method (XFEM) address this by representing interfaces on nonconforming meshes. In this work, we combine Heaviside enrichment with meshless Local Maximum Entropy (LME) interpolation in the QC framework for heterogeneous lattice systems. We systematically investigate the role of the LME locality parameter and its optimization. The results show that optimized LME interpolation improves displacement accuracy by about one order of magnitude over QC with linear interpolation at the same number of degrees of freedom. In addition, the optimal locality-parameter fields are nonuniform near interfaces and exhibit systematic spatial structure. Based on these observations, we derive simple pattern-based rules that retain much of the benefit of full optimization at a fraction of the computational cost. The approach is demonstrated on three numerical examples.

math.NA↗

arXiv2026

Minimum-weight frames under subresonant harmonic excitation: Robust constraints on dynamic compliance, peak input power, and eigenfrequencies

This work addresses minimum-weight design of undamped Euler-Bernoulli frame structures under subresonant single-frequency harmonic excitations, focusing on (robust) dynamic compliance and (robust) peak input power with ellipsoidal load uncertainty. We develop a semidefinite reformulation of robust dynamic compliance for subresonant single-frequency excitation and prove its equivalence to robust peak input power. We show that both these response measures admit an exact reformulation as a free-vibration eigenvalue constraint with design-independent mass augmentation, unifying static, dynamic, and modal requirements. Despite the nonconvex polynomial dependence on cross-sectional areas, certified bounds on global minimizers are obtained via the moment-sum-of-squares hierarchy of semidefinite relaxations. Benchmark studies on 10- and 35-segment frames corroborate the theory. For the 10-segment problem, we obtain the global optimum; for the 35-segment frame, we find high-quality locally-optimal designs that substantially improve on the best known one. We further fabricate and experimentally validate an additional design that closely matches the predictions of the model.

math.OC↗

arXiv2025

Jacobi-accelerated FFT-based solver for smooth high-contrast data

The computational efficiency and rapid convergence of fast Fourier transform (FFT)-based solvers render them a powerful numerical tool for periodic cell problems in multiscale modeling. On regular grids, they tend to outperform traditional numerical methods. However, we show that their convergence slows down significantly when applied to microstructures with smooth, highly-contrasted coefficients. To address this loss of performance, we introduce a Green-Jacobi preconditioner, an enhanced successor to the standard discrete Green preconditioner that preserves the quasilinear complexity, $\mathcal{O}(N \log N)$, of conventional FFT-based solvers. Through numerical experiments, we demonstrate the effectiveness of the Jacobi-accelerated FFT (J-FFT) solver within a linear elastic framework. For problems characterized by smooth data and high material contrast, J-FFT significantly reduces the iteration count of the conjugate gradient method compared to the standard Green preconditioner. These findings are particularly relevant for phase-field fracture simulations, density-based topology optimization, and solvers that use adaption of the grid, which all introduce smooth variations in the material properties that challenge conventional FFT-based solvers.

math.NA↗

arXiv2024

Towards active stiffness control in pattern-forming pneumatic metamaterials

Pattern-forming metamaterials feature microstructures specifically designed to change the material's macroscopic properties due to internal instabilities. These can be triggered either by mechanical deformation or, in the case of active materials, by other external stimuli, such as pneumatic actuation. We study a two-dimensional rectangular lattice microstructure which is pneumatically actuated by non-uniform pressure patterns in its voids, and demonstrate that this actuation may lead toifferent instability patterns. The patterns are associated with a significant reduction in the macroscopic stiffness of the material. The magnitude of this reduction can be controlled by different arrangements of the pressure actuation, thus choosing the precise buckled shape of the microstructure. We develop an analytical model and complement it with computational tests on a two-dimensional plane-strain finite element model. We explain the phenomenon and discuss ways of further developing the concept to actively control the stiffness of materials and structures.

physics.app-ph↗

arXiv2024

Global weight optimization of frame structures under free-vibration eigenvalue constraints

Topology optimization of frame structures under free-vibration eigenvalue constraints constitutes a challenging nonconvex polynomial optimization problem with disconnected feasible sets. In this article, we first formulate it as a polynomial semidefinite programming problem (SDP) of minimizing a linear function over a basic semi-algebraic feasible set. We then propose to solve this problem by Lasserre hierarchy of linear semidefinite relaxations providing a sequence of increasing lower bounds. To obtain also a sequence of upper bounds and thus conditions on global $\varepsilon$-optimality, we provide a bilevel reformulation that exhibits a special structure: The lower level is quasiconvex univariate and it has a non-empty interior if the constraints of the upper-level problem are satisfied. After deriving the conditions for the solvability of the lower-level problem, we thus provide a way to construct feasible points to the original SDP. Using such a feasible point, we modify the original nonlinear SDP to satisfy the conditions for the deployment of the Lasserre hierarchy. Solving arbitrary degree relaxation of the hierarchy, we prove that scaled first-order moments associated with the problem variables satisfy feasibility conditions for the lower-level problem and thus provide guaranteed upper and lower bounds on the objective function. Using these bounds, we develop a simple sufficient condition for global $\varepsilon$-optimality and prove that the optimality gap $\varepsilon$ converges to zero if the set of global minimizers is convex. Finally, we illustrate these results with four representative problems for which the hierarchy converges in at most five relaxation degrees

math.OC↗

arXiv2023

Simulating progressive failure in laminated glass beams with a layer-wise randomized phase-field solver

Laminated glass achieves improved post-critical response through the composite effect of stiff glass layers and more compliant polymer films, manifested in progressive layer failure by multiple localized cracks. As a result, laminated glass exhibits greater ductility than non-laminated glass, making structures made with it suitable for safety-critical applications while maintaining their aesthetic qualities. However, such post-critical response is challenging to reproduce using deterministic failure models, which mostly predict failure through a single through-thickness crack localized simultaneously in all layers. This numerical-experimental study explores the extent to which progressive failure can be predicted by a simple randomized model, where layer-wise tensile strength is modeled by independent, identically distributed Weibull variables. On the numerical side, we employ a computationally efficient, dimensionally-reduced phase field formulation -- with each layer considered to be a Timoshenko beam -- to study progressive failure through combinatorial analysis and detailed Monte Carlo simulations. The reference experimental data were obtained from displacement-controlled four-point bending tests performed on multi-layer laminated glass beams. For certain combinations of the glass layer strengths, results show that the randomized model can reproduce progressive structural failure and the formation of multiple localized cracks in the glass layers. However, the predicted response was less ductile than that observed in experiments, and the model could not reproduce the most frequent glass layer failure sequence. These findings highlight the need to consider strength variability along the length of a beam and to include it in phase-field formulations.

cs.CE↗

arXiv2023

Extended Quasicontinuum Methodology for Highly Heterogeneous Discrete Systems

Lattice networks are indispensable to study heterogeneous materials such as concrete or rock as well as textiles and woven fabrics. Due to the discrete character of lattices, they quickly become computationally intensive. The QuasiContinuum (QC) Method resolves this challenge by interpolating the displacement of the underlying lattice with a coarser finite element mesh and sampling strategies to accelerate the assembly of the resulting system of governing equations. In lattices with complex heterogeneous microstructures with a high number of randomly shaped inclusions the QC leads to an almost fully-resolved system due to the many interfaces. In the present study the QC Method is expanded with enrichment strategies from the eXtended Finite Element Method (XFEM) to resolve material interfaces using nonconforming meshes. The goal of this contribution is to bridge this gap and improve the computational efficiency of the method. To this end, four different enrichment strategies are compared in terms of their accuracy and convergence behavior. These include the Heaviside, absolute value, modified absolute value and the corrected XFEM enrichment. It is shown that the Heaviside enrichment is the most accurate and straightforward to implement. A first-order interaction based summation rule is applied and adapted for the extended QC for elements intersected by a material interface to complement the Heaviside enrichment. The developed methodology is demonstrated by three numerical examples in comparison with the standard QC and the full solution. The extended QC is also able to predict the results with 5 percent error compared to the full solution, while employing almost one order of magnitude fewer degrees of freedom than the standard QC and even more compared to the fully-resolved system.

cond-mat.mtrl-sci↗

arXiv2023

Wang tiles enable combinatorial design and robot-assisted manufacturing of modular mechanical metamaterials

In this paper, we introduce a novel design paradigm for modular architectured materials that allows for spatially nonuniform designs from a handful of building blocks, which can be robotically assembled for efficient and scalable production. The traditional, design-limiting periodicity in material design is overcome by utilizing Wang tiles to achieve compatibility among building blocks. We illustrate our approach with the design and manufacturing of an L-shaped domain inspired by a scissor-like soft gripper, whose internal module distribution was optimized to achieve an extreme tilt of a tip of the gripper's jaw when the handle part was uniformly compressed. The geometry of individual modules was built on a 3$\times$3 grid of elliptical holes with varying semi-axes ratios and alternating orientations. We optimized the distribution of the modules within the L-shaped domain using an enumeration approach combined with a factorial search strategy. To address the challenge of seamless interface connections in modular manufacturing, we produced the final designs by casting silicone rubber into modular molds automatically assembled by a robotic arm. The predicted performance was validated experimentally using a custom-built, open-hardware test rig, Thymos, supplemented with digital image correlation measurements. Our study demonstrates the potential for enhancing the mechanical performance of architectured materials by incorporating nonuniform modular designs and efficient robot-assisted manufacturing.

cond-mat.mtrl-sci↗

arXiv2023

Preconditioned discontinuous Galerkin method and convection-diffusion-reaction problems with guaranteed bounds to resulting spectra

This paper focuses on the design, analysis and implementation of a new preconditioning concept for linear second order partial differential equations, including the convection-diffusion-reaction problems discretized by Galerkin or discontinuous Galerkin methods. We expand on the approach introduced by Gergelits et al. and adapt it to the more general settings, assuming that both the original and preconditioning matrices are composed of sparse matrices of very low ranks, representing local contributions to the global matrices. When applied to a symmetric problem, the method provides bounds to all individual eigenvalues of the preconditioned matrix. We show that this preconditioning strategy works not only for Galerkin discretization, but also for the discontinuous Galerkin discretization, where local contributions are associated with individual edges of the triangulation. In the case of non-symmetric problems, the method yields guaranteed bounds to real and imaginary parts of the resulting eigenvalues. We include some numerical experiments illustrating the method and its implementation, showcasing its effectiveness for the two variants of discretized (convection-)diffusion-reaction problems.

math.NA↗

arXiv2023

Bayesian Approach to Micromechanical Parameter Identification Using Integrated Digital Image Correlation

Materials with heterogeneous structures exhibit complex physical processes such as delamination, cracks, and plasticity, which require micromechanical parameters for understanding. However, identifying these parameters is challenging due to micro-macro length scale differences, ambiguity in boundary conditions, and required high resolution, among others. While the Integrated Digital Image Correlation (IDIC) method is widely used for this purpose, it suffers from sensitivity to boundary data errors and limited identification of parameters within well-posed problems. To address these issues, a Bayesian approach is proposed for micromechanical parameter identification using the Metropolis--Hastings Algorithm (MHA) to estimate probability distributions of bulk and shear moduli and boundary condition parameters. The proposed approach is compared to two versions of deterministic IDIC method under artificially introduced errors. Although MHA is computationally more expensive and in certain cases less accurate than BE-IDIC, it offers significant advantages, including the ability to optimize a large number of parameters, obtain statistical characterization and insights into individual parameter relationships. The paper highlights the benefits of the non-normalized approach to parameter identification with MHA, which significantly improves the robustness in handling boundary noise, compared to deterministic IDIC. The study considers a fiber-reinforced composite sample under plane strain assumption.

math.AP↗

arXiv2022

Efficient numerical method for reliable upper and lower bounds on homogenized parameters

A numerical procedure providing guaranteed two-sided bounds on the effective coefficients of elliptic partial differential operators is presented. The upper bounds are obtained in a standard manner through the variational formulation of the problem and by applying the finite element method. To obtain the lower bounds we formulate the dual variational problem and introduce appropriate approximation spaces employing the finite element method as well. We deal with the 3D setting, which has been rarely considered in the literature so far. The theoretical justification of the procedure is presented and supported with illustrative examples.

math.NA↗

arXiv2022

On bounded Wang tilings

Wang tiles enable efficient pattern compression while avoiding the periodicity in tile distribution via programmable matching rules. However, most research in Wang tilings has considered tiling the infinite plane. Motivated by emerging applications in materials engineering, we consider the bounded version of the tiling problem and offer four integer programming formulations to construct valid or nearly-valid Wang tilings: a decision, maximum-rectangular tiling, maximum cover, and maximum adjacency constraint satisfaction formulations. To facilitate a finer control over the resulting tilings, we extend these programs with tile-based, color-based, packing, and variable-sized periodic constraints. Furthermore, we introduce an efficient heuristic algorithm for the maximum-cover variant based on the shortest path search in directed acyclic graphs and derive simple modifications to provide a $1/2$ approximation guarantee for arbitrary tile sets, and a $2/3$ guarantee for tile sets with cyclic transducers. Finally, we benchmark the performance of the integer programming formulations and of the heuristic algorithms showing that the heuristics provides very competitive outputs in a fraction of time. As a by-product, we reveal errors in two well-known aperiodic tile sets: the Knuth tile set contains a tile unusable in two-way infinite tilings, and the Lagae corner tile set is not aperiodic.

math.OC↗

arXiv2022

Optimal FFT-accelerated Finite Element Solver for Homogenization

We propose a matrix-free finite element (FE) homogenization scheme that is considerably more efficient than generic FE implementations. The efficiency of our scheme follows from a preconditioned well-scaled reformulation allowing for the use of the conjugate gradient or similar iterative solvers. The geometrically-optimal preconditioner -- a discretized Green's function of a periodic homogeneous reference problem -- has a block-diagonal structure in the Fourier space which permits its efficient inversion using the fast Fourier transform (FFT) techniques for generic regular meshes. This implies that the scheme scales as $\mathcal{O}(n \log(n))$ like FFT, rendering it equivalent to spectral solvers in terms of computational efficiency. However, in contrast to classical spectral solvers, the proposed scheme works with FE shape functions with local supports and is free of the Fourier ringing phenomenon. We showcase that the scheme achieves the number of iterations that are almost independent of spatial discretisation and scales mildly with the phase contrast. Additionally, we discuss the equivalence between our displacement-based scheme and the recently proposed strain-based homogenization technique with finite-element projection.

math.NA↗

arXiv2021

Comparison of FETI-based domain decomposition methods for topology optimization problems

We critically assess the performance of several variants of dual and dual-primal domain decomposition strategies in problems with fixed subdomain partitioning and high heterogeneity in stiffness coefficients typically arising in topology optimization of modular structures. Our study considers Total FETI and FETI Dual-Primal methods along with three enhancements: k-scaling, full orthogonalization of the search directions, and considering multiple search-direction at once, which gives us twelve variants in total. We test these variants both on academic examples and snapshots of topology optimization iterations. Based on the results, we conclude that (i) the original methods exhibit very slow convergence in the presence of severe heterogeneity in stiffness coefficients, which makes them practically useless, (ii) the full orthogonalization enhancement helps only for mild heterogeneity, and (iii) the only robust method is FETI Dual-Primal with multiple search direction and k-scaling.

cs.CE↗

arXiv2021

Modular-topology optimization of structures and mechanisms with free material design and clustering

Topology optimization of modular structures and mechanisms enables balancing the performance of automatically-generated individualized designs, as required by Industry 4.0, with enhanced sustainability by means of component reuse. For optimal modular design, two key questions must be answered: (i) what should the topology of individual modules be like and (ii) how should modules be arranged at the product scale? We address these challenges by proposing a bi-level sequential strategy that combines free material design, clustering techniques, and topology optimization. First, using free material optimization enhanced with post-processing for checkerboard suppression, we determine the distribution of elasticity tensors at the product scale. To extract the sought-after modular arrangement, we partition the obtained elasticity tensors with a novel deterministic clustering algorithm and interpret its outputs within Wang tiling formalism. Finally, we design interiors of individual modules by solving a single-scale topology optimization problem with the design space reduced by modular mapping, conveniently starting from an initial guess provided by free material optimization. We illustrate these developments with three benchmarks first, covering compliance minimization of modular structures, and, for the first time, the design of non-periodic compliant modular mechanisms. Furthermore, we design a set of modules reusable in an inverter and in gripper mechanisms, which ultimately pave the way towards the rational design of modular architectured (meta)materials.

cond-mat.mtrl-sci↗

arXiv2021

Microstructure reconstruction via artificial neural networks: A combination of causal and non-causal approach

We investigate the applicability of artificial neural networks (ANNs) in reconstructing a sample image of a sponge-like microstructure. We propose to reconstruct the image by predicting the phase of the current pixel based on its causal neighbourhood, and subsequently, use a non-causal ANN model to smooth out the reconstructed image as a form of post-processing. We also consider the impacts of different configurations of the ANN model (e.g. number of densely connected layers, number of neurons in each layer, the size of both the causal and non-causal neighbourhood) on the models' predictive abilities quantified by the discrepancy between the spatial statistics of the reference and the reconstructed sample.

cond-mat.mtrl-sci↗

arXiv2021

Experimental study on the gradual fracture of layers in multi-layer laminated glass plates under low-velocity impact

Through pendulum impact testing on suspended samples, we demonstrate the effect of the multi-layer layout on the low-velocity impact response of laminated glass plates consisting of three or four glass layers and PVB interlayers. Non-destructive tests proved the repeatability and the consistency of performed experiments. Destructive tests revealed significant differences in impact energies and breakage forces leading to glass fracture for individual specimens under impacts of increasing height. Nevertheless, the fracture consistently initiated in outer glass layers around the impact point and vibrations of partially fractured samples exhibited similar first natural frequencies. Partially fractured samples also withstood in many cases higher contact forces than those leading to the fracture of the previous glass layer, and PVB interlayers provided a stiff shear connection between glass layers for all impact heights. Altogether, our experimental results provide comprehensive information on the pre-fracture, fracture, and post-fracture response of laminated glass, suitable particularly for validating computational models for multi-layer glass samples under low-velocity impact.

physics.app-ph↗

arXiv2021

Elimination of ringing artifacts by finite-element projection in FFT-based homogenization

Micromechanical homogenization is often carried out with Fourier-accelerated methods that are prone to ringing artifacts. We here generalize the compatibility projection introduced by Vond\v{r}ejc, Zeman & Marek [Comput. Math. Appl. 68, 156 (2014)] beyond the Fourier basis. In particular, we formulate the compatibility projection for linear finite elements while maintaining Fourier-acceleration and the fast convergence properties of the original method. We demonstrate that this eliminates ringing artifacts and yields an efficient computational homogenization scheme that is equivalent to canonical finite-element formulations on fully structured grids.

math.NA↗