Skip to main content
SpringerLink
Log in

Function-Based Shape Modeling: Mathematical Framework and Specialized Language

  • Conference paper
Book cover Automated Deduction in Geometry (ADG 2002)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 2930))

Included in the following conference series:

Abstract

In this survey, we describe the following different aspects of modeling multidimensional point sets (shapes) using real-valued functions of several variables: algebraic system as a formal framework; representation of shapes, operations, and relations using real-valued functions, internal representation of the modeling system; specialized language for function-based modeling, and model extension to point sets with attributes (hypervolumes).

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

Access this chapter

Log in via an institution
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. Requicha, A.: Representations of rigid solids: theory, methods, and systems. Computing Surveys 12(4), 437–464 (1980)

    Article  Google Scholar 

  2. Rvachev, V.L.: On the analytical description of some geometric objects. Reports of Ukrainian Academy of Sciences 153(4), 765–767 (1963)

    Google Scholar 

  3. Rvachev, V.L.: Methods of Logic Algebra in Mathematical Physics, Naukova Dumka, Kiev (1974) (in Russian)

    Google Scholar 

  4. Rvachev V.L.: Theory of R-functions and some applications, Naukova Dumka, Kiev (1982) (in Russian)

    Google Scholar 

  5. Ricci, A.: A constructive geometry for computer graphics. The computer Journal 16(2), 157–160 (1973)

    Article  MATH  Google Scholar 

  6. Blinn, J.: A generalization of algebraic surface drawing. ACM Transactions on Graphics 1(3), 235–256 (1982)

    Article  Google Scholar 

  7. Bloomenthal, J., et al.: Introduction to Implicit Surfaces. Morgan Kaufmann Publishers, San Francisco (1997)

    MATH  Google Scholar 

  8. Bowyer, A.: SVLIS Set-theoretic Kernel Modeller, Introduction and User Manual. Information Geometers, Winchester, UK (1995)

    Google Scholar 

  9. Shapiro, V.: Theory of R-functions and applications: a primer, TR CPA88-3, Cornell University (1988)

    Google Scholar 

  10. Shapiro, V.: Real functions for representation of rigid solids. Computer Aided Geometric Design 11(2), 153–175 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  11. Tsukanov, I., Shapiro, V.: The architecture of SAGE - a meshfree system based on RFM. Engineering with Computers 18(4), 295–311 (2002)

    Article  Google Scholar 

  12. Wyvill, B., Galin, E., Guy, A.: Extending the CSG tree. warping, blending and Boolean operations in an implicit surface modeling system, Computer Graphics Forum 18(2), 149–158 (1999)

    Google Scholar 

  13. Adzhiev, V., Cartwright, R., Fausett, E., Ossipov, A., Pasko, A., Savchenko, V.: HyperFun project: a framework for collaborative multidimensional F-rep modeling. In: Hughes, J., Schlick, C. (eds.) Implicit Surfaces 1999 Workshop, Bordeaux, France, pp. 59–69 (1999), http://www.hyperfun.org/

  14. Pasko, A., Savchenko, V., Adzhiev, V., Sourin, A.: Multidimensional geometric modeling and visualization based on the function representation of objects, Technical Report 93-1-008, The University of Aizu, Japan, p. 47 (1993)

    Google Scholar 

  15. Pasko, A., Adzhiev, V., Sourin, A., Savchenko, V.: Function representation in geometric modeling: concepts, implementation and applications. The Visual Computer 11(8), 429–446 (1995), http://wwwcis.k.hosei.ac.jp/~F-rep/

    Article  Google Scholar 

  16. McCormack, J., Sherstyuk, A.: Creating and rendering convolution surfaces. Computer Graphics Forum 17(2), 113–120 (1998)

    Article  Google Scholar 

  17. Perlin, K., Hoffert, E.: Hypertexture. SIGGRAPH 1989, Computer Graphics 23(4), 253–262 (1989)

    Article  Google Scholar 

  18. Sourin, A., Pasko, A., Savchenko, V.: Using real functions with application to hair modelling. Computers and Graphics 20(1), 11–19 (1996)

    Article  Google Scholar 

  19. Savchenko, V., Pasko, A., Okunev, O., Kunii, T.: Function representation of solids reconstructed from scattered surface points and contours. Computer Graphics Forum 14(4), 181–188 (1995)

    Article  Google Scholar 

  20. Miura, K., Pasko, A., Savchenko, V.: Parametric patches and volumes in the functional representation of geometric solids, Set-theoretic Solid Modeling: Techniques and Applications. In: CSG 1996, Winchester, UK, April 17-19 (1996); Information Geometers, UK, pp. 217-231 (1996)

    Google Scholar 

  21. Schmitt, B., Pasko, A., Schlick, C.: Constructive modelling of FRep solids using spline volumes. In: Anderson, D., Lee, K. (eds.) Sixth ACM Symposium on Solid Modeling and Applications, Ann Arbor, USA, June 6-8, pp. 321–322. ACM Press, New York (2001)

    Google Scholar 

  22. Sourin, A., Pasko, A.: Function representation for sweeping by a moving solid. IEEE Transactions on Visualization and Computer Graphics 2(1), 11–18 (1996)

    Article  Google Scholar 

  23. Pasko, A., Savchenko, V.: Projection operation for multidimensional geometric modeling with real functions. In: Strasser, W., Klein, R., Rau, R. (eds.) Geometric Modeling: Theory and Practice, pp. 197–205. Springer, Berlin (1997)

    Google Scholar 

  24. Pasko, A., Okunev, O., Savchenko, V.: Minkowski sums of point sets defined by inequalities, Computers and Mathematics with Applications. Elsevier Science 45(10/11), 1479–1487 (2003)

    MATH  MathSciNet  Google Scholar 

  25. Pasko, A., Savchenko, V.: Blending operations for the functionally based constructive geometry, Set-theoretic Solid Modeling: Techniques and Applications. In: Proceedings CSG 1994 Conference, Information Geometers, Winchester, UK, pp. 151–161 (1994)

    Google Scholar 

  26. Pasko, G., Pasko, A., Ikeda, M., Kunii, T.: Bounded blending operations. In: Shape Modeling International 2002, Banff, Canada, May 17-22, pp. 95–103. IEEE Computer Society, Los Alamitos (2002)

    Chapter  Google Scholar 

  27. Bjorner, D., Jones, C.: Formal specification and software development. Prentice- Hall, Englewood Cliffs (1982)

    MATH  Google Scholar 

  28. Duce, D., Fielding, E.: Formal specification—a comparison of two techniques. The Computer Journal 30(4), 316–327 (1987)

    Article  MATH  Google Scholar 

  29. Pasko, A., Adzhiev, V., Schmitt, B., Schlick, C.: Constructive hypervolume modeling, Graphical Models. Special issue on Volume Modeling 63(6), 413–442 (2001)

    MATH  Google Scholar 

  30. Rvachev, V., Sheiko, T., Shapiro, V., Tsukanov, I.: Transfinite interpolation over implicitly defined sets. Computer-Aided Geometric Design 18, 195–220 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  31. Adzhiev, V., Kartasheva, E., Kunii, T., Pasko, A., Schmitt, B.: Hybrid cellular– functional modeling of heterogeneous objects. Journal of Computing and Information Science in Engineering, Transactions of the ASME 2(4), 312–322 (2002)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Hosei University, Tokyo, Japan

    Alexander Pasko

  2. Bournemouth University, Poole, UK

    Valery Adzhiev

Authors
  1. Alexander Pasko
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Valery Adzhiev
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Research Institute for Symbolic Computation (RISC), J. Kepler University, Altenbergerstr. 69, A-4040, Linz, Austria

    Franz Winkler

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pasko, A., Adzhiev, V. (2004). Function-Based Shape Modeling: Mathematical Framework and Specialized Language. In: Winkler, F. (eds) Automated Deduction in Geometry. ADG 2002. Lecture Notes in Computer Science(), vol 2930. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24616-9_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24616-9_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20927-0

  • Online ISBN: 978-3-540-24616-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation