Formal Engineering Design Synthesis
Erik K. Antonsson, Jonathan Cagan
Cambridge University Press, Sep 29, 2005 - Computers - 500 pages
In the early 1960s systematic techniques were introduced to guide engineers in producing high-quality designs. By the mid-1980s, these methods evolved from their informal guideline-like origins to more formal computable methods. Recently, highly automated design synthesis techniques have emerged. This timely work 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. The chapters are written by internationally renowned experts in engineering and architectural design.
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