GIPC: Fast and stable Gauss-Newton optimization of IPC barrier energy

Barrier functions are crucial for maintaining an intersection and inversion free simulation trajectory but existing methods which directly use distance can restrict implementation design and performance. We present an approach to rewriting the barrier function for arriving at an efficient and robust approximation of its Hessian. The key idea is to formulate a simplicial geometric measure of contact using mesh boundary elements, from which analytic eigensystems are derived and enhanced with filtering and stiffening terms that ensure robustness with respect to the convergence of a Project-Newton solver. A further advantage of our rewriting of the barrier function is that it naturally caters to the notorious case of nearly-parallel edge-edge contacts for which we also present a novel analytic eigensystem. Our approach is thus well suited for standard second order unconstrained optimization strategies for resolving contacts, minimizing nonlinear nonconvex functions where the Hessian may be indefinite. The efficiency of our eigensystems alone yields a 3x speedup over the standard IPC barrier formulation. We further apply our analytic proxy eigensystems to produce an entirely GPU-based implementation of IPC with significant further acceleration

Animation, Simulation, and Control of Soft Characters using Layered Representations and Simplified Physics-based Methods

Realistic behavior of computer generated characters is key to bringing virtual environments, computer games, and other interactive applications to life. The plausibility of a virtual scene is strongly influenced by the way objects move around and interact with each other. Traditionally, actions are limited to motion capture driven or pre-scripted motion of the characters. Physics enhance the sense of realism: physical simulation is required to make objects act as expected in real life. To make gaming and virtual environments truly immersive,it is crucial to simulate the response of characters to collisions and to produce secondary effects such as skin wrinkling and muscle bulging. Unfortunately, existing techniques cannot generally achieve these effects in real time, do not address the coupled response of a character's skeleton and skin to collisions nor do they support artistic control. In this dissertation, I present interactive algorithms that enable physical simulation of deformable characters with high surface detail and support for intuitive deformation control. I propose a novel unified framework for real-time modeling of soft objects with skeletal deformations and surface deformation due to contact, and their interplay for object surfaces with up to tens of thousands of degrees of freedom.I make use of layered models to reduce computational complexity. I introduce dynamic deformation textures, which map three dimensional deformations in the deformable skin layer to a two dimensional domain for extremely efficient parallel computation of the dynamic elasticity equations and optimized hierarchical collision detection. I also enhance layered models with responsive contact handling, to support the interplay between skeletal motion and surface contact and the resulting two-way coupling effects. Finally, I present dynamic morph targets, which enable intuitive control of dynamic skin deformations at run-time by simply sculpting pose-specific surface shapes. The resulting framework enables real-time and directable simulation of soft articulated characters with frictional contact response, capturing the interplay between skeletal dynamics and complex,non-linear skin deformations

Template-based Monocular 3-D Shape Reconstruction And Tracking Using Laplacian Meshes

This thesis addresses the problem of recovering the 3-D shape of a deformable object in single images, or image sequences acquired by a monocular video camera, given that a 3-D template shape and a template image of the object are available. While being a very challenging problem in computer vision, being able to reconstruct and track 3-D deformable objects in videos allows us to develop many potential applications ranging from sports and entertainments to engineering and medical imaging. This thesis extends the scope of deformable object modeling to real-world applications of fully 3-D modeling of deformable objects from video streams with a number of contributions. We show that by extending the Laplacian formalism, which was first introduced in the Graphics community to regularize 3-D meshes, we can turn the monocular 3-D shape reconstruction of a deformable object given correspondences with a reference image into a much better-posed problem with far fewer degrees of freedom than the original one. This has proved key to achieving real-time performance while preserving both sufficient flexibility and robustness. Our real-time 3-D reconstruction and tracking system of deformable objects can very quickly reject outlier correspondences and accurately reconstruct the object shape in 3D. Frame-to-frame tracking is exploited to track the object under difficult settings such as large deformations, occlusions, illumination changes, and motion blur. We present an approach to solving the problem of dense image registration and 3-D shape reconstruction of deformable objects in the presence of occlusions and minimal texture. A main ingredient is the pixel-wise relevancy score that we use to weigh the influence of the image information from a pixel in the image energy cost function. A careful design of the framework is essential for obtaining state-of-the-art results in recovering 3-D deformations of both well- and poorly-textured objects in the presence of occlusions. We study the problem of reconstructing 3-D deformable objects interacting with rigid ones. Imposing real physical constraints allows us to model the interactions of objects in the real world more accurately and more realistically. In particular, we study the problem of a ball colliding with a bat observed by high speed cameras. We provide quantitative measurements of the impact that are compared with simulation-based methods to evaluate which simulation predictions most accurately describe a physical quantity of interest and to improve the models. Based on the diffuse property of the tracked deformable object, we propose a method to estimate the environment irradiance map represented by a set of low frequency spherical harmonics. The obtained irradiance map can be used to realistically illuminate 2-D and 3-D virtual contents in the context of augmented reality on deformable objects. The results compare favorably with baseline methods. In collaboration with Disney Research, we develop an augmented reality coloring book application that runs in real-time on mobile devices. The app allows the children to see the coloring work by showing animated characters with texture lifted from their colors on the drawing. Deformations of the book page are explicitly modeled by our 3-D tracking and reconstruction method. As a result, accurate color information is extracted to synthesize the character's texture

New Geometric Data Structures for Collision Detection

We present new geometric data structures for collision detection and more, including: Inner Sphere Trees - the first data structure to compute the peneration volume efficiently. Protosphere - an new algorithm to compute space filling sphere packings for arbitrary objects. Kinetic AABBs - a bounding volume hierarchy that is optimal in the number of updates when the objects deform. Kinetic Separation-List - an algorithm that is able to perform continuous collision detection for complex deformable objects in real-time. Moreover, we present applications of these new approaches to hand animation, real-time collision avoidance in dynamic environments for robots and haptic rendering, including a user study that exploits the influence of the degrees of freedom in complex haptic interactions. Last but not least, we present a new benchmarking suite for both, peformance and quality benchmarks, and a theoretic analysis of the running-time of bounding volume-based collision detection algorithms

Innovative mathematical and numerical models for studying the deformation of shells during industrial forming processes with the Finite Element Method

The doctoral thesis "Innovative mathematical and numerical models for studying the deformation of shells during industrial forming processes with the Finite Element Method" aims to contribute to the development of finite element methods for the analysis of stamping processes, a problematic area with a clear industrial application. To achieve the proposed objectives, the first part of this thesis covers the solid-shell elements. This type of element is attractive for the simulation of forming processes, since any type of three-dimensional constitutive law can be formulated without the need to consider any additional conjecture. Additionally, the contact of both sides can be easily treated. This work first presents the development of a triangular prismatic solid-sheet element, for the analysis of thick and thin sheets with capacity for large deformations. This element is in total Lagrangian formulation, and uses neighboring elements to compute a field of quadratic displacements. In the original formulation, a modified right Cauchy tensor was obtained; however, in this work, the formulation is extended obtaining a modified strain gradient, which allows the concepts of push-forward and pull-back to be used. These concepts provide a mathematically consistent method for the definition of temporary derivatives of tensors and, therefore, can be used, for example, to work with elasto-plasticity. This work continues with the development of the contact formulation used, a methodology found in the bibliography on computational contact mechanics for implicit simulations. This formulation consists of an exact integration of the contact interface using mortar methods, which allows obtaining the most consistent integration possible between the integration domains, as well as the most exact possible solution. The most notable contribution of this work is the consideration of dual augmented Lagrange multipliers as an optimization method. To solve the system of equations, a semi-smooth Newton method is considered, which consists of an active set strategy, also extensible in the case of friction problems. The formulation is functional for both frictionless and friction problems, which is essential for simulating stamping processes. This frictional formulation is framed in traditional friction models, such as Coulomb friction, but the development presented can be extended to any type of friction model. The remaining necessary component for the simulation of industrial processes are the constitutive models. In this work, this is materialized in the formulation of plasticity considered. These constitutive models will be considered plasticity models for large deformations, with an arbitrary combination of creep surfaces and plastic potentials: the so-called non-associative models. To calculate the tangent tensor corresponding to these general laws, numerical implementations based on perturbation methods have been considered. Another fundamental contribution of this work is the development of techniques for adaptive remeshing, of which different approaches will be presented. On the one hand, metric-based techniques, including the level-set and Hessian approaches. These techniques are general-purpose and can be considered in both structural problems and fluid mechanics problems. On the other hand, the SPR error estimation method, more conventional than the previous ones, is presented. In this area, the contribution of this work consists in the estimation of error using the Hessian and SPR techniques for the application to numerical contact problems.La tesis doctoral "Modelos matemáticos y numéricos innovadores para el estudio de la deformación de láminas durante los procesos de conformado industrial por el Método de los Elementos Finitos" pretende contribuir al desarrollo de métodos de elementos finitos para el análisis de procesos de estampado, un área problemática con una clara aplicación industrial. De hecho, este tipo de problemas multidisciplinares requieren el conocimiento de múltiples disciplinas, como la mecánica de medios continuos, la plasticidad, la termodinámica y los problemas de contacto, entre otros. Para alcanzar los objetivos propuestos, la primera parte de esta tesis abarca los elementos de sólido lámina. Este tipo de elemento resulta atractivo para la simulación de procesos de conformado, dado que cualquier tipo de ley constitutiva tridimensional puede ser formulada sin necesidad de considerar ninguna conjetura adicional. Además, este tipo de elementos permite realizar una descripción tridimensional del cuerpo deformable, por tanto, el contacto de ambas caras puede ser tratado fácilmente. Este trabajo presenta en primer lugar el desarrollo de un elemento de sólido-lámina prismático triangular, para el análisis de láminas gruesas y delgadas con capacidad para grandes deformaciones. Este elemento figura en formulación Lagrangiana total, y emplea los elementos vecinos para poder computar un campo de desplazamientos cuadráticos. En la formulación original, se obtenía un tensor de Cauchy derecho modificado (¯C); sin embargo, en este trabajo, la formulación se extiende obteniendo un gradiente de deformación modificado (¯F), que permite emplear los conceptos de push-forward y pull-back. Dichos conceptos proveen de un método matemáticamente consistente para la definición de derivadas temporales de tensores y, por tanto, puede ser usado, por ejemplo, para trabajar con elasto-plasticidad. El elemento se basa en tres modificaciones: (a) una aproximación clásica de deformaciones transversales de corte mixtas impuestas; (b) una aproximación de deformaciones impuestas para las Componentes en el plano tangente de la lámina; y (c) una aproximación de deformaciones impuestas mejoradas en la dirección normal a través del espesor, mediante la consideración de un grado de libertad adicional. Los objetivos son poder utilizar el elemento para la simulación de láminas sin bloquear por cortante, mejorar el comportamiento membranal del elemento en el plano tangente, eliminar el bloqueo por efecto Poisson y poder tratar materiales elasto-plásticos con un flujo plástico incompresible, así como materiales elásticos cuasi-incompresibles o materiales con flujo plástico isocórico. El elemento considera un único punto de Gauss en el plano, mientras que permite considerar un número cualquiera de puntos de integración en su eje, con el objetivo de poder considerar problemas con una significativa no linealidad en cuanto a plasticidad. Este trabajo continúa con el desarrollo de la formulación de contacto empleada, una metodología que se encuentra en la bibliografía sobre la mecánica de contacto computacional para simulaciones implícitas. Dicha formulación consiste en una integración exacta de la interfaz de contacto mediante métodos de mortero, lo que permite obtener la integración más consistente posible entre los dominios de integración, así como la solución más exacta posible. La implementación también considera varios algoritmos de optimización, como la optimización mediante penalización. La contribución más notable de este trabajo es la consideración de multiplicadores de Lagrange aumentados duales como método de optimización. Estos permiten condensar estáticamente el sistema de ecuaciones, lo que permite eliminar los multiplicadores de Lagrange de la resolución y, por lo tanto, permite la consideración de solvers iterativos. Además, la formulación ha sido adecuadamente linealizada, asegurando la convergencia cuadrática del problema. Para resolver el sistema de ecuaciones, se considera un método de Newton semi-smooth, que consiste en una estrategia de set activo, extensible también en el caso de problemas friccionales. La formulación es funcional tanto para problemas sin fricción como para problemas friccionales, lo que es esencial para la simulación de procesos de estampado. Esta formulación friccional se enmarca en los modelos de fricción tradicionales, como la fricción de Coulomb, pero el desarrollo presentado puede extenderse a cualquier tipo de modelo de fricción. Esta formulación de contacto es totalmente compatible con el elemento sólido-lámina introducido en este trabajo. El componente necesario restante para la simulación de procesos industriales son los modelos constitutivos. En este trabajo, esto se ve materializado en la formulación de plasticidad considerada. Estos modelos constitutivos se considerarán modelos de plasticidad para grandes deformaciones, con una combinación arbitraria de superficies de fluencia y potenciales plásticos: los llamados modelos no asociados. Para calcular el tensor tangente correspondiente a estas leyes generales, se han considerado implementaciones numéricas basadas en métodos de perturbación. Otra contribución fundamental de este trabajo es el desarrollo de técnicas para el remallado adaptativo, de las que se presentarán distintos enfoques. Por un lado, las técnicas basadas en métricas, incluyendo los enfoques level-set y Hessiano. Estas técnicas son de propósito general y pueden considerarse tanto en la aplicación de problemas estructurales como en problemas de mecánica de fluidos. Por otro lado, se presenta el método de estimación de errores SPR, más convencional que los anteriores. En este ámbito, la contribución de este trabajo consiste en la estimación de error mediante las técnicas de Hessiano y SPR para la aplicación a problemas de contacto numérico. Con los desarrollos previamente introducidos, estaremos en disposición de introducir los casos de aplicación centrados en el contexto de procesos de estampado. Es relevante destacar que estos ejemplos son comparados con las soluciones de referencia disponibles en la bibliografía como forma de validar los desarrollos presentados hasta este punto. El presente documento está organizado de la siguiente manera. El primer capítulo establece los objetivos y revisa la bibliografía acerca de los temas clave de este trabajo. El segundo capítulo hace una introducción de la mecánica de medios continuos y los conceptos relativos al Método de los Elementos Finitos (MEF), necesarios en los desarrollos que se presentarán en los capítulos siguientes. El tercer capítulo aborda la formulación del elemento sólido-lámina, así como del elemento de lámina sin grados de libertad de rotación que inspira el sólido-lámina desarrollado. Esta parte muestra varios ejemplos académicos que son comúnmente empleados en la bibliografía como problemas de referencia de láminas. El cuarto capítulo presenta la formulación desarrollada para la resolución de problemas de contacto numérico, consistente en una formulación implícita de integración exacta mediante métodos mortero y multiplicadores de Lagrange aumentados duales. Este capítulo incluye, asimismo, varios ejemplos comúnmente encontrados en la bibliografía, que generalmente son considerados para su validación. El quinto capítulo presenta la formulación de plasticidad empleada, incluyendo algunos detalles técnicos desde el punto de vista de la implementación, así como varios ejemplos de validación. El sexto capítulo muestra los algoritmos de remallado adaptativo desarrollados en el contexto de este trabajo, y presenta varios ejemplos, que incluyen no solo casos estructurales, sino también de mecánica de fluidos. El séptimo capítulo encapsula algunos casos de validación y aplicación para procesos de estampado. El capítulo final comprende las conclusiones, así como los trabajos que podrían continuar el presente estudio.Postprint (published version

Finite Element Modeling Driven by Health Care and Aerospace Applications

This thesis concerns the development, analysis, and computer implementation of mesh generation algorithms encountered in finite element modeling in health care and aerospace. The finite element method can reduce a continuous system to a discrete idealization that can be solved in the same manner as a discrete system, provided the continuum is discretized into a finite number of simple geometric shapes (e.g., triangles in two dimensions or tetrahedrons in three dimensions). In health care, namely anatomic modeling, a discretization of the biological object is essential to compute tissue deformation for physics-based simulations. This thesis proposes an efficient procedure to convert 3-dimensional imaging data into adaptive lattice-based discretizations of well-shaped tetrahedra or mixed elements (i.e., tetrahedra, pentahedra and hexahedra). This method operates directly on segmented images, thus skipping a surface reconstruction that is required by traditional Computer-Aided Design (CAD)-based meshing techniques and is convoluted, especially in complex anatomic geometries. Our approach utilizes proper mesh gradation and tissue-specific multi-resolution, without sacrificing the fidelity and while maintaining a smooth surface to reflect a certain degree of visual reality. Image-to-mesh conversion can facilitate accurate computational modeling for biomechanical registration of Magnetic Resonance Imaging (MRI) in image-guided neurosurgery. Neuronavigation with deformable registration of preoperative MRI to intraoperative MRI allows the surgeon to view the location of surgical tools relative to the preoperative anatomical (MRI) or functional data (DT-MRI, fMRI), thereby avoiding damage to eloquent areas during tumor resection. This thesis presents a deformable registration framework that utilizes multi-tissue mesh adaptation to map preoperative MRI to intraoperative MRI of patients who have undergone a brain tumor resection. Our enhancements with mesh adaptation improve the accuracy of the registration by more than 5 times compared to rigid and traditional physics-based non-rigid registration, and by more than 4 times compared to publicly available B-Spline interpolation methods. The adaptive framework is parallelized for shared memory multiprocessor architectures. Performance analysis shows that this method could be applied, on average, in less than two minutes, achieving desirable speed for use in a clinical setting. The last part of this thesis focuses on finite element modeling of CAD data. This is an integral part of the design and optimization of components and assemblies in industry. We propose a new parallel mesh generator for efficient tetrahedralization of piecewise linear complex domains in aerospace. CAD-based meshing algorithms typically improve the shape of the elements in a post-processing step due to high complexity and cost of the operations involved. On the contrary, our method optimizes the shape of the elements throughout the generation process to obtain a maximum quality and utilizes high performance computing to reduce the overheads and improve end-user productivity. The proposed mesh generation technique is a combination of Advancing Front type point placement, direct point insertion, and parallel multi-threaded connectivity optimization schemes. The mesh optimization is based on a speculative (optimistic) approach that has been proven to perform well on hardware-shared memory. The experimental evaluation indicates that the high quality and performance attributes of this method see substantial improvement over existing state-of-the-art unstructured grid technology currently incorporated in several commercial systems. The proposed mesh generator will be part of an Extreme-Scale Anisotropic Mesh Generation Environment to meet industries expectations and NASA\u27s CFD visio

Few-Shot Physically-Aware Articulated Mesh Generation via Hierarchical Deformation

We study the problem of few-shot physically-aware articulated mesh generation. By observing an articulated object dataset containing only a few examples, we wish to learn a model that can generate diverse meshes with high visual fidelity and physical validity. Previous mesh generative models either have difficulties in depicting a diverse data space from only a few examples or fail to ensure physical validity of their samples. Regarding the above challenges, we propose two key innovations, including 1) a hierarchical mesh deformation-based generative model based upon the divide-and-conquer philosophy to alleviate the few-shot challenge by borrowing transferrable deformation patterns from large scale rigid meshes and 2) a physics-aware deformation correction scheme to encourage physically plausible generations. We conduct extensive experiments on 6 articulated categories to demonstrate the superiority of our method in generating articulated meshes with better diversity, higher visual fidelity, and better physical validity over previous methods in the few-shot setting. Further, we validate solid contributions of our two innovations in the ablation study. Project page with code is available at https://meowuu7.github.io/few-arti-obj-gen.Comment: ICCV 2023. Project Page: https://meowuu7.github.io/few-arti-obj-ge

Innovative mathematical and numerical models for studying the deformation of shells during industrial forming processes with the Finite Element Method

This document contains the result resulting from the work in the doctoral thesis Innovative mathematical and numerical models for studying the deformation of shells during industrial forming processes with the Finite Element Method. The objective of this thesis is to contribute to the development of finite element methods for the analysis of the stamping processes, an area of problems with a very clear industrial application. Indeed these kinds of problems involve multiple disciplines and require the understanding of different mechanical problems, being the most relevant disciplines the continuous mechanics, the plasticity, contact problems, among others, depending of the problematic of study