Word Whitt: The Queueing Network Analyzer(8)

Word Whitt: The Queueing Network Analyzer(7)」の続きです。
今日も2ページ。

(8)によって、c_{s1}^2=1.67c_{s2}^2=1.00である。(14)の中のノード2の両方のサービス時間が、よく知られた指数分布のように、平均1と2乗変動係数1を持っているので、\tau_2=c_{s2}^2=1を我々は求めるべきであることに注意しよう。


 内部到着レートを得るために、セクション4.1でのようにトラフィック・レート方程式を解く。

		\lambda_j=\lambda_{0j}+\Bigsum_{i=1}^n\lambda_iq_{ij}		(15)

すると\lambda_1=12\lambda_2=5\rho_1=0.6\rho_2=0.5を得る。


 最後に変動パラメータc_{0j}^2を得る。最初に、(12)から\bar{v_1}=25/13\bar{v_2}=1.0を得る。次に(11)から、\bar{w_1}=0.629\bar{w_2}=1なので、c_{01}^2=1.38c_{02}^2=4。ノード2へは1つの外部到着過程があるだけなので、\bar{v_2}=\bar{w_2}=1c_{02}^2=c_3^2=4を得る。



III.即座戻りの除去
 このセクションではQNAが内部フロー・パラメータを計算し混雑を解析する前に遂行することが出来る機能を説明する。ユーザは即座戻りを除去するためのネットワークの再構成を選ぶことが出来る。この手続きは、元々Kuehn*1によって提案されていたが、通常、近似の質を上げている。よって、これはお勧めであり、QNAの標準バージョンで実行される。


 即座戻りはq_{ii}>0の時にはいつも発生する。QNAはマルコフ的ルーティングを仮定しているので、ノードiでサービスを完了した個々の客は確率q_{ii}でノードiに戻され、再びサービスを受ける。分解法では、QNAは客がいつもノードで平衡時の客の数を見出し、個々の訪問は独立の実験であると仮定している。


 QNAは個々の客に、他のノードからの到着時に、他のノードへ向かう前の客の総サービス時間を与えることにより即座戻りを除去する。これは客を列の最後尾の代わりに列の先頭で即座に戻すことに等価である。ノードiからノードiへの遷移は除去され、ノードjへの遷移の確率は客がノードiから出発するとした時の古い条件確率になる。言い換えれば、他のどこかからノードiへの個々の訪問プラスすぐに戻る全ての後続の時間は1回の訪問と解釈される。埋め合わせのためにサービス時間は増やされる。


 この手続きの動機の説明は簡単である。ベルヌーイ(マルコフ的)戻りと一般到着過程(ポアソンや再生過程である必要はない)と独立なiidサービス時間を持つ複数サーバ・ノードについて、待ち行列長さ過程(しかし待ち時間ではない)の分布はこの変形の後でも同じである。よって、我々は戻りのない変形されたノードについて平衡待ち行列長の平均と分散の近似値を計算し、近似待ち時間の特性値を導出するために用いる。リトルの公式*2 *3によって、期待待ち時間も正確である。つまり、唯一の誤差は再生過程による到着過程の近似とGI/G/m待ち行列の特性値の近似にある。即座戻りによる追加の誤差は存在しない。


 再構成の第1ステップは非常に簡単である。新しいサービス時間は古いサービス時間分布のn重畳み込みの幾何混合と見なされる。パラメータ\tau_ic_{si}^2q_{ij}は、q_{ii}>0の時、\hat\tau_i\hat_c_{si}^2\hat_q_{ij}に変更される。

		\hat\tau_i=\tau_i/(1-q_{ii})
		\hat{c}_{si}^2=q_{ii}+(1-q_{ii})c_{si}^2
		\hat{q}_{ii}=0
		\hat{q}_{ij}=q_{ij}/(1-q_{ii})、  j{\ne}i		(16)


 その後、ノードiの混雑尺度を計算する時に、QNAはさらに調整を行う。(16)に従って即座戻りを除去する時、客が即座に戻る時間を別々の訪問としてもはやカウントしない。よって、1回の訪問あたりで表現される混雑尺度を調整する必要がある。例えば、外部からの1訪問あたりのノードiへの期待訪問数は(1-q_{ii})^{-1}なので、ノードiへの元々の1訪問あたりの期待待ち時間を得るために、(16)から得られる期待待ち時間EW_iの値に(1-q_{ii})をかける。もちろん、個々のノードでの客の数は戻り処理によって影響を受けない。


 \bar\lambda_i \bar \tau_iなどが新しく調整された値を表すとしよう。(16)を用いて得られたパラメータ\lambda_i\tau_iなどを用いて、新しく調整された値は

		\bar\lambda_i=\lambda_i/(1-q_{ii})
		\bar\tau_i=(1-q_{ii})\tau_i
		\bar{c_{si}}^2=(c_{si}^2-q_{ii})/(1-q_{ii})
		E\bar{W}_i=(1-q_{ii})EW_i
		Var(\bar{W}_i)=(1-q_{ii})Var(T_i')-\bar{c}_{si}^2\bar\tau_i^2
		Var(T_i')=c^2(T_i')(EW_i+\tau_i)^2
		c^2(T_i')=c^2(\bar{T}_i')(1+q_{ii})+q_{ii}
		c^2(\bar{T}_i')=(Var({\bar}W_i')+{\bar}c_{si}^2\tau_i^2)(E\bar{W}_i+\bar\tau_i)^{-2}
		Var(\bar{W}_i')=EN_i\bar{c}_{si}^2\bar\tau_i^2+c^2(N_i)(EN_i)^2\bar\tau_i^2		(17)

「新しいサービス時間は古いサービス時間分布のn重畳み込みの幾何混合と見なされる。(The new service time is regarded as a 「geometric mixture of the n-fold convolution of」 the old service-time distribution.)。」「n重畳み込みの幾何混合」というのは何のことだかさっぱり分かりません。でも今はセクション4.2を目指して先に進みます。


Word Whitt: The Queueing Network Analyzer(9)」に続きます。

*1:P.J. Kuehn,「分解による一般待ち行列ネットワークの近似解析」IEEE Trans. Commun., COM-27, No.1 (January 1979), pp.113-26.

*2:D. P. Heyman and M. J. Sobel,「オペレーションズ・リサーチにおける確率モデル、巻I」New York: McGraw-Hill, 1982.

*3:P. Franken, D, Koenig, U. Arndt, and V. Schmidt,「待ち行列と点過程」Berlin: Akademie-Verlag, 1981.