Article

ESOLID---A System for Exact Boundary Evaluation

Authors:

Shankar Krishnan,

Dinesh ManochaAuthors Info & Claims

SMA '02: Proceedings of the seventh ACM symposium on Solid modeling and applications

Pages 23 - 34

https://doi.org/10.1145/566282.566289

Published: 17 June 2002 Publication History

Abstract

We present a system, ESOLID, that performs exact boundary evaluation of low degree curved solids in reasonable amounts of time. ESOLID performs accurate Boolean operations using exact representations and exact computations throughout. The demands of exact computation require a different set of algorithms and efficiency improvements than those found in a traditional inexact floating point based modeler. We describe the system architecture, representations, and issues in implementing the algorithms. We also describe a number of techniques that increase the efficiency of the system based on lazy evaluation, use of floating point filters, arbitrary floating point arithmetic with error bounds, and lower dimensional formulation of subproblems. ESOLID has been used for boundary evaluation of many complex solids. These include both synthetic datasets and parts of a Bradley Fighting Vehicle designed using the BRL-CAD solid modeling system. It is shown that ESOLID can correctly evaluate the boundary of solids that are very hard to compute using a fixed-precision floating point modeler. In terms of performance, it is about an order of magnitude slower as compared to a floating point boundary evaluation system on most cases.

References

[1]

O. Aberth and M. J. Schaefer. Precise computation using range arithmetic, via c++. ACM Transactions on Mathematical Software, 18(4):481--491, December 1992

Digital Library

[2]

M. O. Benouamer, D. Michelucci, and B. Peroche. Error-free boundary evaluation based on a lazy rational arithmetic: A detailed implementation. Computer Aided Design, 26(6):403--416, June 1994

[3]

I. Biehl, J. Buchmann, and T. Papanikolaou. LiDIA: A library for computational number theory. Technical Report SFB 124-C1, Fachbereich Informatik, Universitat des Saarlandes, 1995

[4]

I. C. Braid. The synthesis of solids bounded by many faces. Communications of the ACM, 18(4), April 1975

Digital Library

[5]

H. Bronnimann, I. Emiris, V. Pan, and S. Pion. Computing exact geometric predicates using modular arithmetic with single precision. In Proc. 13th Annu. ACM Sympos. Comput. Geom., pages 174--182, 1997

Digital Library

[6]

Smita Brunnermeier and Sheila Martin. Interoperability cost analysis of the U.S. automotive supply chain. Technical Report RTI Project Number 7007-03, Research Triangle Institute, 1999. http://www.rti.org/publications

[7]

M. S. Casale and J. E. Bobrow. A set operation algorithm for sculptured solids modeled with trimmed patches. Computer Aided Geometric Design, 6:235--247, 1989

Digital Library

[8]

Kenneth L. Clarkson. Safe and effective determinant evaluation. Manuscript, February 1995

[9]

Joao Luiz Dibl Comba and Jorge Stolfi. Affine arithmetic and its applications to computer graphics. Anais do VII Sibgraphi, 1993

[10]

T. Culver, J. Keyser, and D. Manocha. Accurate computation of the medial axis of a polyhedron. In Proceedings of the Symposium on Solid Modeling and Applications, pages 179--190, 1999

Digital Library

[11]

J. H. Davenport, Y. Siret, and E. Tournier. Computer Algebra. Academic Press, London, 1993. 2nd edition

[12]

Helene Desaulniers and Neil F. Stewart. Semantic interpretation of inconsistent curve and surface data for the definition of solids. In Joe Warren, editor, Curves and Surfaces in Computer Vision and Graphics III, volume 1830 of SPIE Proceedings, pages 81--90. SPIE, Bellingham, WA, 1992

[13]

Paul H. Dietz, Jr. William H. Mermagen, and Paul R. Stay. An integrated environment for army, navy and air force target description support. Technical Report Memorandum Report BRL-MR-3754, Ballistics Research Laboratory, Aberdeen Proving Ground, MD, 1989

[14]

Phillip C. Dykstra and Michael John Muuss. The BRL-CAD package an overview. Technical report, Advanced Computer Systesms Team, Ballistics Research Laboratory, Aberdeen Proving Ground, MD, 1989

[15]

Gershon Elber. IRIT solid modeling system. http://www.cs.technion.ac.il/simgershon/irit/

[16]

