|
|
|
|
| LEADER |
03328nmm a2200361 u 4500 |
| 001 |
EB000615155 |
| 003 |
EBX01000000000000000468237 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
140122 ||| eng |
| 020 |
|
|
|a 9780387349251
|
| 100 |
1 |
|
|a Riitahuhta, Asko
|e [editor]
|
| 245 |
0 |
0 |
|a Advances in Formal Design Methods for CAD
|h Elektronische Ressource
|b Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995
|c edited by Asko Riitahuhta, Fay Sudweeks
|
| 250 |
|
|
|a 1st ed. 1996
|
| 260 |
|
|
|a New York, NY
|b Springer US
|c 1996, 1996
|
| 300 |
|
|
|a X, 300 p
|b online resource
|
| 505 |
0 |
|
|a One Evolutionary Methods in Design -- 1 Formalising design exploration as co-evolution: a combined gene approach -- 2 Evolving building blocks for design using genetic engineering: a formal approach -- 3 DISCUSSION: Evolutionary methods in design -- Two Generative and Search Methods in Design -- 4 Modified shape annealing for optimally-directed generation: initial results -- 5 Incorporating heuristics and a meta-architecture in a genetic algorithm for harness design -- 6 DISCUSSION: Generative and search methods in design -- Three Performance Evaluation Methods in Design -- 7 A performance-based paradigm of design -- 8 A formal method for assessing product performance at the conceptual stage of the design process -- 9 On a symbolic CAD-front-end for design evaluation based on the Pi-theorem -- 10 DISCUSSION: Performance evaluation methods in design -- Four Formal Support Methods in Design -- 11 Formal concept analysis in design -- 12 Supporting the design process by an integrated knowledge based design system -- 13 DISCUSSION: Formal support methods in design -- Five Design Process Methods -- 14 A logical theory of design -- 15 Representing the collaborative design process: a product model-oriented approach -- 16 DISCUSSION: Design process methods -- Closing Discussion -- Advances in formal design methods for computer-aided design -- Author Index
|
| 653 |
|
|
|a Computer-Aided Engineering (CAD, CAE) and Design
|
| 653 |
|
|
|a Engineering design
|
| 653 |
|
|
|a Artificial Intelligence
|
| 653 |
|
|
|a Computer-aided engineering
|
| 653 |
|
|
|a Artificial intelligence
|
| 653 |
|
|
|a Mechanical engineering
|
| 653 |
|
|
|a Engineering Design
|
| 653 |
|
|
|a Mechanical Engineering
|
| 700 |
1 |
|
|a Sudweeks, Fay
|e [editor]
|
| 041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
| 989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
| 490 |
0 |
|
|a IFIP Advances in Information and Communication Technology
|
| 028 |
5 |
0 |
|a 10.1007/978-0-387-34925-1
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-0-387-34925-1?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 670.285
|
| 520 |
|
|
|a Designing is one of the most significant of human acts. Surprisingly, given that designing has been occurring for many millenia, our understanding of the processes of designing is remarkably limited. Recently, design methods have been formalised not as humano-centred processes but as processes capable of computer implementation with the goal of augmenting human designers. This volume contains contributions which cover design methods based on evolutionary systems, generative processes, evaluation methods and analysis methods. It presents the state of the art in formal design methods for computer aided design
|