段階的詳細化による離散事象システムの開発・設計に関する研究
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
段階的詳細化による離散事象システムの開発・設計に関する研究
- Author
-
胡, 小華
- Author(Another name)
-
フウ, シャオファ
- University
-
豊橋技術科学大学
- Types of degree
-
工学博士
- Grant ID
-
甲第69号
- Degree year
-
1992-03-31
Note and Description
博士論文
Table of Contents
- 【目次】 / p1 (0009.jp2)
- 第1章 序論 / p1 (0012.jp2)
- 1.1 研究の背景と目的 / p1 (0012.jp2)
- 1.2 研究の方法 / p2 (0013.jp2)
- 1.3 研究の概要と論文の構成 / p3 (0014.jp2)
- 第2章 離散事象システムの代数的モデルADESとその詳細化の考案 / p7 (0018.jp2)
- 2.1 緒言 / p7 (0018.jp2)
- 2.2 離散事象システムの段階的詳細化のための代数的モデル / p11 (0022.jp2)
- 2.3 ADESによる離散事象システムのモデリング / p22 (0033.jp2)
- 2.4 事象間の観測同値について / p31 (0042.jp2)
- 2.5 Properモデル / p33 (0044.jp2)
- 2.6 ADESの詳細化概念の定式化 / p42 (0053.jp2)
- 2.7 結言 / p51 (0062.jp2)
- 第3章 ADESの詳細化検証法の開発 / p53 (0064.jp2)
- 3.1 緒言 / p53 (0064.jp2)
- 3.2 ADESの可達性の判定とそれによる詳細化の検証法 / p54 (0065.jp2)
- 3.3 ADESの形式的仕様記述とそれに基づく詳細化の機械的な検証法 / p75 (0086.jp2)
- 3.4 結言 / p100 (0111.jp2)
- 第4章 ADESの分解と合成と詳細化に関する諸定理 / p101 (0112.jp2)
- 4.1 緒言 / p101 (0112.jp2)
- 4.2 ADESの合成法 / p103 (0114.jp2)
- 4.3 分解と合成と詳細化に関する基本定理 / p113 (0124.jp2)
- 4.4 詳細化候補について / p117 (0128.jp2)
- 4.5 詳細化候補の検証 / p125 (0136.jp2)
- 4.6 結言 / p128 (0139.jp2)
- 第5章 結論 / p129 (0140.jp2)
- 謝辞 / p131 (0142.jp2)
- 参考文献 / p132 (0143.jp2)