Data dependency for assisting model construction in machine design and manufacturing 機械設計や生産におけるモデル構築作業の依存情報による支援

この論文をさがす

著者

    • 乾, 正知, 1961- イヌイ, マサトモ

書誌事項

タイトル

Data dependency for assisting model construction in machine design and manufacturing

タイトル別名

機械設計や生産におけるモデル構築作業の依存情報による支援

著者名

乾, 正知, 1961-

著者別名

イヌイ, マサトモ

学位授与大学

東京大学

取得学位

工学博士

学位授与番号

乙第10116号

学位授与年月日

1991-03-15

注記・抄録

博士論文

目次

  1. Abstract / (0004.jp2)
  2. Table of Contents / (0008.jp2)
  3. 1 Introduction / p1 (0011.jp2)
  4. 1.1 From Machine Drawing to Product Model / p1 (0011.jp2)
  5. 1.2 Problem Solving with Product Model / p3 (0013.jp2)
  6. 1.3 Model Construction Support / p7 (0017.jp2)
  7. 1.4 Overview of the Thesis / p10 (0020.jp2)
  8. 2 State Transition for Representing Operation Process / p13 (0023.jp2)
  9. 2.1 Theorem Proving based Formulation / p14 (0024.jp2)
  10. 2.2 Fikes and Nilsson's Formulation / p18 (0028.jp2)
  11. 3 Truth Maintenance System for Operation Process Management / p27 (0037.jp2)
  12. 3.1 TMS / p28 (0038.jp2)
  13. 3.2 ATMS / p29 (0039.jp2)
  14. 3.3 ATMS for Operation Process Management / p35 (0045.jp2)
  15. 4 Modeling Process based on Dependency among Operations / p41 (0051.jp2)
  16. 4.1 Introduction to New Concept / p42 (0052.jp2)
  17. 4.2 Detection and Recording Dependency among Operations / p44 (0054.jp2)
  18. 4.3 Operation Cancellation and Derived Relation / p50 (0060.jp2)
  19. 4.4 Context Calculation Algorithm / p54 (0064.jp2)
  20. 5 Back,Undo and Redo for Interactive Solid Modeling / p59 (0069.jp2)
  21. 5.1 Solid Modeling Overview / p60 (0070.jp2)
  22. 5.2 Back,Undo and Redo Mechanism / p66 (0076.jp2)
  23. 5.3 Incorporation of Geometric Reasoning / p72 (0082.jp2)
  24. 6 Back Function for Assisting of Process Plan Generation / p78 (0088.jp2)
  25. 6.1 Definition of Sheet Metal Part Model / p82 (0092.jp2)
  26. 6.2 Bending Simulation with Sheet Metal Part Model / p84 (0094.jp2)
  27. 6.3 Evaluation of Process Planning Constraint / p90 (0100.jp2)
  28. 6.4 Process Planning with Bending Simulation / p91 (0101.jp2)
  29. 7 Incremental Process Plan Update for Concurrent Engineering / p96 (0106.jp2)
  30. 7.1 Form Feature Modeling / p98 (0108.jp2)
  31. 7.2 Incremental Process Plan Update / p104 (0114.jp2)
  32. 8 Model Delegation for Prototype based Design / p110 (0120.jp2)
  33. 8.1 Constraint Logic Programming / p112 (0122.jp2)
  34. 8.2 Dependency for Product Model Delegation / p119 (0129.jp2)
  35. 9 Conclusion / p127 (0137.jp2)
  36. Bibliography / B-1 / (0142.jp2)
1アクセス

各種コード

  • NII論文ID(NAID)
    500000083443
  • NII著者ID(NRID)
    • 8000001012474
  • DOI(NDL)
  • NDL書誌ID
    • 000000247757
  • データ提供元
    • NDL ONLINE
    • NDLデジタルコレクション
ページトップへ