《待ち行列モデルM/M/c》のソースを表示

'''【まちぎょうれつもでるえむえむしー (queueing model M/M/<math>c\, </math>) 】'''

　[[待ち行列モデル M/M/{$<math>c</math>$}]] (queueing model M/M/$<math>c</math>$)は, 客の到着がパラメータ $<math>\lambda</math>$ のポアソン過程に従い, サービス時間が平均 $<math>1/\mu</math>$ の指数分布に従う, 窓口 $<math>c</math>$ 個の最も基本的な待ち行列モデルである. 待ち行列理論が アーランアグナー・K}{A.\ K.\ Erlang}によって20世紀初頭に誕生したときに, 真っ先に研究の対象となったのがこのタイプのモデルであった. それ以来, モデルの簡潔さ, 公式のわかりやすさから, 代表的な待ち行列モデルとして, 常に待ち行列理論のよりどころとなり, また多方面で実際問題の解決に応用されてきている. 近年研究が進められている[[待ち行列ネットワーク]]でも, その中心となっているのはこの M/M/$<math>c</math>$ モデルをネットワーク状につないだ[[ジャクソン型ネットワーク]]とそれを拡張した[[BCMP型ネットワーク]]であることからも, その重要性が理解できよう. 


'''ポアソン到着と指数サービス'''　M/M/$<math>c</math>$ モデルに関連して, いくつかの用語が慣用的に用いられている. 客の到着が[[ポアソン過程]]にしたがうとき, つまり客の到着間隔が独立で同一の指数分布に従うとき, その到着の仕方を[[ポアソン到着]] (Poisson arrival) という. この場合, 到着過程のパラメータを $<math>\lambda</math>$ とすると, 長さ $<math>t</math>$ の時間に到着する人数は平均 $<math>\lambda t</math>$ のポアソン分布に従う. この $<math>\lambda</math>$ のことを[[到着率]] (arrival rate) と呼ぶ. また, サービス時間の分布が指数分布に従うとき, サービスの仕方は[[指数サービス]] (exponential service) であるという. このとき平均サービス時間の逆数 $<math>\mu</math>$ のことを[[サービス率]] (service rate) と呼ぶ. 


'''マルコフ性'''　M/M/$<math>c</math>$ モデルが容易に解析できるのは, 指数分布がつぎの"無記憶性''をもつことによる. 確率変数 $<math>X</math>$ がパラメータ $<math>\lambda</math>$ の指数分布に従っているものとしよう. すると, 任意の $<math>s, t>0</math>$ に対して


:<math>
\mbox{P}\{ X>s+t\mid X>s \} = \mathrm{e}^{-\lambda t} = \mbox{P}\{ X>t \}\, 
</math>


が成り立つ. これは, 現在の状況 ($<math>X>s</math>$ ということ) がわかると, 今後の確率的挙動は過去の履歴とは無関係, ということであり, この性質を[[無記憶性 (指数分布の)|無記憶性]] (memoryless property) または[[マルコフ性]] (Markov property) と呼ぶ. M/M/$<math>c</math>$ などの[[ケンドールの記号]]において, ポアソン到着と指数サービスを M で表現するのは, このマルコフ性に由来する. 

　M/M/$<math>c</math>$ モデルでは, ポアソン到着と指数サービスの仮定から, 系内人数を状態とする[[マルコフ連鎖]]を導くことができる. このマルコフ連鎖は[[出生死滅過程]]と呼ばれる特殊な型をしており, その解析は容易である. マルコフ連鎖の一般論から, 適当な条件の下でこの出生死滅過程は時間の経過とともに[[平衡状態]]に近づく. そのため M/M/$<math>c</math>$ モデルでは, 平衡状態における状態確率 (これを[[定常状態確率]] (stationary state probability) とか極限状態確率と呼ぶ) を解析的に求め, それらから[[待ち確率]], [[平均待ち時間]], [[待ち時間分布]]}, 平均[[系内人数]], 系内人数分布などの混雑の尺度を計算して, 実際のシステムの性能評価に役立てている. 


