Interactive Physically Based Simulation - Efficient Higher-Order Elements, Multigrid Approaches and Massively Parallel Data Structures

This thesis covers interactive physically based simulation for applications such as computer games or virtual environments. Interactivity, i.e., the option that a user can influence a system, imposes challenging requirements on the simulation algorithms. A simple way to achieve this goal is to drastically limit the resolution in order to guarantee this low computation time. However, with current methods the number of degrees of freedom will be rather low, which results in a low degree of realism. This is due to the fact that not every detail that is important for realistically representing the physical system can be resolved. This thesis contributes to interactive physically based simulation by developing novel methods and data structures. These can be associated with the three pillars of this thesis: more accurate discrete representations, efficient methods for linear systems, and data structures and methods for massively parallel computing. The novel approaches are evaluated in two application areas relevant in computer generated animation: simulation of dynamic volumetric deformation and fluid dynamics. The resulting accelerations allow for a higher degree of realism because the number of elements or the resolution can be significantly increased.

[1]  Arutyun Avetisyan,et al.  Automatically Tuning Sparse Matrix-Vector Multiplication for GPU Architectures , 2010, HiPEAC.

[2]  Christopher Batty,et al.  Tetrahedral Embedded Boundary Methods for Accurate and Flexible Adaptive Fluids , 2010, Comput. Graph. Forum.

[3]  R. Courant,et al.  On the solution of nonlinear hyperbolic differential equations by finite differences , 1952 .

[4]  Matthias Teschner,et al.  Inversion handling for stable deformable modeling , 2008, The Visual Computer.

[5]  Ronald Fedkiw,et al.  Finite volume methods for the simulation of skeletal muscle , 2003, SCA '03.

[6]  Robert Bridson,et al.  Matching fluid simulation elements to surface geometry and topology , 2010, ACM Transactions on Graphics.

[7]  Marc Alexa,et al.  As-rigid-as-possible surface modeling , 2007, Symposium on Geometry Processing.

[8]  Rüdiger Westermann,et al.  Corotated Finite Elements Made Fast and Stable , 2008, VRIPHYS.

[9]  Christopher Wojtan,et al.  Highly adaptive liquid simulations on tetrahedral meshes , 2013, ACM Trans. Graph..

[10]  Markus H. Gross,et al.  Polyhedral Finite Elements Using Harmonic Basis Functions , 2008, Comput. Graph. Forum.

[11]  Timothy A. Davis,et al.  Direct Methods for Sparse Linear Systems (Fundamentals of Algorithms 2) , 2006 .

[12]  Eftychios Sifakis,et al.  SPGrid: a sparse paged grid structure applied to adaptive smoke simulation , 2014, ACM Trans. Graph..

[13]  Ronald Fedkiw,et al.  Level set methods and dynamic implicit surfaces , 2002, Applied mathematical sciences.

[14]  Dimitris N. Metaxas,et al.  Modeling the motion of a hot, turbulent gas , 1997, SIGGRAPH.

[15]  André Stork,et al.  Neighboring-based Linear System for Dynamic Meshes , 2009, VRIPHYS.

[16]  Jeffrey C. Trinkle,et al.  Interactive Simulation of Rigid Body Dynamics in Computer Graphics , 2014, Eurographics.

[17]  James F. O'Brien,et al.  Animating gases with hybrid meshes , 2005, ACM Trans. Graph..

[18]  Matthias Teschner,et al.  SPH Fluids in Computer Graphics , 2014, Eurographics.

[19]  M. Gross,et al.  Flexible simulation of deformable models using discontinuous Galerkin FEM , 2008, SCA 2008.

[20]  Hervé Delingette,et al.  Real-Time Large Displacement Elasticity for Surgery Simulation: Non-linear Tensor-Mass Model , 2000, MICCAI.

[21]  Brian Mirtich,et al.  A Survey of Deformable Modeling in Computer Graphics , 1997 .

[22]  A. Chorin A Numerical Method for Solving Incompressible Viscous Flow Problems , 1997 .

