Engineering design through constraint-based reasoning 制約に基づく推論を用いた工学設計
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
Engineering design through constraint-based reasoning
- Other Title
-
制約に基づく推論を用いた工学設計
- Author
-
Murtagh, Niall
- Author(Another name)
-
ムルター, ニアル
- University
-
東京工業大学
- Types of degree
-
工学博士
- Grant ID
-
甲第2298号
- Degree year
-
1991-03-26
Note and Description
博士論文
Table of Contents
- 論文目録 / (0002.jp2)
- Contents / p1 (0004.jp2)
- 1 Introduction / p1 (0012.jp2)
- 1.1 Design / p1 (0012.jp2)
- 1.2 Application of Artificial Intelligence to Design / p4 (0015.jp2)
- 1.3 Theme of Present Research / p6 (0017.jp2)
- 1.4 Summary / p8 (0019.jp2)
- 2 System Model / p9 (0020.jp2)
- 2.1 Selection of System Model / p9 (0020.jp2)
- 2.2 Principal Parts of System / p12 (0023.jp2)
- 2.3 Summary / p15 (0026.jp2)
- 3 Hybrid Systems / p16 (0027.jp2)
- 3.1 Coupling Numerical and Symbolic Processes / p16 (0027.jp2)
- 3.2 Implementation Issues / p20 (0031.jp2)
- 3.3 Summary / p22 (0033.jp2)
- 4 Design Paradigm / p24 (0035.jp2)
- 4.1 Standard Design Paradigm / p24 (0035.jp2)
- 4.2 Parametric Design / p28 (0039.jp2)
- 4.3 Summary / p32 (0043.jp2)
- 5 Constraint-Based Design / p34 (0045.jp2)
- 5.1 Related Work / p34 (0045.jp2)
- 5.2 Use of Constraint-Based Formulation / p37 (0048.jp2)
- 5.3 Derivation of Constraints / p42 (0053.jp2)
- 5.4 Constraint Representation / p46 (0057.jp2)
- 5.5 Constraint Decomposition / p55 (0066.jp2)
- 5.6 Binary Network Loops / p58 (0069.jp2)
- 5.7 System Architecture / p61 (0072.jp2)
- 5.8 Summary / p63 (0074.jp2)
- 6 Problem-Solving Process / p64 (0075.jp2)
- 6.1 Application of Constraints / p64 (0075.jp2)
- 6.2 Redesign / p65 (0076.jp2)
- 6.3 Optimization / p69 (0080.jp2)
- 6.4 Redesign Example / p70 (0081.jp2)
- 6.5 Summary / p72 (0083.jp2)
- 7 Interval Arithmetic Processing / p73 (0084.jp2)
- 7.1 Introduction / p73 (0084.jp2)
- 7.2 Basic Concept of Interval Arithmetic / p76 (0087.jp2)
- 7.3 Implementation of Interval Propagation / p78 (0089.jp2)
- 7.4 Appraisal of Interval Propagation Technique / p86 (0097.jp2)
- 7.5 Summary / p88 (0099.jp2)
- 8 Design Sessions / p90 (0101.jp2)
- 8.1 Example1 / p90 (0101.jp2)
- 8.2 Example2 / p93 (0104.jp2)
- 8.3 Appraisal of Reasoning Methodology / p95 (0106.jp2)
- 8.4 Summary / p99 (0110.jp2)
- 9 Conclusions / p100 (0111.jp2)
- 9.1 Architecture and Language Issues / p100 (0111.jp2)
- 9.2 Design Model and Constraint Representation / p101 (0112.jp2)
- 9.3 Redesign Through Constraint Reasoning / p102 (0113.jp2)
- 9.4 Comparison of Communication Techniques / p103 (0114.jp2)
- 9.5 General Conclusions / p104 (0115.jp2)
- A Design Session Documentation / p106 (0117.jp2)
- A.1 Example1 / p106 (0117.jp2)
- A.2 Example2 / p119 (0130.jp2)