Engineering design through constraint-based reasoning 制約に基づく推論を用いた工学設計

この論文をさがす

著者

    • Murtagh, Niall ムルター, ニアル

書誌事項

タイトル

Engineering design through constraint-based reasoning

タイトル別名

制約に基づく推論を用いた工学設計

著者名

Murtagh, Niall

著者別名

ムルター, ニアル

学位授与大学

東京工業大学

取得学位

工学博士

学位授与番号

甲第2298号

学位授与年月日

1991-03-26

注記・抄録

博士論文

目次

  1. 論文目録 / (0002.jp2)
  2. Contents / p1 (0004.jp2)
  3. 1 Introduction / p1 (0012.jp2)
  4. 1.1 Design / p1 (0012.jp2)
  5. 1.2 Application of Artificial Intelligence to Design / p4 (0015.jp2)
  6. 1.3 Theme of Present Research / p6 (0017.jp2)
  7. 1.4 Summary / p8 (0019.jp2)
  8. 2 System Model / p9 (0020.jp2)
  9. 2.1 Selection of System Model / p9 (0020.jp2)
  10. 2.2 Principal Parts of System / p12 (0023.jp2)
  11. 2.3 Summary / p15 (0026.jp2)
  12. 3 Hybrid Systems / p16 (0027.jp2)
  13. 3.1 Coupling Numerical and Symbolic Processes / p16 (0027.jp2)
  14. 3.2 Implementation Issues / p20 (0031.jp2)
  15. 3.3 Summary / p22 (0033.jp2)
  16. 4 Design Paradigm / p24 (0035.jp2)
  17. 4.1 Standard Design Paradigm / p24 (0035.jp2)
  18. 4.2 Parametric Design / p28 (0039.jp2)
  19. 4.3 Summary / p32 (0043.jp2)
  20. 5 Constraint-Based Design / p34 (0045.jp2)
  21. 5.1 Related Work / p34 (0045.jp2)
  22. 5.2 Use of Constraint-Based Formulation / p37 (0048.jp2)
  23. 5.3 Derivation of Constraints / p42 (0053.jp2)
  24. 5.4 Constraint Representation / p46 (0057.jp2)
  25. 5.5 Constraint Decomposition / p55 (0066.jp2)
  26. 5.6 Binary Network Loops / p58 (0069.jp2)
  27. 5.7 System Architecture / p61 (0072.jp2)
  28. 5.8 Summary / p63 (0074.jp2)
  29. 6 Problem-Solving Process / p64 (0075.jp2)
  30. 6.1 Application of Constraints / p64 (0075.jp2)
  31. 6.2 Redesign / p65 (0076.jp2)
  32. 6.3 Optimization / p69 (0080.jp2)
  33. 6.4 Redesign Example / p70 (0081.jp2)
  34. 6.5 Summary / p72 (0083.jp2)
  35. 7 Interval Arithmetic Processing / p73 (0084.jp2)
  36. 7.1 Introduction / p73 (0084.jp2)
  37. 7.2 Basic Concept of Interval Arithmetic / p76 (0087.jp2)
  38. 7.3 Implementation of Interval Propagation / p78 (0089.jp2)
  39. 7.4 Appraisal of Interval Propagation Technique / p86 (0097.jp2)
  40. 7.5 Summary / p88 (0099.jp2)
  41. 8 Design Sessions / p90 (0101.jp2)
  42. 8.1 Example1 / p90 (0101.jp2)
  43. 8.2 Example2 / p93 (0104.jp2)
  44. 8.3 Appraisal of Reasoning Methodology / p95 (0106.jp2)
  45. 8.4 Summary / p99 (0110.jp2)
  46. 9 Conclusions / p100 (0111.jp2)
  47. 9.1 Architecture and Language Issues / p100 (0111.jp2)
  48. 9.2 Design Model and Constraint Representation / p101 (0112.jp2)
  49. 9.3 Redesign Through Constraint Reasoning / p102 (0113.jp2)
  50. 9.4 Comparison of Communication Techniques / p103 (0114.jp2)
  51. 9.5 General Conclusions / p104 (0115.jp2)
  52. A Design Session Documentation / p106 (0117.jp2)
  53. A.1 Example1 / p106 (0117.jp2)
  54. A.2 Example2 / p119 (0130.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000077973
  • NII著者ID(NRID)
    • 8000000078177
  • DOI(NDL)
  • NDL書誌ID
    • 000000242287
  • データ提供元
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