⚡ electrical engineering

Hamilton--Jacobi Reachability for Spacecraft Collision Avoidance

تقدم هذه الورقة إطار عمل للوصول عبر معادلة هاميلتون-جاكوبي لتجنب تصادم قمرين صناعيين في مدارات دائرية، والذي ينمذج الحركة النسبية عبر ديناميكيات هيل-كلويس-ويلتشير ويصيغ المسألة كلعبة تفاضلية صفرية لحساب مجموعات الوصول العكسي، مما يوفر هوامش أمان مضمونة رياضياً لبدء مناورات التهرب في ظل أسوأ حالات الاضطرابات العدائية.

المؤلفون الأصليون: Larry Hui, Jordan Kam, William Su, Jianshu Zhou

نُشر 2026-05-20

📖 4 دقيقة قراءة☕ قراءة في استراحة قهوة

CC BY 4.0

المؤلفون الأصليون: Larry Hui, Jordan Kam, William Su, Jianshu Zhou

البحث الأصلي مرخَّص بموجب CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل

تخيل المدار الأرضي المنخفض (LEO) كأنه طريق سريع مزدحم وعالي السرعة في السماء. وبدلاً من السيارات، يمتلئ هذا الطريق بآلاف الأقمار الصناعية، بعضها جزء من "كوكبات" ضخمة (مثل أسطول من طائرات التوصيل بدون طيار) التي تزداد حجماً كل عام. ما هي المشكلة؟ إذا اقترب قمران صناعيان من بعضهما بشكل مفرط، فقد يصطدمان، مما يؤدي إلى سلسلة من الحطام الفضائي تجعل الطريق غير صالح للاستخدام للجميع.

تقترح هذه الورقة البحثية "نظام سلامة" جديداً لهذه الأقمار الصناعية، مصمماً ليعمل حتى عندما يكون "السائق" الآخر غير متوقع أو غير متعاون. وإليك كيف يعمل ذلك، مقسماً إلى مفاهيم بسيطة:

1. مشكلة "الجار غير المتعاون"

في الفضاء، تتواصل الأقمار الصناعية عادةً مع بعضها البعض لتجنب الاصطدامات. ولكن ماذا لو كان أحد الأقمار الصناعية معطلاً، أو يتصرف بغرابة، أو ببساطة يرفض التواصل؟ يعامل المؤلفون هذا القمر الصناعي غير المتعاون (اللاعب 2) كـ جار غامض وغير متوقع قد ينحرف فجأة أو يزيد من سرعته.

القمر الصناعي الذي يتم التحكم فيه (اللاعب 1) لا يعرف ما سيفعله هذا الجار. لذا، بدلاً من التخمين، يفترض النظام السيناريو الأسوأ: ماذا لو حاول الجار صدمي عن قصد؟

2. خريطة "منطقة الخطر" (المجموعة القابلة للوصول للخلف - Backward Reachable Set)

لحل هذه المشكلة، يستخدم المؤلفون أداة رياضية تسمى "الوصول عبر هاملتون-جاكوبي" (Hamilton-Jacobi Reachability). فكر في الأمر كأنه رسم خريطة ديناميكية لـ "منطقة الخطر" حول القمر الصناعي غير المتعاون.

الخريطة: ليست مجرد دائرة ثابتة؛ بل هي فقاعة رباعية الأبعاد تتوسع بالرجوع إلى الوراء في الزمن.
المنطق: إذا كان قمرك الصناعي داخل هذه الفقاعة، فهذا يعني أنه مهما حاولت التوجيه أو الكبح، يمكن للجار غير المتعاون أن يجبرك على الاصطدام. أنت "محكوم عليك" بالفعل في ظل السيناريو الأسوأ.
ضمان السلامة: إذا كان قمرك الصناعي خارج هذه الفقاعة، فإن الرياضيات تثبت أنه يوجد مسار واحد على الأقل يمكنك اتخاذه للبقاء آمناً، حتى لو بذل الجار قصارى جهده لضربك.

3. "شرطي المرور" (منطق التحكم الهجين)

