Geometric and Solid Modeling

Solid modeling is rapidly emerging as a central area of research and de- velopment in such diverse applications as engineering and product design, computer-aided manufacturing, electronic prototyping, o -line robot pro- gramming, and motion planning. All these applications require represent- ing the shapes of solid physical objects, and such representations and basic operations on them can be provided by solid modeling. As a eld, solid modeling spans several disciplines, including mathemat- ics, computer science, and engineering. In consequence, it is a broad subject that must accommodate a diversity of viewpoints and has to meet a diversity of goals. Sometimes, this diversity of goals can lead to con icting demands. Current thinking on the subject views the proper resolution of these con- icts to be application-dependent. That is, it is no longer thought realistic to envision a comprehensive solid-modeling system that satis es the needs of all potential users. Rather, as it is argued, we should concentrate on con- structing a software environment in which many tools for geometric and solid computation are available and can be combined with ease as appropriate for the speci c application under consideration.

[1]  J. Schwartz,et al.  On the “piano movers” problem. II. General techniques for computing topological properties of real algebraic manifolds , 1983 .

[2]  Joe D. Warren,et al.  On computing the intersection of a pair of algebraic surfaces , 1989, Comput. Aided Geom. Des..

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

[4]  T. Sederberg Implicit and parametric curves and surfaces for computer aided geometric design , 1983 .

[5]  Kevin Weiler Topological Structures for Geometric Modeling , 1986 .

[6]  Fujio Yamaguchi,et al.  Bridge Edge and Triangulation Approach in Solid Modeling , 1985 .

[7]  Martti Mäntylä,et al.  Localized set operations for solid modeling , 1983, SIGGRAPH.

[8]  Thomas W. Sederberg,et al.  Free-form deformation of solid geometric models , 1986, SIGGRAPH.

[9]  F. Frances Yao,et al.  Finite-resolution computational geometry , 1986, 27th Annual Symposium on Foundations of Computer Science (sfcs 1986).

[10]  Mark Henderson EXTRACTION AND ORGANIZATION OF FORM FEATURES. , 1986 .

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

[12]  B. Ravani CAD Based Programming for Sensory Robots , 1988, NATO ASI Series.

[13]  T. Sederberg Algorithm for algebraic curve intersection , 1989 .

[14]  David H. Laidlaw,et al.  Constructive solid geometry for polyhedral objects , 1986, SIGGRAPH.

[15]  R. R. Martin,et al.  Differential geometry applied to curve and surface design , 1988 .

[16]  Joshua Z. Levin Mathematical models for determining the intersections of quadric surfaces , 1979 .

[17]  Frits H. Post,et al.  Deformations of Sweep Objects in Solid Modelling , 1986, Eurographics.

[18]  John F. Canny,et al.  Collision Detection for Moving Polyhedra , 1986, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[19]  A. Requicha,et al.  CONSTANT-RADIUS BLENDING IN SOLID MODELLING , 1984 .

[20]  Tomás Lozano-Pérez,et al.  A Geometric Modeling System for Automated Mechanical Assembly , 1980, IBM J. Res. Dev..

[21]  Bernd Sturmfels,et al.  Nonrealizability proofs in computational geometry , 1990, Discret. Comput. Geom..

[22]  John F. Canny,et al.  Generalized Characteristic Polynomials , 1988, ISSAC.

[23]  I. Faux,et al.  Computational Geometry for Design and Manufacture , 1979 .

[24]  J. Stolfi Primitives for computational geometry , 1988 .

[25]  Leila De Floriani,et al.  Geometric modeling of solid objects by using a face adjacency graph representation , 1985, SIGGRAPH.

[26]  Aristides A. G. Requicha,et al.  Representation of geometric features, tolerances, and attributes in solid modelers based on constructive geometry , 1986, IEEE J. Robotics Autom..

[27]  Thomas W. Sederberg Piecewise algebraic surface patches , 1985, Comput. Aided Geom. Des..

[28]  Fujio Yamaguchi,et al.  Curves and Surfaces in Computer Aided Geometric Design , 1988, Springer Berlin Heidelberg.

[29]  Bruno Buchberger,et al.  A theoretical basis for the reduction of polynomials to canonical forms , 1976, SIGS.

[30]  Wayne Tiller,et al.  Rational B-Splines for Curve and Surface Representation , 1983, IEEE Computer Graphics and Applications.

[31]  Pere Brunet,et al.  Object representation by means of nonminimal division quadtrees and octrees , 1985, TOGS.

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

[33]  Thomas O. Binford,et al.  Computer Description of Curved Objects , 1973, IEEE Transactions on Computers.

[34]  S. Abhyankar,et al.  Automatic Rational Parameterization of Curves and Surfaces II: Cubics and Cubicoids , 1986 .

[35]  Stephen Todd,et al.  Generalizing Active Zones for Set-Theoretic Solid Models , 1989, Comput. J..