[23]  Ronald Fedkiw,et al.  A vortex particle method for smoke, water and explosions , 2005, ACM Trans. Graph..

[24]  Olaf Schenk,et al.  Solving unsymmetric sparse systems of linear equations with PARDISO , 2004, Future Gener. Comput. Syst..

[25]  Justin W. L. Wan,et al.  A Boundary Condition-Capturing Multigrid Approach to Irregular Boundary Problems , 2004, SIAM J. Sci. Comput..

[26]  Robert Bridson,et al.  Fluid Simulation for Computer Graphics , 2008 .

[27]  James F. O'Brien,et al.  Real-time deformation and fracture in a game environment , 2009, SCA '09.

[28]  Jan Bender,et al.  Fast and stable cloth simulation based on multi-resolution shape matching , 2013, Comput. Graph..

[29]  Rüdiger Westermann,et al.  A Hexahedral Multigrid Approach for Simulating Cuts in Deformable Objects , 2011, IEEE Transactions on Visualization and Computer Graphics.

[30]  Dinesh K. Pai,et al.  ArtDefo: accurate real time deformable objects , 1999, SIGGRAPH.

[31]  Dieter W. Fellner,et al.  A p-Multigrid Algorithm using Cubic Finite Elements for Efficient Deformation Simulation , 2014, VRIPHYS.

[32]  Matthias Müller-Fischer,et al.  Liquid simulation with mesh-based surface tracking , 2011, SIGGRAPH '11.

[33]  T. Pfaff,et al.  Synthetic turbulence using artificial boundary layers , 2009, SIGGRAPH 2009.

[34]  Jan Bender,et al.  Efficient GPU Data Structures and Methods to Solve Sparse Linear Systems in Dynamics Applications , 2013, Comput. Graph. Forum.

[35]  Eitan Grinspun,et al.  CHARMS: a simple framework for adaptive simulation , 2002, ACM Trans. Graph..

[36]  J. Sethian,et al.  Fronts propagating with curvature-dependent speed: algorithms based on Hamilton-Jacobi formulations , 1988 .

[37]  Michael Garland,et al.  Efficient Sparse Matrix-Vector Multiplication on CUDA , 2008 .

[38]  Mark J. Harris Fast fluid dynamics simulation on the GPU , 2005, SIGGRAPH Courses.

[39]  Zhilin Li A Fast Iterative Algorithm for Elliptic Interface Problems , 1998 .

[40]  Dieter W. Fellner,et al.  Rapid CFD for the Early Conceptual Design Phase , 2011 .

[41]  Jernej Barbic,et al.  Interactive authoring of simulation-ready plants , 2013, ACM Trans. Graph..

[42]  Li-Tien Cheng,et al.  A second-order-accurate symmetric discretization of the Poisson equation on irregular domains , 2002 .

[43]  Guillaume Caumon,et al.  Concurrent number cruncher: a GPU implementation of a general sparse linear solver , 2009, Int. J. Parallel Emergent Distributed Syst..

[44]  Ronald Fedkiw,et al.  A new grid structure for domain extension , 2013, ACM Trans. Graph..

[45]  Rüdiger Westermann,et al.  Workshop on Virtual Reality Interaction and Physical Simulation (2005) a Multigrid Framework for Real-time Simulation of Deformable Volumes , 2022 .

[46]  Samuel Hans Martin Roth,et al.  Bernstein-Bézier representations for facial surgery simulation , 2002 .

[47]  Matthias Harders,et al.  Element-wise mixed implicit-explicit integration for stable dynamic simulation of deformable objects , 2011, SCA '11.

[48]  William E. Lorensen,et al.  Marching cubes: A high resolution 3D surface construction algorithm , 1987, SIGGRAPH.

[49]  Michael Goesele,et al.  Interactive deformable models with quadratic bases in Bernstein–Bézier-form , 2011, The Visual Computer.

[50]  Ronald Fedkiw,et al.  Chimera grids for water simulation , 2013, SCA '13.

[51]  David I. W. Levin,et al.  Eulerian solid simulation with contact , 2011, SIGGRAPH 2011.

