D/M/s待ち行列の到着時刻状態分布に向けて(1)
「D/M/1待ち行列の到着時刻状態分布(1)」「(2)」での考察をもとにしてD/M/s待ち行列の到着時刻状態分布についてどこまで明らかに出来るか試してみようと思います。
まず、ジョブが到着する間隔は
- ・・・・(1)
です。ここには装置台数です。の間にジョブが個処理されたとします。個処理されたあともシステム内にジョブが個以上ある場合について考えます。そうすると指数分布の処理時間でジョブを処理する装置がこのの間に空かなかったことになります。1台の装置がとの間に処理を終了する確率は
です。よって、台の装置のいずれかがとの間に処理を終了する確率は
- ・・・・(2)
になります。よってこれは平均処理時間
の指数分布を持つ1台の装置と同等になります。よっての間にジョブが個終了する確率はポアソン分布になります。「ポアソン分布」の式(1)から、の間にジョブが個終了する確率は
- ・・・・(3)
となります。ここで
- ・・・・(4)
であるので、
- ・・・・(5)
となります。よって間隔の間にジョブが個終了する確率は
- ・・・・(6)
ここで式(1)を代入すれば
- ・・・・(7)
この確率をで表すことにします。
- ・・・・(8)
さて、あるジョブ到着直前にシステムにジョブが個あったとします。その次のジョブ到着直前に個になる確率をで表すことにします。この間隔の間にジョブは1個到着しますが、処理完了するジョブは最大、全部終了する可能性があります。よってジョブが2個以上増える確率はゼロです。よって
- ただし・・・・(9)
さらに、2番目の到着直前にジョブが個以上残っている確率は式(8)を用いて
- ただし・・・・(10)
2番目の到着直前にジョブが個未満残っている確率には(10)は適用出来ません。それはを求めた過程から明らかです。最初の到着の直前に個だった場合に、次の到着直前でのジョブ数の全ての可能性の確率を足せば1になるはずですから、
よって
ここで(10)を用いれば
よって
- ・・・・(11)
ところで最初の到着直前にシステム内のジョブ数がである確率をとすれば、次の到着直前でジョブ数がである確率は
で表されます。定常状態では、この確率はに等しいはずですから
になります。これが平衡方程式になります。これに(9)(10)を考慮すると
の時
よって
- ただし・・・・(12)
ただし[tex:0{\le}k
が成り立つことが予想されます。上の式が成り立つの値には範囲があるでしょうか?式(12)からはという範囲がありそうに予想できます。そこで
- ただし・・・・(13)
と仮定します。またの時に式(12)が成り立つとします。つまり
- ・・・・(14)
式(14)の両辺にをかけて式(13)を適用すると
よって
- ・・・・(15)
よっての時に式(12)が成り立つことが分かります。以下、同様にしての時に式(12)が成り立つことが分かります。