Well-formed set representations of solids

International Journal of Computational Geometry and Applications

Volumn 9, Issue 2, 1999, Pages 125-150

  Shapiro, Vadim ^a  

^a UNIVERSITY OF WISCONSIN MADISON   (United States)

Author keywords

Boolean operations; Constructive solid geometry; Point membership classification; Regularization; Set representations

Indexed keywords

EID: 0033441176     PISSN: 02181959     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218195999000108     Document Type: Article

References (52)

1. ACIS Geometric Modeler Version 1.5. Spatial Technology, Inc., 1993.
2. Parasolid V7 Functional Description. Electronic Data Systems, 1995.
3. G. Birkoff. Lattice Theory. American Mathematical Society, Providence, Rhode Island, third edition, 1973.
4. A. Bowyer. Sulis Introduction and User Manual. Information Geometers Ltd, 1994.
5. Ian C. Braid. Boundary modeling. In L. Piegl, editor, Fundamental Developments of Camputer-Aided Geometric Modeling. Academic Press, London, 1993.
6. C. K. Brown. PADL-2: a technical summary. IEEE Computer Graphics and Applications, 2(2):69-84, March 1982.
7. J. F. Canny. The Complexity of Robot Motion Planning. MIT Press, 1987.
8. X. Chen and C. H. Hoffmann. Towards feature attachment. Technical Report CSD-TR-94-010, Department of Computer Science, Purdue University, West Lafayette, IN, February 1994.
9. B. A. Davey and H.A. Priestley. Introduction to Lattices and Order. Cambridge University Press, 1990.
10. M. P. do Carmo. Differential geometry of curves and surfaces. Prentice-Hall, Inc., 1976.
11. D. Dobkin, L. Guibas, J. Hershberger, and J. Snoeynik. An efficient algorithm for finding the CSG representation of a simple polygon. Computer Graphics, 22(4):31-40, 1988.
12. H. Edelsbrunner. Algorithms in Combinatorial Geometry, volume 10 of EATCS Monographs on Theoretical Computer Science. Springer-Verlag, 1987.
13. C. G. Gibson. Singular points of smooth mappings. Pitman, 1979.
14. V. Guillemin and A. Pollack. Topology. Prentice-Hall, 1974.
15. E. L. Gursoz, Y. Choi, and F. B. Prinz. Vertex-based representation of non-manifold boundaries. In Geometric Modeling for Product Engineering, pages 107 -130. Elsevier Science Publishers B. V. (North Holland), 1990.
16. J. Heintz. Definability and fast quantifier elimination in algebraically closed fields. Theoretical Computer Science, 24:239-278, 1983.
17. C. H. Hoffmann. Geometric and Solid Modeling. Morgan Kaufmann Publishers, 1989.
18. J. Hoschek and W. Dankwort. Parametric and Variational Design. B. G. Teubner, 1994.
19. Y.S. Kim and D. J. Wilde. Local cause of non-convergence in a convex decomposition using convex hulls. Transactions of ASME, Journal of Mechanical Design, 114:468-476, 1992.
20. K. Kuratowski and A. Mostowski. Set theory. North-Holland Publishing Co., 1976.
21. C. Lim, G. Turkiyyah, M. Ganter, and D. Storti. Implicit reconstruction of solids from cloud point sets. In Proc. Third Symposium on Solid Modeling Foundations and CAD/CAM applications, May 17-19, 1995.
22. J. C. C. Mckinsey and A. Tarski. On closed elements in closure algebras. Annals of Mathematics, 47(1):122-162, January 1946.
23. J. P. Menon and H. B. Voelcker. Toward a comprehensive formulation of NC verification as a mathematical and computational problem. Journal of Design and Manufacturing, 3(4):263-277, December 1993.
24. A. E. Middleditch. The 'bug' and beyond. In CSG 94 Set-theoretic Solid Modelling: Techniques and Applications, pages 1-16, Winchester, UK, April 1994. Information Geometers Ltd.
25. S. Ocken, J. T. Schwartz, and M. Sharir. Precise implementation of CAD primitives using rational parametrization of standard surfaces. In J. T. Scwartz, M. Sharir, and J. Hopcroft, editors, Planning, Geometry, and Complexity of Robot Motion. Ablex Publishing, New Jersey, 1987.
26. J. O'Rourke. Computational Geometry in C. Cambridge University Press, 1994.
27. A. Pasko, V. Adzhiev, A. Sourin, and V. Savchenko. Function representation in geometric modeling: Concepts, implementation and applications. The Visual Computer, 1995. To appear.
28. D.P. Peterson. Boundary to constructive solid geometry mappings: a focus on 2D issues. Computer-Aided Design, 18(1):3-14, 1986.
29. A. A. G. Requicha. Mathematical models of rigid solid objects. Tech. Memo 28, Production Automation Project, University of Rochesteri, Rochester, NY, November 1977.
30. A. A. G. Requicha and R. B. Tilove. Mathematical foundations of constructive solid geometry: General topology of closed regular sets. Tech. Memo 27a, Production Automation Project, University of Rochester, June 1978.
31. A. A. G. Requicha and H. B. Voelcker. Constructive solid geometry. Tech. Memo 25, Production Automation Project, University of Rochester, November 1977.
32. A. A. G. Requicha and H. B. Voelcker. Boolean operations in solid modeling: Boundary evaluation and merging algorithms. Proceedings of the IEEE, 73(1):30-44, January 1985.
33. J. R. Rossignac and A. A. G Requicha. Constructive non-regularized geometry. Computer-Aided Design, 23(1), January/February 1991.
34. V. L. Rvachev. Theory of R-functions and some applications. Naukova Dumka, Kiev, 1982. In Russian.
35. V. L. Rvachev, L. V. Kurpa, N. G. Sklepus, and L. A. Uchishvili. Method of R-functions in Problems on Bending and Vibrations of Plates of Complex Shape. Naukova Dumka, 1973. In Russian.
36. V. Shapiro. Theory of R-functions and applications: A primer. Tech. Report CPA88-3, Cornell Programmable Automation, Cornell University, Ithaca, NY, November 1988.
37. V. Shapiro. Representations of Semi-Algebraic Sets in Finite Algebras Generated by Space Decompositions. PhD thesis, Cornell University, Cornell Programmable Automation, Ithaca, NY, 14853, February 1991.
38. V. Shapiro. Maintenance of geometric representations through space decompositions. International Journal of Computational Geometry and Applications, 1994. Accepted for publication.
39. V. Shapiro. Real functions for representation of rigid solids. Computer-Aided Geometric Design, 11(2):153-175, 1994.
40. V. Shapiro and D. L. Vossler. Efficient CSG representations of two-dimensional solids. Transaction of ASME, Journal of Mechanical Design, 113:292-305, September 1991.
41. V. Shapiro and D. L. Vossler. Separation for boundary to CSG conversion. ACM Transactions on Graphics, 12(1):35-55, January 1993.
42. V. Shapiro and D. L. Vossler. What is a parametric family of solids? In Proc. Third Symposium on Solid Modeling Foundations and CAD/CAM applications, May 17-19, 1995.
43. Geometric Modelling Society. Introducing Djinn, A Geometric Interface for Solid Modeling. Information Geometers Ltd, Winchester, UK, 1995.
44. A. Sourin and A. Pasko. Function representation for sweeping by a moving solid. In Proc. Third Symposium on Solid Modeling Foundations and CAD/CAM applications, May 17-19, 1995.
45. R. B. Tilove. Set membership classification: A unified approach to geometric intersection problems. IEEE Transactions on Computer, C-29(10):874-883, October 1980.
46. R. B. Tilove. Exploiting spatial and structural locality in geometric modeling. Tech. Memo. 38, Production Automation Project, University of Rochester, October 1981.
47. R. B. Tilove and A. A. G. Requicha. Closure of boolean operations on geometric entities. Computer-Aided Design, 12(5):219-220, September 1980.
48. S.B. Tor and A.E. Middleditch. Convex decomposition of simple polygons. ACM Transactions on Graphics, 3(4):244-265, 1984.
49. H. B. Voelcker and A. A. G. Requicha. Research in solid modeling at the University of Rochester: 1972-1987. In L. Piegl, editor, Fundamental Developments in Computer-Aided Modeling. Academic Press, London, 1993.
50. K. J. Weiler. Topological Structures for Geometric Modeling. PhD thesis, Rensselaer Polytechnic Institute, 1986.
51. T. C. Woo. Feature extraction by volume decomposition. In Proc. Conference on CAD/CAM Technology in Mechanical Engineering, Cambridge, MA, March 24-26 1982.
52. J. R. Woodwark and A. L. Wallis. Graphical input to a boolean solid modeller. In Proc. CAD '82, pages 681-688, Brighton, U.K., March 30 - April 1, 1982.