[52]  Dimitris N. Metaxas,et al.  Realistic Animation of Liquids , 1996, Graphics Interface.

[53]  Andrew Nealen,et al.  Physically Based Deformable Models in Computer Graphics , 2005, Eurographics.

[54]  James F. O'Brien,et al.  Fluid animation with dynamic meshes , 2006, ACM Trans. Graph..

[55]  P. Colella,et al.  A Cartesian Grid Embedded Boundary Method for Poisson's Equation on Irregular Domains , 1998 .

[56]  Pheng-Ann Heng,et al.  A hybrid condensed finite element model with GPU acceleration for interactive 3D soft tissue cutting , 2004, Comput. Animat. Virtual Worlds.

[57]  Jan Bender,et al.  Fast Dynamic Simulation of Multi-Body Systems Using Impulses , 2006, VRIPHYS.

[58]  P. Schröder,et al.  A simple geometric model for elastic deformations , 2010, SIGGRAPH 2010.

[59]  Robert Bridson,et al.  Fluid simulation: SIGGRAPH 2007 course notesVideo files associated with this course are available from the citation page , 2007, SIGGRAPH Courses.

[60]  Motoji Yamamoto,et al.  An edge-based computationally efficient formulation of Saint Venant-Kirchhoff tetrahedral finite elements , 2009, ACM Trans. Graph..

[61]  Jérémie Allard,et al.  Implicit FEM Solver on GPU for Interactive Deformation Simulation , 2011 .

[62]  Christopher Wojtan,et al.  Liquid surface tracking with error compensation , 2013, ACM Trans. Graph..

[63]  Ben Houston,et al.  A unified approach for modeling complex occlusions in fluid simulations , 2003, SIGGRAPH '03.

[64]  Leonard McMillan,et al.  Stable real-time deformations , 2002, SCA '02.

[65]  Ronald Fedkiw,et al.  Codimensional surface tension flow on simplicial complexes , 2014, ACM Trans. Graph..

[66]  J. Krüger,et al.  Linear algebra operators for GPU implementation of numerical algorithms , 2003, ACM Trans. Graph..

[67]  M. Bro-Nielsen,et al.  Finite element modeling in surgery simulation , 1998, Proc. IEEE.

[68]  P. Moin,et al.  Application of a Fractional-Step Method to Incompressible Navier-Stokes Equations , 1984 .

[69]  Ronald Fedkiw,et al.  Robust quasistatic finite elements and flesh simulation , 2005, SCA '05.

[70]  Miles Macklin,et al.  Position based fluids , 2013, ACM Trans. Graph..

[71]  John E. Stone,et al.  OpenCL: A Parallel Programming Standard for Heterogeneous Computing Systems , 2010, Computing in Science & Engineering.

[72]  Matthias Loskyll,et al.  Enabling virtual assembly training in and beyond the automotive industry , 2012, 2012 18th International Conference on Virtual Systems and Multimedia.

[73]  M. Gross,et al.  Deforming meshes that split and merge , 2009, SIGGRAPH 2009.

[74]  Yongning Zhu,et al.  Animating sand as a fluid , 2005, SIGGRAPH 2005.

[75]  James F. O'Brien,et al.  Eurographics/acm Siggraph Symposium on Computer Animation (2007) Liquid Simulation on Lattice-based Tetrahedral Meshes , 2022 .

[76]  Doug L. James,et al.  Real time physics: class notes , 2008, SIGGRAPH '08.

[77]  Matthias Müller,et al.  A Multigrid Fluid Pressure Solver Handling Separating Solid Boundary Conditions , 2011, IEEE Transactions on Visualization and Computer Graphics.

[78]  Jessica K. Hodgins,et al.  Graphical modeling and animation of brittle fracture , 1999, SIGGRAPH.

[79]  Ulrich Pinkall,et al.  Filament-based smoke with vortex shedding and variational reconnection , 2010, SIGGRAPH 2010.

