待ち時間制約(2)
「待ち時間制約(1)」の続きです。
さて、ジョブがM/M/1待ち行列システムに到着した時、システム内にこのジョブを含めなくて個のジョブがある確率は、「M/M/1待ち行列の特性」から
- ・・・・(1)
です。今、到着したジョブは個のジョブが処理終了するのを待つことになります。の場合も存在します。の場合、個のジョブのうち1個は処理中であり、残りの個のジョブは装置が空くのを待っている状態です。待っている個のジョブは平均時間の指数分布で装置で処理されるので、これらのジョブが全て処理される時間は、個の同一分布の指数分布を持つ確率変数を足し合わせた確率変数になります。さらに処理中のジョブの残り処理時間の分布について言えば、指数分布の記憶なし特性のために、やはり平均時間の指数分布になります。よって、到着したジョブの待ち時間時間は個の平均時間の指数分布を持つ確率変数和になります。
「アーラン分布」の「アーラン分布は指数分布の和」のセクションで述べたように、平均の個の指数分布の和はアーラン分布
- ・・・・(2)
となります。よって、ジョブが到着した時にシステム内に自分を含めなくて個のジョブがある場合(ただしとします)の、到着したジョブが待つ時間の分布をとすると、
- ・・・・(3)
となります。到着時にシステム内に個のジョブが存在する確率は式(1)で与えられるので、ジョブの待ち時間の確率分布は
よっての場合
- ・・・・(4)
となります。の場合は、装置は空いていますから、到着ジョブの待ち時間はゼロです。になる確率はなのでジョブの待ち時間の分布は、待ち時間ゼロの時の確率が、待ち時間がゼロより大きい場合の確率密度が式(4)で与えられる、ということになります。
上の確率分布を累積確率分布の形で表してみましょう。累積確率分布をで表すことにします。の最低値は0であり、である確率がなので
- ・・・・(5)
です。の時のについては
- ・・・・(6)
を計算することで求めることが出来ます。式(6)の右辺の第2項は
となりますので、これを式(6)に代入すると
これに式(5)を代入すると
よって
- ・・・・(7)
式(7)から、であること、でになることを確かめることが出来ます。