GI/M/s待ち行列の到着時刻状態分布の近似式(1)
GI/M/s待ち行列において、時間平均で、システム内にジョブが個ある確率(定常状態分布)をで表し、ジョブ到着時にシステム内にジョブが(その到着するジョブを除いて)個ある確率(到着時刻状態分布)をで表すことにします。そして、この両者の関係を求めてみます。
到着直前にシステム内のジョブが個だった場合、ジョブ到着によって個になります。このの変化が単位時間あたり平均何回起きるか考えてみます。装置の稼働率を、装置の平均処理時間をとすると、単位時間内の平均ジョブ到着数は
- ・・・・(1)
となります。到着直前にシステム内のジョブ数が個である確率はになりますので、単位時間あたりの変化が起きる平均回数は
- ・・・・(2)
になります。次に、単位時間あたりの変化が起きる平均回数を考えます。任意の時刻にシステム内にジョブが個あったとしてそれが個になるというのは、ジョブの処理が終了するということです。の場合は、全ての装置が処理中ですから、このジョブ終了は、処理時間分布が指数分布であることを考慮すれば、単位時間あたり
- ・・・・(3)
回になります。[tex:k+1
- ・・・・(4)
回になります。式(3)と(4)をまとめると
- ・・・・(5)
となります。任意の時刻にシステム内にジョブが個ある確率はなので、単位時間あたりの変化が起きる平均回数は
- ・・・・(6)
となります。今、定常状態を考えていますから式(2)と式(6)は等しいはずです。よって
- ・・・・(7)
となります。これはつまり
- の場合
- ・・・・(8)
- [tex:k+1
- ・・・・(9)
となります。また、これらは以下のように書くことも出来ます。
- の場合
- ・・・・(10)
- の場合
- ・・・・(11)
ところで「GI/M/s待ち行列の特性(書きかけ)」で定常状態分布の近似式を
- [tex:k
- ・・・・(12)
- の場合
- ・・・・(13)
- ただし
- ・・・・(14)
- ・・・・(15)
としました。
まず、式(11)と(12)からの場合
よって
- ・・・・(16)
となります。つまり
- ・・・・(17)
です。次にの場合、式(10)から
- ・・・・(18)
ここで式(13)を用いると
よって
- ・・・・(19)
となります。最後にの場合、式(10)と(13)から
よって
- ・・・・(20)
つまり、
- ・・・・(21)
です。まとめると
- の場合
- ・・・・(16)
- の場合
- ・・・・(19)
- の場合
- ・・・・(20)
となります。これらはを用いると以下のようにも書けます。
- の場合
- ・・・・(17)
- の場合
- ・・・・(19)
- の場合
- ・・・・(21)
これでGI/M/s待ち行列の到着時刻状態分布の近似式を求めることが出来たようです。しかし、この近似では、確率としての必須の条件である
- ・・・・(22)
は成り立っているのでしょうか? この点が疑問になります。