الورقة البحثية لا تكتفي برسم الخريطة فحسب؛ بل تبني أيضاً "شرطي مرور" آلي (آلة هجينة - hybrid automaton) يراقب موقع القمر الصناعي بالنسبة لمنطقة الخطر هذه.

الوضع الطبيعي: طالما أن القمر الصناعي بعيد تماماً عن منطقة الخطر، فإنه يستمر في مساره الطبيعي.
التحول: في اللحظة التي يقترب فيها القمر الصناعي من حافة منطقة الخطر، يقوم "شرطي المرور" بتبديل المفتاح فوراً.
وضع المراوغة: يتخلى القمر الصناعي فوراً عن مساره الطبيعي وينفذ "مناورة هروب" مخططة مسبقاً. تقترح الورقة أربع حركات محددة، مثل:
- الانجراف للأعلى والتأخر في الخلف.
النزول للأسفل والتقدم للأمام بسرعة.
- الكبح بقوة للسماح للآخر بالمرور.
- زيادة السرعة لتجاوز الآخر.
الاستعادة: بمجرد مرور الخطر والعودة إلى "المنطقة الآمنة"، يقوم "شرطي المرور" بتوجيه القمر الصناعي للعودة إلى مساره الأصلي.

4. قواعد اللعبة

يصيغ المؤلفون هذا الموقف بأكمله كـ لعبة صفرية المجموع (مثل مباراة شطرنج حيث فوز أحد اللاعبين هو خسارة للآخر).

اللاعب 1 (البطل): يحاول تجنب الاصطدام باستخدام وقود ودوافع محدودة.
اللاعب 2 (الشرير): يحاول التسبب في اصطدام باستخدام قوى "محدودة" ولكن غير معروفة.

تقوم الرياضيات بحساب نتيجة هذه اللعبة. وهي تخبرنا بالضبط أين يمكن أن يكون "البطل" لضمان الفوز (البقاء على قيد الحياة)، بغض النظر عما يفعله "الشرير".

5. القيود (افتراض "الأرض المسطحة")

من المهم ملاحظة ما لا تفعله هذه الورقة البحثية بعد. يعترف المؤلفون بأنهم ينظرون حالياً إلى المشكلة من منظور ثنائي الأبعاد (مسطح)، مثل النظر إلى خريطة من الأعلى مباشرة. إنهم يتجاهلون:

حركة الأقمار الصناعية "للأعلى" أو "للأسفل" خارج المستوى المسطح.
تأثيرات الجاذبية المعقدة الناتجة عن شكل الأرض غير المنتظم.

هذه الأمور تعتبر "خطوات تالية". في الوقت الحالي، ضمانات السلامة الخاصة بهم مخصصة حصرياً للأقمار الصناعية التي تتحرك في نفس المدار الدائري المسطح.

الملخص

باختصار، تبني هذه الورقة البحثية شبكة أمان رياضية للأقمار الصناعية. فهي تحسب بدقة خط "عدم تجاوز" بناءً على أسوأ سلوك ممكن لقمر صناعي مارق. إذا تجاوز القمر الصناعي هذا الخط، يتولى نظام آلي السيطرة فوراً لتنفيذ مناورة هروب مضمونة السلامة، مما يضمن أنه حتى في بيئة فضائية فوضوية، يمكن إثبات إمكانية تجنب الاصطدام رياضياً.

ملخص تقني: إمكانية الوصول عبر معادلة هاميلتون-جاكوبي لتجنب تصادم المركبات الفضائية

