Les représentations par les frontières: quelques constructions ; difficultés rencontrées

La synthese d'images et la CAO utilisent diverses modelisations des solides. Les representations par les frontieres "Boundary Representations" sont l'une d'elles. Leurs constructions se heurtent a plusieurs difficultes : l'imprecision numerique dont les consequences nefastes ont peut etre ete sous-estimees, les possibles incoherences (comment etre sur qu'une representation par frontieres decrit bien un solide, au sens physique du terme?) provoquees par les imprecisions numeriques et/ou la redondance des representations par les frontieres, et enfin le foisonnement des cas particuliers. Cette these detaille les difficultes et quelqes solutions nouvelles.

[1]  Martti Mäntylä.  Set Operations of GWB , 1983, Comput. Graph. Forum.

[2]  G. E. Collins,et al.  Real Zeros of Polynomials , 1983 .

[3]  Wayne E. Carlson.  An algorithm and data structure for 3D object synthesis using surface patch intersections , 1982, SIGGRAPH.

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

[5]  Franklin C. Crow,et al.  Summed-area tables for texture mapping , 1984, SIGGRAPH.

[6]  Peter R. Atherton,et al.  A scan-line hidden surface removal procedure for constructive solid geometry , 1983, SIGGRAPH.

[7]  Lance Williams,et al.  Pyramidal parametrics , 1983, SIGGRAPH.

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

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

[10]  Aristides A. G. Requicha,et al.  Depth-Buffering Display Techniques for Constructive Solid Geometry , 1986, IEEE Computer Graphics and Applications.

[11]  É. Lucas,et al.  Théorie des nombres , 1961 .

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

[13]  Scott D. Roth,et al.  Ray casting for modeling solids , 1982, Comput. Graph. Image Process..

[14]  Ellis Horowitz,et al.  Fundamentals of Data Structures in Pascal , 1984 .

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

[16]  Lance Williams,et al.  Casting curved shadows on curved surfaces , 1978, SIGGRAPH.

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

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

[19]  T L Kunii,et al.  CSG and ray tracing using functional primitives , 1986 .

[20]  Thomas Ottmann,et al.  Algorithms for Reporting and Counting Geometric Intersections , 1979, IEEE Transactions on Computers.

[21]  Márta Szilvási-Nagy.  An Algorithm for Determining the Intersection of Two Simple Polyhedra , 1984, Comput. Graph. Forum.

[22]  Sabine Coquillart.  Représentation de paysages et tracé de rayon , 1984 .

[23]  Kenneth Turkowski,et al.  Anti-aliasing in topological color spaces , 1986, SIGGRAPH.

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

[25]  Henry Fuchs,et al.  Fast constructive-solid geometry display in the pixel-powers graphics system , 1986, SIGGRAPH.

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

[27]  E. T..  An Introduction to the Theory of Numbers , 1946, Nature.

[28]  Marc Levoy,et al.  Synthetic texturing using digital filters , 1980, SIGGRAPH '80.

[29]  Jan van Leeuwen,et al.  Maintenance of Configurations in the Plane , 1981, J. Comput. Syst. Sci..

[30]  R. Loos.  Computing in Algebraic Extensions , 1983 .

[31]  James R. Miller,et al.  Analysis of quadric-surface-based solid models , 1988, IEEE Computer Graphics and Applications.

[32]  P. Widmayer,et al.  A worst-case efficient algorithm for hidden-line elimination † , 1985 .

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

[34]  Hanan Samet,et al.  The Quadtree and Related Hierarchical Data Structures , 1984, CSUR.

[35]  C. Hoffmann.  Algebraic curves , 1988 .

[36]  Bruce G. Baumgart.  A polyhedron representation for computer vision , 1975, AFIPS '75.

[37]  Alan H. Barr,et al.  Global and local deformations of solid primitives , 1984, SIGGRAPH.

[38]  Marie Paule Malliavin,et al.  Algèbre commutative : applications en géométrie et théorie des nombres , 1985 .

[39]  Jon Louis Bentley,et al.  Multidimensional binary search trees used for associative searching , 1975, CACM.

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

[41]  Joshua Z. Levin,et al.  QUADRIL: A computer language for the description of quadric-surface bodies , 1980, SIGGRAPH '80.

[42]  K Ramachandra,et al.  Lectures on transcendental numbers , 1969 .

[43]  Jean-Claude Moissinac.  Aides informatiques à la réalisation de dessins animés , 1984 .

[44]  Dennis S. Arnon,et al.  A cellular decomposition algorithm for semi-algebraic sets , 1979, EUROSAM.

[45]  James T. Kajiya,et al.  Ray tracing parametric patches , 1982, SIGGRAPH.

[46]  Mantyla,et al.  GWB: A Solid Modeler with Euler Operators , 1982, IEEE Computer Graphics and Applications.

[47]  P. Samuel.  Théorie algébrique des nombres , 1971 .

[48]  Michael Ian Shamos,et al.  Computational geometry: an introduction , 1985 .

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

[50]  Hanan Samet,et al.  Viewing Solid Models by Bintree Conversion , 1985, Eurographics.

[51]  N. Balacheff,et al.  Preuves et réfutations: essai sur la logique de la découverte mathématique , 1984 .

[52]  Franklin C. Crow,et al.  The aliasing problem in computer-synthesized shaded images. , 1976 .

[53]  Franklin C. Crow,et al.  Shadow algorithms for computer graphics , 1977, SIGGRAPH.

[54]  Hanan Samet,et al.  A consistent hierarchical representation for vector data , 1986, SIGGRAPH.

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

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

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

[58]  Philippe Bergeron.  A General Version of Crow's Shadow Volumes , 1986, IEEE Computer Graphics and Applications.

[59]  Daniel Lazard,et al.  Systems of algebraic equations , 1979, EUROSAM.

[60]  Paul S. Wang,et al.  MACSYMA from F to G , 1985, J. Symb. Comput..

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

[62]  Xavier Pueyo,et al.  A New Scan Line Algorithm for the Rendering of CGS Trees , 1987, Eurographics.

[63]  James H. Davenport,et al.  On the Integration of Algebraic Functions , 1979, Lecture Notes in Computer Science.

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

[65]  Michael L. Fredman,et al.  A Lower Bound on the Complexity of Orthogonal Range Queries , 1981, JACM.

[66]  Andrew S. Glassner,et al.  Space subdivision for fast ray tracing , 1984, IEEE Computer Graphics and Applications.

[67]  Tapio Takala.  Geometric Boundary Modelling without Topological Data Structures , 1986, Eurographics.

[68]  La Taille,et al.  Courbes et surfaces , 1959 .