[論文レビュー] End-to-End Delay Modeling for Mobile Ad Hoc Networks: A Quasi-Birth-and-Death Approach

Juntao Gao, Yulong Shen+3 more|arXiv (Cornell University)|Dec 27, 2013

Opportunistic and Delay-Tolerant Networks参考文献 21被引用数 4

ひとこと要約

本稿では、2ホップリレーモバイルアドホックネットワーク（MANET）における正確なエンドツーエンド遅延およびノードごとのスループット容量をモデル化するため、準出生死滅（QBD）過程に基づく解析的フレームワークを提案する。ノードの移動性、チャネル競合、パケット転送ダイナミクスをQBD理論を用いて捉えることで、遅延およびスループットの閉形式表現を導出し、シミュレーションによる検証により、先行する上界や近似手法と比較して高い精度を示した。

ABSTRACT

Understanding the fundamental end-to-end delay performance in mobile ad hoc networks (MANETs) is of great importance for supporting Quality of Service (QoS) guaranteed applications in such networks. While upper bounds and approximations for end-to-end delay in MANETs have been developed in literature, which usually introduce significant errors in delay analysis, the modeling of exact end-to-end delay in MANETs remains a technical challenge. This is partially due to the highly dynamical behaviors of MANETs, but also due to the lack of an efficient theoretical framework to capture such dynamics. This paper demonstrates the potential application of the powerful Quasi-Birth-and-Death (QBD) theory in tackling the challenging issue of exact end-to-end delay modeling in MANETs. We first apply the QBD theory to develop an efficient theoretical framework for capturing the complex dynamics in MANETs. We then show that with the help of this framework, closed form models can be derived for the analysis of exact end-to-end delay and also per node throughput capacity in MANETs. Simulation and numerical results are further provided to illustrate the efficiency of these QBD theory-based models as well as our theoretical findings.

研究の動機と目的

• 非常に動的なMANETにおける正確なエンドツーエンド遅延をモデル化するための効率的な理論的フレームワークの欠如に応えること。
• ノードの移動性、インタリーレンス、キューイングダイナミクスに起因する複雑なネットワーク状態遷移を捉えることのできる画期的な解析的手法を開発すること。
• 2ホップリレーマンエッチュにおける正確な期待エンドツーエンド遅延およびノードごとのスループット容量の閉形式表現を導出すること。
• 理論的モデルの正確性と効率性を、シミュレーション結果および先行の近似手法と比較して検証すること。

提案手法

• 2ホップリレーマンエッチュにおける状態遷移をモデル化するため、準出生死滅（QBD）過程を用いてネットワークダイナミクスを形式化すること。
• ノードの移動性を、m×mのセルに分割されたユニットトーラス上でのi.i.d.ランダムウォークとしてモデル化し、アクティブセルおよびカバレージセルへの確率的移動を定義すること。
• 組み合わせ確率および空間分布の仮定を用いて、送信元/リレーデバイスの送信、パケットブロードキャスト、正常な配送といった主要イベントの遷移確率を導出すること。
• QBDフレームワークを用いて定常状態確率を計算し、エンドツーエンド遅延およびノードごとのスループット容量の閉形式表現を導出すること。
• 時間スロット内での異なる送信および配送状態を表す主要確率 $ p_0(j) $, $ p_b^+(j) $, $ p_b^-(j) $, $ p_f^+(j) $, および $ p_f^-(j) $ を導入し、計算すること。
• さまざまなネットワークパラメータ下での遅延およびスループットの理論的モデルを、広範なシミュレーションおよび数値的評価を通じて検証すること。

実験結果

リサーチクエスチョン

• RQ1 QBD理論は、動的なノード移動性とインタリーレンスを有するモバイルアドホックネットワークにおける正確なエンドツーエンド遅延を効果的にモデル化できるか？
• RQ2 提案されたQBDベースのフレームワークは、既存の上界や近似手法と比較して、複雑なネットワーク状態遷移をどれほど正確に捉えることができるか？
• RQ3 2ホップリレーマンエッチュにおける正確な期待エンドツーエンド遅延およびノードごとのスループット容量に対して、どのような閉形式表現を導出できるか？
• RQ4 ノード密度 $ n $、セルサイズ $ m $、送信範囲 $ \alpha $ といった主要ネットワークパラメータは、エンドツーエンド遅延およびスループット容量にどのように影響を与えるか？

主な発見

• QBDベースのモデルは、しばしば顕著な誤差を生じる先行の上界や近似手法と比較して、エンドツーエンド遅延推定において顕著に高い正確性を達成した。
• QBDフレームワークを用いて、正確な期待エンドツーエンド遅延およびノードごとのスループット容量の閉形式表現が成功裏に導出された。
• 活性リレーサイドが存在しない状態を表す確率 $ p_0(0) $ は、$ 1 - \frac{\lambda \cdot q \cdot (m^2 - 9)}{\alpha^2 (n-1) p_b} \left\{ 1 - \left( \frac{m^2 - 1}{m^2} \right)^{n-1} \right\} $ として導出された。
• リレーデバイスを介した正常なブロードキャスト配送に対応する確率 $ p_b^+(j) $ は、$ \frac{\lambda (q - q^2) (m^4 - m^2 \alpha^2)}{\alpha^4 n(n-1)(n-2) p_b} \left\{ 1 - 2 \left( \frac{m^2 - 1}{m^2} \right)^n + \left( \frac{m^2 - 2}{m^2} \right)^n - \frac{n}{m^2} \left( \frac{m^2 - 9}{m^2} \right)^{n-1} + \frac{n}{m^2} \left( \frac{m^2 - 10}{m^2} \right)^{n-1} \right\} $ として導出された。
• モデルは、エンドツーエンド遅延およびスループット容量がノード密度 $ n $、セルサイズ $ m $、送信範囲 $ \alpha $ といったネットワークパラメータに敏感であることを示しており、シミュレーションにより理論的予測が確認された。