The algebra of shapes

This thesis investigates a new representation scheme for geometric modeling, based on an algebraic model for shapes and formalized using a boundary representation. The algebraic model is mathematically uniform for shapes of all kinds and provides a natural and intuitive framework for mixed-dimensional shapes. The corresponding maximal element representation is essential to the concept of shape emergence. The representation scheme particularly supports computational design as a generative process of search or exploration. This thesis begins with a treatment of the algebraic and geometric properties of shapes and gives a formal and complete definition of the maximal element representation for n-dimensional shapes in a k-dimensional space (n $\le$ k). Efficient algorithms are presented for the algebraic operations of sum, product, difference and symmetric difference on shapes of plane and volume segments. An exploration of related research in shape grammars, computational design and construction simulation, illustrates the potential of this representation scheme, while an agenda for future research depicts its present shortcomings.

[1]  H. Hilton Plane algebraic curves , 1921 .

[2]  Nelson Goodman,et al.  The calculus of individuals and its uses , 1940, Journal of Symbolic Logic.

[3]  Emil L. Post Formal Reductions of the General Combinatorial Decision Problem , 1943 .

[4]  L. Brand Vector and tensor analysis , 1947 .

[5]  L. M. MILNE-THOMSON,et al.  Vector and Tensor Analysis , 1949, Nature.

[6]  Ivan E. Sutherland,et al.  Sketchpad a Man-Machine Graphical Communication System , 1899, Outstanding Dissertations in the Computer Sciences.

[7]  Walter S. Brainerd,et al.  Tree Generating Regular Systems , 1969, Inf. Control..

[8]  Theodosios Pavlidis,et al.  Linear and Context-Free Graph Grammars , 1972, JACM.

[9]  Allan Borodin,et al.  The computational complexity of algebraic and numeric problems , 1975, Elsevier computer science library.

[10]  Michael Ian Shamos,et al.  Geometric intersection problems , 1976, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976).

[11]  Alfred V. Aho,et al.  Principles of Compiler Design , 1977 .

[12]  G. Stiny Ice-Ray: A Note on the Generation of Chinese Lattice Designs , 1977 .

[13]  William J. Mitchell,et al.  The Palladian Grammar , 1978 .

[14]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[15]  Michael Henle,et al.  A combinatorial introduction to topology , 1978 .

[16]  Hilbert Levitz,et al.  Logic and Boolean algebra , 1979 .

[17]  Thomas Ottmann,et al.  Algorithms for Reporting and Counting Geometric Intersections , 1979, IEEE Transactions on Computers.

[18]  Tomás Lozano-Pérez,et al.  An algorithm for planning collision-free paths among polyhedral obstacles , 1979, CACM.

[19]  Ramesh Krishnamurti The Arithmetic of Shapes , 1980 .

[20]  George Stiny,et al.  Production Systems and Grammars: A Uniform Characterization , 1980 .

[21]  G. Stiny Introduction to Shape and Shape Grammars , 1980 .

[22]  G. Stiny Kindergarten Grammars: Designing with Froebel's Building Gifts , 1980 .

[23]  T Weissman Knight,et al.  The Generation of Hepplewhite-Style Chair-Back Designs , 1980 .

[24]  H. Koning,et al.  The Language of the Prairie: Frank Lloyd Wright's Prairie Houses , 1981 .

[25]  U Flemming,et al.  The Secret of the Casa Giuliani Frigerio , 1981 .

[26]  Ramesh Krishnamurti,et al.  The Construction of Shapes , 1981 .

[27]  George Stiny,et al.  Shapes are Individuals , 1982 .

[28]  JOSEPH O’ROURKE,et al.  A new linear algorithm for intersecting convex polygons , 1982, Comput. Graph. Image Process..

[29]  Franco P. Preparata,et al.  Plane-sweep algorithms for intersecting geometric figures , 1982, CACM.

[30]  O. Firschein,et al.  Syntactic pattern recognition and applications , 1983, Proceedings of the IEEE.

[31]  Wolfgang Böhm,et al.  A survey of curve and surface methods in CAGD , 1984, Comput. Aided Geom. Des..

[32]  K. Mehlhorn,et al.  Space sweep solves intersection of two convex polyhedra elegantly , 1984 .

[33]  Robert E. Tarjan,et al.  Self-adjusting binary search trees , 1985, JACM.

[34]  Michael Ian Shamos,et al.  Computational geometry: an introduction , 1985 .

[35]  Ö. Akin Psychology of architectural design , 1986 .

[36]  Ömer Akin A Formalism for Problem Restructuring and Resolution in Design , 1986 .