Shiaofen Fang, Beat Bruderlin, and Xiaohong Zhu. Robustness in solid modeling: A tolerance-based intuitionistic approach. Computer Aided Design, 25(9):567--576, September 1993

[17]

Steven Fortune. Polyhedral modelling with multiprecision integer arithmetic. Computer-Aided Design, 29(2):123--133, 1997

[18]

Steven Fortune and Christopher J. van Wyk. Efficient exact arithmetic for computational geometry. In Proceedings of the 9th ACM Conference on Computational Geometry, pages 163--171, 1993

Digital Library

[19]

Steven Fortune and Christopher J. van Wyk. Static analysis yields efficient exact integer arithmetic for computational geometry. ACM Transactions on Graphics, 15(3):223--248, July 1996

Digital Library

[20]

Nicola Geismann, Michael Hemmer, and Elmar Schomer. Computing a 3-dimensional cell in an arrangement of quadrics exactly and actually! In Proceedings of the 17th ACM Conference on Computational Geometry, pages 264--273, 2001

Digital Library

[21]

C. M. Hoffmann. The problems of accuracy and robustness in geometric computation. IEEE Computer, 22(3):31--41, March 1989

Digital Library

[22]

C. M. Hoffmann, J. E. Hopcroft, and M. S. Karasick. Towards implementing robust geometric computations. In Proc. 4th Annu. ACM Sympos. Comput. Geom., pages 106--117, 1988

Digital Library

[23]

Christoph M. Hoffmann. Geometric and Solid Modeling. Morgan Kaufmann, San Mateo, California, 1989

Digital Library

[24]

C.-Y. Hu, N. M. Patrikalakis, and X. Ye. Robust interval solid modeling, Part I: representations. CAD, 28:807--818, 1996

[25]

C.-Y. Hu, N. M. Patrikalakis, and X. Ye. Robust interval solid modeling, Part II: boundary evaluation. CAD, 28:819--830, 1996

[26]

David J. Jackson. Boundary representation modelling with local tolerancing. In Proceedings of the Symposium on Solid Modeling and Applications, pages 247--253, 1995

Digital Library

[27]

J. R. Johnson. Real algebraic number computation using interval arithmetic. In Proceedings of ISSAC '92, pages 195--205, 1992

Digital Library

[28]

V. Karamcheti, C. Li, I. Pechtchanski, and C. Yap. A core library for robust numeric and geometric computation. In Proceedings of the 15th ACM Conference on Computational Geometry, pages 351--359, 1999

Digital Library

[29]

M. Karasick, D. Lieber, and L. R. Nackman. Efficient Delaunay triangulations using rational arithmetic. ACM Transactions on Graphics, 10:71--91, 1991

Digital Library

[30]

J. Keyser, S. Krishnan, and D. Manocha. Efficient and accurate B-rep generation of low degree sculptured solids using exact arithmetic. In Proceedings of the Symposium on Solid Modeling and Applications, pages 42--55, 1997

Digital Library

[31]

J. Keyser, S. Krishnan, and D. Manocha. Efficient and accurate B-rep generation of low degree sculptured solids using exact arithmetic I: Representations. Computer Aided Geometric Design, 16(9):841--859, October 1999

Digital Library

[32]

J. Keyser, S. Krishnan, and D. Manocha. Efficient and accurate B-rep generation of low degree sculptured solids using exact arithmetic II: Computation. Computer Aided Geometric Design, 16(9):861--882, October 1999

Digital Library

[33]

John Keyser, Tim Culver, Dinesh Manocha, and Shankar Krishnan. Efficient and exact manipulation of algebraic points and curves. Computer Aided Design, 32(12):649--662, 2000. Special Issue on Robustness

[34]

John C. Keyser. Exact Boundary Evaluation for Curved Solids. Ph.D. thesis, Department of Computer Science, University of North Carolina, Chapel Hill, 2000

Digital Library

[35]

S. Krishnan, D. Manocha, M. Gopi, T. Culver, and J. Keyser. BOOLE: A boundary evaluation system for boolean combinations of sculptured solids. International Journal of Computational Geometry and Applications, 2000. To appear

[36]

Shankar Krishnan. Efficient and Accurate Boundary Evaluation Algorithms for Boolean Combinations of Sculptured Solids. PhD thesis, University of North Carolina, 1997

Digital Library

