Formal Engineering Design Synthesis
Erik K. Antonsson, Jonathan Cagan
Cambridge University Press, Sep 29, 2005 - Computers - 500 pages
The development of a new design is often thought of as a fundamentally human, creative act. However, emerging research has demonstrated that aspects of design synthesis can be formalized. First steps in this direction were taken in the early 1960s when systematic techniques were introduced to guide engineers in producing high-quality designs. By the mid-1980s these methods had evolved from their informal (guideline-like) origins to moreformal (computable) methods. In recent years, highly automated design synthesis techniques have emerged. This book reviews the state-of-the-art in formal design synthesis methods. It also provides an in-depth exploration of several representative projects in formal design synthesis and examines future directions in computational design synthesis research. Written by internationally renowned experts in engineering and architectural design, it covers topics at the cutting edge of engineering design, and will appeal to designers, researchers and engineering graduate students.
What people are saying - Write a review
We haven't found any reviews in the usual places.
1 Vitruvius Redux
2 How to Calculate with Shapes
3 Engineering Shape Grammars
4 Creating Structural Configurations
5 Microsystem Design Synthesis
6 FunctionBased Synthesis Methodsin Engineering Design
7 Artificial Intelligence for Design
8 Evolutionary and Adaptive Synthesis Methods
Other editions - View all
abstraction algebras analog circuits analysis Antonsson applied approach architecture Artiﬁcial Intelligence ASME automated azeotrope basic behavior bond graph Cagan chromosome components composition Computer-Aided Design Conference conﬁguration space constraints create crossover deﬁned deﬁnite described design compiler design process design synthesis developed device difﬁcult distillation domain efﬁcient elements Engineering Design equations evaluation Evolutionary Computation example ﬁeld ﬁnal ﬁnd ﬁnite ﬁrst ﬁtness ﬁxed ﬂow sheet function genetic algorithms geometric goal heuristic IEEE implementation input interactions iteration Journal of Mechanical kinematic machine mask layout Mechanical Design MEMS microelectromechanical systems microsystems mixed-signal operators optimization output parameters performance physical Proceedings represent representation result robot rotation schematic scheme scientiﬁc selection Sensors and Actuators shape annealing shape grammars shape rules shown in Figure signiﬁcant simulated annealing solutions speciﬁcations Stiny strategy structure synthesis methods Tabu search techniques tion topology transformation triangles truss variables VLSI workspace York