[37]  John J. Craig,et al.  Introduction to Robotics Mechanics and Control , 1986 .

[38]  Oussama Khatib,et al.  Real-Time Obstacle Avoidance for Manipulators and Mobile Robots , 1986 .

[39]  Vladimir J. Lumelsky,et al.  Continuous motion planning in unknown environment for a 3D cartesian robot arm , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[40]  David H. Laidlaw,et al.  Constructive solid geometry for polyhedral objects , 1986, SIGGRAPH.

[41]  J. Stillwell,et al.  Plane Algebraic Curves , 1986 .

[42]  U Flemming,et al.  More Than the Sum of Parts: The Grammar of Queen Anne Houses , 1987 .

[43]  Fujio Yamaguchi,et al.  Curves and Surfaces in Computer Aided Geometric Design , 1988, Springer Berlin Heidelberg.

[44]  Martti Mäntylä,et al.  Introduction to Solid Modeling , 1988 .

[45]  Kenneth L. Clarkson,et al.  Applications of random sampling in computational geometry, II , 1988, SCG '88.

[46]  Harry G. Mairson,et al.  Reporting and Counting Intersections Between Two Sets of Line Segments , 1988 .

[47]  Carlo H. Séquin,et al.  Partitioning polyhedral objects into nonintersecting parts , 1988, IEEE Computer Graphics and Applications.

[48]  Chris Hendrickson,et al.  Knowledge-based process planning for construction and manufacturing , 1989 .

[49]  M. Karasick On the representation and manipulation of rigid solids , 1989 .

[50]  Christoph M. Hoffmann,et al.  Geometric and Solid Modeling: An Introduction , 1989 .

[51]  T W Knight Color Grammars: Designing with Lines and Colors , 1989 .

[52]  Scott Curland Chase Shapes and Shape Grammars: From Mathematical Model to Computer Implementation , 1989 .

[53]  Christoph M. Hoffmann,et al.  The problems of accuracy and robustness in geometric computation , 1989, Computer.

[54]  John S. Gero,et al.  Knowledge-Based Design Systems , 1989 .

[55]  Oussama Khatib,et al.  Real-Time Obstacle Avoidance for Manipulators and Mobile Robots , 1985, Autonomous Robot Vehicles.

[56]  George Stiny What designers do that computers should , 1990 .

[57]  Kokichi Sugihara,et al.  A solid modelling system free from topological inconsistency , 1990 .

[58]  Tim Smithers,et al.  Design is intelligent behaviour, but what's the formalism? , 1990, Artif. Intell. Eng. Des. Anal. Manuf..

[59]  Young Choi,et al.  Boolean set operations on non-manifold boundary representation objects , 1991, Comput. Aided Des..

[60]  G. Stiny The algebras of design , 1991 .

[61]  Aristides A. G. Requicha,et al.  Constructive non-regularized geometry , 1991, Comput. Aided Des..

[62]  Robert Woodbury,et al.  Searching for Designs: Paradigm and Practice , 1991 .

[63]  Phillip J. McKerrow,et al.  Introduction to robotics , 1991 .

[64]  Robert Woodbury,et al.  An Introduction to Structure and Structure Grammars , 1991 .

[65]  J. Heisserman Generative geometric design and boundary solid grammars , 1992 .

[66]  A. Fleisher Grammatical Architecture? , 1992 .

[67]  Ramesh Krishnamurti,et al.  Shape Recognition in Three Dimensions , 1992 .

[68]  Ramesh Krishnamurti,et al.  The Arithmetic of Maximal Planes , 1992 .

[69]  The Maximal Representation of a Shape , 1992 .

[70]  G Stiny,et al.  Weights , 1992, The SAGE Encyclopedia of Research Design.

[71]  Rudi Stouffs,et al.  Construction Process Simulation with Rule-Based Robot Path Planning , 1993 .

[72]  George Stiny Emergence and continuity in shape grammars , 1993 .

[73]  Min Yan,et al.  Discovering emergent shapes using a data-driven symbolic model , 1993 .

[74]  Ramesh Krishnamurti,et al.  Spatial grammars: motivation, comparison, and new results , 1993 .

[75]  Christopher Carlson Describing spaces of rectangular dissections via grammatical programming , 1993 .

[76]  J. Gero,et al.  Modeling Creativity and Knowledge-Based Creative Design , 1993 .

[77]  R. Woodbury,et al.  Layouts, solids, grammar interpreters and fire stations , 1993 .

[78]  Rudi Stouffs,et al.  A behavioral language for motion planning in building construction , 1995 .