Subdivision Exterior Calculus for Geometry Processing

Total Page:16

File Type:pdf, Size:1020Kb

Subdivision Exterior Calculus for Geometry Processing Subdivision Exterior Calculus for Geometry Processing Fernando de Goes Mathieu Desbrun Mark Meyer Tony DeRose Pixar Animation Studios Caltech Pixar Animation Studios Pixar Animation Studios Pixar Technical Memo #16-01 April, 2016 DEC SEC Figure 1: Subdivision Exterior Calculus (SEC). We introduce a new technique to perform geometry processing applications on subdivision surfaces by extending Discrete Exterior Calculus (DEC) from the polygonal to the subdivision setting. With the preassemble of a few operators on the control mesh, SEC outperforms DEC in terms of numerics with only minor computational overhead. For instance, while the spectral conformal parameterization [Mullen et al. 2008] of the control mesh of the mannequin head (left) results in large quasi-conformal distortion (mean = 1:784, max = 9:4) after subdivision (middle), simply substituting our SEC operators for the original DEC operators significantly reduces distortion (mean=1:005, max=3:0) (right). Parameterizations, shown at level 1 for clarity, exhibit substantial differences. Abstract Among the various polygonal mesh techniques, Discrete Exterior Calculus (DEC) [Desbrun et al. 2008] is a coordinate-free formal- This paper introduces a new computational method to solve differ- ism for solving scalar and vector valued differential equations. In ential equations on subdivision surfaces. Our approach adapts the particular, it reproduces, rather than merely approximates, essen- numerical framework of Discrete Exterior Calculus (DEC) from tial properties of the differential setting such as Stokes’ theorem. the polygonal to the subdivision setting by exploiting the refin- Given that the control mesh of a subdivision surface is a polygonal ability of subdivision basis functions. The resulting Subdivision mesh, applying existing DEC methods directly to the control mesh Exterior Calculus (SEC) provides significant improvements in ac- may seem tempting. However, this approach ignores the geometry curacy compared to existing polygonal techniques, while offering of the limit surface, thus introducing a significant loss of accuracy exact finite-dimensional analogs of continuum structural identities in the discretization process (Fig.1). A customary workaround is such as Stokes’ theorem and Helmholtz-Hodge decomposition. We to perform computations on a denser polygonal mesh generated by demonstrate the versatility and efficiency of SEC on common ge- a finite number of subdivision steps to improve accuracy, but this ometry processing tasks including parameterization, geodesic dis- solution dramatically increases the number of degrees of freedom, tance computation, and vector field design. computation time, and memory footprint. Furthermore, the mis- match between the geometry representation and the basis functions Keywords: Subdivision surfaces, discrete exterior calculus, dis- used for solving the differential equations weakens the convergence crete differential geometry, geometry processing. rate of the numerics. This issue is broadly recognized in the finite Concepts: •Mathematics of computing ! Discretization; Com- element literature and has led to the development of isoparameteric putations in finite fields; and isogeometric methods [Hughes et al. 2005]. Yet most of these recent techniques are neither adapted to subdivision surfaces nor do they preserve structural properties of the smooth theory. 1 Introduction To overcome these limitations, we introduce in this paper a sys- tematic derivation of discrete differential operators for subdivision Subdivision surfaces have become the de facto geometry represen- surfaces through a technique we call Subdivision Exterior Calculus tation in the entertainment industry [Loop et al. 2013]. By recur- (SEC). This variant of DEC can be easily retrofitted to existing im- sively refining a control mesh using linear combinations of ver- plementations of a variety of geometry processing algorithms, and tices, subdivision provides an effective tool for modeling, anima- yields an effective numerical framework that retains core proper- tion, and rendering of smooth surfaces of arbitrary topology [Zorin ties of smooth differential operators defined on the limit subdivi- and Schroder¨ 2000; Warren and Weimer 2001]. In spite of this sion surface, while offering the accuracy expected from the use of prominence, little attention has been paid to numerically solving higher-order basis functions. differential equations on subdivision surfaces. This is in sharp con- trast to a large body of work in geometry processing that developed discrete differential operators for polygonal meshes [Botsch et al. 1.1 Related Work 2010] serving as the foundations for several applications ranging from parameterization to fluid simulation [Crane et al. 2013a]. Our contributions relate to a number of research efforts in computer graphics, computational physics, and discrete differential geometry, which all seek numerical solutions of partial differential equations. Finite element methods. The finite element methodology has long tion were altered from regular grids to Catmull-Clark subdivision been regarded as the foundational tool to numerically solve varia- surfaces. In [Lounsbery et al. 1997], the authors showed how tional problems. Using test and trial function spaces of finite di- wavelets could be constructed from subdivision surfaces. Grin- mensions, a differential equation is discretized by characterizing its spun et al. [2002] extended adaptive finite elements using sub- solution in a so-called weak, or integral, form. These computa- division basis functions for the simulation of thin shells, while tional methods are commonly based on a polygonal approximation Thomaszewski et al. [2006] computed bending forces on the limit of the domain geometry and basis functions over each polygonal el- surface of a Loop scheme. The work of Riffnaller-Schiefer et ement. Increased accuracy is obtained either through h-refinement, al. [2015] also simulated thin shells via NURBS-compatible sub- where the geometry approximation (and thus the solution space) division surfaces. These methods have used quadratures based on is refined using more polygons, or p-refinement, where the geo- exact evaluation [Stam 1998] at selected limit surface locations to metric discretization is kept intact but higher-order basis functions approximate differential operators, similar to the approach favored are used [Babuska and Suri 1994]. However, any mismatch be- in the IGA literature, but none offer a structure-preserving calcu- tween the basis functions describing the geometry and the ones lus that can be directly used for increasing accuracy of scalar and defining the solution space on the geometry hampers the analysis vector computations. and convergence of these approaches, an issue coined a “variational crime” [Strang and Fix 1973]. Smooth Whitney forms. Our work is closely related to the con- struction of Whitney forms through subdivision of vertices, edges, Isogeometric analysis. The concept of isogeometric analysis and faces introduced in [Wang et al. 2006]. However, the authors (IGA) was introduced in [Hughes et al. 2005] to mitigate this mis- exploited smooth differential forms for visualization purposes only, match in computer-aided design. Typically, a B-spline representa- reverting to DEC operators on the control mesh for solving dif- tion is used both for modeling the geometry of a physical domain ferential equations. Instead, we show that the refinability of these and for defining function spaces needed for the weak formulation higher-order Whitney forms can be leveraged to design accurate employed by the finite element methodology (see [Cirak et al. 2002] and structure-preserving discrete differential operators for subdivi- for an early extension to subdivision surfaces). A primary advan- sion surfaces. tage of IGA methods is that they are geometrically exact no matter how coarse the discretization is: the coarsest level of discretiza- 1.2 Contributions tion entirely defines the geometry, while refinements of the func- tion space can be performed to better capture the solution of a dif- In this paper, we adapt DEC, the coordinate-free language for cal- ferential equation without affecting the shape of the domain. How- culus on polygonal meshes, to subdivision surfaces. This is done by ever, exact computation of integrals appearing in weak formulations extending the work of Wang et al. [2006] that unified subdivision (such as stiffness or mass matrices) is not possible in general, so with the exterior derivative operator. Here we complete the pic- quadrature rules are invoked to approximate them. In particular, ture by unifying subdivision with the inner product of differential adaptive quadrature strategies are required to resolve the integrands forms. The resulting Subdivision Exterior Calculus (SEC) allows in regions of high curvature and near extraordinary vertices [Baren- for computations on the control mesh with significantly improved drecht 2013; Nguyen et al. 2014;J uttler¨ et al. 2016]. accuracy compared to DEC as it reduces discretization errors, while retaining core properties of the smooth theory. In particular, we Structure-preserving computing. Alongside the developments prove that our SEC-based differential operators satisfy the prop- mentioned above, computational approaches involving “compat- erties recognized in [Auchmann and Kurz 2006; Wardetzky et al. ible” or “mimetic” discretizations have been shown to improve 2007]. Finally, we apply the SEC framework to archetypal geome- numerics
Recommended publications
  • An Algorithm for the Construction of Intrinsic Delaunay Triangulations with Applications to Digital Geometry Processing
    An Algorithm for the Construction of Intrinsic Delaunay Triangulations with Applications to Digital Geometry Processing Matthew Fisher Boris Springborn Peter Schroder¨ Alexander I. Bobenko Caltech TU Berlin Caltech TU Berlin Abstract The discrete Laplace-Beltrami operator plays a prominent role in many Digital Geometry Processing applications ranging from de- noising to parameterization, editing, and physical simulation. The standard discretization uses the cotangents of the angles in the im- mersed mesh which leads to a variety of numerical problems. We advocate the use of the intrinsic Laplace-Beltrami operator. It sat- isfies a local maximum principle, guaranteeing, e.g., that no flipped triangles can occur in parameterizations. It also leads to better con- ditioned linear systems. The intrinsic Laplace-Beltrami operator is based on an intrinsic Delaunay triangulation of the surface. We detail an incremental algorithm to construct such triangulations to- gether with an overlay structure which captures the relationship be- tween the extrinsic and intrinsic triangulations. Using a variety of example meshes we demonstrate the numerical benefits of the in- trinsic Laplace-Beltrami operator. Figure 1: Left: carrier of the (cat head) surface as defined by the original embedded mesh. Right: the intrinsic Delaunay triangu- 1 Introduction lation of the same carrier. Delaunay edges which appear in the original triangulation are shown in white. Some of the original 2 Delaunay triangulations of domains in R play an important role edges are not present anymore (these are shown in black). In their in many numerical computing applications because of the quality stead we see red edges which appear as the result of intrinsic flip- guarantees they make, such as: among all triangulations of the con- ping.
    [Show full text]
  • Combinatorial Laplacian and Rank Aggregation
    Combinatorial Laplacian and Rank Aggregation Combinatorial Laplacian and Rank Aggregation Yuan Yao Stanford University ICIAM, Z¨urich,July 16–20, 2007 Joint work with Lek-Heng Lim Combinatorial Laplacian and Rank Aggregation Outline 1 Two Motivating Examples 2 Reflections on Ranking Ordinal vs. Cardinal Global, Local, vs. Pairwise 3 Discrete Exterior Calculus and Combinatorial Laplacian Discrete Exterior Calculus Combinatorial Laplacian Operator 4 Hodge Theory Cyclicity of Pairwise Rankings Consistency of Pairwise Rankings 5 Conclusions and Future Work Combinatorial Laplacian and Rank Aggregation Two Motivating Examples Example I: Customer-Product Rating Example (Customer-Product Rating) m×n m-by-n customer-product rating matrix X ∈ R X typically contains lots of missing values (say ≥ 90%). The first-order statistics, mean score for each product, might suffer from most customers just rate a very small portion of the products different products might have different raters, whence mean scores involve noise due to arbitrary individual rating scales Combinatorial Laplacian and Rank Aggregation Two Motivating Examples From 1st Order to 2nd Order: Pairwise Rankings The arithmetic mean of score difference between product i and j over all customers who have rated both of them, P k (Xkj − Xki ) gij = , #{k : Xki , Xkj exist} is translation invariant. If all the scores are positive, the geometric mean of score ratio over all customers who have rated both i and j, !1/#{k:Xki ,Xkj exist} Y Xkj gij = , Xki k is scale invariant. Combinatorial Laplacian and Rank Aggregation Two Motivating Examples More invariant Define the pairwise ranking gij as the probability that product j is preferred to i in excess of a purely random choice, 1 g = Pr{k : X > X } − .
    [Show full text]
  • Geometry-Aware Topological Decompositions of Meshes
    UC Irvine UC Irvine Electronic Theses and Dissertations Title Geometry-aware topological decompositions of meshes Permalink https://escholarship.org/uc/item/3vh0q7wn Author Chen, Jia Publication Date 2019 Peer reviewed|Thesis/dissertation eScholarship.org Powered by the California Digital Library University of California UNIVERSITY OF CALIFORNIA, IRVINE Geometry-aware topological decompositions of meshes DISSERTATION submitted in partial satisfaction of the requirements for the degree of DOCTOR OF PHILOSOPHY in Computer Science by Jia Chen Dissertation Committee: Professor Gopi Meenakshisundaram, Chair Professor Aditi Majumder Professor Shuang Zhao 2019 Chapter3 c 2016 ACM New York, NY, USA Chapter3 c 2018 ACM New York, NY, USA All other materials c 2019 Jia Chen DEDICATION To my family \. a man who keeps company with glaciers comes to feel tolerably insignificant by and by." { Mark Twain, A Tramp Abroad ii TABLE OF CONTENTS Page LIST OF FIGURESv LIST OF TABLESx LIST OF ALGORITHMS xi ACKNOWLEDGMENTS xii CURRICULUM VITAE xiii ABSTRACT OF THE DISSERTATION xiv 1 Introduction1 1.1 Cycles of topological properties.........................2 1.2 Topological decompositions of meshes......................4 2 Definitions and Background7 2.1 Surfaces and their topological classification...................7 2.2 Primal graph and dual graph embedded on a surface.............8 2.3 Paths and cycles.................................9 2.4 Tunnel and handle cycles............................. 11 3 Iterative localization of handle and tunnel cycles 13 3.1 Related work................................... 14 3.2 Problem formulation............................... 15 3.3 Localizing handle and tunnel cycles....................... 16 3.3.1 Iterative tree-cotree algorithm...................... 16 3.3.2 Cycle tightening.............................. 20 3.3.3 Decoupling composite fundamental cycles...............
    [Show full text]
  • Digital Geometry Processing Mesh Basics
    Digital Geometry Processing Basics Mesh Basics: Definitions, Topology & Data Structures 1 © Alla Sheffer Standard Graph Definitions G = <V,E> V = vertices = {A,B,C,D,E,F,G,H,I,J,K,L} E = edges = {(A,B),(B,C),(C,D),(D,E),(E,F),(F,G), (G,H),(H,A),(A,J),(A,G),(B,J),(K,F), (C,L),(C,I),(D,I),(D,F),(F,I),(G,K), (J,L),(J,K),(K,L),(L,I)} Vertex degree (valence) = number of edges incident on vertex deg(J) = 4, deg(H) = 2 k-regular graph = graph whose vertices all have degree k Face: cycle of vertices/edges which cannot be shortened F = faces = {(A,H,G),(A,J,K,G),(B,A,J),(B,C,L,J),(C,I,L),(C,D,I), (D,E,F),(D,I,F),(L,I,F,K),(L,J,K),(K,F,G)} © Alla Sheffer Page 1 Digital Geometry Processing Basics Connectivity Graph is connected if there is a path of edges connecting every two vertices Graph is k-connected if between every two vertices there are k edge-disjoint paths Graph G’=<V’,E’> is a subgraph of graph G=<V,E> if V’ is a subset of V and E’ is the subset of E incident on V’ Connected component of a graph: maximal connected subgraph Subset V’ of V is an independent set in G if the subgraph it induces does not contain any edges of E © Alla Sheffer Graph Embedding Graph is embedded in Rd if each vertex is assigned a position in Rd Embedding in R2 Embedding in R3 © Alla Sheffer Page 2 Digital Geometry Processing Basics Planar Graphs Planar Graph Plane Graph Planar graph: graph whose vertices and edges can Straight Line Plane Graph be embedded in R2 such that its edges do not intersect Every planar graph can be drawn as a straight-line plane graph ©
    [Show full text]
  • Statistical Ranking and Combinatorial Hodge Theory
    STATISTICAL RANKING AND COMBINATORIAL HODGE THEORY XIAOYE JIANG, LEK-HENG LIM, YUAN YAO, AND YINYU YE Abstract. We propose a number of techniques for obtaining a global ranking from data that may be incomplete and imbalanced | characteristics that are almost universal to modern datasets coming from e-commerce and internet applications. We are primarily interested in cardinal data based on scores or ratings though our methods also give specific insights on ordinal data. From raw ranking data, we construct pairwise rankings, represented as edge flows on an appropriate graph. Our statistical ranking method exploits the graph Helmholtzian, which is the graph theoretic analogue of the Helmholtz operator or vector Laplacian, in much the same way the graph Laplacian is an ana- logue of the Laplace operator or scalar Laplacian. We shall study the graph Helmholtzian using combinatorial Hodge theory, which provides a way to un- ravel ranking information from edge flows. In particular, we show that every edge flow representing pairwise ranking can be resolved into two orthogonal components, a gradient flow that represents the l2-optimal global ranking and a divergence-free flow (cyclic) that measures the validity of the global ranking obtained | if this is large, then it indicates that the data does not have a good global ranking. This divergence-free flow can be further decomposed or- thogonally into a curl flow (locally cyclic) and a harmonic flow (locally acyclic but globally cyclic); these provides information on whether inconsistency in the ranking data arises locally or globally. When applied to statistical ranking problems, Hodge decomposition sheds light on whether a given dataset may be globally ranked in a meaningful way or if the data is inherently inconsistent and thus could not have any reasonable global ranking; in the latter case it provides information on the nature of the inconsistencies.
    [Show full text]
  • Space-Time Finite-Element Exterior Calculus and Variational Discretizations of Gauge Field Theories
    21st International Symposium on Mathematical Theory of Networks and Systems July 7-11, 2014. Groningen, The Netherlands Space-Time Finite-Element Exterior Calculus and Variational Discretizations of Gauge Field Theories Joe Salamon1, John Moody2, and Melvin Leok3 Abstract— Many gauge field theories can be described using a the space-time covariant (or multi-Dirac) perspective can be multisymplectic Lagrangian formulation, where the Lagrangian found in [1]. density involves space-time differential forms. While there has An example of a gauge symmetry arises in Maxwell’s been much work on finite-element exterior calculus for spatial and tensor product space-time domains, there has been less equations of electromagnetism, which can be expressed in done from the perspective of space-time simplicial complexes. terms of the scalar potential φ, the vector potential A, the One critical aspect is that the Hodge star is now taken with electric field E, and the magnetic field B. respect to a pseudo-Riemannian metric, and this is most natu- @A @ rally expressed in space-time adapted coordinates, as opposed E = −∇φ − ; r2φ + (r · A) = 0; to the barycentric coordinates that the Whitney forms (and @t @t their higher-degree generalizations) are typically expressed in @φ terms of. B = r × A; A + r r · A + = 0; @t We introduce a novel characterization of Whitney forms and their Hodge dual with respect to a pseudo-Riemannian metric where is the d’Alembert (or wave) operator. The following that is independent of the choice of coordinates, and then apply gauge transformation leaves the equations invariant, it to a variational discretization of the covariant formulation of Maxwell’s equations.
    [Show full text]
  • The Language of Differential Forms
    Appendix A The Language of Differential Forms This appendix—with the only exception of Sect.A.4.2—does not contain any new physical notions with respect to the previous chapters, but has the purpose of deriving and rewriting some of the previous results using a different language: the language of the so-called differential (or exterior) forms. Thanks to this language we can rewrite all equations in a more compact form, where all tensor indices referred to the diffeomorphisms of the curved space–time are “hidden” inside the variables, with great formal simplifications and benefits (especially in the context of the variational computations). The matter of this appendix is not intended to provide a complete nor a rigorous introduction to this formalism: it should be regarded only as a first, intuitive and oper- ational approach to the calculus of differential forms (also called exterior calculus, or “Cartan calculus”). The main purpose is to quickly put the reader in the position of understanding, and also independently performing, various computations typical of a geometric model of gravity. The readers interested in a more rigorous discussion of differential forms are referred, for instance, to the book [22] of the bibliography. Let us finally notice that in this appendix we will follow the conventions introduced in Chap. 12, Sect. 12.1: latin letters a, b, c,...will denote Lorentz indices in the flat tangent space, Greek letters μ, ν, α,... tensor indices in the curved manifold. For the matter fields we will always use natural units = c = 1. Also, unless otherwise stated, in the first three Sects.
    [Show full text]
  • Evolution of the Graphical Processing Unit
    University of Nevada Reno Evolution of the Graphical Processing Unit A professional paper submitted in partial fulfillment of the requirements for the degree of Master of Science with a major in Computer Science by Thomas Scott Crow Dr. Frederick C. Harris, Jr., Advisor December 2004 Dedication To my wife Windee, thank you for all of your patience, intelligence and love. i Acknowledgements I would like to thank my advisor Dr. Harris for his patience and the help he has provided me. The field of Computer Science needs more individuals like Dr. Harris. I would like to thank Dr. Mensing for unknowingly giving me an excellent model of what a Man can be and for his confidence in my work. I am very grateful to Dr. Egbert and Dr. Mensing for agreeing to be committee members and for their valuable time. Thank you jeffs. ii Abstract In this paper we discuss some major contributions to the field of computer graphics that have led to the implementation of the modern graphical processing unit. We also compare the performance of matrix‐matrix multiplication on the GPU to the same computation on the CPU. Although the CPU performs better in this comparison, modern GPUs have a lot of potential since their rate of growth far exceeds that of the CPU. The history of the rate of growth of the GPU shows that the transistor count doubles every 6 months where that of the CPU is only every 18 months. There is currently much research going on regarding general purpose computing on GPUs and although there has been moderate success, there are several issues that keep the commodity GPU from expanding out from pure graphics computing with limited cache bandwidth being one.
    [Show full text]
  • Computer Graphics CMU 15-462/15-662 Scotty 3D Setup Recitation Today! Hunt Library Computer Lab 3:30-5Pm
    Digital Geometry Processing Computer Graphics CMU 15-462/15-662 Scotty 3D setup recitation Today! Hunt Library Computer Lab 3:30-5pm CMU 15-462/662 Last time part 1: overview of geometry Many types of geometry in nature Geometry Demand sophisticated representations Two major categories: - IMPLICIT - “tests” if a point is in shape - EXPLICIT - directly “lists” points Lots of representations for both CMU 15-462/662 Last time part 2: Meshes & Manifolds Mathematical description of geometry - simplifying assumption: manifold - for polygon meshes: “fans, not fins” Data structures for surfaces - polygon soup - halfedge mesh - storage cost vs. access time, etc. Today: next how do we manipulate geometry? twin - face edge - geometry processing / resampling Halfedge vertex CMU 15-462/662 Today: Geometry Processing & Queries Extend traditional digital signal processing (audio, video, etc.) to deal with geometric signals: - upsampling / downsampling / resampling / filtering ... - aliasing (reconstructed surface gives “false impression”) Also ask some basic questions about geometry: - What’s the closest point? Do two triangles intersect? Etc. Beyond pure geometry, these are basic building blocks for many algorithms in graphics (rendering, animation...) CMU 15-462/662 Digital Geometry Processing: Motivation 3D Scanning 3D Printing CMU 15-462/662 Geometry Processing Pipeline scan print process CMU 15-462/662 Geometry Processing Tasks reconstruction filtering remeshing parameterization compression shape analysis CMU 15-462/662 Geometry Processing: Reconstruction
    [Show full text]
  • Arxiv:1905.00851V1 [Cs.CV] 2 May 2019 Sibly Nonconvex) Continuous Function on X × Y × R That Is Polyconvex (See Def.2) in the Jacobian Matrix Ξ
    Lifting Vectorial Variational Problems: A Natural Formulation based on Geometric Measure Theory and Discrete Exterior Calculus Thomas Möllenhoff and Daniel Cremers Technical University of Munich {thomas.moellenhoff,cremers}@tum.de Abstract works [30, 31, 29, 55, 39,9, 10, 14] we consider the way less explored continuous (infinite-dimensional) setting. Numerous tasks in imaging and vision can be formu- Our motivation partly stems from the fact that formula- lated as variational problems over vector-valued maps. We tions in function space are very general and admit a variety approach the relaxation and convexification of such vecto- of discretizations. Finite difference discretizations of con- rial variational problems via a lifting to the space of cur- tinuous relaxations often lead to models that are reminis- rents. To that end, we recall that functionals with poly- cent of MRFs [70], while piecewise-linear approximations convex Lagrangians can be reparametrized as convex one- are related to discrete-continuous MRFs [71], see [17, 40]. homogeneous functionals on the graph of the function. More recently, for the Kantorovich relaxation in optimal This leads to an equivalent shape optimization problem transport, approximations with deep neural networks were over oriented surfaces in the product space of domain and considered and achieved promising performance, for exam- codomain. A convex formulation is then obtained by relax- ple in generative modeling [2, 54]. ing the search space from oriented surfaces to more gen- We further argue that fractional (non-integer) solutions eral currents. We propose a discretization of the resulting to a careful discretization of the continuous model can infinite-dimensional optimization problem using Whitney implicitly approximate an “integer” continuous solution.
    [Show full text]
  • Creating and Processing 3D Geometry
    Creating and processing 3D geometry Marie-Paule Cani [email protected] Cédric Gérot [email protected] Franck Hétroy [email protected] http://evasion.imag.fr/Membres/Franck.Hetroy/Teaching/Geo3D/ Context: computer graphics ● We want to represent objects – Real objects – Virtual/created objects ● Several ways for virtual object creation – Interactive by graphists – Automatic from real data ● 3D scanner, medical angiography, ... – Procedural (on the fly) ● Complex scenes, terrain, ... ● Different uses – Display, animation, ph ysical simulation, ... Course overview 1.Objects representations – Volume/surface, implicit/explicit, ... Real-time triangulation of implicit surfaces Course overview 1.Objects representations – Volume/surface, implicit/explicit, ... 2.Geometry processing – Simplify, smooth, ... Interactive multiresolution surface exploration Course overview 1.Objects representations – Volume/surface, implicit/explicit, ... 2.Geometry processing – Simplify, smooth, ... 3.Virtual object creation – Surface reconstruction, interactive modeling Shape modeling by sketching Planning (provisional) Part I – Geometry representations ● Lecture 1 – Oct 9th – FH – Introduction to the lectures; point sets, meshes, discrete geometry. ● Lecture 2 – Oct 16th – MPC – Parametric curves and surfaces; subdivision surfaces. ● Lecture 3 – Oct 23rd - MPC – Implicit surfaces. Planning (provisional) Part II – Geometry processing ● Lecture 4 – Nov 6th – FH – Discrete differential geometry; mesh smoothing and simplification (paper presentations).
    [Show full text]
  • Research on Shape Mapping of 3D Mesh Models Based on Hidden
    Research on Shape Mapping of 3D Mesh Models based on Hidden Markov Random Field and EM Algorithm WANG Yong1 WU Huai-yu2 1 (University of Chinese Academy of Sciences, Beijing 100049, China) 2 (Institute of Automation, Chinese Academy of Sciences, Beijing, 100080, China) Abstract How to establish the matching (or corresponding) between two different 3D shapes is a classical problem. This paper focused on the research on shape mapping of 3D mesh models, and proposed a shape mapping algorithm based on Hidden Markov Random Field and EM algorithm, as introducing a hidden state random variable associated with the adjacent blocks of shape matching when establishing HMRF. This algorithm provides a new theory and method to ensure the consistency of the edge data of adjacent blocks, and the experimental results show that the algorithm in this paper has a great improvement on the shape mapping of 3D mesh models. Keywords Shape Mapping, 3D Mesh Model, Hidden Markov Random Field, EM Algorithm 1 Introduction bending deformation, different sampling rate, and Digital geometry processing of 3D mesh models different parameterization methods. (a1'/a2', b1'/b2') has broad application prospects in the fields of are the transformed models of (a1/a2, b1/b2) by the industrial design, virtual reality, game entertainment, geometry processing framework of global Internet, digital museum, urban planning and so on[1]. perspective. It can be seen that the transformed However the surface of 3D mesh models is usually models are much similar in their poses and shapes. bent arbitrarily, lack of continuous parameters, and So the difficulty of establishing the automatic has complex characterized details, as is quite different matching between two different 3D shapes has been from the regular 2D image data with the uniform greatly reduced.
    [Show full text]