段階的詳細化による離散事象システムの開発・設計に関する研究

この論文をさがす

著者

    • 胡, 小華 フウ, シャオファ

書誌事項

タイトル

段階的詳細化による離散事象システムの開発・設計に関する研究

著者名

胡, 小華

著者別名

フウ, シャオファ

学位授与大学

豊橋技術科学大学

取得学位

工学博士

学位授与番号

甲第69号

学位授与年月日

1992-03-31

注記・抄録

博士論文

目次

  1. 【目次】 / p1 (0009.jp2)
  2. 第1章 序論 / p1 (0012.jp2)
  3. 1.1 研究の背景と目的 / p1 (0012.jp2)
  4. 1.2 研究の方法 / p2 (0013.jp2)
  5. 1.3 研究の概要と論文の構成 / p3 (0014.jp2)
  6. 第2章 離散事象システムの代数的モデルADESとその詳細化の考案 / p7 (0018.jp2)
  7. 2.1 緒言 / p7 (0018.jp2)
  8. 2.2 離散事象システムの段階的詳細化のための代数的モデル / p11 (0022.jp2)
  9. 2.3 ADESによる離散事象システムのモデリング / p22 (0033.jp2)
  10. 2.4 事象間の観測同値について / p31 (0042.jp2)
  11. 2.5 Properモデル / p33 (0044.jp2)
  12. 2.6 ADESの詳細化概念の定式化 / p42 (0053.jp2)
  13. 2.7 結言 / p51 (0062.jp2)
  14. 第3章 ADESの詳細化検証法の開発 / p53 (0064.jp2)
  15. 3.1 緒言 / p53 (0064.jp2)
  16. 3.2 ADESの可達性の判定とそれによる詳細化の検証法 / p54 (0065.jp2)
  17. 3.3 ADESの形式的仕様記述とそれに基づく詳細化の機械的な検証法 / p75 (0086.jp2)
  18. 3.4 結言 / p100 (0111.jp2)
  19. 第4章 ADESの分解と合成と詳細化に関する諸定理 / p101 (0112.jp2)
  20. 4.1 緒言 / p101 (0112.jp2)
  21. 4.2 ADESの合成法 / p103 (0114.jp2)
  22. 4.3 分解と合成と詳細化に関する基本定理 / p113 (0124.jp2)
  23. 4.4 詳細化候補について / p117 (0128.jp2)
  24. 4.5 詳細化候補の検証 / p125 (0136.jp2)
  25. 4.6 結言 / p128 (0139.jp2)
  26. 第5章 結論 / p129 (0140.jp2)
  27. 謝辞 / p131 (0142.jp2)
  28. 参考文献 / p132 (0143.jp2)
0アクセス

各種コード

  • NII論文ID(NAID)
    500000089322
  • NII著者ID(NRID)
    • 8000000089543
  • DOI(NDL)
  • 本文言語コード
    • jpn
  • NDL書誌ID
    • 000000253636
  • データ提供元
    • 機関リポジトリ
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