في عالم الطيران المتسارع، تعتبر عملية تخطيط الرحلات الجوية من المهام الحيوية التي تتطلب دقة عالية وأماناً فوق كل اعتبار. أحدث الدراسات في هذا المجال قدمت حلاً مبتكراً لمشكلة المسارات الأقصر المقيدة بالمنطق (Logic-Constrained Shortest Path Problem - LCSPP)، ما يُعدّ تقدماً كبيراً في كيفية إدارة الحركة الجوية.

تجمع هذه المشكلة بين البحث عن أقصر مسار أحادي مع القيود المتعلقة بالرضا المفروض على رسم المسار، وهو أمر مؤثر بشكل خاص في تخطيط الرحلات، حيث تفرض سلطات مراقبة الحركة الجوية مجموعة من القيود لتدفق حركة الطيران (Traffic Flow Restrictions - TFRs) بهدف رفع مستوى الأمان وزيادة قدرة المرور.

قُدمت خوارزمية جديدة تعتمد على طريقة تفرع وحدود (Branch and Bound) لتحل هذه المشكلة، مع التركيز على ثلاثة عناصر رئيسية: قاعدة اختيار العقد، قاعدة التفرع، والصراع. بينما تم دراسة قواعد اختيار العقد والتفرع بشكل واسع في مجتمع الرياضيات المعززة (MIP) ومشكلة الرضا (SAT)، فإن معظمها لا يمكن تطبيقه مباشرة على LCSPP. لذلك، أخذ الباحثون في الاعتبار تطوير نسخ مخصصة من القواعد الأكثر شهرة.

تُعتبر مجموعة الصراعات، والتي تُطبق عليها قاعدة التفرع، فريدة من نوعها في LCSPP، لذا قام الباحثون بتحليل تأثيرها النظري على خوارزمية تفرع وحدود. في الجزء الثاني من الدراسة، تم توضيح كيفية نمذجة مشكلة تخطيط الرحلات مع TFRs كمشكلة LCSPP وحلها عبر خوارزمية التفرع والحد، حيث تم اختبار كفاءة الخوارزمية على مجموعة بيانات تتضمن رسم طيران عالمي وأكثر من 20,000 TFR حقيقية تم الحصول عليها من شريك الصناعة Lufthansa Systems GmbH.

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

هل ترغب في معرفة المزيد عن كيفية تطبيق هذه الخوارزمية في مجال الطيران المتقدم؟ شاركنا آرائك في التعليقات.