[80]  Matthias Müller,et al.  Real-time Eulerian water simulation using a restricted tall cell grid , 2011, SIGGRAPH 2011.

[81]  Sébastien Ourselin,et al.  High-Speed Nonlinear Finite Element Analysis for Surgical Simulation Using Graphics Processing Units , 2008, IEEE Transactions on Medical Imaging.

[82]  Rüdiger Westermann,et al.  Large-Scale Liquid Simulation on Adaptive Hexahedral Grids , 2014, IEEE Transactions on Visualization and Computer Graphics.

[83]  Wolfgang Straßer,et al.  Corotational Simulation of Deformable Solids , 2004, WSCG.

[84]  Hang Si,et al.  TetGen, a Delaunay-Based Quality Tetrahedral Mesh Generator , 2015, ACM Trans. Math. Softw..

[85]  Kwang-Jin Choi,et al.  Stable but responsive cloth , 2002, SIGGRAPH Courses.

[86]  Miguel A. Otaduy,et al.  A Survey on Position‐Based Simulation Methods in Computer Graphics , 2014, Comput. Graph. Forum.

[87]  Andrew Selle,et al.  Efficient elasticity for character skinning with contact and collisions , 2011, SIGGRAPH 2011.

[88]  Jernej Barbic,et al.  Real-Time subspace integration for St. Venant-Kirchhoff deformable models , 2005, ACM Trans. Graph..

[89]  Sarah Tariq,et al.  Interactive fluid-particle simulation using translating Eulerian grids , 2010, I3D '10.

[90]  S. Osher,et al.  A Non-oscillatory Eulerian Approach to Interfaces in Multimaterial Flows (the Ghost Fluid Method) , 1999 .

[91]  R. Fedkiw,et al.  USING THE PARTICLE LEVEL SET METHOD AND A SECOND ORDER ACCURATE PRESSURE BOUNDARY CONDITION FOR FREE SURFACE FLOWS , 2003 .

[92]  Markus H. Gross,et al.  Wavelet turbulence for fluid simulation , 2008, ACM Trans. Graph..

[93]  F. Harlow,et al.  Numerical Calculation of Time‐Dependent Viscous Incompressible Flow of Fluid with Free Surface , 1965 .

[94]  Robert Bridson,et al.  Robust Topological Operations for Dynamic Explicit Surfaces , 2009, SIAM J. Sci. Comput..

[95]  Dinesh K. Pai,et al.  Post-stabilization for rigid body simulation with contact and constraints , 2003, 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422).

[96]  Eitan Grinspun,et al.  Multimaterial mesh-based surface tracking , 2014, ACM Trans. Graph..

[97]  Eftychios Sifakis,et al.  A parallel multigrid Poisson solver for fluids simulation on large grids , 2010, SCA '10.

[98]  Ronald Fedkiw,et al.  An Unconditionally Stable MacCormack Method , 2008, J. Sci. Comput..

[99]  E. Guendelman,et al.  Efficient simulation of large bodies of water by coupling two and three dimensional techniques , 2006, SIGGRAPH 2006.

[100]  James F. O'Brien,et al.  Updated sparse cholesky factors for corotational elastodynamics , 2012, TOGS.

[101]  Michael Garland,et al.  Implementing sparse matrix-vector multiplication on throughput-oriented processors , 2009, Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis.

[102]  Y. Fung A first course in continuum mechanics , 1969 .

[103]  R. Fedkiw,et al.  Robust Treatment of Interfaces for Fluid Flows and Computer Graphics , 2003 .

[104]  Wolfgang Straßer,et al.  Analysis of numerical methods for the simulation of deformable models , 2003, The Visual Computer.

[105]  Markus Gross,et al.  A Bernstein-Bézier based approach to soft tissue simulation , 1998 .

[106]  Robert Bridson,et al.  MultiFLIP for energetic two-phase fluid simulation , 2012, TOGS.

[107]  Rüdiger Westermann,et al.  A real-time multigrid finite hexahedra method for elasticity simulation using CUDA , 2011, Simul. Model. Pract. Theory.

