GI/G/s待ち行列の定常状態確率の近似が求まらない

M/G/s待ち行列の定常状態の近似(2)」で

  • [tex:k
    • p(k)\approx\frac{(su)^k}{k!}p(0)・・・・(1)
    • ただし、p(0)=\frac{1}{\Bigsum_{k=0}^{s-1}\frac{(su)^k}{k!}+\frac{(su)^s}{s!(1-u)}}・・・・(2)
  • k{\ge}sの時
    • p(k){\approx}b^{k-s}(1-b)\Pi_{M/M/s}・・・・(3)
    • ただし
      • b=\frac{(1+c_e^2)u}{2-(1-c_e^2)u}・・・・(4)
      • \Pi_{M/M/s}=\frac{\frac{(su)^s}{s!(1-u)}}{\Bigsum_{k=0}^{s-1}\frac{(su)^k}{k!}+\frac{(su)^s}{s!(1-u)}}・・・・(5)

を言うことが出来たので、この勢いを駆ってGI/G/s待ち行列についても、その定常状態確率p(k)

  • [tex:k
    • p(k)\approx\frac{(su)^k}{k!}p(0)・・・・(1)
    • ただし、p(0)=\frac{1}{\Bigsum_{k=0}^{s-1}\frac{(su)^k}{k!}+\frac{(su)^s}{s!(1-u)}}・・・・(2)
  • k{\ge}sの時
    • p(k){\approx}b^{k-s}(1-b)\Pi_{M/M/s}・・・・(3)
    • ただし
      • \Pi_{M/M/s}=\frac{\frac{(su)^s}{s!(1-u)}}{\Bigsum_{k=0}^{s-1}\frac{(su)^k}{k!}+\frac{(su)^s}{s!(1-u)}}・・・・(5)

で近似出来ると言ってしまいたい気持ちになります。「D/M/s待ち行列の定常状態分布に向けて」の式(11)から明らかなようにD/M/sでも

  • k{\ge}sの時
    • p(k+1)=bp(k)

近似的にではなく正確に言えるのですから、なおさら上の近似への期待が高まります。しかし、一般のGI/G/sについて(そしてD/M/sについても)[tex:k

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

である、という根拠がありません。M/G/sの時に(上が)成り立つとした根拠は「M/G/sの待ち確率Πの近似(4)」にあるように、M/G/∞とM/M/∞を比較した際、ジョブが待たないこととジョブの到着時刻がランダムである、という二つのことからM/G/∞とM/M/∞でp(k)の値が同じであることと、M/D/2で求めたp(k)がM/M/2で求めたp(k)とほとんど等しい、という2つの事実から成り立っています。しかし、到着過程をGとしたことにより、ジョブの到着時刻がランダムである、という仮定が成り立たなくなったので、GI/G/∞とM/M/∞でp(k)の値が同じである、とは言えなくなってしまったのです。さらにD/M/2のp(k)についてもまだ研究出来ていません。
くやしいですが、今の私ではGI/G/s待ち行列の定常状態確率の近似式を主張することが出来ません。