[36]  Farhad Arbab,et al.  Geometric Reasoning: A New Paradigm for Processing Geometric Information , 1985 .

[37]  Rida T. Farouki,et al.  On the numerical condition of algebraic curves and surfaces 1. Implicit equations , 1988, Comput. Aided Geom. Des..

[38]  A. Morgan,et al.  A homotopy for solving general polynomial systems that respects m-homogeneous structures , 1987 .

[39]  Hugh F. Durrant-Whyte Uncertain geometry in robotics , 1988, IEEE J. Robotics Autom..

[40]  Beat D. Brüderlin Constructing three-dimensional geometric objects defined by constraints , 1987, I3D '86.

[41]  Jarek Rossignac,et al.  Active zones in CSG for accelerating boundary evaluation, redundancy elimination, interference detection, and shading algorithms , 1988, TOGS.

[42]  Bruce F. Naylor,et al.  Set operations on polyhedra using binary space partitioning trees , 1987, SIGGRAPH.

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

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

[45]  Aristides A. G. Requicha,et al.  Representation of Tolerances in Solid Modeling: Issues and Alternative Approaches , 1984 .

[46]  Alyn P. Rockwood,et al.  Introducing Sculptured Surfaces into a Geometric Modeler , 1984 .

[47]  Donald L. Vossler Sweep-to-CSG Conversion Using Pattern Recognition Techniques , 1985, IEEE Computer Graphics and Applications.

[48]  Charles M. Eastman,et al.  Geometric Modeling : a Survey , 1979 .

[49]  J. Schwartz,et al.  Precise Implementation of Cad Primitives using Rational Parameterizations of Standard Surfaces , 1984 .

[50]  James E. Bobrow,et al.  NC machine tool path generation from CSG part representations , 1985 .

[51]  Leonidas J. Guibas,et al.  Computing convolutions by reciprocal search , 1986, SCG '86.

[52]  G. Stewart Introduction to matrix computations , 1973 .

[53]  Etienne Dombre,et al.  Trends in CAD/CAM systems for robotics , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[54]  Rida T. Farouki,et al.  Computational issues in solid boundary evaluation , 1988, Inf. Sci..

[55]  Ferdinando Mora,et al.  An Algorithm to Compute the Equations of Tangent Cones , 1982, EUROCAM.

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

[57]  Ron Goldman,et al.  Algebraic Geometry for Computer-Aided Geometric Design , 1986, IEEE Computer Graphics and Applications.

[58]  Adrian Bowyer,et al.  A Programmer's Geometry , 1983 .

[59]  A. Morgan,et al.  Errata: Computing all solutions to polynomial systems using homotopy continuation , 1987 .

[60]  Deepak Kapur,et al.  A Refutational Approach to Geometry Theorem Proving , 1988, Artif. Intell..

[61]  Tom Lyche,et al.  Discrete B-splines and subdivision techniques in computer-aided geometric design and computer graphics , 1980 .

[62]  A.A.G. Requicha,et al.  Boolean operations in solid modeling: Boundary evaluation and merging algorithms , 1985, Proceedings of the IEEE.

[63]  Yukinori Kakazu,et al.  RESEARCH ON 3-D GEOMETRIC MODELING BY SWEEP PRIMITIVES , 1982 .

[64]  Ahmad H. Nasri,et al.  Polyhedral subdivision methods for free-form surfaces , 1987, TOGS.

[65]  Robert P. Markot,et al.  Surface algorithms using bounds on derivatives , 1986, Comput. Aided Geom. Des..

[66]  Jarek Rossignac,et al.  Constraints in constructive solid geometry , 1987, I3D '86.

[67]  Bruce G. Baumgart A polyhedron representation for computer vision , 1899 .

[68]  J. Hopcroft,et al.  The Potential Method for Blending Surfaces and Corners , 1985 .

[69]  Chee-Keng Yap Geometric Consistency Theorem for a Symbolic Perturbation Scheme , 1990, J. Comput. Syst. Sci..

[70]  Aristides A. G. Requicha,et al.  Algorithms for computing the volume and other integral properties of solids. II. A family of algorithms based on representation conversion and cellular approximation , 1982, CACM.

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

[72]  Chandrajit L. Bajaj,et al.  Generation of configuration space obstacles: the case of a moving sphere , 1988, IEEE J. Robotics Autom..

[73]  H. Stetter,et al.  An Elimination Algorithm for the Computation of All Zeros of a System of Multivariate Polynomial Equations , 1988 .

[74]  Victor J. Milenkovic,et al.  Verifiable Implementations of Geometric Algorithms Using Finite Precision Arithmetic , 1989, Artif. Intell..

[75]  James E. pLebensohn Geometry and the Imagination , 1952 .

[76]  Thomas W. Sederberg,et al.  Steiner Surface Patches , 1985, IEEE Computer Graphics and Applications.

[77]  Layne T. Watson,et al.  Algorithm 652: HOMPACK: a suite of codes for globally convergent homotopy algorithms , 1987, TOMS.

