Geometry & Computation for Interactive Simulation (17w5008)
The Casa Matemática Oaxaca (CMO) will host the "Geometry & Computation for Interactive Simulation" workshop from September 24th to September 29th, 2017. What do interactive design and surgical simulation have in common? The workshop "Geometry & Computation for Interactive Simulation" focuses on surmounting the underlying key challenges of interaction of geometry and computation. Progress in these key challenges promises better manufacturing and improved surgical training. The workshop brings together leading researchers from computer science and mathematics to improve our understanding of the tools and theory needed for robust computation and realistic simulation that can only be achieved by a holistic approach. The Casa Matemática Oaxaca (CMO) in Mexico, and the Banff International Research Station for Mathematical Innovation and Discovery (BIRS) in Banff, are collaborative Canada-US-Mexico ventures that provide an environment for creative interaction as well as the exchange of ideas, knowledge, and methods within the Mathematical Sciences, with related disciplines and with industry. The research station in Banff is supported by Canada's Natural Science and Engineering Research Council (NSERC), the U.S. National Science Foundation (NSF), Alberta's Advanced Education and Technology, and Mexico's Consejo Nacional de Ciencia y Tecnología (CONACYT). The research station in Oaxaca is funded by CONACYT.
DOI (Serie): 10.5446/s_1436
16
2017
8
12 Stunden 31 Minuten
16 Ergebnisse
55:08
Zorin, DenisA variety of techniques were proposed to model smooth surfaces of arbitrary topology based on tensor product splines (e.g. subdivision surfaces, free-form splines, T-splines). Conversion of an input surface into such a representation is commonly achieved by constructing a global seamless parametrization, possibly aligned to a guiding cross-field and using this parametrization as a domain to construct the spline-based surface. (Informally, seamless parametrizations can be thought of as paramezations of surfaces cut to disks, with isoparametric line directions and spacing on the surface matching perfectly across the cuts). One major fundamental difficulty in designing robust algorithms for this task is the fact that for common types, e.g. subdivision surfaces (requiring a conforming domain mesh) or T-spline surfaces reliably obtaining a suitable parametrization that has the same topological structure (matching singularities and more generally rotations of parametric line directions along loops matching that of the cross-field) as the guiding field poses a major challenge. Even worse, not all fields do admit suitable parametrizations, and no concise conditions are known as to which fields do. I will discuss our recent work that addresses the problem by introducing two new concepts: (1) seamless similarity maps -- a relaxation of the seamless parametrization idea, allowing scale jumps across cuts (2) splines with half-edge knots, that relax the global knot interval consistency requirements on surfaces with nontrivial genus. It turns out, that for any given guiding field structure, a compatible parametrization of this kind exists and can be computed by a relatively simple algorithm; at the same time, for any such parametrization, a smooth piecewise rational surface with exactly the same structure as the input field can be constructed from it. This leads to fully automatic construction of high-order approximations of arbitrary surfaces, even with hiighly complex topology, potentially enabling, e.g., robust automatic conversion of surfaces to isogeometric form.
2017Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
50:31
Reif, Ulrich2017Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
45:13
Pitolli, FrancescaWe solve a fractional-time diffusion equation by a collocation-Galerkin method that uses the refinable spaces generated by the fractional B-splines as approximating spaces. The main advantage in using the fractional B-splines is in that their derivatives of both integer and fractional order can be expressed in a closed form that involves just the fractional difference operator. We analyze the performance of the method by solving some test problems.
2017Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
48:11
Stam, JosUsually shapes are modeled through a top down approach. Think of smooth surfaces defined by a few control points. In this talk I will propose an opposite paradigm. This approach creates shapes from a bottom up approach. Think of the "Game of life." Shapes emerge from small scale interactions through local interactions. This approach is inspired by micro-biology. Key to this approach is to use a dynamics solver.
2017Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
38:54
Mirzargar, MahsaSince the introduction of Smoothness-Increasing Accuracy-Conserving (SIAC) Filtering for DG approximation of univariate hyperbolic equations by Cockburn et al., many generalizations of SIAC filtering have been proposed. Recently, new advancements in connecting the spline theory and SIAC filtering have paved the way for a more geometric view of this filtering technique. Based on which, various generalizations of the SIAC kernel have been proposed to make the filtering viable for more realistic applications. Examples include the introduction of SIAC line integral with applications for streamlining and flow visualization, hexagonal SIAC using nonseparable splines, and position dependent SIAC with nonuniform knot sequences. In this talk, I will introduce the basic concept of the SIAC filtering, its connection with well-established concepts from approximation theory, and discuss the recent advances in SIAC filtering.
2017Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
36:23
1Peters, JörgBlender2SOFA is a software bridge that semi-automates the scene-generation cycle, a key bottleneck in authoring, modeling and developing VR units for surgery simulation.
2017Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
38:33
2Talbot, HugoSOFA is an open-source framework for multi-physics simulation. SOFA aims at interactive and real-time applications, with an emphasis on medical simulation. SOFA benefits today from large, active and international community, including international universities, startups and companies. For more flexibility, SOFA is made up of a stable open-source core and many optional plugins (>100 plugins), providing innovative numerical methods and state-of-the-art algorithms. The SOFA core has a LGPL license (permissive and non-contaminating) fostering development of prototypes and products under any commercial license.
2017Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
34:34
Licon Salaiz, Jose LuisUse of computational topology for pattern analysis in turbulent flows Atmospheric science presents us with the problem of complex turbulent flows. We will present some techniques from computational topology which can be used in quantifying this spatio-temporal complexity, and for detecting minimal flow structures in direct numerical simulations.
2017Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
59:02
1Alliez, PierreI will first give a short presentation of the objectives and scope of the CGAL open source project. I will the recently added algorithms that are relevant for geometric modeling and simulation: point set processing, polygon mesh processing and mesh generation. For each software component I will discuss the underlying design principles, show a live demo and explain how users can adapt and extend it to their specific needs. Finally, I will briefly review the existing projects for extending the mesh generation toolbox of CGAL.
2017Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
49:49
Martin, FlorianThe collocation method with weighted extended B-splines (WEB-splines) represents a recently published approach for the spline approximation of the solution of stationary partial differential equations. In contrast to standard finite element methods, WEB-collocation requires no mesh generation and numerical integration, which leads to considerably faster computation times and an easier implementation. In this talk, the basics of WEB-collocation for general boundary value problems with mixed boundary conditions are described and the advantages over finite element methods are illustrated for Poisson's equation as typical model problem. On this basis, current research results from the application to singular and time-dependent problems are presented. The utilization of uniform spline spaces permits a straightforward generalization of the basic concept to hierarchical bases and the development of intuitive refinement strategies. The benefits of these adaptive WEB-collocation algorithms are shown in case of the model problem with a singular solution. Furthermore, considering the problem of simulating a tsunami, the combination of the WEB-collocation concept and a time-step iteration is presented to demonstrate a novel approximation scheme for time-dependent equations.
2017Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
37:28
Peters, JörgAn brief overview of different surface representations and their associated analysis (FEM) functions.
2017Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
47:04
Mantzaflaris, AngelosIn this talk we will discuss strategies for general purpose software implementation of isogeometric analysis. More than a decade after the introduction of the latter, industrialization of the technology remains a major challenge, since it involves a new way of thinking (a paradigm shift) with respect to existing computer-aided design and finite element analysis software and requires a re-engineering of current design and simulation practices.
2017Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
59:59
Jacobson, AlecA reconfigurable is an object or collection of objects whose trans- formation between various states defines its functionality or aes- thetic appeal. For example, consider a mechanical assembly com- posed of interlocking pieces, a transforming folding bicycle, or a space-saving arrangement of apartment furniture. Traditional computer-aided design tools are best intended for static objects. I will report on some of our recent attempts to create optimization-based tools for computational design of reconfigurable shapes. I will first discuss a prototype of a general purpose tool. Then I will dive into the curious and delightful special case of computational design of generalized Matryoshka, a.k.a. Russian Nesting Dolls.
2017Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
52:38
3Hildebrandt, KlausIn this talk, we will discuss model reduction techniques that can be used to construct fast approximation algorithms for shape optimization problems. The goal is to obtain approximate solutions at run times that are independent of the resolution of the discrete shapes to be optimized. As applications we will discuss methods for real-time elasticity-based shape interpolation and the processing of curves in shape spaces in which a shape is a single point. Finally, I will outline the concept of compressed vibration modes of elastic bodies, which in contrast to the natural vibration modes, are localized ("sparse") deformations.
2017Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
45:56
Levin, David I. W.Numerical algorithms for simulating continua have long been based on the idea that high resolution and high accuracy go hand-in-hand. While engineering and computational mechanics have pushed resolution limits in pursuit of simulation fidelity, computer graphics has often gone the other way, sacrificing resolution and accuracy for performance. However, what if we want both high-performance and predictive accuracy ? In this talk I will discuss how to avoid this seeming fundamental trade-off using measurement-based and data-driven simulation techniques as well as some examples of these methods applied to both forward and inverse problems in graphics and 3D printing. I will conclude with some thoughts on where these methods might take us in the future.
2017Banff International Research Station (BIRS) for Mathematical Innovation and Discovery
52:10
1Ascher, UriVisual computing is a wide area that includes computer graphics and image processing, where the 'eye-norm' rules. I will briefly discuss two case studies involving numerical methods and analysis applied to this area. The first involves motion simulation and calibration of soft objects such as cloth, plants and skin. The governing elastodynamics PDE system, discretized in space already at the variational level using FEM,leads to a large, expensive to assemble, dynamical system in time, where the damped motion may mask highly oscillatory stiffness. Geometric integration ideas are making their way into visual computing research these days in search for more quantitative computations. The other case study involves some image processing problems where theremis a premium for local approaches that do not necessarily use underlying PDEs. Here the trend is in the other direction. I will demonstrate and discuss.
2017Banff International Research Station (BIRS) for Mathematical Innovation and Discovery