بيان المشكلة
يمثل التوسع السريع في كوكبات المدار الأرضي المنخفض (LEO)، مثل مشروع "ستارلينك" التابع لشركة "سبيس إكس"، تحديًا لهياكل إدارة حركة المرور الفضائية الحالية. إن أساليب فض الاشتباك التقليدية القائمة على الأرض والتخطيط الاستراتيجي للمناورات غير كافية لمواكبة حجم الكوكبات المستقبلية (التي قد تصل إلى 42,000 مركبة فضائية). تتناول هذه الورقة البحثية الحاجة إلى طبقات سلامة مؤتمتة ومؤسسة رياضياً للتعامل مع تجنب التصادم بين قمر صناعي متحكم به وقمر صناعي آخر غير متعاون أو ثانوي ضمن نفس المدار الدائري. ويتمثل التحدي الجوهري في تحديد متى يجب بدء مناورات المراوغة لضمان السلامة رغم النوايا غير المعروفة والاضطرابات المحدودة للقمر الصناယ် غير المتعاون.

المنهجية
يقترح المؤلفون إطار عمل رسمياً يعتمد على تحليل إمكانية الوصول عبر "هاميلتون-جاكوبي" (HJ reachability)، والذي تمت صياغته كـ "لعبة تفاضلية صفرية المجموع".

الديناميكيات والنمذجة:
- يتم نمذجة الحركة النسبية في إطار (الراديالي-المماسي-العمودي) (RTN) باستخدام ديناميكيات "هيل-كلوسي-ويلتشير" (HCW) المستوية، مما يوفر تقريباً خطياً محلياً للحركة المدارية.
- تمثل حالة النظام $X = [x, y, \dot{x}, \dot{y}]^\top$ المواقع والسرعات المماسية والراديالية.
- اللاعب الأول (القمر الصناعي المتحكم به): يطبق مدخلات تحكم محدودة (تسارعات $u$ ) لتجنب التصادم.
- اللاعب الثاني (القمر الصناعي غير المتعاون): يُنمذج كاضطراب عدائي محدود $d$ ذي نوايا غير معروفة، مما يمثل أسوأ حالات التسارع النسبي.
بنية النظام الهجين:
يتم نمذجة عملية اتخاذ القرار كنظام آلي هجين يتكون من ثلاث حالات منفصلة:
- $q_{nom}$ : الحفاظ على الموقع الاسمي أو المداري.
- $q_{eva}$ : تنفيذ مناورات نشطة لتجنب التصادم.
- $q_{ret}$ : مرحلة استعادة المسار.
  تُحكم الانتقالات بين هذه الأنماط بواسطة "شروط الحراسة" بناءً على حالة النظام بالنسبة لمجموعة الوصول الخلفي (BRS) ومناطق الاستعادة الآمنة.
صياغة إمكانية الوصول:
- المجموعة المستهدفة ( $T$ ): تُعرف بأنها مجموعة التكوينات النسبية غير الآمنة التي تنتهك معايير الفصل الدنيا للجنة الاتصالات الفيدرالية (FCC) (منطقة تصادم فيزيائي).
- مجموعة الوصول الخلفي (BRS): يتم حسابها عبر معادلة "هاميلتون-جاكوبي-إيزاكس" (HJI) التفاضلية الجزئية. وتحدد هذه المجموعة كافة الحالات الأولية التي يكون فيها التصادم حتمياً في ظل أسوأ حالات الاضطراب، بغض النظر عن التحكم الأمثل للاعب الأول.
- ضمان السلامة: المسارات خارج مجموعة الوصول الخلفي (BRS) تسمح بمسارات خالية من التصادم بشكل مثبت. يعمل حد الـ BRS كسطح تبديل حرج؛ فإذا اقتربت حالة النظام من هذا الحد، يقوم النظام الآلي الهجين بتفعيل الانتقال إلى نمط المراوغة ( $q_{eva}$ ).
استراتيجيات التحكم:
- الوضع الاسمي/الاستعادة: يستخدم قوانين التحكم بالتناسب والاشتقاق (PD) لدفع القمر الصناعي إلى المواقع والسرعات النسبية المطلوبة.
- مناورات المراوغة: تم تعريف أربعة أنماط هروب محددة بناءً على هندسة (RTN):
  1. دفع راديالي موجب (ينحرف للخلف).
  2. دفع راديالي سالب (يتسارع للأمام).
  3. كبح مماسي بحت.
  4. تسارع مماسي بحت.

المساهمات الرئيسية

إطار عمل رسمي للسلامة: تدمج الورقة تحليل إمكانية الوصول عبر (HJ) مع منطق التحكم الإشرافي الهجين لتوفير ضمانات سلامة صارمة في أسوأ الحالات لتجنب تصادم الأقمار الصناعية.
النمذجة العدائية: بخلاف طرق الفحص الاحتمالية، يتعامل هذا النهج مع القمر الصناعي غير المتعاون كاضطراب محدود، مما يضمن السلامة حتى في ظل أكثر المناورات عدوانية (ضمن الحدود) من قبل الطرف الآخر.
تصميم النظام الآلي الهجين: حدد المؤلفون منطق تبديل محدد يحدد بدقة متى يتم التخلي عن العمليات الاسمية لصالح مناورات المراوغة ومتى يتم العودة إلى الحفاظ على الموقع، وذلك بناءً على مجموعات الوصول المحسوبة.
اعتبارات القابلية للتوسع: تم تصميم إطار العمل مع وضع البنى اللامركزية في الاعتبار، بما يتناسب مع عمليات فض الاشتباك على مستوى كل مركبة على حد سواء في الكوكبات الكبيرة.

النتائج
تحقق المؤلفون من صحة إطار العمل باستخدام محاكاة عددية مع صندوق أدوات "طرق المستوى المجموعات" (Level Set Methods Toolbox) المعدل.

معايير المحاكاة: افترضت عمليات المحاكاة مداراً أرضياً منخفضاً بارتفاع 500 كم، وحدود دفع متماثلة قدرها $\pm 0.1 \, \text{m/s}^2$ للقمر الصناعي المتحكم به، واضطرابات محدودة قدرها $\pm 0.05 \, \text{m/s}^2$ للقمر الصناعي غير المتعاون.
التحقق: نجحت الدراسة في حساب مجموعات الالتقاط ثنائية وثلاثية الأبعاد وأنابيب الوصول الخلفي. وتظهر النتائج أن النظام الآلي الهجين يحدد بشكل صحيح حدود التبديل بين الأنماط الاسمية، والمراوغة، والاستعادة.
التحقق من السلامة: تؤكد المجموعات المحسوبة أن الحالات خارج الـ BRS تسمح بمسارات خالية من التصادم بموجب قوانين التحكم والاضطرابات المحددة.

الأهمية والادعاءات
تدعي الورقة تقديم بديل صارم رياضياً لطرق تجنب التصادم الاحتمالية البحتة. ومن خلال استخدام تحليل (HJ reachability)، يوفر إطار العمل هوامش سلامة صريحة لأسوأ الحالات، وهو أمر بالغ الأهمية لاستدامة كوكبات الأقمار الصناعية الكبيرة في المستقبل. ويؤكد المؤلفون أن نهجهم يتيح "سلوكيات آمنة مثبتة" و"قرارات إشرافية مؤسسة رياضياً".

تظل الورقة متواضعة فيما يتعلق بنطاقها الحالي، حيث تشير إلى ما يلي:

يقتصر التحليل على ديناميكيات (HCW) المستوية (2D)، متجاهلاً الحركة خارج المستوى، والاضطرابات الموسمية (مثل $J_2$ )، والتأثيرات المدارية غير الخطية.
مجموعات الوصول المحسوبة هي ضمانات رسمية خاصة بالنموذج الخطي المعتمد.
الصياغة الحالية محافظة؛ فهي تفترض أن جميع تجليات الاضطراب الممكنة هي حالات محتملة، مما قد يؤدي إلى المبالغة في تقدير الحالات غير الآمنة.

تتضمن الأعمال المستقبلية التي حددها المؤلفون توسيع إطار العمل ليشمل الحركة النسبية ثلاثية الأبعاد الكاملة (3D)، ودمج الاضطرابات المدارية الأكثر واقعية، وتطوير تقريبات قابلة للتوسع (مثل التفكيك أو الدوال القيمية المتعلمة) لمعالجة التعقيد الحسابي لحسابات إمكانية الوصول عالية الأبعاد.