Showing 1–34 of 34 results for author: Cirak, F

Bayesian buckling load optimisation for structures with geometric uncertainties

Authors: Tianyi Liu, Xiao Xiao, Fehmi Cirak

Abstract: Optimised lightweight structures, such as shallow domes and slender towers, are prone to sudden buckling failure because geometric uncertainties/imperfections can lead to a drastic reduction in their buckling loads. We introduce a framework for the robust optimisation of buckling loads, considering geometric nonlinearities and random geometric imperfections. The mean and standard deviation of buck… ▽ More Optimised lightweight structures, such as shallow domes and slender towers, are prone to sudden buckling failure because geometric uncertainties/imperfections can lead to a drastic reduction in their buckling loads. We introduce a framework for the robust optimisation of buckling loads, considering geometric nonlinearities and random geometric imperfections. The mean and standard deviation of buckling loads are estimated by Monte Carlo sampling of random imperfections and performing a nonlinear finite element computation for each sample. The extended system method is employed to compute the buckling load directly, avoiding costly path-following procedures. Furthermore, the quasi-Monte Carlo sampling using the Sobol sequence is implemented to generate more uniformly distributed samples, which significantly reduces the number of finite element computations. The objective function consisting of the weighted sum of the mean and standard deviation of the buckling load is optimised using Bayesian optimisation. The accuracy and efficiency of the proposed framework are demonstrated through robust sizing optimisation of several geometrically nonlinear truss examples. △ Less

Submitted 8 January, 2025; originally announced January 2025.

Comments: 20 pages, 19 figures

Multi-view Bayesian optimisation in reduced dimension for engineering design

Authors: Thomas A. Archbold, Ieva Kazlauskaite, Fehmi Cirak

Abstract: Bayesian optimisation is an adaptive sampling strategy for constructing a Gaussian process surrogate to emulate a black-box computational model with the aim of efficiently searching for the global minimum. However, Gaussian processes have limited applicability for engineering problems with many design variables. Their scalability can be significantly improved by identifying a low-dimensional vecto… ▽ More Bayesian optimisation is an adaptive sampling strategy for constructing a Gaussian process surrogate to emulate a black-box computational model with the aim of efficiently searching for the global minimum. However, Gaussian processes have limited applicability for engineering problems with many design variables. Their scalability can be significantly improved by identifying a low-dimensional vector of latent variables that serve as inputs to the Gaussian process. In this paper, we introduce a multi-view learning strategy that considers both the input design variables and output data representing the objective or constraint functions, to identify a low-dimensional space of latent variables. Adopting a fully probabilistic viewpoint, we use probabilistic partial least squares (PPLS) to learn an orthogonal mapping from the design variables to the latent variables using training data consisting of inputs and outputs of the black-box computational model. The latent variables and posterior probability densities of the probabilistic partial least squares and Gaussian process models are determined sequentially and iteratively, with retraining occurring at each adaptive sampling iteration. We compare the proposed probabilistic partial least squares Bayesian optimisation (PPLS-BO) strategy to its deterministic counterpart, partial least squares Bayesian optimisation (PLS-BO), and classical Bayesian optimisation, demonstrating significant improvements in convergence to the global minimum. △ Less

Submitted 2 January, 2025; originally announced January 2025.

Comments: 27 pages, 15 figures

Mechanical State Estimation with a Polynomial-Chaos-Based Statistical Finite Element Method

Authors: Vahab Narouie, Henning Wessels, Fehmi Cirak, Ulrich Römer

Abstract: The Statistical Finite Element Method (statFEM) offers a Bayesian framework for integrating computational models with observational data, thus providing improved predictions for structural health monitoring and digital twinning. This paper presents an efficient sampling-free statFEM tailored for non-conjugate, non-Gaussian prior probability densities. We assume that constitutive parameters, modele… ▽ More The Statistical Finite Element Method (statFEM) offers a Bayesian framework for integrating computational models with observational data, thus providing improved predictions for structural health monitoring and digital twinning. This paper presents an efficient sampling-free statFEM tailored for non-conjugate, non-Gaussian prior probability densities. We assume that constitutive parameters, modeled as weakly stationary random fields, are the primary source of uncertainty and approximate them using Karhunen-Loève (KL) expansion. The resulting stochastic solution field, i.e., the displacement field, is a non-stationary, non-Gaussian random field, which we approximate via Polynomial Chaos (PC) expansion. The PC coefficients are determined through projection using Smolyak sparse grids. Additionally, we model the measurement noise as a stationary Gaussian random field and the model misspecification as a mean-free, non-stationary Gaussian random field, which is also approximated using KL expansion. The coefficients of the KL expansion are treated as hyperparameters. The PC coefficients of the stochastic posterior displacement field are computed using the Gauss-Markov-Kálmán filter, while the hyperparameters are determined by maximizing the marginal likelihood. We demonstrate the efficiency and convergence of the proposed method through one- and two-dimensional elastostatic problems. △ Less

Submitted 25 March, 2025; v1 submitted 6 December, 2024; originally announced December 2024.

Comments: 43 Pages, 21 figures

Variational Bayesian surrogate modelling with application to robust design optimisation

Authors: Thomas A. Archbold, Ieva Kazlauskaite, Fehmi Cirak

Abstract: Surrogate models provide a quick-to-evaluate approximation to complex computational models and are essential for multi-query problems like design optimisation. The inputs of current deterministic computational models are usually high-dimensional and uncertain. We consider Bayesian inference for constructing statistical surrogates with input uncertainties and intrinsic dimensionality reduction. The… ▽ More Surrogate models provide a quick-to-evaluate approximation to complex computational models and are essential for multi-query problems like design optimisation. The inputs of current deterministic computational models are usually high-dimensional and uncertain. We consider Bayesian inference for constructing statistical surrogates with input uncertainties and intrinsic dimensionality reduction. The surrogate is trained by fitting to data obtained from a deterministic computational model. The assumed prior probability density of the surrogate is a Gaussian process. We determine the respective posterior probability density and parameters of the posited statistical model using variational Bayes. The non-Gaussian posterior is approximated by a Gaussian trial density with free variational parameters and the discrepancy between them is measured using the Kullback-Leibler (KL) divergence. We employ the stochastic gradient method to compute the variational parameters and other statistical model parameters by minimising the KL divergence. We demonstrate the accuracy and versatility of the proposed reduced dimension variational Gaussian process (RDVGP) surrogate on illustrative and robust structural optimisation problems where cost functions depend on a weighted sum of the mean and standard deviation of model outputs. △ Less

Submitted 11 October, 2024; v1 submitted 23 April, 2024; originally announced April 2024.

Comments: 30 pages, 14 figures

Journal ref: Comput. Methods Appl. Mech. Engrg. 432 (2024) 117423

Point collocation with mollified piecewise polynomial approximants for high-order partial differential equations

Authors: Dewangga Alfarisy, Lavi Zuhal, Michael Ortiz, Fehmi Cirak, Eky Febrianto

Abstract: The solution approximation for partial differential equations (PDEs) can be substantially improved using smooth basis functions. The recently introduced mollified basis functions are constructed through mollification, or convolution, of cell-wise defined piecewise polynomials with a smooth mollifier of certain characteristics. The properties of the mollified basis functions are governed by the ord… ▽ More The solution approximation for partial differential equations (PDEs) can be substantially improved using smooth basis functions. The recently introduced mollified basis functions are constructed through mollification, or convolution, of cell-wise defined piecewise polynomials with a smooth mollifier of certain characteristics. The properties of the mollified basis functions are governed by the order of the piecewise functions and the smoothness of the mollifier. In this work, we exploit the high-order and high-smoothness properties of the mollified basis functions for solving PDEs through the point collocation method. The basis functions are evaluated at a set of collocation points in the domain. In addition, boundary conditions are imposed at a set of boundary collocation points distributed over the domain boundaries. To ensure the stability of the resulting linear system of equations, the number of collocation points is set larger than the total number of basis functions. The resulting linear system is overdetermined and is solved using the least square technique. The presented numerical examples confirm the convergence of the proposed approximation scheme for Poisson, linear elasticity, and biharmonic problems. We study in particular the influence of the mollifier and the spatial distribution of the collocation points. △ Less