[108]  Jerrold E. Marsden,et al.  Geometric, variational integrators for computer animation , 2006, SCA '06.

[109]  Ronald Fedkiw,et al.  A novel algorithm for incompressible flow using only a coarse grid projection , 2010, ACM Trans. Graph..

[110]  Dieter W. Fellner,et al.  Deformation simulation using cubic finite elements and efficient p-multigrid methods , 2015, Comput. Graph..

[111]  Atsushi Suzuki,et al.  New Row-grouped CSR format for storing the sparse matrices on GPU with implementation in CUDA , 2010, ArXiv.

[112]  Ian M. Mitchell,et al.  A hybrid particle level set method for improved interface capturing , 2002 .

[113]  Ester M. Garzón,et al.  Improving the Performance of the Sparse Matrix Vector Product with GPUs , 2010, 2010 10th IEEE International Conference on Computer and Information Technology.

[114]  Dieter W. Fellner,et al.  A Cut‐Cell Geometric Multigrid Poisson Solver for Fluid Simulation , 2015, Comput. Graph. Forum.

[115]  Ronald Fedkiw,et al.  Mass and momentum conservation for fluid simulation , 2011, SCA '11.

[116]  Carlos Eduardo Pereira,et al.  Iterative SLE Solvers over a CPU-GPU Platform , 2010, 2010 IEEE 12th International Conference on High Performance Computing and Communications (HPCC).

[117]  Adam W. Bargteil A semi-Lagrangian contouring method for fluid simulation , 2005, SIGGRAPH '05.

[118]  Phillip Colella,et al.  A cartesian grid embedded boundary method for the heat equation and poisson's equation in three dimensions , 2004 .

[119]  Wolfgang Straßer,et al.  A fast finite element solution for cloth modelling , 2003, 11th Pacific Conference onComputer Graphics and Applications, 2003. Proceedings..

[120]  Ignacio Llamas,et al.  FlowFixer: Using BFECC for Fluid Simulation , 2005, NPH.

[121]  Wolfgang Straßer,et al.  Interactive Soft Object Simulation with Quadratic Finite Elements , 2006, AMDO.

[122]  Yohan Payan,et al.  Efficient, Physically Plausible Finite Elements , 2005, Eurographics.

[123]  Yiying Tong,et al.  Stable, circulation-preserving, simplicial fluids , 2007, TOGS.

[124]  Jernej Barbic,et al.  Vega: Non‐Linear FEM Deformable Object Simulator , 2013, Comput. Graph. Forum.

[125]  Ronald Fedkiw,et al.  Animation and rendering of complex water surfaces , 2002, ACM Trans. Graph..

[126]  Ronald Fedkiw,et al.  Invertible finite elements for robust simulation of large deformation , 2004, SCA '04.

[127]  Richard Barrett,et al.  Templates for the Solution of Linear Systems: Building Blocks for Iterative Methods , 1994, Other Titles in Applied Mathematics.

[128]  Larry L. Schumaker,et al.  Spline functions on triangulations , 2007, Encyclopedia of mathematics and its applications.

[129]  Wolfgang Straßer,et al.  Interactive physically-based shape editing , 2009, Comput. Aided Geom. Des..

[130]  J. Shewchuk An Introduction to the Conjugate Gradient Method Without the Agonizing Pain , 1994 .

[131]  John C. Platt,et al.  Elastically deformable models , 1987, SIGGRAPH.

[132]  Long Chen FINITE ELEMENT METHOD , 2013 .

[133]  Robert Bridson,et al.  A fast variational framework for accurate solid-fluid coupling , 2007, SIGGRAPH 2007.

[134]  Ronald Fedkiw,et al.  Dynamic simulation of articulated rigid bodies with contact and collision , 2006, IEEE Transactions on Visualization and Computer Graphics.

[135]  Ronald Fedkiw,et al.  Simulating water and smoke with an octree data structure , 2004, ACM Trans. Graph..

[136]  S. McCormick,et al.  A multigrid tutorial (2nd ed.) , 2000 .

