A Mathematical Theory of Design: Foundations, Algorithms and Applications:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Boston, MA
Springer US
1998
|
| Schriftenreihe: | Applied Optimization
17 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Formal Design Theory (PDT) is a mathematical theory of design. The main goal of PDT is to develop a domain independent core model of the design process. The book focuses the reader's attention on the process by which ideas originate and are developed into workable products. In developing PDT, we have been striving toward what has been expressed by the distinguished scholar Simon (1969): that "the science of design is possible and some day we will be able to talk in terms of well-established theories and practices. " The book is divided into five interrelated parts. The conceptual approach is presented first (Part I); followed by the theoretical foundations of PDT (Part II), and from which the algorithmic and pragmatic implications are deduced (Part III). Finally, detailed case-studies illustrate the theory and the methods of the design process (Part IV), and additional practical considerations are evaluated (Part V). The generic nature of the concepts, theory and methods are validated by examples from a variety of disciplines. FDT explores issues such as: algebraic representation of design artifacts, idealized design process cycle, and computational analysis and measurement of design process complexity and quality. FDT's axioms convey the assumptions of the theory about the nature of artifacts, and potential modifications of the artifacts in achieving desired goals or functionality. By being able to state these axioms explicitly, it is possible to derive theorems and corollaries, as well as to develop specific analytical and constructive methodologies |
| Beschreibung: | 1 Online-Ressource (XXII, 682 p) |
| ISBN: | 9781475728729 9781441947987 |
| ISSN: | 1384-6485 |
| DOI: | 10.1007/978-1-4757-2872-9 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042421393 | ||
| 003 | DE-604 | ||
| 005 | 20170913 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s1998 |||| o||u| ||||||eng d | ||
| 020 | |a 9781475728729 |c Online |9 978-1-4757-2872-9 | ||
| 020 | |a 9781441947987 |c Print |9 978-1-4419-4798-7 | ||
| 024 | 7 | |a 10.1007/978-1-4757-2872-9 |2 doi | |
| 035 | |a (OCoLC)864003276 | ||
| 035 | |a (DE-599)BVBBV042421393 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 621 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Braha, Dan |e Verfasser |0 (DE-588)1067161430 |4 aut | |
| 245 | 1 | 0 | |a A Mathematical Theory of Design: Foundations, Algorithms and Applications |c by Dan Braha, Oded Maimon |
| 264 | 1 | |a Boston, MA |b Springer US |c 1998 | |
| 300 | |a 1 Online-Ressource (XXII, 682 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Applied Optimization |v 17 |x 1384-6485 | |
| 500 | |a Formal Design Theory (PDT) is a mathematical theory of design. The main goal of PDT is to develop a domain independent core model of the design process. The book focuses the reader's attention on the process by which ideas originate and are developed into workable products. In developing PDT, we have been striving toward what has been expressed by the distinguished scholar Simon (1969): that "the science of design is possible and some day we will be able to talk in terms of well-established theories and practices. " The book is divided into five interrelated parts. The conceptual approach is presented first (Part I); followed by the theoretical foundations of PDT (Part II), and from which the algorithmic and pragmatic implications are deduced (Part III). Finally, detailed case-studies illustrate the theory and the methods of the design process (Part IV), and additional practical considerations are evaluated (Part V). The generic nature of the concepts, theory and methods are validated by examples from a variety of disciplines. FDT explores issues such as: algebraic representation of design artifacts, idealized design process cycle, and computational analysis and measurement of design process complexity and quality. FDT's axioms convey the assumptions of the theory about the nature of artifacts, and potential modifications of the artifacts in achieving desired goals or functionality. By being able to state these axioms explicitly, it is possible to derive theorems and corollaries, as well as to develop specific analytical and constructive methodologies | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Information theory | |
| 650 | 4 | |a Computer aided design | |
| 650 | 4 | |a Systems theory | |
| 650 | 4 | |a Mechanical engineering | |
| 650 | 4 | |a Operations research | |
| 650 | 4 | |a Mechanical Engineering | |
| 650 | 4 | |a Computer-Aided Engineering (CAD, CAE) and Design | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Operation Research/Decision Theory | |
| 650 | 4 | |a Systems Theory, Control | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Methodisches Konstruieren |0 (DE-588)4139311-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Methodisches Konstruieren |0 (DE-588)4139311-9 |D s |
| 689 | 0 | 1 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Maimon, Oded |e Sonstige |4 oth | |
| 830 | 0 | |a Applied Optimization |v 17 |w (DE-604)BV010841718 |9 17 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4757-2872-9 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027856810 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153094400901120 |
|---|---|
| any_adam_object | |
| author | Braha, Dan |
| author_GND | (DE-588)1067161430 |
| author_facet | Braha, Dan |
| author_role | aut |
| author_sort | Braha, Dan |
| author_variant | d b db |
| building | Verbundindex |
| bvnumber | BV042421393 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)864003276 (DE-599)BVBBV042421393 |
| dewey-full | 621 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621 |
| dewey-search | 621 |
| dewey-sort | 3621 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Mathematik |
| doi_str_mv | 10.1007/978-1-4757-2872-9 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03734nmm a2200601zcb4500</leader><controlfield tag="001">BV042421393</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170913 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s1998 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781475728729</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4757-2872-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781441947987</subfield><subfield code="c">Print</subfield><subfield code="9">978-1-4419-4798-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4757-2872-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864003276</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042421393</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Braha, Dan</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1067161430</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A Mathematical Theory of Design: Foundations, Algorithms and Applications</subfield><subfield code="c">by Dan Braha, Oded Maimon</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston, MA</subfield><subfield code="b">Springer US</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXII, 682 p)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Applied Optimization</subfield><subfield code="v">17</subfield><subfield code="x">1384-6485</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Formal Design Theory (PDT) is a mathematical theory of design. The main goal of PDT is to develop a domain independent core model of the design process. The book focuses the reader's attention on the process by which ideas originate and are developed into workable products. In developing PDT, we have been striving toward what has been expressed by the distinguished scholar Simon (1969): that "the science of design is possible and some day we will be able to talk in terms of well-established theories and practices. " The book is divided into five interrelated parts. The conceptual approach is presented first (Part I); followed by the theoretical foundations of PDT (Part II), and from which the algorithmic and pragmatic implications are deduced (Part III). Finally, detailed case-studies illustrate the theory and the methods of the design process (Part IV), and additional practical considerations are evaluated (Part V). The generic nature of the concepts, theory and methods are validated by examples from a variety of disciplines. FDT explores issues such as: algebraic representation of design artifacts, idealized design process cycle, and computational analysis and measurement of design process complexity and quality. FDT's axioms convey the assumptions of the theory about the nature of artifacts, and potential modifications of the artifacts in achieving desired goals or functionality. By being able to state these axioms explicitly, it is possible to derive theorems and corollaries, as well as to develop specific analytical and constructive methodologies</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer aided design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mechanical engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Operations research</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mechanical Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer-Aided Engineering (CAD, CAE) and Design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Operation Research/Decision Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems Theory, Control</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Methodisches Konstruieren</subfield><subfield code="0">(DE-588)4139311-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Methodisches Konstruieren</subfield><subfield code="0">(DE-588)4139311-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Maimon, Oded</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Applied Optimization</subfield><subfield code="v">17</subfield><subfield code="w">(DE-604)BV010841718</subfield><subfield code="9">17</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4757-2872-9</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027856810</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV042421393 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:08Z |
| institution | BVB |
| isbn | 9781475728729 9781441947987 |
| issn | 1384-6485 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027856810 |
| oclc_num | 864003276 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (XXII, 682 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Springer US |
| record_format | marc |
| series | Applied Optimization |
| series2 | Applied Optimization |
| spelling | Braha, Dan Verfasser (DE-588)1067161430 aut A Mathematical Theory of Design: Foundations, Algorithms and Applications by Dan Braha, Oded Maimon Boston, MA Springer US 1998 1 Online-Ressource (XXII, 682 p) txt rdacontent c rdamedia cr rdacarrier Applied Optimization 17 1384-6485 Formal Design Theory (PDT) is a mathematical theory of design. The main goal of PDT is to develop a domain independent core model of the design process. The book focuses the reader's attention on the process by which ideas originate and are developed into workable products. In developing PDT, we have been striving toward what has been expressed by the distinguished scholar Simon (1969): that "the science of design is possible and some day we will be able to talk in terms of well-established theories and practices. " The book is divided into five interrelated parts. The conceptual approach is presented first (Part I); followed by the theoretical foundations of PDT (Part II), and from which the algorithmic and pragmatic implications are deduced (Part III). Finally, detailed case-studies illustrate the theory and the methods of the design process (Part IV), and additional practical considerations are evaluated (Part V). The generic nature of the concepts, theory and methods are validated by examples from a variety of disciplines. FDT explores issues such as: algebraic representation of design artifacts, idealized design process cycle, and computational analysis and measurement of design process complexity and quality. FDT's axioms convey the assumptions of the theory about the nature of artifacts, and potential modifications of the artifacts in achieving desired goals or functionality. By being able to state these axioms explicitly, it is possible to derive theorems and corollaries, as well as to develop specific analytical and constructive methodologies Engineering Information theory Computer aided design Systems theory Mechanical engineering Operations research Mechanical Engineering Computer-Aided Engineering (CAD, CAE) and Design Theory of Computation Operation Research/Decision Theory Systems Theory, Control Ingenieurwissenschaften Mathematik (DE-588)4037944-9 gnd rswk-swf Methodisches Konstruieren (DE-588)4139311-9 gnd rswk-swf Methodisches Konstruieren (DE-588)4139311-9 s Mathematik (DE-588)4037944-9 s 1\p DE-604 Maimon, Oded Sonstige oth Applied Optimization 17 (DE-604)BV010841718 17 https://doi.org/10.1007/978-1-4757-2872-9 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Braha, Dan A Mathematical Theory of Design: Foundations, Algorithms and Applications Applied Optimization Engineering Information theory Computer aided design Systems theory Mechanical engineering Operations research Mechanical Engineering Computer-Aided Engineering (CAD, CAE) and Design Theory of Computation Operation Research/Decision Theory Systems Theory, Control Ingenieurwissenschaften Mathematik (DE-588)4037944-9 gnd Methodisches Konstruieren (DE-588)4139311-9 gnd |
| subject_GND | (DE-588)4037944-9 (DE-588)4139311-9 |
| title | A Mathematical Theory of Design: Foundations, Algorithms and Applications |
| title_auth | A Mathematical Theory of Design: Foundations, Algorithms and Applications |
| title_exact_search | A Mathematical Theory of Design: Foundations, Algorithms and Applications |
| title_full | A Mathematical Theory of Design: Foundations, Algorithms and Applications by Dan Braha, Oded Maimon |
| title_fullStr | A Mathematical Theory of Design: Foundations, Algorithms and Applications by Dan Braha, Oded Maimon |
| title_full_unstemmed | A Mathematical Theory of Design: Foundations, Algorithms and Applications by Dan Braha, Oded Maimon |
| title_short | A Mathematical Theory of Design: Foundations, Algorithms and Applications |
| title_sort | a mathematical theory of design foundations algorithms and applications |
| topic | Engineering Information theory Computer aided design Systems theory Mechanical engineering Operations research Mechanical Engineering Computer-Aided Engineering (CAD, CAE) and Design Theory of Computation Operation Research/Decision Theory Systems Theory, Control Ingenieurwissenschaften Mathematik (DE-588)4037944-9 gnd Methodisches Konstruieren (DE-588)4139311-9 gnd |
| topic_facet | Engineering Information theory Computer aided design Systems theory Mechanical engineering Operations research Mechanical Engineering Computer-Aided Engineering (CAD, CAE) and Design Theory of Computation Operation Research/Decision Theory Systems Theory, Control Ingenieurwissenschaften Mathematik Methodisches Konstruieren |
| url | https://doi.org/10.1007/978-1-4757-2872-9 |
| volume_link | (DE-604)BV010841718 |
| work_keys_str_mv | AT brahadan amathematicaltheoryofdesignfoundationsalgorithmsandapplications AT maimonoded amathematicaltheoryofdesignfoundationsalgorithmsandapplications |