本文に飛ぶ
プレーンテキスト
博士論文
テキストデータを表すアイコン

設計過程モデル論

設計過程モデル論

著者
武田英明 [著]
製作者
国立国会図書館

この本を読むには この本を読むには ヘルプページへのリンク

視覚障害者等用データ送信サービスに登録している方はログインしてください。

ログイン

ログインするとテキストデータをダウンロードして読むことができます。

国立国会図書館デジタルコレクションで確認する

ご自身の端末でデジタル資料を読むことができるものもあります

書誌情報

資料種別
博士論文
タイトル
設計過程モデル論
タイトルよみ
セッケイ カテイ モデル ロン
著者・編者
授与機関名
東京大学
授与年月日
平成3年3月29日
1991
報告番号
甲第8991号
学位
工学博士
出版地(国名コード)
JP
NDLC
UT51
UT31
一般注記
博士論文
国立国会図書館永続的識別子
info:ndljp/pid/3058910
コレクション(共通)
障害者向け資料
コレクション(障害者向け資料:レベル1)
コレクション(障害者向け資料:レベル2)
コレクション(個別)
国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文
受理日(W3CDTF)
2011-12-05T10:51:22+09:00
記録形式(IMT)
image/jp2
請求記号
UT51-91-V262
連携機関・データベース
国立国会図書館 : 国立国会図書館デジタルコレクション

目次

  • 目次

    p5

  • 1 序言

    p1

  • 1.1 本研究の目的

    p3

  • 1.2 本研究の構成

    p5

  • 1.3 設計の諸相と設計研究の方法論

    p7

  • 2 設計実験方法論

    p13

  • 2.1 設計実験に関する議論

    p15

  • 2.2 設計実験の実際

    p30

  • 2.3 関連する実験的設計研究

    p45

  • 2.4 まとめ

    p47

  • 3 認知的設計過程モデル

    p49

  • 3.1 設計の流れと設計サイクル

    p51

  • 3.2 設計知識のモデル

    p57

  • 3.3 概念ネットワークによる分析

    p66

  • 3.4 まとめ

    p77

  • 4 設計過程の論理による定式化

    p79

  • 4.1 設計の論理性

    p81

  • 4.2 知識による問題解決としての設計過程

    p82

  • 4.3 一階述語論理とその応用

    p87

  • 4.4 論理過程としての設計過程

    p91

  • 4.5 まとめ

    p94

  • 5 論理による設計過程モデル

    p95

  • 5.1 基本的な枠組み

    p97

  • 5.2 設計過程の定義

    p104

  • 5.3 設計過程における推論

    p108

  • 5.4 まとめ

    p120

  • 6 設計過程表現意味論

    p121

  • 6.1 部分意味論(Partial semantics)

    p123

  • 6.2 データ意味論(Data semantics)

    p127

  • 6.3 設計対象の動的表現

    p132

  • 6.4 まとめ

    p141

  • 7 設計シミュレーション

    p143

  • 7.1 システムの構成

    p145

  • 7.2 設計シミュレーションの実際と考察

    p163

  • 7.3 推論システムとしての設計シミュレータ

    p176

  • 7.4 まとめ

    p178

  • 8 インテリジェントCADの仕様

    p179

  • 8.1 インテリジェントCADへの要求機能

    p181

  • 8.2 インテリジェントCADの仕様

    p183

  • 8.3 設計記述言語と推論

    p188

  • 8.4 インテリジェントCADの実現可能性

    p197

  • 8.5 まとめ

    p200

  • 9 結言

    p201

  • 9.1 結論

    p203

  • 9.2 課題と展望

    p204

  • 謝辞

    p205

  • 参考文献

    p207

  • 発表論文

    p219

  • 付録

    p223

  • A 部分意味論の定義・定理

    p223

  • B データ意味論の定義・定理

    p227