Submitted 28 June, 2024; v1 submitted 26 February, 2024; originally announced February 2024.

Journal ref: Int J Numer Methods Eng. 2024;e7548

A three-grid high-order immersed finite element method for the analysis of CAD models

Authors: Eky Febrianto, Jakub Sistek, Pavel Kus, Matija Kecman, Fehmi Cirak

Abstract: The automated finite element analysis of complex CAD models using boundary-fitted meshes is rife with difficulties. Immersed finite element methods are intrinsically more robust but usually less accurate. In this work, we introduce an efficient, robust, high-order immersed finite element method for complex CAD models. Our approach relies on three adaptive structured grids: a geometry grid for repr… ▽ More The automated finite element analysis of complex CAD models using boundary-fitted meshes is rife with difficulties. Immersed finite element methods are intrinsically more robust but usually less accurate. In this work, we introduce an efficient, robust, high-order immersed finite element method for complex CAD models. Our approach relies on three adaptive structured grids: a geometry grid for representing the implicit geometry, a finite element grid for discretising physical fields and a quadrature grid for evaluating the finite element integrals. The geometry grid is a sparse VDB (Volumetric Dynamic B+ tree) grid that is highly refined close to physical domain boundaries. The finite element grid consists of a forest of octree grids distributed over several processors, and the quadrature grid in each finite element cell is an octree grid constructed in a bottom-up fashion. We discretise physical fields on the finite element grid using high-order Lagrange basis functions. The resolution of the quadrature grid ensures that finite element integrals are evaluated with sufficient accuracy and that any sub-grid geometric features, like small holes or corners, are resolved up to a desired resolution. The conceptual simplicity and modularity of our approach make it possible to reuse open-source libraries, i.e. openVDB and p4est for implementing the geometry and finite element grids, respectively, and BDDCML for iteratively solving the discrete systems of equations in parallel using domain decomposition. We demonstrate the efficiency and robustness of the proposed approach by solving the Poisson equation on domains given by complex CAD models and discretised with tens of millions of degrees of freedom. △ Less

Submitted 4 July, 2024; v1 submitted 15 January, 2024; originally announced January 2024.

Towards Quantum Computational Mechanics

Authors: Burigede Liu, Michael Ortiz, Fehmi Cirak

Abstract: The advent of quantum computers, operating on entirely different physical principles and abstractions from those of classical digital computers, sets forth a new computing paradigm that can potentially result in game-changing efficiencies and computational performance. Specifically, the ability to simultaneously evolve the state of an entire quantum system leads to quantum parallelism and interfer… ▽ More The advent of quantum computers, operating on entirely different physical principles and abstractions from those of classical digital computers, sets forth a new computing paradigm that can potentially result in game-changing efficiencies and computational performance. Specifically, the ability to simultaneously evolve the state of an entire quantum system leads to quantum parallelism and interference. Despite these prospects, opportunities to bring quantum computing to bear on problems of computational mechanics remain largely unexplored. In this work, we demonstrate how quantum computing can indeed be used to solve representative volume element (RVE) problems in computational homogenisation with polylogarithmic complexity of $\mathcal{O}((\log N)^c)$, compared to $\mathcal{O}(N^c)$ in classical computing. Thus, our quantum RVE solver attains exponential acceleration with respect to classical solvers, bringing concurrent multiscale computing closer to practicality. The proposed quantum RVE solver combines conventional algorithms such as a fixed-point iteration for a homogeneous reference material and the Fast Fourier Transform (FFT). However, the quantum computing reformulation of these algorithms requires a fundamental paradigm shift and a complete rethinking and overhaul of the classical implementation. We employ or develop several techniques, including the Quantum Fourier Transform (QFT), quantum encoding of polynomials, classical piecewise Chebyshev approximation of functions and an auxiliary algorithm for implementing the fixed-point iteration and show that, indeed, an efficient implementation of RVE solvers on quantum computers is possible. We additionally provide theoretical proofs and numerical evidence confirming the anticipated $\mathcal{O} \left ((\log N)^c \right)$ complexity of the proposed solver. △ Less

Submitted 7 October, 2024; v1 submitted 6 December, 2023; originally announced December 2023.

Robust topology optimisation of lattice structures with spatially correlated uncertainties

Authors: Ismael Ben-Yelun, Ahmet Oguzhan Yuksel, Fehmi Cirak

Abstract: The uncertainties in material and other properties of structures are usually spatially correlated. We introduce an efficient technique for representing and processing spatially correlated random fields in robust topology optimisation of lattice structures. Robust optimisation considers the statistics of the structural response to obtain a design whose performance is less sensitive to the specific… ▽ More The uncertainties in material and other properties of structures are usually spatially correlated. We introduce an efficient technique for representing and processing spatially correlated random fields in robust topology optimisation of lattice structures. Robust optimisation considers the statistics of the structural response to obtain a design whose performance is less sensitive to the specific realisation of the random field. We represent Gaussian random fields on lattices by leveraging the established link between random fields and stochastic partial differential equations (SPDEs). It is known that the precision matrix, i.e. the inverse of the covariance matrix, of a random field with Matérn covariance is equal to the finite element stiffness matrix of a possibly fractional PDE with a second-order elliptic operator. We consider the discretisation of the PDE on the lattice to obtain a random field which, by design, considers its geometry and connectivity. The so-obtained random field can be interpreted as a physics-informed prior by the hypothesis that the elliptic SPDE models the physical processes occurring during manufacturing, like heat and mass diffusion. Although the proposed approach is general, we demonstrate its application to lattices modelled as pin-jointed trusses with uncertainties in member Young's moduli. We consider as a cost function the weighted sum of the expectation and standard deviation of the structural compliance. To compute the expectation and standard deviation and their gradients with respect to member cross-sections we use a first-order Taylor series approximation. The cost function and its gradient are computed using only sparse matrix operations. We demonstrate the efficiency of the proposed approach using several lattice examples with isotropic, anisotropic and non-stationary random fields and up to eighty thousand random and optimisation variables. △ Less

Submitted 22 December, 2023; v1 submitted 28 August, 2023; originally announced August 2023.

Stochastic PDE representation of random fields for large-scale Gaussian process regression and statistical finite element analysis

Authors: Kim Jie Koh, Fehmi Cirak