[78]  John E. Hopcroft,et al.  Simulation of physical systems from geometric models , 1987, IEEE J. Robotics Autom..

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

[80]  H. Timmer,et al.  Computation of global geometric properties of solid objects , 1980 .

[81]  Martti Mäntylä,et al.  Boolean operations of 2-manifolds through vertex neighborhood classification , 1986, TOGS.

[82]  Barr,et al.  Superquadrics and Angle-Preserving Transformations , 1981, IEEE Computer Graphics and Applications.

[83]  Alan E. Middleditch,et al.  Blend surfaces for set theoretic volume modelling systems , 1985, SIGGRAPH '85.

[84]  Ahmed K. Elmagarmid,et al.  Supporting updates in heterogeneous distributed database systems , 1988, Proceedings. Fourth International Conference on Data Engineering.

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

[86]  C. Hoffmann Algebraic curves , 1988 .

[87]  Hillyard The Build Group of Solid Modelers , 1982, IEEE Computer Graphics and Applications.

[88]  Stephen Cameron,et al.  A study of the clash detection problem in robotics , 1985, Proceedings. 1985 IEEE International Conference on Robotics and Automation.

[89]  Chris L. Jackins,et al.  Oct-trees and their use in representing three-dimensional objects , 1980 .

[90]  Aristides A. G. Requicha,et al.  Algorithms for Computing the Volume and Other Integral Properties of Solid Objects , 1981 .

[91]  H. B. Voelcker,et al.  Computer applications in manufacturing , 1988 .

[92]  Ramon F. Sarraga,et al.  Algebraic methods for intersections of quadric surfaces in GMSOLID , 1983, Comput. Vis. Graph. Image Process..

[93]  Peter R. Wilson,et al.  Conic Representations for Shape Description , 1987, IEEE Computer Graphics and Applications.

[94]  Jean Ponce,et al.  Localized intersections computation for solid modelling with straight homogenous generalized cylinders , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

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

[96]  John E. Dennis,et al.  Numerical methods for unconstrained optimization and nonlinear equations , 1983, Prentice Hall series in computational mathematics.

[97]  Jarek Rossignac,et al.  Relationship between s-bounds and active zones in constructive solid geometry , 1989 .

[98]  David C. Anderson,et al.  Converting standard bivariate polynomials to Bernstein form over arbitrary triangular regions , 1986 .

[99]  Donald Meagher,et al.  Geometric modeling using octree encoding , 1982, Comput. Graph. Image Process..

[100]  Matthew Ming Fai Yuen,et al.  Modelling Solids with Sweep Primitives , 1987 .

[101]  Max Henrion,et al.  Glide: a language for design information systems , 1977, SIGGRAPH.

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

[103]  Jiawei Hong,et al.  Proving by example and gap theorems , 1986, 27th Annual Symposium on Foundations of Computer Science (sfcs 1986).

[104]  Tamás Várady,et al.  Design techniques for the definition of solid objects with free-form geometry , 1984, Comput. Aided Geom. Des..

[105]  I. C. Braid,et al.  The synthesis of solids bounded by many faces , 1975, Commun. ACM.

[106]  Chaman L. Sabharwal,et al.  Implementation of a divide-and-conquer method for intersection of parametric surfaces , 1985, Comput. Aided Geom. Des..

[107]  Tony C. Woo,et al.  AN ALGORITHM FOR GENERATING SOLID ELEMENTS IN OBJECTS WITH HOLES , 1984 .

[108]  Aristides A. G. Requicha,et al.  AN INTRODUCTION TO GEOMETRIC MODELING AND ITS APPLICATIONS IN MECHANICAL DESIGN AND PRODUCTION , 1981 .

[109]  Wayne Tiller,et al.  Applications of power series in computational geometry , 1986 .

[110]  Dana Nau,et al.  Set operations on polyhedra using decomposition methods , 1989 .

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

[112]  Bernd Sturmfels,et al.  On the coordinatization of oriented matroids , 1986, Discret. Comput. Geom..

[113]  J. Hopcroft,et al.  Quadratic blending surfaces , 1985 .

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

[115]  J. G. Semple,et al.  Algebraic Projective Geometry , 1953 .

[116]  William Joseph Fitzgerald,et al.  Solid modeling for production design , 1987 .

[117]  John E. Hopcroft,et al.  Towards implementing robust geometric computations , 1988, SCG '88.

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

[119]  Christoph M. Hoffmann A dimensionality paradigm for surface interrogations , 1990, Comput. Aided Geom. Des..

[120]  Martti Mäntylä An inversion algorithm for geometric models , 1982, SIGGRAPH.

[121]  Jarke J. van Wijk,et al.  Ray tracing objects defined by sweeping a sphere , 1984, Comput. Graph..

[122]  N. S. Sutherland,et al.  The representation of three-dimensional objects , 1979, Nature.