Formal Design Methods for CAD: Proceedings of the IFIP TC5/WG5.2 Workshop on Formal Design Methods for CAD, Tallinn, Estonia, 16-19 June 194John S. Gero, Enn Tyugu, Ėnn Kharalʹdovich Tyugu Formal design methods provide the basis for the non-graphical use of computer-aided design. This volume represents the cutting edge of international research in the area, where artificial intelligence and cognitive science paradigms are providing a renewed impetus for exploration and development. The sixteen chapters are grouped into five parts: formal representations in design; shape grammars in design; design grammars; formalised design processes; and exploration in design. The volume will provide a valuable source of information for all those connected with this field. |
From inside the book
Results 1-3 of 8
Page 175
... Annealing 2.1 . SHAPE GRAMMARS Stiny ( 1980 ) introduced shape grammars as a formalism for shape gener- ation . A shape is ... SIMULATED ANNEALING Simulated annealing is a stochastic A GRAMMATICAL APPROACH TO NETWORK FLOW SYNTHESIS 175.
... Annealing 2.1 . SHAPE GRAMMARS Stiny ( 1980 ) introduced shape grammars as a formalism for shape gener- ation . A shape is ... SIMULATED ANNEALING Simulated annealing is a stochastic A GRAMMATICAL APPROACH TO NETWORK FLOW SYNTHESIS 175.
Page 176
... SIMULATED ANNEALING Simulated annealing is a stochastic optimization technique which has been demonstrated to solve continuous problems ( e.g. Jain et al . , 1990 ; van Laar- hoven and Aarts , 1987 ; Cohn et al . , 1991 ; Cagan and ...
... SIMULATED ANNEALING Simulated annealing is a stochastic optimization technique which has been demonstrated to solve continuous problems ( e.g. Jain et al . , 1990 ; van Laar- hoven and Aarts , 1987 ; Cohn et al . , 1991 ; Cagan and ...
Page 188
... simulated annealing algorithm , Proceedings 1986 IEEE International Conference on CAD . Jain , P. and Agogino , A. M .: 1990 , Theory of design : An optimization perspective , Mech . Mach . Theory , 25 ( 3 ) : 287–303 . Jain , P ...
... simulated annealing algorithm , Proceedings 1986 IEEE International Conference on CAD . Jain , P. and Agogino , A. M .: 1990 , Theory of design : An optimization perspective , Mech . Mach . Theory , 25 ( 3 ) : 287–303 . Jain , P ...
Contents
Attribute models of design objects | 33 |
Formal representation of meaning in architecture | 45 |
What is a formal representation | 59 |
Copyright | |
17 other sections not shown
Common terms and phrases
abduction abstraction application approach Artificial Intelligence aspects attribute models b-graph behaviour Cagan combination complex components computational computer-aided design concepts configuration constraint network construction context context-free grammars crossover crystal oscillator deduction defined definition derived described design description design knowledge design problems design process design research discussion domain e(corridor elements emergence Engineering Design entities Environment and Planning evaluation example exploration external finite formal design methods formal methods formal representations formalisation function Galileo4 genetic algorithms geometric Gero graph gripping hypothesis IFIP inference initial instantiated knapsack problem label language logic means mechanism ontology operations parameters particular physical principles possible primitive prototypes relations represent rewrite rule schema semantics shape annealing shape grammar shape rules simulated annealing solution principles solving specification Stiny structure symbols synthesis system models theory tion topology truss Tyugu University of Sydney variables vocabulary workpiece YMIR