Language of topologically valid bounding manifolds

Abstract The kernel of a boundary-based modelling system, rooted in a formal graph language of topologically valid representations of rigid solids as connected 2-manifolds, is discussed. The representation grammar includes a syntax of face-based Euler operators and their embeddings in manifold models. Since inclusion of both elements provides necessary and sufficient conditions for solidity, topological validity of the representation scheme can be proven as follows. First the start graph is shown to be representative of a solid, then productions in the grammar are shown to be both complete and closed in the solids.

[1]  Rani Siromoney,et al.  Space-filling curves and infinite graphs , 1982, Graph-Grammars and Their Application to Computer Science.

[2]  J. Gips.  Shape grammars and their uses , 1974 .

[3]  Peter R. Wilson.  Euler Formulas and Geometric Modeling , 1985, IEEE Computer Graphics and Applications.

[4]  Grzegorz Rozenberg,et al.  Parallel Generation of Maps: Developmental Systems for Cell Layers , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[5]  Patrick Fitzhorn.  A Linguistic Formalism for Engineering Solid Modeling , 1986, Graph-Grammars and Their Application to Computer Science.

[6]  Martti Mäntylä,et al.  A note on the modeling space of Euler operators , 1984, Comput. Vis. Graph. Image Process..

[7]  A. Requicha.  CONSTRUCTIVE SOLID GEOMETRY , 1977 .

[8]  George Stiny,et al.  Computing with Form and Meaning in Architecture , 1985 .

[9]  Charles M. Eastman,et al.  Geometric modelling: a survey , 1979 .

[10]  Manfred Kaul.  Parsing of graphs in linear time , 1982, Graph-Grammars and Their Application to Computer Science.

[11]  Leila De Floriani,et al.  Geometric modeling of solid objects by using a face adjacency graph representation , 1985, SIGGRAPH.

[12]  Bruce G. Baumgart.  Winged edge polyhedron representation. , 1972 .

[13]  Manfred Nagl,et al.  A Tutorial and Bibliographical Survey on Graph Grammars , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[14]  George Stiny,et al.  Pictorial and Formal Aspects of Shape and Shape Grammars , 1975 .

[15]  A. Lindenmayer,et al.  Developmental algorithms for multicellular organisms: a survey of L-systems. , 1975, Journal of theoretical biology.

[16]  Brian H. Mayoh,et al.  Map Grammars: Cycles and the Algebraic Approach , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[17]  Charles M. Eastman,et al.  Geometric Modeling : a Survey , 1979 .

[18]  Mantyla,et al.  GWB: A Solid Modeler with Euler Operators , 1982, IEEE Computer Graphics and Applications.

[19]  Azriel Rosenfeld,et al.  A NOTE ON GRAMMARS WITH COORDINATES. , 1970 .

[20]  Wei-Chung Lin,et al.  A Syntactic Approach to 3-D Object Representation , 1984, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[21]  ARISTIDES A. G. REQUICHA,et al.  Representations for Rigid Solids: Theory, Methods, and Systems , 1980, CSUR.

[22]  Alvy Ray Smith,et al.  Plants, fractals, and formal languages , 1984, SIGGRAPH.