確率ペトリネットによる非同期・並列システムの挙動解析に関する研究
Access this Article
Search this Article
Author
Bibliographic Information
- Title
-
確率ペトリネットによる非同期・並列システムの挙動解析に関する研究
- Author
-
金, 群, 1962-
- Author(Another name)
-
キン, グン
- University
-
日本大学
- Types of degree
-
工学博士
- Grant ID
-
甲第2123号
- Degree year
-
1992-03-25
Note and Description
博士論文
Table of Contents
- 目次 / p1 (0011.jp2)
- 第1章 序論 / p1 (0012.jp2)
- 1.1 非同期・並列システムの特徴 / p1 (0012.jp2)
- 1.2 研究の背景と現状 / p4 (0014.jp2)
- 1.3 本研究の目的 / p7 (0015.jp2)
- 1.4 本研究の概要 / p10 (0017.jp2)
- 第2章 確率ペトリネットモデルとマルコフ再生過程 / p16 (0020.jp2)
- 2.1 まえがき / p16 (0020.jp2)
- 2.2 ペトリネット / p17 (0020.jp2)
- 2.3 到達可能グラフ / p25 (0024.jp2)
- 2.4 確率ペトリネット / p28 (0026.jp2)
- 2.5 マルコフ再生過程 / p30 (0027.jp2)
- 第3章 非再生確率ペトリネットモデルによるロボットシステムの挙動解析 / p39 (0031.jp2)
- 3.1 まえがき / p39 (0031.jp2)
- 3.2 非再生確率ペトリネットモデル / p40 (0032.jp2)
- 3.3 部品を2段階加工するロボットシステムの挙動解析 / p48 (0036.jp2)
- 3.4 数値例と考察 / p54 (0039.jp2)
- 3.5 まとめ / p57 (0040.jp2)
- 第4章 分散処理におけるトラップ発生の確率モデルと挙動解析 / p58 (0041.jp2)
- 4.1 まえがき / p58 (0041.jp2)
- 4.2 交替処理システムの確率ペトリネットモデル / p59 (0041.jp2)
- 4.3 マルコフ再生過程による確率的挙動解析 / p61 (0042.jp2)
- 4.4 複数のトラップが発生し得る確率モデルおよびその挙動解析 / p64 (0044.jp2)
- 4.5 数値例と考察 / p67 (0045.jp2)
- 4.6 まとめ / p74 (0049.jp2)
- 第5章 コンピュータ・ネットワーク・システムの挙動解析 / p76 (0050.jp2)
- 5.1 まえがき / p76 (0050.jp2)
- 5.2 確率ペトリネットにより表現された確率モデル / p77 (0050.jp2)
- 5.3 マルコフ再生過程による挙動解析 / p80 (0052.jp2)
- 5.4 数値例と考察 / p86 (0055.jp2)
- 5.5 まとめ / p93 (0058.jp2)
- 第6章 並列メッセージシステムの確率ペトリネットモデル / p95 (0059.jp2)
- 6.1 まえがき / p95 (0059.jp2)
- 6.2 並列メッセージシステムの確率ペトリネットモデル / p96 (0060.jp2)
- 6.3 部分概略到達可能グラフによる解析 / p100 (0062.jp2)
- 6.4 マルコフ再生過程による挙動解析 / p104 (0064.jp2)
- 6.5 数値例と考察 / p111 (0067.jp2)
- 6.6 まとめ / p113 (0068.jp2)
- 第7章 結論 / p115 (0069.jp2)
- 7.1 本論文のまとめ / p115 (0069.jp2)
- 7.2 今後の課題 / p119 (0071.jp2)
- 謝辞 / p122 (0073.jp2)
- 参考文献 / p123 (0073.jp2)