Intersections with validated error bounds for building interval solid models

Proceedings of the ASME International Design Engineering Technical Conferences and Computers and Information in Engineering Conference - DETC2005

Volumn 3 A, Issue , 2005, Pages 53-62

  Mukundan, Harish ^a,b,c   Ko, Kwang Hee ^b   Patrikalakis, Nicholas M ^c  

^a Massachusetts Institute of Technology   (United States)

^b STEVENS INSTITUTE OF TECHNOLOGY   (United States)

^c MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOUNDARY CONDITIONS; COMPUTATIONAL GEOMETRY; MATHEMATICAL MODELS; ORDINARY DIFFERENTIAL EQUATIONS; PROBLEM SOLVING; ROBUSTNESS (CONTROL SYSTEMS);

INTERVAL ARITHMETIC; INTERVAL SOLID MODELS; NUMERICAL ROBUSTNESS PROBLEM; VALIDATED ERROR BOUNDS;

DIGITAL ARITHMETIC;

EID: 33144474068     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1115/detc2005-85268     Document Type: Conference Paper

References (30)

1. Hoffmann, C. M., 1989. Geometric and Solid Modeling: An Introduction. Morgan Kaufmann Publishers, Inc., San Mateo, California.
2. Sakkalis, T., Shen, G., and Patrikalakis, N. M., 2000. "Representational validity of boundary representation models". Computer-Aided Design, 32(12), pp. 719-726.
3. Hoffmann, C. M., 2001. "Robustness in geometric computations". Journal of Computing and Information Science in Engineering, 1(2), June, pp. 105-204.
4. Milenkovic, V., 1993. "Robust polygon modelling". Computer-Aided Design, 25(9), September, pp. 546-566.
5. Fortune, S., 1997. "Polyhedral modeling with multiprecision integer arithmetic". Computer-Aided Design, 29(2), pp. 123-133.
6. Keyser, J., Krishnan, S., and Manocha, D., 1999. "Efficient and accurate B-rep generation of low degree sculptured solids using exact arithmetic: I-representations". Computer Aided Geometric Design, 16(9), October, pp. 841-859.
7. Keyser, J., Krishnan, S., and Manocha, D., 1999. "Efficient and accurate B-rep generation of low degree sculptured solids using exact arithmetic: II-computation". Computer Aided Geometric Design, 16(9), October, pp. 861-882.
8. Salesin, D. H., 1991. "Epsilon geometry: Building robust algorithms from imprecise computations". PhD thesis, Stanford University, March.
9. Hu, C. Y., Patrikalakis, N. M., and Ye, X., 1996. "Robust interval solid modeling: Part I, Representations". Computer-Aided Design, 28(10), October, pp. 807-817.
10. Hu, C. Y., Patrikalakis, N. M., and Ye, X., 1996. "Robust interval solid modeling: Part II, Boundary evaluation". Computer-Aided Design, 28(10), October, pp. 819-830.
11. Benouamer, M., Michelucci, D., and Peroche, B., 1993. "Error-free boundary evaluation based on a lazy rational arithmetic: A detailed implementation". Computer-Aided Design, 26(6), June, pp. 403-415.
12. Agrawal, A., 1995. General approach to the design of robust algorithms for geometric modeling. Technical Report IRIS-95-339, Institute for Robotics and Intelligent Systems, University of Southern California, Los Angeles, CA.
13. Nedialkov, N. S., 1999. "Computing the rigorous bounds on the solution of an initial value problem for an ordinary differential equation". PhD thesis, University of Toronto, Toronto, Canada.
14. Hansen, E., ed., 1969. Topics in Interval Analysis. Oxford University Press.
15. Sakkalis, T., Shen, G., and Patrikalakis, N. M., 2001. "Topological and geometric properties of interval solid models". Graphical Models, 63(3), pp. 163-175.
16. Hu, C. Y., Maekawa, T., Sherbrooke, E. C., and Patrikalakis, N. M., 1996. "Robust interval algorithm for curve intersections". Computer-Aided Design, 28(6/7), June/July, pp. 495-506.
17. Hu, C. Y., Maekawa, T., Patrikalakis, N. M., and Ye, X., 1997. "Robust interval algorithm for surface intersections". Computer-Aided Design, 29(9), September, pp. 617-627.
18. Sherbrooke, E. C., and Patrikalakis, N. M., 1993. "Computation of the solutions of nonlinear polynomial systems". Computer Aided Geometric Design, 10(5), October, pp. 379-405.
19. Patrikalakis, N. M., and Maekawa, T., 2002. Shape Interrogation for Computer Aided Design and Manufacturing. Springer-Verlag, Heidelberg, February.
20. Mukundan, H., Ko, K. H., Maekawa, T., Sakkalis, T., and Patrikalakis, N. M., 2004. "Tracing surface intersections with a validated ODE system solver". In Proceedings of the Ninth EG/ACM Symposium on Solid Modeling and Applications, G. Elber and G. Taubin, eds., Eurographics Press.
21. Patrikalakis, N. M., and Maekawa, T., 2002. "Intersection problems". In Handbook of Computer Aided Geometric Design, Chapter 25, G. Farin, J. Hoschek, and M. S. Kim, eds., pp. 623-650.
22. Struik, D. J., 1961. Lectures on Classical Differential Geometry, second ed. Dover.
23. Moore, R. E., 1966. Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ.
24. Shen, G., Sakkalis, T., and Patrikalakis, N. M., 2000. "Interval methods for B-Rep model verification and rectification". In Proceedings of the ASME 26th Design Automation Conference, pp. 140 and CD-ROM.
25. Shen, G., Sakkalis, T., and Patrikalakis, N. M. "Boundary representation model rectification". Graphical Models, 63(3), pp. 177-195. Also in:
26. Proceedings of the Sixth ACM Solid Modeling Symposium. D. Anderson and K. Lee, editors. Ann Arbor, Michigan, June 2001. NY: ACM, 2001.
27. Grandine, T. A., and Klein, F. W., 1997. "A new approach to the surface intersection problem". Computer Aided Geometric Design, 14(2), pp. 111-134.
28. Mow, C., Peters, T. J., and Stewart, N. F., 2003. "Specifying useful error bounds for geometry tools: An intersector exemplar". Computer Aided Geometric Design, 20(5), pp. 247-251.
29. Ko, K. H., Sakkalis, T., and Patrikalakis, N. M., 2004. "Nonlinear polynomial systems: Multiple roots and their multiplicities". In Shape Modeling International Conference, SMI 2004, F. Giannini and A. Pasko, eds., IEEE Computer Society Press, Los Alamitos, CA.
30. Patrikalakis, N. M., Maekawa, T., Ko, K. H., and Mukundan, H., 2004. "Surface to surface intersection". Computer-Aided Design and Applications, 1(1-4), pp. 449-458.