[論文レビュー] Probability of detection of an extraneous mobile object by autonomous unmanned underwater vehicles as a solution of the Buffon problem

М. А. Гузев, Г. Ш. Цициашвили+2 more|arXiv (Cornell University)|Jan 31, 2018

Diffusion and Search Dynamics参考文献 3被引用数 3

ひとこと要約

本稿では、自律型無人水中機械（AUUV）による不要な移動物体の検出確率を、古典的バフオンの針問題の動的拡張として定式化する。問題を、レーダー走査円が平行線として作用する回転座標系に変換することで、幾何確率と小パラメータ法を用いて検出確率の漸近的表現を導出し、車両半径の確率的変動が平均状態のシナリオと比較して検出可能性を高めることを示す。

ABSTRACT

Underwater robotics addresses the problem of object detection apparatus. Offers a probabilistic formulation of the problem, which uses the reduction of the detection task to a classical task of Buffon. This formulation arises naturally in the formulation of the problem in the coordinate system associated with the apparatus. It is shown that the problem allows analysis in the presence of an asymptotic parameter, determined by the ratio of the local scan size of the apparatus to the global size of the problem under consideration.

研究の動機と目的

• 自律型無人水中機械（AUUV）を用いた水中移動物体の信頼性の高い検出という課題に対処すること。
• 検出問題を回転座標系におけるバフオンの針問題の動的変種として再定式化すること。
• 特に、走査半径とシステムサイズの比が小さい状況において、幾何確率と漸近的手法を用いて検出確率を分析すること。
• 車両の軌道半径の確率的変動が、決定論的平均半径モデルと比較して検出性能に与える影響を調査すること。
• 非円形・可変半径・直線軌道の車両運動に対してもモデルを一般化すること。

提案手法

• 検出問題を、AUUVの円軌道を中心とする回転座標系に変換し、レーダー走査円を固定された平行線として扱う。
• この回転フレーム内での物体の軌道を、半径 $ R + r $ のより大きな円上のランダムな点から出発する曲線路としてモデル化する。これはバフオン問題における針に類似している。
• 物体の軌道曲線が任意のレーダー走査円と交差する場合を検出イベントとして定義し、これは針と直線の交差に類似している。
• 小パラメータ $ r/R \ll 1 $ を用いて漸近的解析を適用し、検出確率の近似式を導出する。
• ジェンセンの不等式を用いて、確率的軌道半径 $ kR $ の下での検出確率と平均半径 $ R $ の下での検出確率を比較し、確率的変動する半径が検出を向上させることを示す。
• 線形運動（周期的逆転付き）のケースに一般化し、検出領域を円筒面としてモデル化し、物体と車両の位置の均一な同時分布を解析する。

実験結果

リサーチクエスチョン

• RQ1 複数のAUUVが移動物体を検出する確率を、幾何確率の原則を用いてどのようにモデル化できるか？
• RQ2 固定された平均半径と比較して、AUUVの軌道半径に確率的変動がある場合、検出性能にどのような影響があるか？
• RQ3 物体と車両の両方の動的運動が、検出問題をバフオン問題の一種に変換する仕組みは何か？
• RQ4 走査半径がシステムサイズに比べて小さい場合の漸近的検出確率は何か？
• RQ5 AUUVが円軌道ではなく、周期的逆転付きの直線軌道を移動する場合、検出確率はどのように変化するか？

主な発見

• 回転フレーム内での検出確率は、曲線的軌道と固定された円形走査領域の交差確率に等しく、バフオンの針問題に類似している。
• 円運動の場合は、検出確率が $ \frac{2r}{\pi R} \cdot \mathbb{E}\left[\frac{1}{k}\right] $ で漸近的に上限づけられ、ここで $ k $ は確率的半径乗数である。
• $ \mathbb{E}[k] = 1 $ の下で軌道半径が確率的に変動する場合、ジェンセンの不等式により $ \mathbb{E}[1/k] > 1/\mathbb{E}[k] $ であるため、平均半径ケースよりも検出確率が上回る。
• 周期的逆転付きの線形運動の場合は、検出確率は物体の位置と車両間隔の重複によって決まり、確実な検出を保証する最小車両数は $ M = \min\left(n: \frac{nr}{R\sin\alpha} \geq 1\right) $ である。
• モデルは、車両の軌道半径に確率的変動がある場合、平均半径が一定であっても検出性能が向上することを示している。
• 漸近的解析により、小パラメータ $ r/R \ll 1 $ が回転フレーム内での走査領域を平行線として妥当に近似可能であることを確認し、古典的幾何確率手法の適用が可能であることが裏付けられた。