GI/G/sの待ち確率Πを求めて(5)
「GI/G/sの待ち確率Πを求めて(4)」で仮定した式(54)
- の場合
- ・・・・(54)
の根拠づけと、この式に現れるの値そのものの探求を行っていきます。そのために「GI/M/s待ち行列の到着時刻状態分布の近似式(1)」を振替ってみます。まず「GI/M/s待ち行列の到着時刻状態分布の近似式(1)」の式(8)(ここでは番号を振りなおして式(55)とします)
- の場合
- ・・・・(55)
に対応する式をGI/G/sの場合に求めてみようと思います。そして、「定常状態分布」のGI/G/sについてのの式
- の場合
- ・・・・(5)
から
- の場合
- ・・・・(56)
が導き出されますので、この式(56)を式(55)に代入して、ではなくてGI/G/sにおける式(55)に対応する式に代入して式(54)に似た形の式を導出し、そのことによっての値を決定したいと思います。
では、GI/G/sについて「GI/M/s待ち行列の到着時刻状態分布の近似式(1)」での記述をなぞって考察していきます。到着直前にシステム内のジョブが個だった場合、ジョブ到着によって個になります。このの変化が単位時間あたり平均何回起きるか考えてみます。装置の稼働率を、装置の平均処理時間をとすると、単位時間内の平均ジョブ到着数は
- ・・・・(57)
となります。到着直前にシステム内のジョブ数が個である確率はGI/G/sの場合でもで表されますので、単位時間あたりの変化が起きる平均回数は
- ・・・・(58)
になります。ここまではGI/G/sであろうとGI/M/sの時と同様に成り立ちます。次に、単位時間あたりの変化が起きる平均回数を考えます。任意の時刻にシステム内にジョブが個あったとしてそれが個になるというのは、ジョブの処理が終了するということです。の場合は、全ての装置が処理中ですから、このジョブ終了は、処理時間分布が指数分布(M)の場合には、単位時間あたり
- ・・・・(59)
回になると、「GI/M/s待ち行列の到着時刻状態分布の近似式(1)」では説明しました。そして任意の時刻にシステム内にジョブが個ある確率はなので、単位時間あたりの変化が起きる平均回数は
- ・・・・(60)
になるとし、定常状態では単位時間あたりの変化が起きる平均回数との変化が起きる平均回数が等しいはずなので式(58)と(60)が等しいと置き
から、
- ・・・・(55)
を導き出しました。しかし、この導出はよく考えるとおかしい点があります。の場合は、全ての装置が処理中だからジョブ終了は、処理時間分布が指数分布(M)の場合には、単位時間あたり
- ・・・・(59)
回になる、としましたがここには飛躍があります。1回処理終了すればシステムはジョブ数の状態ではもはやないので、単位時間あたり何回であるかを考えるのはよく分かりません。そして式(60)ではその回数に状態の確率を掛けているのですが、よく考えれば状態の時に必ず処理終了が起こるわけではなく、新しいジョブが到着して状態から状態に遷移することも考えられます。よって、式(60)の意味は以下のように考えたほうが正しいと思います。
任意の時点でシステムが状態になっている確率がである。そして、その時点から後までの間に処理が1つ完了する確率は、指数分布の記憶なし特性により常に一定の値であり、その値は
- ・・・・(61)
である。よって、任意の時点で状態がであり、かつ、その後までの間に処理終了する確率は
- ・・・・(62)
よって、単位時間あたりには
- ・・・・(60)
となる。以上のように考えるのが正しいと思います。そうすると、このような考え方は処理時間が一般分布(G)の場合には、そのまま当てはまりません。それは一般分布は記憶なしではないからです。つまり任意の時点から後までの間に処理が1つ完了する確率は、装置の処理が開始されてからの時間に依存するからです。そこで考え方をちょっと変えてみます。
処理時間が一般分布(G)の場合、処理終了時に、終了直前の状態が、ただし、であるような処理終了の回数を単位時間あたりで計ります。その値の平均値をで表すことにします。は装置台数に比例することは容易に分かります。また、平均処理時間に反比例することも分かります。さらに定常状態確率に比例することも分かります。よって比例定数を導入すれば
- ・・・・(63)
と書けます。