WEKO3
アイテム
リスポンシブシステムにおける動的な性能の解析方法について
http://hdl.handle.net/10191/23774
http://hdl.handle.net/10191/2377493272897-6f7d-4f4e-8eb3-2ce018eca8c3
名前 / ファイル | ライセンス | アクション |
---|---|---|
000000327552.pdf (2.8 MB)
|
|
Item type | 学位論文 / Thesis or Dissertation(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2013-10-10 | |||||
タイトル | ||||||
タイトル | リスポンシブシステムにおける動的な性能の解析方法について | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | リスポンシブシステムにおける動的な性能の解析方法について | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_46ec | |||||
タイプ | thesis | |||||
著者 |
今井, 博英
× 今井, 博英 |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | 本論文では,リスボンシブシステム中にプロセッサ故障が発生した場合の,過渡状態におけるシステムの動的な性能の解析方法を示す.ここでは,複数の処理要素のグループを持ち,各処理要素のグループは複数のプロセッサと一つの待ち行列からなるリスボンシプシステムを解析の対象とする.また,システムで処理されるタスクは,任意の発生間隔と処理時間及び制限時間を持つものとし,それらが従う確率分布に基づいて複数のタスククラスに分類されている.まず,このようなシステム中で処理されるタスク数の変化を連続時間型マルコフ連鎖でモデル化した系内数モデルを定義し,続いて処理される代表的なタスクの処理の過程を,同じく連続時間型マルコフ連鎖でモデル化したタグ付きタスクモデルを定義する.次に,これらの2つのモデルを用いた過渡状態における性能の解析方法を示す.最初に系内数モデルを用いてタグ付きタスクモデルの初期分布を求める.次にこの分布を用いてタグ付きタスクモデルの定常分布を求めることによって,故障前後の過渡状態におけるタスクの棄却率を求めて性能を解析する.またタグ付きタスクモデルの定常分布を短時間で求めるために,極限状態への到達確率を表す吸収確率を用いた解析方法,並びに状態を集約しながら吸収確率を短時間で求める方法を示す.最後に,一つの処理要素のグループを持ちタスククラスに優先度が定義されているシステム,及び複数の処理要素のグループを持つ分散リスボンシプシステムの解析例を示し,本方法が過渡状態の解析に有効であることを示す.本論文で示す解析方法を用いることによって,リスボンシブシステムの設計段階において,システムの動的な性能を容易に評価することができ,信頼度の高いシステムを実現することが可能となる. | |||||
内容記述 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 学位の種類: 博士(工学). 報告番号: 甲第1420号. 学位記番号: 新大院博(工)甲第62号. 学位授与年月日: 平成10年3月24日 | |||||
書誌情報 | p. 1-59, 発行日 1998-03-24 | |||||
出版者 | ||||||
出版者 | 新潟大学 | |||||
著者版フラグ | ||||||
値 | ETD | |||||
学位名 | ||||||
学位名 | 博士(工学) | |||||
学位授与機関 | ||||||
学位授与機関名 | 新潟大学 | |||||
学位授与年月日 | ||||||
学位授与年月日 | 1998-03-24 | |||||
学位授与番号 | ||||||
学位授与番号 | 13101A1420 | |||||
学位記番号 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 新大院博(工)甲第62号 |