Data dependency for assisting model construction in machine design and manufacturing 機械設計や生産におけるモデル構築作業の依存情報による支援
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
Data dependency for assisting model construction in machine design and manufacturing
- タイトル別名
-
機械設計や生産におけるモデル構築作業の依存情報による支援
- 著者名
-
乾, 正知, 1961-
- 著者別名
-
イヌイ, マサトモ
- 学位授与大学
-
東京大学
- 取得学位
-
工学博士
- 学位授与番号
-
乙第10116号
- 学位授与年月日
-
1991-03-15
注記・抄録
博士論文
目次
- Abstract / (0004.jp2)
- Table of Contents / (0008.jp2)
- 1 Introduction / p1 (0011.jp2)
- 1.1 From Machine Drawing to Product Model / p1 (0011.jp2)
- 1.2 Problem Solving with Product Model / p3 (0013.jp2)
- 1.3 Model Construction Support / p7 (0017.jp2)
- 1.4 Overview of the Thesis / p10 (0020.jp2)
- 2 State Transition for Representing Operation Process / p13 (0023.jp2)
- 2.1 Theorem Proving based Formulation / p14 (0024.jp2)
- 2.2 Fikes and Nilsson's Formulation / p18 (0028.jp2)
- 3 Truth Maintenance System for Operation Process Management / p27 (0037.jp2)
- 3.1 TMS / p28 (0038.jp2)
- 3.2 ATMS / p29 (0039.jp2)
- 3.3 ATMS for Operation Process Management / p35 (0045.jp2)
- 4 Modeling Process based on Dependency among Operations / p41 (0051.jp2)
- 4.1 Introduction to New Concept / p42 (0052.jp2)
- 4.2 Detection and Recording Dependency among Operations / p44 (0054.jp2)
- 4.3 Operation Cancellation and Derived Relation / p50 (0060.jp2)
- 4.4 Context Calculation Algorithm / p54 (0064.jp2)
- 5 Back,Undo and Redo for Interactive Solid Modeling / p59 (0069.jp2)
- 5.1 Solid Modeling Overview / p60 (0070.jp2)
- 5.2 Back,Undo and Redo Mechanism / p66 (0076.jp2)
- 5.3 Incorporation of Geometric Reasoning / p72 (0082.jp2)
- 6 Back Function for Assisting of Process Plan Generation / p78 (0088.jp2)
- 6.1 Definition of Sheet Metal Part Model / p82 (0092.jp2)
- 6.2 Bending Simulation with Sheet Metal Part Model / p84 (0094.jp2)
- 6.3 Evaluation of Process Planning Constraint / p90 (0100.jp2)
- 6.4 Process Planning with Bending Simulation / p91 (0101.jp2)
- 7 Incremental Process Plan Update for Concurrent Engineering / p96 (0106.jp2)
- 7.1 Form Feature Modeling / p98 (0108.jp2)
- 7.2 Incremental Process Plan Update / p104 (0114.jp2)
- 8 Model Delegation for Prototype based Design / p110 (0120.jp2)
- 8.1 Constraint Logic Programming / p112 (0122.jp2)
- 8.2 Dependency for Product Model Delegation / p119 (0129.jp2)
- 9 Conclusion / p127 (0137.jp2)
- Bibliography / B-1 / (0142.jp2)