Watertight Boolean operations: A framework for creating CAD-compatible gap-free editable solid models

Abstract Boolean operations are fundamental for geometric modeling, but the resulting objects, defined by trimmed surfaces, are often difficult to edit directly, possess robustness issues, and lead to problems of watertightness for downstream users. We propose a framework that helps resolve these adverse side-effects based on a new modeling philosophy for dealing with the inevitable approximations involved with surface-to-surface intersections. The methodology uses a three-stage process of analysis of parametric space, reparameterization, and model space update to provide a well-defined mapping between conventional trimmed models and gap-free versions. The resulting models are watertight, consisting of un-trimmed surface patches of explicit continuity, and accurate to the same model tolerance employed in existing CAD systems. The core procedure uses information computed during conventional Boolean operations, and thus it can be easily integrated into existing CAD frameworks utilizing B-rep data structures. We also present several extensions to the basic framework that allow for further modeling options such as feature-based imprinting, partial Boolean operations, and compatibility with unstructured spline schemes.

[1]  David J. Jackson,et al.  Boundary representation modelling with local tolerances , 1995, Symposium on Solid Modeling and Applications.

[2]  K. C. Hui,et al.  Feature-based decomposition of trimmed surface , 2005, Comput. Aided Des..

[3]  R. Farouki Trimmed-surface algorithms for the evaluation and interrogation of solid boundary representations , 1987 .

[4]  Joe Warren,et al.  Subdivision Methods for Geometric Design: A Constructive Approach , 2001 .

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

[6]  Edward J. Walsh,et al.  DART system analysis. , 2005 .

[7]  Dinesh Manocha,et al.  BOOLE: A Boundary Evaluation System for Boolean Combinations of Sculptured Solids , 2001, Int. J. Comput. Geom. Appl..

[8]  Hongwei Lin,et al.  Watertight trimmed NURBS , 2008, ACM Trans. Graph..

[9]  Hendrik Speleers,et al.  THB-splines: The truncated basis for hierarchical splines , 2012, Comput. Aided Geom. Des..

[10]  Rida T. Farouki,et al.  Topologically consistent trimmed surface approximations based on triangular patches , 2004, Comput. Aided Geom. Des..

[11]  Maharavo Randrianarivony,et al.  On global continuity of Coons mappings in patching CAD surfaces , 2009, Comput. Aided Des..

[12]  Alessandro Reali,et al.  Isogeometric Analysis of Structural Vibrations , 2006 .

[13]  Andrea Bressan,et al.  Some properties of LR-splines , 2013, Comput. Aided Geom. Des..

[14]  Dinesh Manocha,et al.  ESOLID - A system for exact boundary evaluation , 2004 .

[15]  Christoph M. Hoffmann,et al.  Geometric and Solid Modeling: An Introduction , 1989 .

[16]  Martti Mäntylä,et al.  Introduction to Solid Modeling , 1988 .

[17]  Neil A. Dodgson,et al.  Conversion of trimmed NURBS surfaces to Catmull-Clark subdivision surfaces , 2014, Comput. Aided Geom. Des..

[18]  Gershon Elber,et al.  Geometric modeling with splines - an introduction , 2001 .

[19]  T. Hughes,et al.  Smooth cubic spline spaces on unstructured quadrilateral meshes with particular emphasis on extraordinary points: Geometric design and isogeometric analysis considerations , 2017 .

[20]  Gernot Beer,et al.  A simple approach to the numerical simulation with trimmed CAD surfaces , 2015, ArXiv.

[21]  Jörg Peters,et al.  Refinable C1 spline elements for irregular quad layout , 2016, Comput. Aided Geom. Des..

[22]  D. Bommes,et al.  Mixed-integer quadrangulation , 2009, SIGGRAPH 2009.

[23]  André Galligo,et al.  Hermite type Spline spaces over rectangular meshes with complex topological structures , 2017 .

[24]  John A. Evans,et al.  Robustness of isogeometric structural discretizations under severe mesh distortion , 2010 .

[25]  Ahmad H. Nasri,et al.  T-splines and T-NURCCs , 2003, ACM Trans. Graph..

[26]  Benjamin Marussig,et al.  A Review of Trimming in Isogeometric Analysis: Challenges, Data Exchange and Simulation Aspects , 2017, Archives of Computational Methods in Engineering.

[27]  Guido Brunnett Geometric Design with Trimmed Surfaces , 1993, Geometric Modelling.

[28]  Ganesh Subbarayan,et al.  Signed algebraic level sets on NURBS surfaces and implicit Boolean compositions for isogeometric CAD-CAE integration , 2017, Comput. Aided Des..

[29]  Requicha,et al.  Solid Modeling: A Historical Summary and Contemporary Assessment , 1982, IEEE Computer Graphics and Applications.

[30]  Pierre Alliez,et al.  Integer-grid maps for reliable quad meshing , 2013, ACM Trans. Graph..

[31]  Ben Urick,et al.  Why CAD Surface Geometry is Inexact , 2017 .

[32]  Peter Schröder,et al.  Trimming for subdivision surfaces , 2001, Comput. Aided Geom. Des..

[33]  Rida T. Farouki,et al.  The characterization of parametric surface sections , 1986, Comput. Vis. Graph. Image Process..

