An Explicit Formulation for Mobility Analysis and Dynamics of General Multibody Systems

ロボットは、工場の製造ラインで車を組み立てるアームから、外科医の手術を助ける繊細な器具に至るまで、あらゆる場所に存在しています。これらの機械の核心は、ジョイントによって接続された剛体パーツの集合体であり、これはマルチボディダイナミクス（多体動力学）として知られる工学分野です。ロボットを正しく動かすためには、エンジニアはまず、その機械がどれほど多くの動き方をするかという概念である「可動性（モビリティ）」を理解し、次に重力やモーターのような力が時間の経過とともにその動きにどのように影響するかを正確に計算しなければなりません。数十年にわたり、これらの計算を行うプロセスは断片化されてきました。エンジニアは、単純なアームであれ、複雑なパラレル構造であれ、あるいはそれらが混ざり合ったハイブリッド構造であれ、新しいタイプのロボットが登場するたびに、独自の数学的モデルを構築しなければなりませんでした。これは、新しい機械を発明するたびに数学を一からやり直す必要があったことを意味し、新技術の開発を遅らせる要因となっていました。

上海のハイシリコン（HiSilicon）の研究チームは、すべてのロボット機構を単一の普遍的なシステムの変種として扱う、新しい計算手法を提案しました。彼らは、あらゆる新しい機械を特定のカテゴリーに当てはめようとするのではなく、動くパーツのあらゆる集合体を単一の一貫した言語で記述する方法を開発しました。研究論文として発表された彼らの成果は、設計がいかに複雑または特異であっても、あらゆるロボットの運動と力を分析できる統一されたアルゴもリズムを提供します。コンピュータによる機械の見え方を標準化することで、彼らは、個別の数式を必要とせずに、ほぼすべてのマルチボディ・システムの挙動をシミュレートできるツールを作り上げました。

この新しいアプローチの核心は、剛体の位置と姿勢を記述する巧妙な方法にあります。従来の方式では、エンジニアはパーツがどこにあり、どのように回転しているかを追跡するために、座標と角度を組み合わせて使用することがよくありました。研究者たちは代わりに、ロボットのあらゆる動くパーツに4つの仮想的な点を付加しました。これらの点は、空間における物体の形状と位置を定義するマーカーとして機能します。これらの4つの点の動きを追跡することで、コンピュータは物体全体の正確な位置と速度を特定することができます。この手法は、回転と並進という複雑な問題を、これらの点が互いにどのように動くかという単純な計算へと変換します。これは、カメラマンが車の重心やホイールの角度を同時に計算しようとするのではなく、バンパーにある4つの特定のライトを追跡することで、走行中の車を追跡するのと似ています。

この4点システムを用いて、研究者たちは、ヒンジ、スライドレール、ボールジョイントなど、2つのパーツ間のあらゆる接続を記述できるフレームワークを構築しました。かつては、異なる種類のジョイントにはそれぞれ異なる数学的規則が必要であり、それらを単一のシミュレーションの中で組み合わせることが困難でした。ここでは、チームはすべての制約が同じ形式で記述できることを示しました。彼らは、これらの制約を自由な浮遊パーツに一つずつ追加していくことで、コンピュータがどの動きが可能で、どの動きが制限されているかを自動的に判別できることを実証しました。このプロセスは、「モビリティ行列」と呼ばれる、機械がどのように動けるかを明らかにする数学的な地図を生成します。この定式化の素晴らしさは、基礎となるコードを変更することなく、シリアルロボット、パラレルロボット、そして複雑なハイブリッドロボットに対して機能することにあります。

動きの可能性がマッピングされると、チームは同じ論理をロボットに作用する力に適用しました。彼らは、エネルギーと運動がどのように相互作用するかを支配する方程式、すなわち物理法則を、この新しい4点言語へと翻訳しました。これにより、彼らはロボットの動的な挙動を時間の経過とともにシミュレートできる汎用アルゴリズムを作成することができました。コンピュータは、重力、慣性、および外部からの押し出しを考慮しながら、ロボットがどのように揺れ、落下し、あるいは荷物を持ち上げるかを予測できます。これが機能することを証明するために、研究者たちはPythonプログラミング言語を用いてソフトウェアツールを構築しました。このソフトウェアを使用することで、ユーザーは複雑な数学的スクリプトを書くことなく、ロボットを定義し、その物理的特性を設定してシミュレーションを実行できます。

チームは、古典的な物理問題である「二重振り子」を用いて、このソフトウェアをテストしました。この装置は、上部のロッドが壁に固定された2本のロッドで構成されています。解放されると、ロッドは非常に混沌として予測不可能なパターンで揺れ動き、計算が極めて困難なことで知られています。研究者たちは、この動きを新しい手法を用いてシミュレートし、その結果をExudynと呼ばれる有名なオープンソースのシミュレーションパッケージの結果と比較しました。両方のシミュレーションにおいて、振り子の端点の軌跡、振りの速度、および関与する力は、ほぼ完全に一致しました。この端点の軌跡、振りの速度、および関与する力は、両方のシミュレーションで同一でした。この成功したテストは、彼らの普遍的な定式化が単なる理論的なアイデアではなく、正確で信頼できるデータを生み出す実用的なツールであることを裏付けました。

この研究の影響は、単にシミュレーションを高速化することにとどまりません。可動性と動力学を分析するための単一の明示的な公式を提供することで、研究者たちは新しいタイプのロボットを設計する際の大きな障壁を取り除きました。エンジニアは今後、スライド部品と回転部品を通常とは異なる方法で組み合わせたロボットのような、斬新な機構を、数学的モデルが失敗することを心配することなく実験できるようになります。彼らが開発したソフトウェアは検証プラットフォームとして機能し、設計者が金属を削り出す前に、仮想プロトタイプを構築しテストすることを可能にします。現在のバージョンは精度と普遍性に焦点を当てていますが、著者らは、将来の課題として、特に許容される動きを見つけるために必要なステップを合理化し、計算をさらに高速化することを目指すと述べています。現時点では、この新しい定式化は、機械の動きを理解するための明確で統一された道筋を提供しており、専門化された数学の断片的な風景を、単一の首尾一貫した研究分野へと変貌させています。