Abstract: The efficient representation of random fields on geometrically complex domains is crucial for Bayesian modelling in engineering and machine learning. Today's prevalent random field representations are either intended for unbounded domains or are too restrictive in terms of possible field properties. Because of these limitations, techniques leveraging the historically established link between stoch… ▽ More The efficient representation of random fields on geometrically complex domains is crucial for Bayesian modelling in engineering and machine learning. Today's prevalent random field representations are either intended for unbounded domains or are too restrictive in terms of possible field properties. Because of these limitations, techniques leveraging the historically established link between stochastic PDEs (SPDEs) and random fields have been gaining interest. The SPDE representation is especially appealing for engineering applications which already have a finite element discretisation for solving the physical conservation equations. In contrast to the dense covariance matrix of a random field, its inverse, the precision matrix, is usually sparse and equal to the stiffness matrix of an elliptic SPDE. We use the SPDE representation to develop a scalable framework for large-scale statistical finite element analysis and Gaussian process (GP) regression on complex geometries. The statistical finite element method (statFEM) introduced by Girolami et al. (2022) is a novel approach for synthesising measurement data and finite element models. In both statFEM and GP regression, we use the SPDE formulation to obtain the relevant prior probability densities with a sparse precision matrix. The properties of the priors are governed by the parameters and possibly fractional order of the SPDE so that we can model on bounded domains and manifolds anisotropic, non-stationary random fields with arbitrary smoothness. The observation models for statFEM and GP regression are such that the posterior probability densities are Gaussians with a closed-form mean and precision. The respective mean vector and precision matrix and can be evaluated using only sparse matrix operations. We demonstrate the versatility of the proposed framework and its convergence properties with Poisson and thin-shell examples. △ Less

Submitted 5 September, 2023; v1 submitted 23 May, 2023; originally announced May 2023.

Random Grid Neural Processes for Parametric Partial Differential Equations

Authors: Arnaud Vadeboncoeur, Ieva Kazlauskaite, Yanni Papandreou, Fehmi Cirak, Mark Girolami, Ömer Deniz Akyildiz

Abstract: We introduce a new class of spatially stochastic physics and data informed deep latent models for parametric partial differential equations (PDEs) which operate through scalable variational neural processes. We achieve this by assigning probability measures to the spatial domain, which allows us to treat collocation grids probabilistically as random variables to be marginalised out. Adapting this… ▽ More We introduce a new class of spatially stochastic physics and data informed deep latent models for parametric partial differential equations (PDEs) which operate through scalable variational neural processes. We achieve this by assigning probability measures to the spatial domain, which allows us to treat collocation grids probabilistically as random variables to be marginalised out. Adapting this spatial statistics view, we solve forward and inverse problems for parametric PDEs in a way that leads to the construction of Gaussian process models of solution fields. The implementation of these random grids poses a unique set of challenges for inverse physics informed deep learning frameworks and we propose a new architecture called Grid Invariant Convolutional Networks (GICNets) to overcome these challenges. We further show how to incorporate noisy data in a principled manner into our physics informed model to improve predictions for problems where data may be available but whose measurement location does not coincide with any fixed mesh or grid. The proposed method is tested on a nonlinear Poisson problem, Burgers equation, and Navier-Stokes equations, and we provide extensive numerical comparisons. We demonstrate significant computational advantages over current physics informed neural learning methods for parametric PDEs while improving the predictive capabilities and flexibility of these models. △ Less

Submitted 7 June, 2023; v1 submitted 26 January, 2023; originally announced January 2023.

Fully probabilistic deep models for forward and inverse problems in parametric PDEs

Authors: Arnaud Vadeboncoeur, Ömer Deniz Akyildiz, Ieva Kazlauskaite, Mark Girolami, Fehmi Cirak

Abstract: We introduce a physics-driven deep latent variable model (PDDLVM) to learn simultaneously parameter-to-solution (forward) and solution-to-parameter (inverse) maps of parametric partial differential equations (PDEs). Our formulation leverages conventional PDE discretization techniques, deep neural networks, probabilistic modelling, and variational inference to assemble a fully probabilistic coheren… ▽ More We introduce a physics-driven deep latent variable model (PDDLVM) to learn simultaneously parameter-to-solution (forward) and solution-to-parameter (inverse) maps of parametric partial differential equations (PDEs). Our formulation leverages conventional PDE discretization techniques, deep neural networks, probabilistic modelling, and variational inference to assemble a fully probabilistic coherent framework. In the posited probabilistic model, both the forward and inverse maps are approximated as Gaussian distributions with a mean and covariance parameterized by deep neural networks. The PDE residual is assumed to be an observed random vector of value zero, hence we model it as a random vector with a zero mean and a user-prescribed covariance. The model is trained by maximizing the probability, that is the evidence or marginal likelihood, of observing a residual of zero by maximizing the evidence lower bound (ELBO). Consequently, the proposed methodology does not require any independent PDE solves and is physics-informed at training time, allowing the real-time solution of PDE forward and inverse problems after training. The proposed framework can be easily extended to seamlessly integrate observed data to solve inverse problems and to build generative models. We demonstrate the efficiency and robustness of our method on finite element discretized parametric PDE problems such as linear and nonlinear Poisson problems, elastic shells with complex 3D geometries, and time-dependent nonlinear and inhomogeneous PDEs using a physics-informed neural network (PINN) discretization. We achieve up to three orders of magnitude speed-up after training compared to traditional finite element method (FEM), while outputting coherent uncertainty estimates. △ Less

Submitted 14 July, 2023; v1 submitted 9 August, 2022; originally announced August 2022.

Quaternion variational integration for inertial maneuvering in a biomimetic UAV

Authors: Arion Pons, Fehmi Cirak

Abstract: Biological flying, gliding, and falling creatures are capable of extraordinary forms of inertial maneuvering: free-space maneuvering based on fine control of their multibody dynamics, as typified by the self-righting reflexes of cats. However, designing inertial maneuvering capability into biomimetic robots, such as biomimetic unmanned aerial vehicles (UAVs) is challenging. Accurately simulating t… ▽ More Biological flying, gliding, and falling creatures are capable of extraordinary forms of inertial maneuvering: free-space maneuvering based on fine control of their multibody dynamics, as typified by the self-righting reflexes of cats. However, designing inertial maneuvering capability into biomimetic robots, such as biomimetic unmanned aerial vehicles (UAVs) is challenging. Accurately simulating this maneuvering requires numerical integrators that can ensure both singularity-free integration, and momentum and energy conservation, in a strongly coupled system - properties unavailable in existing conventional integrators. In this work, we develop a pair of novel quaternion variational integrators (QVIs) showing these properties, and demonstrate their capability for simulating inertial maneuvering in a biomimetic UAV showing complex multibody-dynamics coupling. Being quaternion-valued, these QVIs are innately singularity-free; and being variational, they can show excellent energy and momentum conservation properties. We explore the effect of variational integration order (left-rectangle vs. midpoint) on the conservation properties of integrator, and conclude that, in complex coupled systems in which canonical momenta may be time-varying, the midpoint integrator is required. The resulting midpoint QVI is well-suited to the analysis of inertial maneuvering in a biomimetic UAV - a feature that we demonstrate in simulation - and of other complex dynamical systems. △ Less

Submitted 10 January, 2023; v1 submitted 20 June, 2022; originally announced June 2022.

Journal ref: ASME Letters in Dynamic Systems and Control, 3(1), 2023

Pitch-axis supermanoeuvrability in a biomimetic morphing-wing UAV

Authors: Arion Pons, Fehmi Cirak

