Boolean operations in solid modeling: Boundary evaluation and merging algorithms

Solid modeling plays a key role in electromechanical CAD/CAM, three-dimensional computer graphics, computer vision, robotics, and other disciplines and activities that deal with spatial phenomena. Almost all contemporary solid modeling systems support Boolean operations akin to set intersection, union, and difference on solids. Boundary representations (face/edge/vertex structures) for solids defined through Boolean operations are generated in these modelers by using so-called boundary evaluation and boundary merging procedures. These are the most complex and delicate software modules in a solid modeler. This paper describes boundary evaluation algorithms used by the PADL solid modeling systems developed at the University of Rochester, and discusses other known approaches in terms of concepts that emerged from the PADL work, notably set membership classification and neighborhood manipulation.

[1]  Fumihiko Kimura,et al.  Geomap-III: Designing Solids With Free-Form Surfaces , 1984, IEEE Computer Graphics and Applications.

[2]  Received June,et al.  Geometric Modeling Using Octree Encoding DONALDMEAGHER , 1982 .

[3]  Lawrence G. Roberts,et al.  Machine Perception of Three-Dimensional Solids , 1963, Outstanding Dissertations in the Computer Sciences.

[4]  Aristides A. G. Requicha,et al.  The PADL-1.0/2 system for defining and displaying solid objects , 1978, SIGGRAPH.

[5]  Yehuda E. Kalay.  Determining the spatial containment of a point in general polyhedra , 1982, Comput. Graph. Image Process..

[6]  Aristides A. G. Requicha,et al.  Algorithms for computing the volume and other integral properties of solids. I. known methods and open issues , 1982, CACM.

[7]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[8]  Brown,et al.  PADL-2: A Technical Summary , 1982, IEEE Computer Graphics and Applications.

[9]  H. Voelcker,et al.  Solid modeling: current status and research directions , 1983, IEEE Computer Graphics and Applications.

[10]  Gershon Kedem,et al.  Computer Structures for Curve-Solid Classification in Geometric Modeling , 1984 .

[11]  Mamoru Hosaka,et al.  A Unified Method for Processing Polyhedra , 1974, IFIP Congress.

[12]  Martti Mäntylä,et al.  A note on the modeling space of Euler operators , 1984, Comput. Vis. Graph. Image Process..

[13]  Fujio Yamaguchi,et al.  A Unified Algorithm for Boolean Shape Operations , 1984, IEEE Computer Graphics and Applications.

[14]  Robert B. Tilove.  A null-object detection algorithm for constructive solid geometry , 1984, CACM.

[15]  Aristides A. G. Requicha,et al.  Efficient editing of solid models by exploiting structural and spatial locality , 1984, Comput. Aided Geom. Des..

[16]  David E. Muller,et al.  Finding the Intersection of two Convex Polyhedra , 1978, Theor. Comput. Sci..

[17]  Kevin Weiler.  Polygon comparison using a graph representation , 1980, SIGGRAPH '80.

[18]  Michael A. Wesley,et al.  OYSTER: A Study of Integrated Circuits as Three Dimensional Structures , 1983, IBM J. Res. Dev..

[19]  I. C. Braid,et al.  Designing with volumes , 1973 .

[20]  James D. Foley,et al.  Fundamentals of interactive computer graphics , 1982 .

[21]  Gilchrist,et al.  GMSolid: Interactive Modeling for Design and Analysis of Solids , 1982, IEEE Computer Graphics and Applications.

[22]  Chris I. Yessios,et al.  An efficient algorithm for finding the union, intersection and differences of spatial domains , 1972 .

[23]  Charles M. Eastman,et al.  Geometric Modeling Using the Euler Operators , 1979 .

[24]  Tilove.  Line/Polygon Classification: A Study of the Complexity of Geometric Computation , 1981, IEEE Computer Graphics and Applications.

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

[26]  Aristides A. G. Requicha,et al.  Mathematical Foundations of Constructive Solid Geometry: General Topology of Closed Regular Sets , 1978 .

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

[28]  R. Nagel,et al.  3-D Visual simulation , 1971 .

[29]  Aristides A. G. Requicha,et al.  Closure of Boolean operations on geometric entities , 1980 .

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