[137]  Keenan Crane,et al.  Energy-preserving integrators for fluid animation , 2009, SIGGRAPH 2009.

[138]  Markus H. Gross,et al.  Interactive Virtual Materials , 2004, Graphics Interface.

[139]  Eitan Grinspun,et al.  Enrichment textures for detailed cutting of shells , 2009, ACM Trans. Graph..

[140]  Elaine Cohen,et al.  Animation of Deformable Bodies with Quadratic Bézier Finite Elements , 2014, ACM Trans. Graph..

[141]  Christopher Wojtan,et al.  A Dimension‐reduced Pressure Solver for Liquid Simulations , 2015, Comput. Graph. Forum.

[142]  Jock D. Mackinlay,et al.  The information visualizer, an information workspace , 1991, CHI.

[143]  Dinesh K. Pai,et al.  Active volumetric musculoskeletal systems , 2014, ACM Trans. Graph..

[144]  Maud Marchal,et al.  Physically realistic interactive simulation for biological soft tissues , 2005 .

[145]  Jérémie Allard,et al.  Parallel Dense Gauss-Seidel Algorithm on Many-Core Processors , 2009, 2009 11th IEEE International Conference on High Performance Computing and Communications.

[146]  Jernej Barbic,et al.  FEM simulation of 3D deformable solids: a practitioner's guide to theory, discretization and model reduction , 2012, SIGGRAPH '12.

[147]  Andrew P. Witkin,et al.  Large steps in cloth simulation , 1998, SIGGRAPH.

[148]  DOMINIK L. MICHELS,et al.  Exponential integrators for stiff elastodynamic problems , 2014, ACM Trans. Graph..

[149]  G. Farin Curves and Surfaces for Cagd: A Practical Guide , 2001 .

[150]  Matthias Müller,et al.  Fast and robust tracking of fluid surfaces , 2009, SCA '09.

[151]  Gavin S. P. Miller,et al.  Rapid, stable fluid dynamics for computer graphics , 1990, SIGGRAPH.

[152]  Moshe Koppel,et al.  Computational methods in authorship attribution , 2009, J. Assoc. Inf. Sci. Technol..

[153]  Robert Bridson,et al.  Detailed water with coarse grids , 2014, ACM Trans. Graph..

[154]  Frédéric Gibou,et al.  An efficient fluid-solid coupling algorithm for single-phase flows , 2009, J. Comput. Phys..

[155]  Eftychios Sifakis,et al.  An efficient multigrid method for the simulation of high-resolution elastic solids , 2010, TOGS.

[156]  Dinesh K. Pai,et al.  Author manuscript, published in "ACM Transactions on Graphics (2011)" Sparse Meshless Models of Complex Deformable Solids , 2011 .

[157]  Katherine A. Yelick,et al.  Optimizing Sparse Matrix Vector Multiplication on SMP , 1999, SIAM Conference on Parallel Processing for Scientific Computing.

[158]  Suvranu De,et al.  GPU accelerated fast FEM deformation simulation , 2008, APCCAS 2008 - 2008 IEEE Asia Pacific Conference on Circuits and Systems.

[159]  Mathieu Desbrun,et al.  Dynamic real-time deformations using space & time adaptive sampling , 2001, SIGGRAPH.

[160]  Jernej Barbic,et al.  Real-time large-deformation substructuring , 2011, ACM Trans. Graph..

[161]  Jan Bender,et al.  Position-based simulation of continuous materials , 2014, Comput. Graph..

[162]  Ronald Fedkiw,et al.  Visual simulation of smoke , 2001, SIGGRAPH.

[163]  Jessica K. Hodgins,et al.  A point-based method for animating incompressible flow , 2009, SCA '09.

[164]  Alexey Stomakhin,et al.  Energetically consistent invertible elasticity , 2012, SCA '12.

[165]  Markus H. Gross,et al.  A Finite Element Method on Convex Polyhedra , 2007, Comput. Graph. Forum.

[166]  J. Xu,et al.  An Algebraic Multigrid Method for Higher-order Finite Element Discretizations , 2006, Computing.