Skip to main content
SpringerLink
Log in

Function representation in geometric modeling: concepts, implementation and applications

  • Original Articles
  • Published:
The Visual Computer Aims and scope Submit manuscript

Abstract

Concepts of functionally based geometric modeling including sets of objects, operations, and relations are discussed. Transformations of a defining real function are described for set-theoretic operations, blending, offsetting, bijective mapping, projection, cartesian products, and metamorphosis. Inclusion, point membership, and intersection relations are also described. We use a high-level geometric language that can extend the interactive modeling system by input symbolic descriptions of primitives, operations, and predicates. This approach supports combinations of representational styles, including constructive geometry, sweeping, soft objects, voxel-based objects, deformable and other animated objects. Application examples of aesthetic design, collisions simulation, NC machining, range data processing, and 3D texture generation are given.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Adzhiev VD, Beynon WM, Pasko AA (1994) Interactive geometric modeling based on R-functions: an agent-oriented approach. Set-theoretic Solid Modeling: Techniques and Applications, CSG'94 Conference Proceedings, Information Geometers, Winchester, UK, pp 253–272

  • Bajaj C, Ihm I, Warren J (1993) Higher-order interpolation and least-squares approximation using implicit algebraic surfaces, ACM Trans Graph 12:327–347

    Article  MATH  Google Scholar 

  • Barr AH (1981) Superquadrics and angle-preserving transforms. IEEE Comput Graph Appl 1:11–23

    Google Scholar 

  • Barr AH (1984) Global and local deformations of solid primitives, Comput Graph 18:21–30

    Google Scholar 

  • Baraff D (1990) Curved surfaces and coherence for non-penetrating rigid body simulation. Comput Graph 24:19–28

    Google Scholar 

  • Beynon WM (1989) Evaluating definitive principles for interaction in graphics. In: Earnshaw RA and Wyvill B (eds) New Advances in Computer Graphics, Proceedings of CG International'89, Springer-Verlag, New York, 291–303

    Google Scholar 

  • Blinn JF (1982) A generalization of algebraic surface drawing, ACM Trans Graph 1:235–256

    Article  Google Scholar 

  • Bloomenthal J (1988) Polygonization of implicit surfaces. Comput Aided Geom Design 5:341–355

    Article  MATH  MathSciNet  Google Scholar 

  • Bloomenthal J, Shoemake K (1991) Convolution surfaces. Comput Graph 25:251–256

    Google Scholar 

  • Bloomenthal J, Wyvill B (1990) Interactive techniques for implicit modeling. Comput Graph 24:109–116

    Google Scholar 

  • Duff T (1992) Interval arithmetic and recursive subdivision for implicit functions and constructive solid geometry. Comput Graph 26:131–138

    Google Scholar 

  • Essa IA, Sclaroff S, Pentland A (1992) A unified approach for physical and geometric modeling for graphics and animation. Comput Graph Forum 11:129–138

    Article  Google Scholar 

  • Galyean TA, Hughes JF (1991) Sculpting: an interactive volumetric modeling technique. Comput Graph 25:267–274

    Google Scholar 

  • Gascuel MP (1993) An implicit formulation for precise contact modeling between flexible solids. SIGGRAPH'93, Computer Graphics Proceedings, Annual Conference Series 27:313–320

    Google Scholar 

  • Hoffman CM (1989) Geometric and solid modeling. Morgan Kaufmann, San Mateo, Calif

    Google Scholar 

  • Hoffmann CM (1993) Implicit curves and surfaces in CAGD, IEEE Comput Graph Appl 13:79–88

    Article  Google Scholar 

  • Hoffmann, C, Hopcroft J (1987) The potential method for blening surfaces and corners. In: Farin G (ed) Geometric Modeling, SIAM, Philadelphia, pp 347–365

    Google Scholar 

  • Hughes JF (1992) Scheduled Fourier volume morphing. Comput Graph 26:43–46

    Google Scholar 

  • INMOS (1988) OCCAM-2. Reference manual, INMOS, Bristol UK

    Google Scholar 

  • Lorensen WE, Cline HE (1987) Marching cubes: a high resolution 3D surface construction algorithm. Comput Graph 21:163–169

    Google Scholar 

  • Middletich AE, Sears KH (1985) Blend surfaces for set-theoretic volume modeling systems. Comput Graph 19:161–170

    Google Scholar 

  • Muraki S (1991) Volumetric shape description of range data using blobby model. Comput Graph 25:227–235

    Google Scholar 

  • Pasko AA (1988) Conceptual and instrumental tools for a direct method of multidimensional geometric problem solving with a computer. PhD Dissertation, Moscow Engineering Physics Institute, Moscow, Russia

    Google Scholar 

  • Pasko AA, Savchenko VV (1993) Solid noise in constructive solid geometry, EDUGRAPHICS'93 and COMPUGRAPHICS'93, In: Santa HP (ed) Combined Proceedings, ACM, Lisbon, Portugal, pp 351–357

    Google Scholar 

  • Pasko AA, Savchenko VV (1994a) Blending operations for functionally based constructive geometry. Set Theoretic Solid Modeling: Techniques and Applications, CSG'94 Conference Proceedings, Information Geometers, Winchester, UK, pp 151–161

  • Pasko AA, Savchenko VV (1994b) Offsetting operations for functionally based constructive geometry. 6th International Conference on Engineering Computer Graphics and Descriptive Geometry, Tokyo, Japan 1:201–204

    Google Scholar 

  • Pasko AA, Pilyugin V, Pokrovskiy V (1988) Geometric modeling in the analysis of trivariate functions. Comput Graph 12:457–465

    Article  Google Scholar 

  • Pasko AA, Adzhiev VD, Prostakov I (1992) Multivariate functions visualization: the inductive approach. Proceedings of the 3rd Eurographics Workshop on Visualization in Scientific Computing, Viareggio, Italy, pp 303–316

  • Pasko AA, Savchenko W, Adzhiev VD, Sourin A (1993a) Multidimensional geometric modeling and visualization based on the function representation of objects. Technical Report 93-1-008, University of Aizu, Aizu, Japan

    Google Scholar 

  • Pasko AA, Savchenko VV, Adzhiev VD (1993b) Educational project: Empty Case technology of geometric modeling. EDUGRAPHICS'93 and COMPUGRAPHICS'93, In: Santo HP (ed) Combined Proceedings, ACM, Lisbon, Portugal, pp 6–11

    Google Scholar 

  • Pilyugin VV, Adzhiev VD, Pasko AA, Sourin AI (1988) Theoretical issues of dynamic and multidimensional geometric modeling with a computen. Problems Informational Syst 5:3–35

    Google Scholar 

  • Requicha AAG (1980) Representations for rigid solids: theory, methods, and systems. Comput Surveys 12:437–464

    Article  Google Scholar 

  • Requicha AAG, Rossignac JR (1992) Solid modeling and beyond. IEEE Comput Graph Appl 12:31–44

    Article  Google Scholar 

  • Ricci A (1973) A constructive geometry for computer graphics. Comput J 16:157–160

    Article  MATH  Google Scholar 

  • Rockwood AP (1989) The displacement method for implicit blending surfaces in solid models. ACM Trans Graph 8:279–297

    Article  MATH  Google Scholar 

  • Rossignac JR, Requicha AAG (1984) Constant-radius blending in solid modeling. Comput Mech Eng 3:65–73

    Google Scholar 

  • Rvachev VL (1963) On the analytical description of some geometric objects. Reports of the Ukrainian Academy of Sciences 153:766–767

    Google Scholar 

  • Rvachev VL (1974) Methods of logic algebra in mathematical physics. Naukova Dumka, Kiev

    Google Scholar 

  • Savchenko VV, Pasko AA (1993) Simulation of dynamic interaction between rigid bodies with time-dependent implicitly defined surfaces. In: Arnold D (ed) Parallel Comput Transputers, IOS Press, Amsterdam, pp 122–129

    Google Scholar 

  • Savchenko VV, Pasko AA (1994) Parallel polygonization of implicit surfaces on transputers. In: Arabnia H (ed) Transputer Research and Applications 7, IOS Press, Amsterdam, pp 22–30

    Google Scholar 

  • Savchenko VV, Pasko AA, Okunev OG, Kunii TL (1994) Function representation of solids reconstructed from scattered surface points and contours. Technical Report 94-1-032, University of Aizu, Aizu, Japan

    Google Scholar 

  • Schmidt MFW (1993) Cutting cubes — visualizing implicit surfaces by adaptive polygonization. Visual Comput 10:101–115

    Article  Google Scholar 

  • Sclaroff S, Pentland A (1991) Generalized implicit functions for computer graphics. Comput Graph 25:247–250

    Google Scholar 

  • Shapiro V (1988) Theory of R-functions and applications: a primer, Technical Report CPA88-3, Cornell University, Ithaea, NY

    Google Scholar 

  • Shapiro V (1994) Real functions for representation of rigid solids. Comput Aided Geom Design 11:153–175

    Article  MATH  MathSciNet  Google Scholar 

  • Shapiro V, Vossler DL (1993) Separation for boundary to CSG conversion, ACM Trans Graph 12:35–55

    Article  MATH  Google Scholar 

  • Snyder JM (1992) Generative modeling for computer graphics and CAD. Academic Press, Boston

    MATH  Google Scholar 

  • Snyder JM, Woodbury AR, Fleischer K, Currin B, Barr AH (1993) Interval methods for multi-point collisions between time-dependent curved surfaces. SIGGRAPH'93, Computer Graphics Proceedings, Annual Conference Series 27: 321–334

    Google Scholar 

  • Sourin AI (1988) Mathematics and software for problems of time dependent geometry. PhD Dissertation, Moscow Engineering Physics Institute, Moscow, Russia

    Google Scholar 

  • Sourin AI, Pasko AA (1995) Function representation for sweeping by a moving solid. In: Hoffmann C and Rossignac J (eds) Third ACM Symposium on Solid Modeling and Applications, Salt Lake City, USA, ACM, pp 383–391

    Chapter  Google Scholar 

  • Wang WP (1984) Solid geometric modeling for mold design and manufacture. Technical Report 44, Cornell university, Ithaca, NY

    Google Scholar 

  • Warren J (1989) Blending algebraic surfaces. ACM Trans Graph 8:263–278

    Article  MATH  Google Scholar 

  • Wyvill G, McPheeters C, Wyvill B (1986a) Data structure for soft objects. Visual Comput 2:227–234

    Article  Google Scholar 

  • Wyvill B, McPheeters C, Wyvill G (1986b) Animating soft objects. Visual Comput 2:235–242

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Shape Modeling Laboratory, The University of Aizu, Tsuruga, Ikki-Machi, 965, Aizu-Wakamatsu City, Fukushima, Japan

    A. Pasko & V. Savchenko

  2. Department of Computer Science, University of Warwick, CV4 7AL, Coventry, UK

    V. Adzhiev

  3. School of Applied Science, Division of Software Systems, Nanyang Technological University, Nanyang Avenue, 2263, Singapore

    A. Sourin

Authors
  1. A. Pasko
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. V. Adzhiev
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. A. Sourin
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. V. Savchenko
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. Pasko.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Pasko, A., Adzhiev, V., Sourin, A. et al. Function representation in geometric modeling: concepts, implementation and applications. The Visual Computer 11, 429–446 (1995). https://doi.org/10.1007/BF02464333

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02464333

Key words

Search

Navigation