[37]

Shankar Krishnan, Mark Foskey, Tim Culver, John Keyser, and Dinesh Manocha. PRECISE: Efficient multiprecision evaluation of algebraic roots and predicates for reliable geometric computation. UNC-CH technical report, Department of Computer Science, University of North Carolina, Chapel Hill, NC. A version of this paper has appeared in the 2001 Proceedings of the Symposium on Computational Geometry. The technical report has more complete citation, however, and can be downloaded from http://www.cs.unc.edu/simgeom/papers/techreport.shtm

Digital Library

[38]

M. Mantyla. An Introduction to Solid Modeling. Computer Science Press, Rockville, Maryland, 1988

Digital Library

[39]

K. Mehlhorn and S. Naher. LEDA: A Platform for Combinatorial and Geometric Computing. Cambridge University Press, Cambridge, UK, 1999

Digital Library

[40]

Aristides A. G. Requicha and Herbert B. Voelcker. Solid modeling: A historical summary and contemporary assessment. IEEE Computer Graphics and Applications, 2(2):9--24, March 1982

Digital Library

[41]

Aristides A. G. Requicha and Herbert B. Voelcker. Boolean operations in solid modeling: Boundary evaluation and merging algorithms. Proceedings of the IEEE, 73(1):30--44, January 1985

[42]

M. Segal. Using tolerances to guarantee valid polyhedral modeling results. Comput. Graph., 24(4):105--114, August 1990

Digital Library

[43]

Jonathan Shewchuk. Robust adaptive floating-point geometric predicates. In Proceedings of the 12th ACM Conference on Computational Geometry, pages 141--150, 1996

Digital Library

[44]

Kokichi Sugihara. A robust and consistent algorithm for intersecting convex polyhedra. In M. Daehlen and L. Kjelldahl, editors, Proceedings of EUROGRAPHICS '94, volume 13, pages C--45--C--54. Blackwell Association, 1994

[45]

Kokichi Sugihara and Masao Iri. A solid modeling system free from topological inconsistency. Journal of Information Processing, 12(4):380--393, 1989

Digital Library

[46]

Irina Voiculescu. Personal Communication, 1999

[47]

Chee Yap and Thomas Dube. The exact computation paradigm. In D. Z. Du and F. Hwang, editors, Computing in Euclidean Geometry, pages 452--492. World Scientific Press, Singapore, 1995

[48]

Norimasa Yoshida, Masato Shyokawa, and Fujio Yamaguchi. Solid modeling based on a new paradigm. Comput. Graph. Forum, 13(3):55--64, 1994. Proc. EUROGRAPHICS '94

[49]

J. Yu. Exact Arithmetic Solid Modeling. PhD thesis, Purdue University, CS Dept., West Lafayette, IN 47907, USA, December 1991

Digital Library

Cited By

Millman DGriesheimer DNease BSnoeyink J(2014)Computing Numerically-Optimal Bounding Boxes for Constructive Solid Geometry (CSG) Components in Monte Carlo Particle Transport CalculationsSNA + MC 2013 - Joint International Conference on Supercomputing in Nuclear Applications + Monte Carlo10.1051/snamc/201402506(02506)Online publication date: 6-Jun-2014
https://doi.org/10.1051/snamc/201402506
Feito FOgayar CSegura RRivero M(2013)Fast and accurate evaluation of regularized Boolean operations on triangulated solidsComputer-Aided Design10.1016/j.cad.2012.11.00445:3(705-716)Online publication date: 1-Mar-2013
https://dl.acm.org/doi/10.1016/j.cad.2012.11.004
Pavić DCampen MKobbelt L(2010)Hybrid BooleansComputer Graphics Forum10.1111/j.1467-8659.2009.01545.x29:1(75-87)Online publication date: 8-Feb-2010
https://doi.org/10.1111/j.1467-8659.2009.01545.x
Show More Cited By

Index Terms

ESOLID---A System for Exact Boundary Evaluation

Recommendations

Valid Linear Programming Bounds for Exact Mixed-Integer Programming

Fast computation of valid linear programming LP bounds serves as an important subroutine for solving mixed-integer programming problems exactly. We introduce a new method for computing valid LP bounds designed for this application. The algorithm ...
Efficiency of boundary evaluation for a cellular model

Feature modeling systems usually employ a boundary representation (b-rep) to store the shape information on a product. It has, however, been shown that a b-rep has a number of shortcomings, and that a cellular representation can be a valuable ...
Exact boundary evaluation for curved solids

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SMA '02: Proceedings of the seventh ACM symposium on Solid modeling and applications

June 2002

424 pages

ISBN:1581135068

DOI:10.1145/566282

Conference Chairs:
Hans-Peter Seidel
Max-Planck-Institut für Informatik, Saarbrücken, Germany
,
Vadim Shapiro
University of Wisconsin, Madison, U.S.A.
,
Program Chairs:
Kunwoo Lee
Seoul National University, Seoul, Korea
,
Nick Patrikalakis
Massachsetts Institute of Technology, Cambridge, U.S.A.

Copyright © 2002 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGGRAPH: ACM Special Interest Group on Computer Graphics and Interactive Techniques

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 17 June 2002

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SM02

Sponsor:

SIGGRAPH

SM02: ACM Symposium on Solid Modeling and Applications 2002

June 17 - 21, 2002

Saarbrücken, Germany

Acceptance Rates

SMA '02 Paper Acceptance Rate 43 of 93 submissions, 46%;

Overall Acceptance Rate 86 of 173 submissions, 50%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

24
Total Citations
View Citations
424
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)0

Reflects downloads up to 16 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Millman DGriesheimer DNease BSnoeyink J(2014)Computing Numerically-Optimal Bounding Boxes for Constructive Solid Geometry (CSG) Components in Monte Carlo Particle Transport CalculationsSNA + MC 2013 - Joint International Conference on Supercomputing in Nuclear Applications + Monte Carlo10.1051/snamc/201402506(02506)Online publication date: 6-Jun-2014
https://doi.org/10.1051/snamc/201402506
Feito FOgayar CSegura RRivero M(2013)Fast and accurate evaluation of regularized Boolean operations on triangulated solidsComputer-Aided Design10.1016/j.cad.2012.11.00445:3(705-716)Online publication date: 1-Mar-2013
https://dl.acm.org/doi/10.1016/j.cad.2012.11.004
Pavić DCampen MKobbelt L(2010)Hybrid BooleansComputer Graphics Forum10.1111/j.1467-8659.2009.01545.x29:1(75-87)Online publication date: 8-Feb-2010
https://doi.org/10.1111/j.1467-8659.2009.01545.x
Hable JRossignac J(2005)BlisterACM SIGGRAPH 2005 Papers10.1145/1186822.1073306(1024-1031)Online publication date: 31-Jul-2005
https://dl.acm.org/doi/10.1145/1186822.1073306
Sayre K(2005)Usage model-based automated testing of C++ templatesACM SIGSOFT Software Engineering Notes10.1145/1082983.108327730:4(1-5)Online publication date: 15-May-2005
https://dl.acm.org/doi/10.1145/1082983.1083277
Ovans R(2005)All we really need to know about software engineering is in the film office spaceACM SIGSOFT Software Engineering Notes10.1145/1082983.108300630:4(1-3)Online publication date: 1-Jul-2005
https://dl.acm.org/doi/10.1145/1082983.1083006
Garcia AChoren RLucena CRomanovsky AGiese HWeyns DHolvoet TGiorgini P(2005)Software Engineering for Large-Scale Multi-Agent Systems - SELMAS 2005ACM SIGSOFT Software Engineering Notes10.1145/1082983.108299830:4(1-8)Online publication date: 1-Jul-2005
https://dl.acm.org/doi/10.1145/1082983.1082998
Sun BRamamoorthi RNarasimhan SNayar S(2005)A practical analytic single scattering model for real time renderingACM Transactions on Graphics10.1145/1073204.107330924:3(1040-1049)Online publication date: 1-Jul-2005
https://dl.acm.org/doi/10.1145/1073204.1073309
Donner CJensen H(2005)Light diffusion in multi-layered translucent materialsACM Transactions on Graphics10.1145/1073204.107330824:3(1032-1039)Online publication date: 1-Jul-2005
https://dl.acm.org/doi/10.1145/1073204.1073308
Hable JRossignac J(2005)BlisterACM Transactions on Graphics10.1145/1073204.107330624:3(1024-1031)Online publication date: 1-Jul-2005
https://dl.acm.org/doi/10.1145/1073204.1073306
Show More Cited By

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents