Skip to main content

Some Applications of Interval Arithmetic in Hierarchical Solid Modeling

  • Conference paper
Numerical Validation in Current Hardware Architectures

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5492))

  • 372 Accesses

Abstract

Reliable computing techniques, like interval arithmetic, can be used to guarantee reliable solutions even in the presence of numerical round-off errors. The use of such techniques can eliminate the need to trace bounds for the error function separately.

In this paper, we show how the techniques and algorithms of reliable computing can be applied to the construction and further processing of hierarchical solid representations, using the octree model as an example.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Duff, T.: Interval arithmetic and recursive subdivision for implicit functions and constructive solid geometry. In: SIGGRAPH 1992: Proceedings of the 19th annual conference on Computer graphics and interactive techniques, pp. 131–138. ACM Press, New York (1992)

    Chapter  Google Scholar 

  2. Snyder, J.M.: Interval Analysis for Computer Graphics. Computer Graphics 26, 121–130 (1992)

    Article  Google Scholar 

  3. Krivsky, S., Lang, B.: Using interval arithmetic for determining the structure of convex hulls. Numerical Algorithms 37, 233–240 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  4. Huber, E., Barth, W.: Surface-to-surface intersection with complete and guaranteed results. Developments in Reliable Computing, 189–202 (1999)

    Google Scholar 

  5. Patrikalakis, N.M., Hu, C.Y., Ye, X.: Robust interval solid modelling. Part I: representations. Computer Aided Design 28, 807–817 (1996)

    Article  Google Scholar 

  6. Ratschek, H., Rokne, J.: Geometric Computations with Interval and New Robust Methods. Horwood Publishing, Chichester (2003)

    Book  MATH  Google Scholar 

  7. Bühler, K., Dyllong, E., Luther, W.: Reliable Distance and Intersection Computation Using Finite Precision Geometry. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) Numerical Software with Result Verification (Dagstuhl Seminar 2003). LNCS, vol. 2991, pp. 160–190. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  8. Zhang, X., Redon, S., Lee, M., Kim, Y.J.: Continuous Collision Detection for Articulated Models Using Taylor Models and Temporal Culling. ACM Transactions on Graphics 26 (2007)

    Google Scholar 

  9. Samet, H.: The Design and Analysis of Spatial Data Structures, and Applications of Spatial Data Structures. Addison-Wesley, Reading (1990)

    Google Scholar 

  10. Brunet, P., Navazo, I.: Solid Representation and Operation Using Extended Octrees. ACM Transactions on Graphics 9, 170–197 (1990)

    Article  MATH  Google Scholar 

  11. Hofschuster, W., Krämer, W.: C-XSC 2.0: A C++ Library for Extended Scientific Computing. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) Numerical Software with Result Verification (Dagstuhl Seminar 2003). LNCS, vol. 2991, pp. 15–35. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  12. Dyllong, E., Grimm, C.: Verified Adaptive Octree Representations of Constructive Solid Geometry Objects. In: SimVis, pp. 223–236 (2007)

    Google Scholar 

  13. Carlbom, I., Chakravarty, I., Vanderschel, D.: A Hierarchical Data Structure for Representing the Spatial Decomposition of 3D Objects. IEEE Computer Graphics and Applicalions 5, 24–31 (1985)

    Article  Google Scholar 

  14. Wyvill, G., Kunii, T., Shirai, Y.: Space division for ray tracing in CSG. IEEE Comp. Graphics Applic. 6, 28–34 (1986)

    Article  Google Scholar 

  15. Dyllong, E., Grimm, C.: Proximity Queries between Interval-Based CSG Octrees. In: Proceedings of International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2007), Corfu, Greece, September 16-20, AIP Conference Proceedings, vol. 936, pp. 162–165 (2007)

    Google Scholar 

  16. Major, F., Malenfant, J., Stewart, N.F.: Distance between objects represented by octtrees defined in different coordinate systems. Computers and Graphics 13, 497–503 (1989)

    Article  Google Scholar 

  17. Grimm, C.: Result Verification of RRT-based Single-Query Path Planning through Interval Analysis. In: GAMM 2008 (sent to publication) (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dyllong, E. (2009). Some Applications of Interval Arithmetic in Hierarchical Solid Modeling. In: Cuyt, A., Krämer, W., Luther, W., Markstein, P. (eds) Numerical Validation in Current Hardware Architectures. Lecture Notes in Computer Science, vol 5492. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01591-5_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-01591-5_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-01590-8

  • Online ISBN: 978-3-642-01591-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics