GI/M/s待ち行列の到着時刻状態分布の近似式(1)

GI/M/s待ち行列において、時間平均で、システム内にジョブがk個ある確率(定常状態分布)をp(k)で表し、ジョブ到着時にシステム内にジョブが(その到着するジョブを除いて)k個ある確率(到着時刻状態分布)を\pi(k)で表すことにします。そして、この両者の関係を求めてみます。


到着直前にシステム内のジョブがk個だった場合、ジョブ到着によってk+1個になります。このk{\rightar}k+1の変化が単位時間あたり平均何回起きるか考えてみます。装置の稼働率u、装置の平均処理時間をt_eとすると、単位時間内の平均ジョブ到着数は

  • \frac{su}{t_e}・・・・(1)

となります。到着直前にシステム内のジョブ数がk個である確率は\pi(k)になりますので、単位時間あたりk{\rightar}k+1の変化が起きる平均回数は

  • \frac{su}{t_e}\pi(k)・・・・(2)

になります。次に、単位時間あたりk+1{\rightar}kの変化が起きる平均回数を考えます。任意の時刻にシステム内にジョブがk+1個あったとしてそれがk個になるというのは、ジョブの処理が終了するということです。k+1{\ge}sの場合は、全ての装置が処理中ですから、このジョブ終了は、処理時間分布が指数分布であることを考慮すれば、単位時間あたり

  • \frac{s}{t_e}・・・・(3)

回になります。[tex:k+1

  • \frac{k+1}{t_e}・・・・(4)

回になります。式(3)と(4)をまとめると

  • \frac{\min(s,k+1)}{t_e}・・・・(5)

となります。任意の時刻にシステム内にジョブがk+1個ある確率はp(k+1)なので、単位時間あたりk+1{\rightar}kの変化が起きる平均回数は

  • \frac{\min(s,k+1)}{t_e}p(k+1)・・・・(6)

となります。今、定常状態を考えていますから式(2)と式(6)は等しいはずです。よって

  • \frac{su}{t_e}\pi(k)=\frac{\min(s,k+1)}{t_e}p(k+1)
  • su\pi(k)=\min(s,k+1)p(k+1)
  • \pi(k)=\frac{\min(s,k+1)}{su}p(k+1)・・・・(7)

となります。これはつまり

  • k+1{\ge}sの場合
    • \pi(k)=\frac{1}{u}p(k+1)・・・・(8)
  • [tex:k+1
    • \pi(k)=\frac{k+1}{su}p(k+1)・・・・(9)

となります。また、これらは以下のように書くことも出来ます。

  • k{\ge}s-1の場合
    • \pi(k)=\frac{1}{u}p(k+1)・・・・(10)
  • k{\le}s-2の場合
    • \pi(k)=\frac{k+1}{su}p(k+1)・・・・(11)


ところで「GI/M/s待ち行列の特性(書きかけ)」で定常状態分布p(k)の近似式を

  • [tex:k
    • p(k)\approx\frac{(su)^k}{k!}p(0)・・・・(12)
  • k{\ge}sの場合
    • p(k){\approx}b^{k-s}(1-b)\Pi(M/M/s)・・・・(13)
  • ただし
    • p(0)=\frac{1}{\Bigsum_{k=0}^{s-1}\frac{(su)^k}{k!}+\frac{(su)^s}{s!(1-u)}}・・・・(14)
    • b=\frac{(2c_a^2+[1-c_a^2]u)u}{2-(2-\{2c_a^2+[1-c_a^2]u\})u}・・・・(15)

としました。
まず、式(11)と(12)からk{\le}s-2の場合

  • \pi(k)=\frac{k+1}{su}p(k+1)\approx\frac{k+1}{su}\frac{(su)^{k+1}}{(k+1)!}p(0)=\frac{(su)^k}{k!}p(0)

よって

  • \pi(k)\approx\frac{(su)^k}{k!}p(0)・・・・(16)

となります。つまり

  • \pi(k){\approx}p(k)・・・・(17)

です。次にk=s-1の場合、式(10)から

  • \pi(s-1)=\frac{1}{u}p(s)・・・・(18)

ここで式(13)を用いると

  • \pi(s-1)\approx\frac{1}{u}b^{s-s}(1-b)\Pi(M/M/s)=\frac{1-b}{u}\Pi(M/M/s)

よって

  • \pi(s-1)\approx\frac{1-b}{u}\Pi(M/M/s)・・・・(19)

となります。最後にk{\ge}sの場合、式(10)と(13)から

  • \pi(k)=\frac{1}{u}p(k+1){\approx}\frac{b^{k+1-s}(1-b)}{u}\Pi(M/M/s)

よって

  • \pi(k){\approx}\frac{b^{k+1-s}(1-b)}{u}\Pi(M/M/s)・・・・(20)

つまり、

  • \pi(k){\approx}\frac{b}{u}p(k)・・・・(21)

です。まとめると

  • k{\le}s-2の場合
    • \pi(k)\approx\frac{(su)^k}{k!}p(0)・・・・(16)
  • k=s-1の場合
    • \pi(s-1)\approx\frac{1-b}{u}\Pi(M/M/s)・・・・(19)
  • k{\ge}sの場合
    • \pi(k){\approx}\frac{b^{k+1-s}(1-b)}{u}\Pi(M/M/s)・・・・(20)

となります。これらはp(k)を用いると以下のようにも書けます。

  • k{\le}s-2の場合
    • \pi(k)\approx\p(k)・・・・(17)
  • k=s-1の場合
    • \pi(s-1)\approx\frac{1-b}{u}\Pi(M/M/s)・・・・(19)
  • k{\ge}sの場合
    • \pi(k){\approx}\frac{b}{u}p(k)・・・・(21)

これでGI/M/s待ち行列の到着時刻状態分布の近似式を求めることが出来たようです。しかし、この近似では、確率としての必須の条件である

  • \Bigsum_{k=0}^{\infty}\pi(k)=1・・・・(22)

は成り立っているのでしょうか? この点が疑問になります。