Function-based shape modeling: Mathematical framework and specialized language

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2930, Issue , 2004, Pages 132-160

  Pasko, Alexander ^a   Adzhiev, Valery ^b  

^a HOSEI UNIVERSITY   (Japan)

^b BOURNEMOUTH UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; FUNCTIONS; GEOMETRY; THEOREM PROVING; ALGEBRA; ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; MATHEMATICAL MODELS;

ALGEBRAIC SYSTEM; FORMAL FRAMEWORK; FUNCTION-BASED MODELING; INTERNAL REPRESENTATION; MATHEMATICAL FRAMEWORKS; MODEL EXTENSIONS; MODEL SYSTEM; REAL-VALUED FUNCTIONS;

MODELING LANGUAGES; COMPUTER PROGRAMMING LANGUAGES;

FUNCTION-BASED MODELING; FUNCTION-BASED SHAPE MODELING; MATHEMATICAL FRAMEWORK; MODELING SYSTEM;

EID: 7444235997     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-24616-9_9     Document Type: Conference Paper

References (31)

1. Requicha A., Representations of rigid solids: theory, methods, and systems, Computing Surveys, vol. 12, No. 4 (1980) 437-464.
2. Rvachev V.L., On the analytical description of some geometric objects, Reports of Ukrainian Academy of Sciences, vol. 153, No. 4 (1963) 765-767.
3. Rvachev V.L. Methods of Logic Algebra in Mathematical Physics, Naukova Dumka, Kiev (1974) (in Russian).
4. Rvachev V.L., Theory of R-functions and some applications, Naukova Dumka, Kiev (1982) (in Russian).
5. Ricci A., A constructive geometry for computer graphics, The computer Journal, vol. 16, No. 2 (1973) 157-160.
6. Blinn J., A generalization of algebraic surface drawing, ACM Transactions on Graphics, vol. 1, No. 3 (1982) 235-256.
7. Bloomenthal J. et al., Introduction to Implicit Surfaces, Morgan Kaufmann Publishers, San Francisco (1997).
8. Bowyer A., SVLIS Set-theoretic Kernel Modeller, Introduction and User Manual, Information Geometers, Winchester, UK (1995).
9. Shapiro V., Theory of R-functions and applications: a primer, TR CPA88-3, Cornell University (1988).
10. Shapiro V., Real functions for representation of rigid solids, Computer Aided Geometric Design, 11(2) (1994)153-175.
11. Tsukanov I., V. Shapiro V., The architecture of SAGE-a meshfree system based on RFM, Engineering with Computers, vol. 18, No. 4 (2002) 295-311.
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, vol. 18, No. 2 (1999) 149-158.
13. Adzhiev V., Cartwright R., Fausett E., Ossipov A., Pasko A., Savchenko V., HyperFun project: a framework for collaborative multidimensional F-rep modeling, Implicit Surfaces '99 Workshop (Bordeaux, France), J. Hughes and C. Schlick (Eds.) (1999) 59-69, URL 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 (1993) 47 p.
15. Pasko A., Adzhiev V., Sourin A., Savchenko V., Function representation in geometric modeling: concepts, implementation and applications, The Visual Computer, vol.11, No.8 (1995) 429-446, URL http://wwwcis.k.hosei.ac.jp/~F-rep/
16. McCormack J., Sherstyuk A., Creating and rendering convolution surfaces, Computer Graphics Forum, vol. 17, No. 2 (1998) 113-120.
17. Perlin K., Hoffert E., Hypertexture, SIGGRAPH'89, Computer Graphics, vol. 23, No. 4 (1989) 253-262.
18. Sourin A., Pasko A., Savchenko V., Using real functions with application to hair modelling, Computers and Graphics, vol. 20, No. 1 (1996) 11-19.
19. Savchenko V., Pasko A., Okunev O., Kunii T., Function representation of solids reconstructed from scattered surface points and contours, Computer Graphics Forum, vol.14, No.4 (1995) 181-188.
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, CSG 96 (Winchester, UK, 17-19 April 1996), Information Geometers, UK (1996) 217-231.
21. Schmitt B., Pasko A., Schlick C., Constructive modelling of FRep solids using spline volumes, Sixth ACM Symposium on Solid Modeling and Applications (June 6-8, 2001, Ann Arbor, USA), D. Anderson, K. Lee (Eds.), ACM Press (2001)321-322.
22. Sourin A., Pasko A., Function representation for sweeping by a moving solid, IEEE Transactions on Visualization and Computer Graphics, vol.2, No.1, (1996) 11-18.
23. Pasko A., Savchenko V., Projection operation for multidimensional geometric modeling with real functions, Geometric Modeling: Theory and Practice, W. Strasser, R. Klein, R. Rau (Eds.), Springer-Verlag, Berlin/Heidelberg (1997) 197-205.
24. Pasko A., Okunev O., Savchenko V., Minkowski sums of point sets defined by inequalities, Computers and Mathematics with Applications, Elsevier Science, vol. 45, No. 10/11 (2003) 1479-1487.
25. Pasko A., Savchenko V., Blending operations for the functionally based constructive geometry, Set-theoretic Solid Modeling: Techniques and Applications, CSG 94 Conference Proceedings, Information Geometers, Winchester, UK (1994) 151-161.
26. Pasko G., Pasko A., Ikeda M., Kunii T., Bounded blending operations, Shape Modeling International 2002, Banff (Canada, May 17-22), IEEE Computer Society (2002) 95-103.
27. Bjorner D., Jones C., Formal specification and software development, Prentice-Hall, Englewood Cliffs, N.J. (1982).
28. Duce D., Fielding E., Formal specification-a comparison of two techniques, The Computer Journal, vol. 30, No. 4 (1987) 316-327.
29. Pasko A., Adzhiev V., Schmitt B., Schlick C., Constructive hypervolume modeling, Graphical Models, special issue on Volume Modeling, vol. 63, No. 6 (2001) 413-442.
30. Rvachev V., Sheiko T., Shapiro V., Tsukanov I., Transfinite interpolation over implicitly defined sets, Computer-Aided Geometric Design, 18 (2001) 195-220.
31. Adzhiev V., Kartasheva E., Kunii T., Pasko A., Schmitt B., Hybrid cellularfunctional modeling of heterogeneous objects, Journal of Computing and Information Science in Engineering, Transactions of the ASME, vol. 2, No. 4 (2002) 312-322.