'''M/M/1 モデル'''　[[待ち行列モデルM/M/1]] (queueing model M/M/1) は, $<math>c=1</math>$ の場合で, ポアソン到着, 指数サービス, 単一窓口をもつ待ち行列として定義される. 定常状態確率が存在するための必要十分条件は, $<math>\rho = \lambda/\mu<1</math>$ を満たすことである. そのときシステム内に$<math>k</math>$人の客がいる定常状態確率は


:<math>
p_k=(1-\rho)\rho^k, \qquad k=0, 1, 2, \cdots \,
</math>　　　　　<math>(1)\, </math>


で与えられ, 幾何分布に従う. 窓口がサービス中である確率は $<math>1-p_0=\rho</math>$ であるので, $<math>\rho</math>$ を[[利用率]]と呼ぶ. これは到着した客が待たされる確率, すなわち[[待ち確率]], でもある ([[PASTA]]参照). (1) 式より, 平均系内人数は $<math>L=\rho/(1-\rho)</math>$ であり, 平均待ち行列長は  $<math>L_q=\rho^2/(1-\rho)</math>$ である. 

　待ち時間分布は $<math>t=0$ に $1-\rho</math>$ のマスをもち, $<math>t>0</math>$ では指数分布型の密度をもつ


:<math>
F(t)=\mbox{P}\{ \boldsymbol{W} \leq t \}
 =\left\{ \begin{array}{ll} 0, & t<0 \\
 1-\rho \mathrm{e}^{-(\mu-\lambda)t}, \qquad & t \geq 0
 \end{array} \right. 
</math>　　　　　<math>(2)\, </math>


で与えられる. この分布関数から, または[[リトルの公式]]から, 平均待ち時間は $<math>W_q=L_q/\lambda=\rho/\mu(1-\rho)</math>$, 平均系内滞在時間は $<math>W=L/\lambda=1/\mu (1-\rho)</math>$ であることがわかる. 


'''M/M/\mbox{\boldmath $<math>c</math>$} モデル'''　[[待ち行列モデル M/M/{$<math>c</math>$}]] は, ポアソン到着で $<math>c</math>$個 (通常は複数) の指数サービス窓口をもつモデルである. これも[[出生死滅過程]]を用いて解析できる. 客の到着率を $<math>\lambda</math>$, 平均サービス時間を $<math>1/\mu</math>$ とすると, 平衡状態が存在するための条件は $<math>\rho=\lambda/c \mu < 1</math>$ である. 系内に $<math>c</math>$ 人以上の客がいるときはすべての窓口がサービス中なので, 短い時間 $<math>dt</math>$ の間にいずれかのサービスが終了する確率は $<math>c \mu \, dt</math>$ であり, 系内にいる客の数が $<math>k</math>$ 人 ($<math>k<c</math>$) のときは, $<math>k</math>$ 個の窓口でサービスを行っているだけなので, この確率は $<math>k\mu \, dt</math>$ である. そこで


:<math>
\mu_k=\left\{
\begin{array}{ll}
k\mu, & \qquad k=0, 1, \cdots, c-1 \\
c\mu, & \qquad k=c, c+1, \cdots
\end{array} \right. 
</math>　　　　　<math>(3)\, </math>


とおけば, $<math>dt</math>$ の間に一人の客が到着する確率が $<math>\lambda \, dt</math>$ であることから, 平衡状態において $<math>k</math>$ 人の客がいる確率は


:<math>
p_k=p_0 \prod_{i=1}^k \frac{\lambda}{\mu_k}, \qquad k=1, 2, \cdots
</math>　　　　　<math>(4)\, </math>


で与えられる. ここで $<math>p_0</math>$ は, (4) の $<math>p_k</math>$ の和が 1 となるよう


:<math>
p_0 = \left[\sum_{k=0}^{c-1} \frac{c^k \rho^k}{k!}
        +\frac{c^c \rho^c}{c! \, (1-\rho)}\right]^{-1}
</math>　　　　　<math>(5)\, </math>


で与えられる. 安定性の条件 $<math>\rho<1</math>$ は, (4) の $<math>p_k</math>$ の和が有限の値に収束するための条件となっていることに注意しよう. この $<math>\rho</math>$ は各窓口がサービス中の時間の割合になっており, やはり利用率と呼ばれる. すべての窓口がふさがっている確率は, 


:<math>
\Pi=\sum_{k=c}^\infty p_k = \frac{c^c \rho^c}{c! \, (1-\rho)} p_0 
</math>　　　　　<math>(6)\, </math>


であり, PASTA よりこれが待ち確率でもある. 待ち時間分布は


:<math>
\mbox{P}\{ \boldsymbol{W} \leq t\} = \left\{ \begin{array}{ll}
   0 , & t <0 \\
  1 - \Pi \, \mathrm{e}^{-c \mu(1-\rho)t}, \quad & t \geq 0
  \end{array} \right. 
</math>　　　　　<math>(7)\, </math>


で与えられ, 平均待ち時間は $<math>W_q= \Pi / c \mu (1 - \rho)</math>$ である.


'''M/M/\mbox{\boldmath $<math>c</math>$} モデル'''　[[待ち行列モデル M/M/{$<math>c</math>$}/{$<math>c</math>$}]] (queueing model M/M/$<math>c</math>$/$<math>c</math>$) は, ポアソン到着で, $<math>c</math>$個の指数サービス窓口があるが, 待合室が無く, 客が待つことができない待ち行列である. 客が到着したときに, 空いた窓口がある場合には直ちにサービスを受けるが, すべての窓口が塞がっている場合にはサービスを受けることなく立ち去る. このようにサービスを受けずに立ち去る客がある待ち行列モデルは損失系と呼ばれ, 電話回線などのトラフィック理論でしばしば利用される. このときサービスを受けずに立ち去る客の割合を[[呼損率]] (loss probability) という. 

　到着率を $<math>\lambda</math>$, 平均サービス時間を $<math>1/\mu</math>$ とすると, 定常状態確率は (3) を用いて (4) で与えられる. ただし, 今度の場合, とりうる状態は $<math>k=0, 1, 2, \ldots , c</math>$ だけであるので, $<math>p_0</math>$ は


:<math>
p_0 = \left[\, \sum_{k=0}^{c}
\frac{1}{k!}\left(\frac{\lambda}{\mu}\right)^k \right]^{-1}
</math>　　　　　<math>(8)\, </math>



で与えられ, たとえ $<math>\rho=\lambda/c \mu<1</math>$ でなくてもシステムは安定的である. PASTA の性質により, 呼損率は系内にちょうど $<math>c</math>$ 人の客がいる確率


:<math>
p_c=\frac{1}{c!} \left(\frac{\lambda}{\mu}\right)^c p_0
</math>　　　　　<math>(9)\, </math>


と等しい. この式は[[アーランの損失式]] (Erlang's loss formula) と呼ばれ, 損失系の性能評価で最も重要な特性量のひとつである. なお, この式は M/G/$<math>c</math>$/$<math>c</math>$ モデル, すなわち一般サービスのときでも成り立つことが知られている. 



----
'''参考文献'''

[1] L. Kleinrock, ''Queueing Systems Vol. 1 Theory,'' Wiley, New York, 1975. 

[2] 森村英典, 大前義次, 『応用待ち行列理論』, 日科技連, 1975. 

[3] 尾崎俊治, 『確率モデル入門』, 朝倉書店, 1996. 

[4] S. M. Ross, ''Stocastic Processes,'' Wiley, New York, 1980.