[論文レビュー] Fluid limits of many-server queues with state dependent service rates

Anup Biswas|arXiv (Cornell University)|Jun 25, 2012

Advanced Queuing Theory Analysis参考文献 7被引用数 3

ひとこと要約

本稿は、一般のサービス時間分布と状態に依存するサービスレートを有する多数サーバーのキューイングシステムに対して、流体極限の存在および一意性を確立する。サーバーの速度はシステム負荷に応じて適応的に変化する。残留サービス時間の測度値過程を用いて、サービスレート関数および到着プロセスの適切な正則性条件下で、極限挙動を特徴付ける流体モデル方程式を導出する。

ABSTRACT

We study a many-server queuing system with general service time distribution and state dependent service rates. The dynamics of the system are modeled using measure valued processes which keep track of the residual service times. Under suitable conditions, we prove the existence of a unique fluid limit.

研究の動機と目的

• 一般のサービス時間分布と状態に依存する動的サービスレートを有する多数サーバーのキューの漸近的挙動を分析すること。
• コールセンターやサービスシステムにおいて、混雑に応じてサービス速度が調整される現実的な状況を捉えるために、定常サービスレートモデルを超えた流体極限理論を拡張すること。
• 残留サービス時間の測度値過程を用いて、状態依存サービスレートを有する GI/G/n キューに対する厳密な流体極限を確立すること。
• 大規模キューイングシステムにおける動的サービスレートポリシー下でのマクロな挙動を捉える決定論的流体近似を提供すること。

提案手法

• 顧客の残留サービス時間を追跡する測度値過程 $\mathcal{Z}^n_t$ を用いて、システムをモデル化する。
• 拡散スケーリング下でのシステム解析のため、流体スケーリング過程 $\bar{X}^n_t = \frac{1}{n}X^n_t$ を導入する。
• スケーリングされた測度値過程 $\frac{1}{n}\mathcal{Z}^n_t$ の極限を特徴付ける流体モデル方程式（式9）を導出する。
• 固定点法とグロワールの不等式を用いて、流体モデル方程式の解の存在および一意性を証明する。
• アーヴェルラ＝アスコリの定理を適用して、流体スケーリング過程の系列の相対コンパクト性を確立する。
• 文献[18]および[10]の技術を用い、退去プロセスの明示的補償子を必要としないように、動的サービスレートを扱うように適応する。

実験結果

リサーチクエスチョン

• RQ1 一般のサービス時間分布と状態依存サービスレートを有する多数サーバーのキューに対して、流体極限が存在するか？
• RQ2 サービスレートがシステム負荷に依存する場合、流体極限が決定論的積分方程式によって一意に特徴付けられるか？
• RQ3 サービスレートの動的調整は、流体極限の収束性および安定性にどのように影響するか？
• RQ4 サービスレート関数にどのような条件を課すことで、流体極限の存在および一意性が保証されるか？
• RQ5 状態依存サービスレートの下で、残留サービス時間を追跡する測度値過程を用いて、取り扱い可能な流体近似を導出できるか？

主な発見

• スケーリングされた測度値過程 $\frac{1}{n}\mathcal{Z}^n_t$ の流体極限は存在し、流体モデル方程式（式9）によって一意に定まる。
• サービスレートおよび関連関数のリプシッツ連続性と有界性の条件下で、固定点法とグロワールの不等式を用いて、流体モデル方程式の解の存在および一意性が示される。
• 流体スケーリング過程の系列は相対コンパクトであり、部分列に沿った収束が保証される。
• 累積サービスレートと残留時間分布を含む積分方程式によって、流体極限が特徴付けられる。これは、定常サービスレートの下での先行研究を一般化する。
• 退去プロセスの明示的補償子の必要性を回避するという点で、動的サービスレートを有するシステムにおける主要な課題を克服する。
• 結果として、コールセンターやフィードバックベースのレート調整を伴う動的スタッフ編成を含む、実際のサービスシステムのより現実的なモデルへ、流体極限理論が拡張される。