From theoretical graphic objects to real free-form solids

Formal models can be useful in computer graphics as a conceptual framework supporting representation systems. This allows to formally derive properties and algorithms and proof their correctness and validity. This paper describes a formal model based on a geometric algebra. This algebra has been used to obtain specific representation systems and study their equivalence. The representation systems derived in a natural way from this model are based on simplicial coverings and can be applied to non-manifold solids and to solids with holes. Representations have been developed for polyhedral and free-form solids. Algorithms described and proved include boolean operations and representation conversion. The paper covers the three abstraction levels: theoretical model, representations and derived algorithms. As a practical application an experimental modeller for free-form solid has been developed (ESC-MOD system: ''Extended Simplicial Chains MOdeller'').

[1]  E. Wong,et al.  Convex polyhedral chains: a representation for geometric data , 1989 .

[2]  Francisco R. Feito-Higueruela,et al.  Evaluation of Boolean operations between free-form solids using extended simplicial chains and PN triangles , 2011, The Visual Computer.

[3]  J. O´Rourke,et al.  Computational Geometry in C: Arrangements , 1998 .

[4]  Christian Perwass,et al.  Geometric Algebra with Applications in Engineering , 2008, Geometry and Computing.

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

[6]  Leo Dorst,et al.  Modeling and visualization of 3D polygonal mesh surfaces using geometric algebra , 2004, Comput. Graph..

[7]  Michael Goesele,et al.  Interactive isosurfaces with quadratic C1 splines on truncated octahedral partitions , 2012, Inf. Vis..

[8]  David A. Duce.  GKS, Structures and Formal Specification , 1989, Eurographics.

[9]  Eugene Fiume,et al.  The Mathematical Structure of Raster Graphics , 1989 .

[10]  Sang-Eon Han,et al.  Connected sum of digital closed surfaces , 2006, Inf. Sci..

[11]  Rafael Jesús Segura,et al.  Non-evaluated Manipulation of Complex CSG Solids , 2004, WSCG.

[12]  Francisco R. Feito-Higueruela,et al.  Boundary representation of polyhedral heterogeneous solids in the context of a graphic object algebra , 1997, The Visual Computer.

[13]  Francisco R. Feito-Higueruela,et al.  GPU-based rendering of curved polygons using simplicial coverings , 2008, Comput. Graph..

[14]  Ari Rappoport,et al.  Interactive Boolean operations for conceptual design of 3-D solids , 1997, SIGGRAPH.

[15]  James F. Blinn,et al.  Real-time GPU rendering of piecewise algebraic surfaces , 2006, SIGGRAPH 2006.

[16]  Stanley Burris,et al.  A course in universal algebra , 1981, Graduate texts in mathematics.

[17]  Frank Y. Shih,et al.  Geometric modeling and representation based on sweep mathematical morphology , 2005, Inf. Sci..

[18]  Carlo Cattani,et al.  Dimension-independent modeling with simplicial complexes , 1993, TOGS.

[19]  Vadim Shapiro,et al.  Chain-Based Representations for Solid and Physical Modeling , 2008, IEEE Transactions on Automation Science and Engineering.

[20]  Joan Lasenby,et al.  Guide to Geometric Algebra in Practice , 2011 .

[21]  Min Chen,et al.  Constructive Volume Geometry , 2000, Comput. Graph. Forum.

[22]  Adarsh Krishnamurthy,et al.  GPU-Accelerated Minimum Distance and Clearance Queries , 2011, IEEE Transactions on Visualization and Computer Graphics.

[23]  Chandrajit L. Bajaj,et al.  C1 modeling with A-patches from rational trivariate functions , 2001, Comput. Aided Geom. Des..

[24]  Francisco R. Feito-Higueruela,et al.  Direct and Robust Voxelization and Polygonization of Free-Form CSG Solids , 2002, 3DPVT.

[25]  Na Lei,et al.  Boolean Operations with Prism Algebraic Patches. , 2008, Computer-aided design and applications.

[26]  Francisco R. Feito-Higueruela,et al.  Inclusion test for free-form solids , 1999, Comput. Graph..

[27]  Seong-Moo Yoo,et al.  LSM: A layer subdivision method for deformable object matching , 2010, Inf. Sci..

[28]  Andre Schollmeyer,et al.  Direct trimming of NURBS surfaces on the GPU , 2009, ACM Trans. Graph..

[29]  John A. Vince,et al.  Geometric algebra for computer graphics , 2008 .

[30]  Juan Carlos Torres,et al.  Graphic Objects: A Mathematical Abstract Model for Computer Graphics , 1993, Comput. Graph. Forum.

[31]  M. Karasick.  On the representation and manipulation of rigid solids , 1989 .

[32]  Rafael Jesús Segura,et al.  Fast and simple hardware accelerated voxelizations using simplicial coverings , 2007, The Visual Computer.

[33]  Juan José Jiménez-Delgado,et al.  A robust segment/triangle intersection algorithm for interference tests. Efficiency study , 2010, Comput. Geom..

[34]  Tor Dokken,et al.  Heterogeneous spline surface intersections , 2010, SCCG.

[35]  ARISTIDES A. G. REQUICHA,et al.  Representations for Rigid Solids: Theory, Methods, and Systems , 1980, CSUR.

[36]  Valerio Pascucci,et al.  Dimension-independent convex-cell based HPC: representation scheme and implementation issues , 1995, SMA '95.

[37]  H. Whitney.  Geometric Integration Theory , 1957 .

[38]  Malcolm S. Casale,et al.  Free-Form Solid Modeling with Trimmed Surface Patches , 1987, IEEE Computer Graphics and Applications.

[39]  Dietmar Hildenbrand,et al.  Foundations of Geometric Algebra Computing , 2012, Geometry and Computing.

[40]  Raphaëlle Chaine,et al.  The HybridTree: Mixing skeletal implicit surfaces, triangle meshes, and point sets in a free-form modeling system , 2006, Graph. Model..

[41]  Jindong Chen,et al.  Modeling with cubic A-patches , 1995, TOGS.

[42]  Brian Wyvill,et al.  Extending the CSG Tree. Warping, Blending and Boolean Operations in an Implicit Surface Modeling System , 1999, Comput. Graph. Forum.

[43]  Francisco R. Feito-Higueruela,et al.  Geometric modelling based on simplicial chains , 1998, Comput. Graph..

[44]  A. Requicha.  CONSTRUCTIVE SOLID GEOMETRY , 1977 .

[45]  Vadim Shapiro,et al.  Separation for boundary to CSG conversion , 1993, TOGS.

[46]  Hong Qin,et al.  A novel framework for physically based sculpting and animation of free-form solids , 2007, The Visual Computer.

[47]  Baining Guo,et al.  Free-Form Modeling in Bilateral Brep and CSG Representation Schemes , 1998, Int. J. Comput. Geom. Appl..

[48]  Yehuda E. Kalay.  The hybrid edge: a topological data structure for vertically integrated geometric modelling , 1989 .

[49]  Francisco R. Feito-Higueruela,et al.  Inclusion test for curved-edge polygons , 1997, Comput. Graph..