Abstract: Birds and bats are extremely adept flyers: whether in hunting prey, or evading predators, post-stall manoeuvrability is a characteristic of vital importance. Their performance, in this regard, greatly exceeds that of uncrewed aerial vehicles (UAVs) of similar scale. Attempts to attain post-stall manoeuvrability, or supermanoeuvrability, in UAVs have typically focused on thrust-vectoring technology… ▽ More Birds and bats are extremely adept flyers: whether in hunting prey, or evading predators, post-stall manoeuvrability is a characteristic of vital importance. Their performance, in this regard, greatly exceeds that of uncrewed aerial vehicles (UAVs) of similar scale. Attempts to attain post-stall manoeuvrability, or supermanoeuvrability, in UAVs have typically focused on thrust-vectoring technology. Here we show that biomimetic wing morphing offers an additional pathway to classical supermanoeuvrability, as well as novel forms of bioinspired post-stall manoeuvrability. Using a state-of-the-art flight simulator, equipped with a multibody model of lifting surface motion and a delay differential equation (Goman-Khrabrov) dynamic stall model for all lifting surfaces, we demonstrate the capability of a biomimetic morphing-wing UAV for two post-stall manoeuvres: a classical rapid nose-pointing-and-shooting (RaNPAS) manoeuvre; and a wall landing manoeuvre inspired by biological ballistic transitions. We develop a guidance method for these manoeuvres, based on parametric variation of nonlinear longitudinal stability profiles, which allows efficient exploration of the space of post-stall manoeuvres in these types of UAVs; and yields insight into effective morphing kinematics to enable these manoeuvres. Our results demonstrate the capability of biomimetic morphing, and morphing control of nonlinear longitudinal stability, to enable advanced forms of transient supermanoeuvrability in UAVs. △ Less

Submitted 14 May, 2025; v1 submitted 19 May, 2022; originally announced May 2022.

Error analysis for a statistical finite element method

Authors: Toni Karvonen, Fehmi Cirak, Mark Girolami

Abstract: The recently proposed statistical finite element (statFEM) approach synthesises measurement data with finite element models and allows for making predictions about the unknown true system response. We provide a probabilistic error analysis for a prototypical statFEM setup based on a Gaussian process prior under the assumption that the noisy measurement data are generated by a deterministic true sy… ▽ More The recently proposed statistical finite element (statFEM) approach synthesises measurement data with finite element models and allows for making predictions about the unknown true system response. We provide a probabilistic error analysis for a prototypical statFEM setup based on a Gaussian process prior under the assumption that the noisy measurement data are generated by a deterministic true system response function that satisfies a second-order elliptic partial differential equation for an unknown true source term. In certain cases, properties such as the smoothness of the source term may be misspecified by the Gaussian process model. The error estimates we derive are for the expectation with respect to the measurement noise of the $L^2$-norm of the difference between the true system response and the mean of the statFEM posterior. The estimates imply polynomial rates of convergence in the numbers of measurement points and finite element basis functions and depend on the Sobolev smoothness of the true source term and the Gaussian process model. A numerical example for Poisson's equation is used to illustrate these theoretical results. △ Less

Submitted 26 May, 2025; v1 submitted 19 January, 2022; originally announced January 2022.

Comments: To appear in Journal of Multivariate Analysis

Multiaxis nose-pointing-and-shooting in a biomimetic morphing-wing aircraft

Authors: Arion Pons, Fehmi Cirak

Abstract: Modern high-performance combat aircraft exceed conventional flight-envelope limits on maneuverability through the use of thrust vectoring, and so achieve supermaneuverability. With ongoing development of biomimetic unmanned aerial vehicles (UAVs), the potential for supermaneuverability through biomimetic mechanisms becomes apparent. So far, this potential has not been well studied: biomimetic UAVs… ▽ More Modern high-performance combat aircraft exceed conventional flight-envelope limits on maneuverability through the use of thrust vectoring, and so achieve supermaneuverability. With ongoing development of biomimetic unmanned aerial vehicles (UAVs), the potential for supermaneuverability through biomimetic mechanisms becomes apparent. So far, this potential has not been well studied: biomimetic UAVs have not yet been shown to be capable of any of the forms of classical supermaneuverability available to thrust-vectored aircraft. Here we show this capability, by demonstrating how biomimetic morphing-wing UAVs can perform sophisticated multiaxis nose-pointing-and-shooting (NPAS) maneuvers at low morphing complexity. Nonlinear flight-dynamic analysis is used to characterize the extent and stability of the multidimensional space of aircraft trim states that arises from biomimetic morphing. Navigating this trim space provides an effective model-based guidance strategy for generating open-loop NPAS maneuvers in simulation. Our results demonstrate the capability of biomimetic aircraft for air combat-relevant supermaneuverability, and provide strategies for the exploration, characterization, and guidance of further forms of classical and non-classical supermaneuverability in such aircraft. △ Less

Submitted 10 January, 2022; originally announced January 2022.

Journal ref: Journal of Guidance, Control, and Dynamics, 46(3), 2023

An optimally convergent smooth blended B-spline construction for semi-structured quadrilateral and hexahedral meshes

Authors: Kim Jie Koh, Deepesh Toshniwal, Fehmi Cirak

Abstract: Easy to construct and optimally convergent generalisations of B-splines to unstructured meshes are essential for the application of isogeometric analysis to domains with non-trivial topologies. Nonetheless, especially for hexahedral meshes, the construction of smooth and optimally convergent isogeometric analysis basis functions is still an open question. We introduce a simple partition of unity c… ▽ More Easy to construct and optimally convergent generalisations of B-splines to unstructured meshes are essential for the application of isogeometric analysis to domains with non-trivial topologies. Nonetheless, especially for hexahedral meshes, the construction of smooth and optimally convergent isogeometric analysis basis functions is still an open question. We introduce a simple partition of unity construction that yields smooth blended B-splines, referred to as SB-splines, on semi-structured quadrilateral and hexahedral meshes, namely on mostly structured meshes with a few sufficiently separated unstructured regions. To this end, we first define the mixed smoothness B-splines that are $C^0$ continuous in the unstructured regions of the mesh but have higher smoothness everywhere else. Subsequently, the SB-splines are obtained by smoothly blending in the physical space the mixed smoothness B-splines with Bernstein bases of equal degree. One of the key novelties of our approach is that the required smooth weight functions are assembled from the available smooth B-splines on the unstructured mesh. The SB-splines are globally smooth, non-negative, have no breakpoints within the elements and reduce to conventional B-splines away from the unstructured regions of the mesh. Although we consider only quadratic mixed smoothness B-splines in this paper, the construction generalises to arbitrary degrees. We demonstrate the excellent performance of SB-splines studying Poisson and biharmonic problems on semi-structured quadrilateral and hexahedral meshes, and numerically establishing their optimal convergence in one and two dimensions. △ Less

Submitted 26 July, 2022; v1 submitted 8 November, 2021; originally announced November 2021.

Comments: 28 pages, 26 figures, changes to title, abstract and body text after peer-review

Variational Bayesian Approximation of Inverse Problems using Sparse Precision Matrices

Authors: Jan Povala, Ieva Kazlauskaite, Eky Febrianto, Fehmi Cirak, Mark Girolami

Abstract: Inverse problems involving partial differential equations (PDEs) are widely used in science and engineering. Although such problems are generally ill-posed, different regularisation approaches have been developed to ameliorate this problem. Among them is the Bayesian formulation, where a prior probability measure is placed on the quantity of interest. The resulting posterior probability measure is… ▽ More Inverse problems involving partial differential equations (PDEs) are widely used in science and engineering. Although such problems are generally ill-posed, different regularisation approaches have been developed to ameliorate this problem. Among them is the Bayesian formulation, where a prior probability measure is placed on the quantity of interest. The resulting posterior probability measure is usually analytically intractable. The Markov Chain Monte Carlo (MCMC) method has been the go-to method for sampling from those posterior measures. MCMC is computationally infeasible for large-scale problems that arise in engineering practice. Lately, Variational Bayes (VB) has been recognised as a more computationally tractable method for Bayesian inference, approximating a Bayesian posterior distribution with a simpler trial distribution by solving an optimisation problem. In this work, we argue, through an empirical assessment, that VB methods are a flexible and efficient alternative to MCMC for this class of problems. We propose a natural choice of a family of Gaussian trial distributions parametrised by precision matrices, thus taking advantage of the inherent sparsity of the inverse problem encoded in its finite element discretisation. We utilise stochastic optimisation to efficiently estimate the variational objective and assess not only the error in the solution mean but also the ability to quantify the uncertainty of the estimate. We test this on PDEs based on the Poisson equation in 1D and 2D. A Tensorflow implementation is made publicly available on GitHub. △ Less

Submitted 2 March, 2022; v1 submitted 22 October, 2021; originally announced October 2021.

MSC Class: 74S05; 74S60; 62-08; 62P30

Computational modelling and data-driven homogenisation of knitted membranes

Authors: Sumudu Herath, Xiao Xiao, Fehmi Cirak

Abstract: Knitting is an effective technique for producing complex three-dimensional surfaces owing to the inherent flexibility of interlooped yarns and recent advances in manufacturing providing better control of local stitch patterns. Fully yarn-level modelling of large-scale knitted membranes is not feasible. Therefore, we use a two-scale homogenisation approach and model the membrane as a Kirchhoff-Love… ▽ More Knitting is an effective technique for producing complex three-dimensional surfaces owing to the inherent flexibility of interlooped yarns and recent advances in manufacturing providing better control of local stitch patterns. Fully yarn-level modelling of large-scale knitted membranes is not feasible. Therefore, we use a two-scale homogenisation approach and model the membrane as a Kirchhoff-Love shell on the macroscale and as Euler-Bernoulli rods on the microscale. The governing equations for both the shell and the rod are discretised with cubic B-spline basis functions. For homogenisation we consider only the in-plane response of the membrane. The solution of the nonlinear microscale problem requires a significant amount of time due to the large deformations and the enforcement of contact constraints, rendering conventional online computational homogenisation approaches infeasible. To sidestep this problem, we use a pre-trained statistical Gaussian Process Regression (GPR) model to map the macroscale deformations to macroscale stresses. During the offline learning phase, the GPR model is trained by solving the microscale problem for a sufficiently rich set of deformation states obtained by either uniform or Sobol sampling. The trained GPR model encodes the nonlinearities and anisotropies present in the microscale and serves as a material model for the membrane response of the macroscale shell. The bending response can be chosen in dependence of the mesh size to penalise the fine out-of-plane wrinkling of the membrane. After verifying and validating the different components of the proposed approach, we introduce several examples involving membranes subjected to tension and shear to demonstrate its versatility and good performance. △ Less

Submitted 9 November, 2021; v1 submitted 12 July, 2021; originally announced July 2021.

Comments: 24 pages, 14 figures

Journal ref: International Journal for Numerical Methods in Engineering 123 (2022) 683-704

Infill topology and shape optimisation of lattice-skin structures

Authors: Xiao Xiao, Fehmi Cirak

Abstract: Lattice-skin structures composed of a thin-shell skin and a lattice infill are widespread in nature and large-scale engineering due to their efficiency and exceptional mechanical properties. Recent advances in additive manufacturing, or 3D printing, make it possible to create lattice-skin structures of almost any size with arbitrary shape and geometric complexity. We propose a novel gradient-based… ▽ More Lattice-skin structures composed of a thin-shell skin and a lattice infill are widespread in nature and large-scale engineering due to their efficiency and exceptional mechanical properties. Recent advances in additive manufacturing, or 3D printing, make it possible to create lattice-skin structures of almost any size with arbitrary shape and geometric complexity. We propose a novel gradient-based approach to optimising both the shape and infill of lattice-skin structures to improve their efficiency further. The respective gradients are computed by fully considering the lattice-skin coupling while the lattice topology and shape optimisation problems are solved in a sequential manner. The shell is modelled as a Kirchhoff-Love shell and analysed using isogeometric subdivision surfaces, whereas the lattice is modelled as a pin-jointed truss. The lattice consists of many cells, possibly of different sizes, with each containing a small number of struts. We propose a penalisation approach akin to the SIMP (solid isotropic material with penalisation) method for topology optimisation of the lattice. Furthermore, a corresponding sensitivity filter and a lattice extraction technique are introduced to ensure the stability of the optimisation process and to eliminate scattered struts of small cross-sectional areas. The developed topology optimisation technique is suitable for non-periodic, non-uniform lattices. For shape optimisation of both the shell and the lattice, the geometry of the lattice-skin structure is parameterised using the free-form deformation technique. The topology and shape optimisation problems are solved in an iterative, sequential manner. The effectiveness of the proposed approach and the influence of different algorithmic parameters are demonstrated with several numerical examples. △ Less

Submitted 28 October, 2021; v1 submitted 9 May, 2021; originally announced May 2021.

Comments: 20 pages, 17 figures

Journal ref: International Journal for Numerical Methods in Engineering 123 (2022) 664-682

Digital twinning of self-sensing structures using the statistical finite element method

Authors: Eky Febrianto, Liam Butler, Mark Girolami, Fehmi Cirak

Abstract: The monitoring of infrastructure assets using sensor networks is becoming increasingly prevalent. A digital twin in the form of a finite element model, as used in design and construction, can help make sense of the copious amount of collected sensor data. This paper demonstrates the application of the statistical finite element method (statFEM), which provides a consistent and principled means for… ▽ More The monitoring of infrastructure assets using sensor networks is becoming increasingly prevalent. A digital twin in the form of a finite element model, as used in design and construction, can help make sense of the copious amount of collected sensor data. This paper demonstrates the application of the statistical finite element method (statFEM), which provides a consistent and principled means for synthesising data and physics-based models, in developing a digital twin of a self-sensing structure. As a case study, an instrumented steel railway bridge of 27.34 m length located along the West Coast Mainline near Staffordshire in the UK is considered. Using strain data captured from fibre Bragg grating (FBG) sensors at 108 locations along the bridge superstructure, statFEM can predict the `true' system response while taking into account the uncertainties in sensor readings, applied loading and finite element model misspecification errors. Longitudinal strain distributions along the two main I-beams are both measured and modelled during the passage of a passenger train. The digital twin, because of its physics-based component, is able to generate reasonable strain distribution predictions at locations where no measurement data is available, including at several points along the main I-beams and on structural elements on which sensors are not even installed. The implications for long-term structural health monitoring and assessment include optimisation of sensor placement, and performing more reliable what-if analyses at locations and under loading scenarios for which no measurement data is available. △ Less

Submitted 28 July, 2022; v1 submitted 25 March, 2021; originally announced March 2021.

Mollified finite element approximants of arbitrary order and smoothness

Authors: Eky Febrianto, Michael Ortiz, Fehmi Cirak

Abstract: The approximation properties of the finite element method can often be substantially improved by choosing smooth high-order basis functions. It is extremely difficult to devise such basis functions for partitions consisting of arbitrarily shaped polytopes. We propose the mollified basis functions of arbitrary order and smoothness for partitions consisting of convex polytopes. On each polytope an i… ▽ More The approximation properties of the finite element method can often be substantially improved by choosing smooth high-order basis functions. It is extremely difficult to devise such basis functions for partitions consisting of arbitrarily shaped polytopes. We propose the mollified basis functions of arbitrary order and smoothness for partitions consisting of convex polytopes. On each polytope an independent local polynomial approximant of arbitrary order is assumed. The basis functions are defined as the convolutions of the local approximants with a mollifier. The mollifier is chosen to be smooth, to have a compact support and a unit volume. The approximation properties of the obtained basis functions are governed by the local polynomial approximation order and mollifier smoothness. The convolution integrals are evaluated numerically first by computing the boolean intersection between the mollifier and the polytope and then applying the divergence theorem to reduce the dimension of the integrals. The support of a basis function is given as the Minkowski sum of the respective polytope and the mollifier. The breakpoints of the basis functions, i.e. locations with non-infinite smoothness, are not necessarily aligned with polytope boundaries. Furthermore, the basis functions are not boundary interpolating so that we apply boundary conditions with the non-symmetric Nitsche method as in immersed/embedded finite elements. The presented numerical examples confirm the optimal convergence of the proposed approximation scheme for Poisson and elasticity problems. △ Less

Submitted 14 January, 2021; v1 submitted 9 October, 2019; originally announced October 2019.

Adding quadric fillets to quador lattice structures

Authors: Fehmi Cirak, Malcolm Sabin

Abstract: Gupta et al. [1, 2] describe a very beautiful application of algebraic geometry to lattice structures composed of quadric of revolution (quador) implicit surfaces. However, the shapes created have concave edges where the stubs meet, and such edges can be stress-raisers which can cause significant problems with, for instance, fatigue under cyclic loading. This note describes a way in which quadric… ▽ More Gupta et al. [1, 2] describe a very beautiful application of algebraic geometry to lattice structures composed of quadric of revolution (quador) implicit surfaces. However, the shapes created have concave edges where the stubs meet, and such edges can be stress-raisers which can cause significant problems with, for instance, fatigue under cyclic loading. This note describes a way in which quadric fillets can be added to these models, thus relieving this problem while retaining their computational simplicity and efficiency. △ Less

Submitted 26 September, 2019; v1 submitted 19 August, 2019; originally announced August 2019.

Topologically robust CAD model generation for structural optimisation

Authors: Ge Yin, Xiao Xiao, Fehmi Cirak

Abstract: Computer-aided design (CAD) models play a crucial role in the design, manufacturing and maintenance of products. Therefore, the mesh-based finite element descriptions common in structural optimisation must be first translated into CAD models. Currently, this can at best be performed semi-manually. We propose a fully automated and topologically accurate approach to synthesise a structurally-sound p… ▽ More Computer-aided design (CAD) models play a crucial role in the design, manufacturing and maintenance of products. Therefore, the mesh-based finite element descriptions common in structural optimisation must be first translated into CAD models. Currently, this can at best be performed semi-manually. We propose a fully automated and topologically accurate approach to synthesise a structurally-sound parametric CAD model from topology optimised finite element models. Our solution is to first convert the topology optimised structure into a spatial frame structure and then to regenerate it in a CAD system using standard constructive solid geometry (CSG) operations. The obtained parametric CAD models are compact, that is, have as few as possible geometric parameters, which makes them ideal for editing and further processing within a CAD system. The critical task of converting the topology optimised structure into an optimal spatial frame structure is accomplished in several steps. We first generate from the topology optimised voxel model a one-voxel-wide voxel chain model using a topology-preserving skeletonisation algorithm from digital topology. The weighted undirected graph defined by the voxel chain model yields a spatial frame structure after processing it with standard graph algorithms. Subsequently, we optimise the cross-sections and layout of the frame members to recover its optimality, which may have been compromised during the conversion process. At last, we generate the obtained frame structure in a CAD system by repeatedly combining primitive solids, like cylinders and spheres, using boolean operations. The resulting solid model is a boundary representation (B-Rep) consisting of trimmed non-uniform rational B-spline (NURBS) curves and surfaces. △ Less

Submitted 8 June, 2020; v1 submitted 17 June, 2019; originally announced June 2019.

The statistical finite element method (statFEM) for coherent synthesis of observation data and model predictions

Authors: Mark Girolami, Eky Febrianto, Ge Yin, Fehmi Cirak

Abstract: The increased availability of observation data from engineering systems in operation poses the question of how to incorporate this data into finite element models. To this end, we propose a novel statistical construction of the finite element method that provides the means of synthesising measurement data and finite element models. The Bayesian statistical framework is adopted to treat all the unc… ▽ More The increased availability of observation data from engineering systems in operation poses the question of how to incorporate this data into finite element models. To this end, we propose a novel statistical construction of the finite element method that provides the means of synthesising measurement data and finite element models. The Bayesian statistical framework is adopted to treat all the uncertainties present in the data, the mathematical model and its finite element discretisation. From the outset, we postulate a data-generating model which additively decomposes data into a finite element, a model misspecification and a noise component. Each of the components may be uncertain and is considered as a random variable with a respective prior probability density. The prior of the finite element component is given by a conventional stochastic forward problem. The prior probabilities of the model misspecification and measurement noise, without loss of generality, are assumed to have zero-mean and known covariance structure. Our proposed statistical model is hierarchical in the sense that each of the three random components may depend on non-observable random hyperparameters. Because of the hierarchical structure of the statistical model, Bayes rule is applied on three different levels in turn to infer the posterior densities of the three random components and hyperparameters. On level one, we determine the posterior densities of the finite element component and the true system response using the prior finite element density given by the forward problem and the data likelihood. On the next level, we infer the hyperparameter posterior densities from their respective priors and the marginal likelihood of the first inference problem. Finally, on level three we use Bayes rule to choose the most suitable finite element model in light of the observed data by computing the model posteriors. △ Less

Submitted 22 January, 2021; v1 submitted 15 May, 2019; originally announced May 2019.

Manifold-based isogeometric analysis basis functions with prescribed sharp features

Authors: Qiaoling Zhang, Fehmi Cirak

Abstract: We introduce manifold-based basis functions for isogeometric analysis of surfaces with arbitrary smoothness, prescribed $C^0$ continuous creases and boundaries. The utility of the manifold-based surface construction techniques in isogeometric analysis was demonstrated in Majeed and Cirak (CMAME, 2017). The respective basis functions are derived by combining differential-geometric manifold techniqu… ▽ More We introduce manifold-based basis functions for isogeometric analysis of surfaces with arbitrary smoothness, prescribed $C^0$ continuous creases and boundaries. The utility of the manifold-based surface construction techniques in isogeometric analysis was demonstrated in Majeed and Cirak (CMAME, 2017). The respective basis functions are derived by combining differential-geometric manifold techniques with conformal parametrisations and the partition of unity method. The connectivity of a given unstructured quadrilateral control mesh in $\mathbb R^3$ is used to define a set of overlapping charts. Each vertex with its attached elements is assigned a corresponding conformally parametrised planar chart domain in $\mathbb R^2$, so that a quadrilateral element is present on four different charts. On the collection of unconnected chart domains, the partition of unity method is used for approximation. The transition functions required for navigating between the chart domains are composed out of conformal maps. The necessary smooth partition of unity, or blending, functions for the charts are assembled from tensor-product B-spline pieces and require in contrast to earlier constructions no normalisation. Creases are introduced across user tagged edges of the control mesh. Planar chart domains that include creased edges or are adjacent to the domain boundary require special local polynomial approximants. Three different types of chart domain geometries are necessary to consider boundaries and arbitrary number and arrangement of creases. The new chart domain geometries are chosen so that it becomes trivial to establish local polynomial approximants that are always $C^0$ continuous across tagged edges. The derived non-rational manifold-based basis functions are particularly well suited for isogeometric analysis of Kirchhoff-Love thin shells with kinks. △ Less

Submitted 4 November, 2019; v1 submitted 5 April, 2019; originally announced April 2019.

An Immersed Discontinuous Galerkin Method for Compressible Navier-Stokes Equations on Unstructured Meshes

Authors: Hong Xiao, Eky Febrianto, Qiaoling Zhang, Fehmi Cirak

Abstract: We introduce an immersed high-order discontinuous Galerkin method for solving the compressible Navier-Stokes equations on non-boundary-fitted meshes. The flow equations are discretised with a mixed discontinuous Galerkin formulation and are advanced in time with an explicit time marching scheme. The discretisation meshes may contain simplicial (triangular or tetrahedral) elements of different size… ▽ More We introduce an immersed high-order discontinuous Galerkin method for solving the compressible Navier-Stokes equations on non-boundary-fitted meshes. The flow equations are discretised with a mixed discontinuous Galerkin formulation and are advanced in time with an explicit time marching scheme. The discretisation meshes may contain simplicial (triangular or tetrahedral) elements of different sizes and need not be structured. On the discretisation mesh the fluid domain boundary is represented with an implicit signed distance function. The cut-elements partially covered by the solid domain are integrated after tessellation with the marching triangle or tetrahedra algorithms. Two alternative techniques are introduced to overcome the excessive stable time step restrictions imposed by cut-elements. In the first approach the cut-basis functions are replaced with the extrapolated basis functions from the nearest largest element. In the second approach the cut-basis functions are simply scaled proportionally to the fraction of the cut-element covered by the solid. To achieve high-order accuracy additional nodes are introduced on the element faces abutting the solid boundary. Subsequently, the faces are curved by projecting the introduced nodes to the boundary. The proposed approach is verified and validated with several two- and three-dimensional subsonic and hypersonic low Reynolds number flow applications, including the flow over a cylinder, a space capsule and an aerospace vehicle. △ Less

Submitted 7 November, 2019; v1 submitted 26 February, 2019; originally announced February 2019.

A non-iterative method for robustly computing the intersections between a line and a curve or surface

Authors: Xiao Xiao, Laurent Buse, Fehmi Cirak

Abstract: The need to compute the intersections between a line and a high-order curve or surface arises in a large number of finite element applications. Such intersection problems are easy to formulate but hard to solve robustly. We introduce a non-iterative method for computing intersections by solving a matrix singular value decomposition (SVD) and an eigenvalue problem. That is, all intersection points… ▽ More The need to compute the intersections between a line and a high-order curve or surface arises in a large number of finite element applications. Such intersection problems are easy to formulate but hard to solve robustly. We introduce a non-iterative method for computing intersections by solving a matrix singular value decomposition (SVD) and an eigenvalue problem. That is, all intersection points and their parametric coordinates are determined in one-shot using only standard linear algebra techniques available in most software libraries. As a result, the introduced technique is far more robust than the widely used Newton-Raphson iteration or its variants. The maximum size of the considered matrices depends on the polynomial degree $q$ of the shape functions and is $2q \times 3q$ for curves and $6 q^2 \times 8 q^2$ for surfaces. The method has its origin in algebraic geometry and has here been considerably simplified with a view to widely used high-order finite elements. In addition, the method is derived from a purely linear algebra perspective without resorting to algebraic geometry terminology. A complete implementation is available from http://bitbucket.org/nitro-project/. △ Less

Submitted 5 November, 2020; v1 submitted 5 February, 2019; originally announced February 2019.

Manifold-based B-splines on unstructured meshes

Authors: Qiaoling Zhang, Thomas Takacs, Fehmi Cirak

Abstract: We introduce new manifold-based splines that are able to exactly reproduce B-splines on unstructured surface meshes. Such splines can be used in isogeometric analysis (IGA) to represent smooth surfaces of arbitrary topology. Since prevalent computer-aided design (CAD) models are composed of tensor-product B-spline patches, any IGA suitable construction should be able to reproduce B-splines. To ach… ▽ More We introduce new manifold-based splines that are able to exactly reproduce B-splines on unstructured surface meshes. Such splines can be used in isogeometric analysis (IGA) to represent smooth surfaces of arbitrary topology. Since prevalent computer-aided design (CAD) models are composed of tensor-product B-spline patches, any IGA suitable construction should be able to reproduce B-splines. To achieve this goal, we focus on univariate manifold-based constructions that can reproduce B-splines. The manifold-based splines are constructed by smoothly blending together polynomial interpolants defined on overlapping charts. The proposed constructions automatically reproduce B-splines in regular parts of the mesh, with no extraordinary vertices, and polynomial basis functions in the remaining parts of the mesh. We study and compare analytically and numerically the finite element convergence of several univariate constructions. The obtained results directly carry over to the tensor-product case. △ Less

Submitted 30 January, 2019; originally announced January 2019.

Interrogation of spline surfaces with application to isogeometric design and analysis of lattice-skin structures

Authors: Xiao Xiao, Malcolm Sabin, Fehmi Cirak

Abstract: A novel surface interrogation technique is proposed to compute the intersection of curves with spline surfaces in isogeometric analysis. The intersection points are determined in one-shot without resorting to a Newton-Raphson iteration or successive refinement. Surface-curve intersection is required in a wide range of applications, including contact, immersed boundary methods and lattice-skin stru… ▽ More A novel surface interrogation technique is proposed to compute the intersection of curves with spline surfaces in isogeometric analysis. The intersection points are determined in one-shot without resorting to a Newton-Raphson iteration or successive refinement. Surface-curve intersection is required in a wide range of applications, including contact, immersed boundary methods and lattice-skin structures, and requires usually the solution of a system of nonlinear equations. It is assumed that the surface is given in form of a spline, such as a NURBS, T-spline or Catmull-Clark subdivision surface, and is convertible into a collection of Bézier patches. First, a hierarchical bounding volume tree is used to efficiently identify the Bézier patches with a convex-hull intersecting the convex-hull of a given curve segment. For ease of implementation convex-hulls are approximated with k-dops (discrete orientation polytopes). Subsequently, the intersections of the identified Bézier patches with the curve segment are determined with a matrix-based implicit representation leading to the computation of a sequence of small singular value decompositions (SVDs). As an application of the developed interrogation technique the isogeometric design and analysis of lattice-skin structures is investigated. The skin is a spline surface that is usually created in a computer-aided design (CAD) system and the periodic lattice to be fitted consists of unit cells, each containing a small number of struts. The lattice-skin structure is generated by projecting selected lattice nodes onto the surface after determining the intersection of unit cell edges with the surface. For mechanical analysis, the skin is modelled as a Kirchhoff-Love thin-shell and the lattice as a pin-jointed truss. The two types of structures are coupled with a standard Lagrange multiplier approach. △ Less

Submitted 12 May, 2019; v1 submitted 18 October, 2018; originally announced October 2018.

Comments: 23 pages, 15 figures

Journal ref: Computer Methods in Applied Mechanics and Engineering 351 (2019) 928-950

Subdivision surfaces with isogeometric analysis adapted refinement weights

Authors: Qiaoling Zhang, Malcolm Sabin, Fehmi Cirak

Abstract: Subdivision surfaces provide an elegant isogeometric analysis framework for geometric design and analysis of partial differential equations defined on surfaces. They are already a standard in high-end computer animation and graphics and are becoming available in a number of geometric modelling systems for engineering design. The subdivision refinement rules are usually adapted from knot insertion… ▽ More Subdivision surfaces provide an elegant isogeometric analysis framework for geometric design and analysis of partial differential equations defined on surfaces. They are already a standard in high-end computer animation and graphics and are becoming available in a number of geometric modelling systems for engineering design. The subdivision refinement rules are usually adapted from knot insertion rules for splines. The quadrilateral Catmull-Clark scheme considered in this work is equivalent to cubic B-splines away from extraordinary, or irregular, vertices with other than four adjacent elements. Around extraordinary vertices the surface consists of a nested sequence of smooth spline patches which join $C^1$ continuously at the point itself. As known from geometric design literature, the subdivision weights can be optimised so that the surface quality is improved by minimising short-wavelength surface oscillations around extraordinary vertices. We use the related techniques to determine weights that minimise finite element discretisation errors as measured in the thin-shell energy norm. The optimisation problem is formulated over a characteristic domain and the errors in approximating cup- and saddle-like quadratic shapes obtained from eigenanalysis of the subdivision matrix are minimised. In finite element analysis the optimised subdivision weights for either cup- or saddle-like shapes are chosen depending on the shape of the solution field around an extraordinary vertex. As our computations confirm, the optimised subdivision weights yield a reduction of $50\%$ and more in discretisation errors in the energy and $L_2$ norms. Although, as to be expected, the convergence rates are the same as for the classical Catmull-Clark weights, the convergence constants are improved. △ Less

Submitted 31 May, 2018; v1 submitted 13 April, 2018; originally announced April 2018.

Comments: 12 pages, 14 figures

Isogeometric FEM-BEM coupled structural-acoustic analysis of shells using subdivision surfaces

Authors: Zhaowei Liu, Musabbir Majeed, Fehmi Cirak, Robert N. Simpson

Abstract: We introduce a coupled finite and boundary element formulation for acoustic scattering analysis over thin shell structures. A triangular Loop subdivision surface discretisation is used for both geometry and analysis fields. The Kirchhoff-Love shell equation is discretised with the finite element method and the Helmholtz equation for the acoustic field with the boundary element method. The use of t… ▽ More We introduce a coupled finite and boundary element formulation for acoustic scattering analysis over thin shell structures. A triangular Loop subdivision surface discretisation is used for both geometry and analysis fields. The Kirchhoff-Love shell equation is discretised with the finite element method and the Helmholtz equation for the acoustic field with the boundary element method. The use of the boundary element formulation allows the elegant handling of infinite domains and precludes the need for volumetric meshing. In the present work the subdivision control meshes for the shell displacements and the acoustic pressures have the same resolution. The corresponding smooth subdivision basis functions have the $C^1$ continuity property required for the Kirchhoff-Love formulation and are highly efficient for the acoustic field computations. We validate the proposed isogeometric formulation through a closed-form solution of acoustic scattering over a thin shell sphere. Furthermore, we demonstrate the ability of the proposed approach to handle complex geometries with arbitrary topology that provides an integrated isogeometric design and analysis workflow for coupled structural-acoustic analysis of shells. △ Less

Submitted 14 April, 2019; v1 submitted 27 April, 2017; originally announced April 2017.

Isogeometric shape optimisation of shell structures using multiresolution subdivision surfaces

Authors: Kosala Bandara, Fehmi Cirak

Abstract: We introduce the isogeometric shape optimisation of thin shell structures using subdivision surfaces. Both triangular Loop and quadrilateral Catmull-Clark subdivision schemes are considered for geometry modelling and finite element analysis. A gradient-based shape optimisation technique is implemented to minimise compliance, i.e. to maximise stiffness. Different control meshes describing the same… ▽ More We introduce the isogeometric shape optimisation of thin shell structures using subdivision surfaces. Both triangular Loop and quadrilateral Catmull-Clark subdivision schemes are considered for geometry modelling and finite element analysis. A gradient-based shape optimisation technique is implemented to minimise compliance, i.e. to maximise stiffness. Different control meshes describing the same surface are used for geometry representation, optimisation and finite element analysis. The finite element analysis is performed with subdivision basis functions corresponding to a sufficiently refined control mesh. During iterative shape optimisation the geometry is updated starting from the coarsest control mesh and proceeding to increasingly finer control meshes. This multiresolution approach provides a means for regularising the optimisation problem and prevents the appearance of sub-optimal jagged geometries with fine-scale oscillations. The finest control mesh for optimisation is chosen in accordance with the desired smallest feature size in the optimised geometry. The proposed approach is applied to three optimisation examples, namely a catenary, a roof over a rectangular domain and a freeform architectural shell roof. The influence of the geometry description and the used subdivision scheme on the obtained optimised curved geometries is investigated in detail. △ Less

Submitted 18 May, 2019; v1 submitted 20 May, 2016; originally announced May 2016.

Isogeometric analysis using manifold-based smooth basis functions

Authors: Musabbir Majeed, Fehmi Cirak

Abstract: We present an isogeometric analysis technique that builds on manifold-based smooth basis functions for geometric modelling and analysis. Manifold-based surface construction techniques are well known in geometric modelling and a number of variants exist. Common to all is the concept of constructing a smooth surface by blending together overlapping patches (or, charts), as in differential geometry d… ▽ More We present an isogeometric analysis technique that builds on manifold-based smooth basis functions for geometric modelling and analysis. Manifold-based surface construction techniques are well known in geometric modelling and a number of variants exist. Common to all is the concept of constructing a smooth surface by blending together overlapping patches (or, charts), as in differential geometry description of manifolds. Each patch on the surface has a corresponding planar patch with a smooth one-to-one mapping onto the surface. In our implementation, manifold techniques are combined with conformal parametrisations and the partition-of-unity method for deriving smooth basis functions on unstructured quadrilateral meshes. Each vertex and its adjacent elements on the surface control mesh have a corresponding planar patch of elements. The star-shaped planar patch with congruent wedge-shaped elements is smoothly parameterised with copies of a conformally mapped unit square. The conformal maps can be easily inverted in order to compute the transition functions between the different planar patches that have an overlap on the surface. On the collection of star-shaped planar patches the partition of unity method is used for approximation. The smooth partition of unity, or blending functions, are assembled from tensor-product b-spline segments defined on a unit square. On each patch a polynomial with a prescribed degree is used as a local approximant. To obtain a mesh-based approximation scheme, the coefficients of the local approximants are expressed in dependence of vertex coefficients. This yields a basis function for each vertex of the mesh which is smooth and non-zero over a vertex and its adjacent elements. Our numerical simulations indicate the optimal convergence of the resulting approximation scheme for Poisson problems and near optimal convergence for thin-plate and thin-shell problems. △ Less

Submitted 2 May, 2016; originally announced May 2016.

Comments: 27 pages, 25 figures

Shape optimisation with multiresolution subdivision surfaces and immersed finite elements

Authors: Kosala Bandara, Thomas Rüberg, Fehmi Cirak

Abstract: We develop a new optimisation technique that combines multiresolution subdivision surfaces for boundary description with immersed finite elements for the discretisation of the primal and adjoint problems of optimisation. Similar to wavelets multiresolution surfaces represent the domain boundary using a coarse control mesh and a sequence of detail vectors. Based on the multiresolution decomposition… ▽ More We develop a new optimisation technique that combines multiresolution subdivision surfaces for boundary description with immersed finite elements for the discretisation of the primal and adjoint problems of optimisation. Similar to wavelets multiresolution surfaces represent the domain boundary using a coarse control mesh and a sequence of detail vectors. Based on the multiresolution decomposition efficient and fast algorithms are available for reconstructing control meshes of varying fineness. During shape optimisation the vertex coordinates of control meshes are updated using the computed shape gradient information. By virtue of the multiresolution editing semantics, updating the coarse control mesh vertex coordinates leads to large-scale geometry changes and, conversely, updating the fine control mesh coordinates leads to small-scale geometry changes. In our computations we start by optimising the coarsest control mesh and refine it each time the cost function reaches a minimum. This approach effectively prevents the appearance of non-physical boundary geometry oscillations and control mesh pathologies, like inverted elements. Independent of the fineness of the control mesh used for optimisation, on the immersed finite element grid the domain boundary is always represented with a relatively fine control mesh of fixed resolution. With the immersed finite element method there is no need to maintain an analysis suitable domain mesh. In some of the presented two- and three-dimensional elasticity examples the topology derivative is used for creating new holes inside the domain. △ Less

Submitted 9 October, 2015; originally announced October 2015.