[34]  Alessandro Reali,et al.  Studies of Refinement and Continuity in Isogeometric Structural Analysis (Preprint) , 2007 .

[35]  Rida T. Farouki,et al.  Linear perturbation methods for topologically consistent representations of free-form surface intersections , 2004, Comput. Aided Geom. Des..

[36]  Chee-Keng Yap,et al.  Towards Exact Geometric Computation , 1997, Comput. Geom..

[37]  Ron Goldman,et al.  Implicit representation of parametric curves and surfaces , 1984, Comput. Vis. Graph. Image Process..

[38]  David F. Rogers,et al.  Mathematical elements for computer graphics , 1976 .

[39]  Bert Jüttler,et al.  Adaptive CAD model (re-)construction with THB-splines , 2014, Graph. Model..

[40]  Raimund Seidel The Nature and Meaning of Perturbations in Geometric Computing , 1998, Discret. Comput. Geom..

[41]  Bernd Hamann,et al.  A tessellation algorithm for the representation of trimmed surfaces with arbitrary trimming curves , 1996, Comput. Aided Des..

[42]  Michael I. Jordan,et al.  Surface/surface intersection , 1987, Comput. Aided Geom. Des..

[43]  Bernard Mourrain,et al.  G1-smooth splines on quad meshes with 4-split macro-patch elements , 2017, Comput. Aided Geom. Des..

[44]  Xijun Wang Geometric Trimming and Curvature Continuous Surface Blending for Aircraft Fuselage and Wing Shapes , 2001 .

[45]  Thomas C. Hales,et al.  The Jordan Curve Theorem, Formally and Informally , 2007, Am. Math. Mon..

[46]  Nicholas M. Patrikalakis,et al.  Robust interval solid modelling Part II: boundary evaluation , 1996, Comput. Aided Des..

[47]  Bernard Mourrain,et al.  Dimension and bases for geometrically continuous splines on surfaces of arbitrary topology , 2016, Comput. Aided Geom. Des..

[48]  Nicholas M. Patrikalakis,et al.  Boundary Representation Model Rectification , 2001, Graph. Model..

[49]  Tom Lyche,et al.  Polynomial splines over locally refined box-partitions , 2013, Comput. Aided Geom. Des..

[50]  Ian Stroud,et al.  Boundary representation modelling techniques , 2006 .

[51]  Franklin C. Crow,et al.  The Origins of the Teapot , 1987, IEEE Computer Graphics and Applications.

[52]  William Vaughan Digital Modeling , 2011 .

[53]  Rida T. Farouki,et al.  Guaranteed consistency of surface intersections and trimmed surfaces using a coupled topology resolution and domain decomposition scheme , 2007, Adv. Comput. Math..

[54]  Mark Segal,et al.  Using tolerances to guarantee valid polyhedral modeling results , 1990, SIGGRAPH.

[55]  Tom Duff,et al.  Interval arithmetic recursive subdivision for implicit functions and constructive solid geometry , 1992, SIGGRAPH.

[56]  Robert B. Tilove,et al.  Set Membership Classification: A Unified Approach to Geometric Intersection Problems , 1980, IEEE Transactions on Computers.

[57]  Henning Biermann,et al.  Approximate Boolean operations on free-form solids , 2001, SIGGRAPH.

[58]  Les A. Piegl,et al.  The NURBS Book , 1995, Monographs in Visual Communication.

[59]  Yuan-Ping Hu,et al.  Moving a B-spline surface to a curve--a trimmed surface matching algorithm , 1997, Comput. Aided Des..

[60]  Thomas J. Cashman,et al.  Watertight conversion of trimmed CAD surfaces to Clough-Tocher splines , 2015, Comput. Aided Geom. Des..

[61]  David R. Forsey,et al.  Hierarchical B-spline refinement , 1988, SIGGRAPH.

[62]  Jonathan Corney,et al.  3D Modeling with ACIS , 2002 .

[63]  Xinyu Zhang Optimal Geometric Trimming of B-spline Surfaces for Aircraft Design , 2005 .

[64]  Bruce G. Baumgart,et al.  Geometric modeling for computer vision. , 1974 .

[65]  Neil A. Dodgson,et al.  Converting a CAD model into a non-uniform subdivision surface , 2016, Comput. Aided Geom. Des..

[66]  Kokichi Sugihara,et al.  A solid modelling system free from topological inconsistency , 1990 .

[67]  Nicholas M. Patrikalakis,et al.  Robust interval solid modelling Part I: representations , 1996, Comput. Aided Des..

[68]  Xiuzi Ye,et al.  Robust interval algorithm for surface intersections , 1997, Comput. Aided Des..

[69]  Nicholas M. Patrikalakis,et al.  Surface-to-surface intersections , 1993, IEEE Computer Graphics and Applications.

[70]  Dinesh Manocha,et al.  MAPC: a library for efficient and exact manipulation of algebraic points and curves , 1999, SCG '99.

[71]  YingLiang Ma,et al.  Point inversion and projection for NURBS curve and surface: Control polygon approach , 2003, Comput. Aided Geom. Des..

[72]  Nicholas M. Patrikalakis,et al.  Shape Interrogation for Computer Aided Design and Manufacturing , 2002, Springer Berlin Heidelberg.

[73]  M. H. van Emden,et al.  Interval arithmetic: From principles to implementation , 2001, JACM.