Dynamic Haven Selection for Multi-Agent Pickup and Delivery in Constrained Warehouses
تقدم هذه الورقة البحثية خوارزمية A-sharp، وهي خوارزمية تكيفية تعيد تخصيص مواقع انتظار مخصصة (Havens) للروبوتات في المستودعات ذات المساحات المحدودة بشكل ديناميكي لمنع التعارضات وتقليل زمن الإنجاز (makespan) بشكل كبير مقار Pr بأسلوب SHARP الثابت، مع ضمان إتمام المهام رياضياً.
في عالم الخدمات اللوجستية المؤتمتة الصاخب وعالي المخاطر، تتحرك أساطيل من الروبوتات الصغيرة بسرعة عبر ممرات المستودعات لنقل الطرود من الأرفف إلى أرصفة الشحن. ولا يكمن التحدي في إيجاد مسار فحسب، بل في ضمان قدرة مئات من هذه الآلات على التحرك في وقت واحد دون الاصطدام ببعضها البعض أو الوقوع في ازدحام مروري يؤدي إلى توقف العملية بأكملها. هذه مشكلة تنسيق في المساحات الضيقة. فعندما يتم تصميم المستودع لتحقيق أقصى قدر من الكفاءة، تكون الممرات غالباً بعرض يكفي فقط لروبوت واحد، وتكون العديد من محطات العمل عبارة عن طرق مسدودة لا يمكن للروبوت أن يستدير فيها. وفي مثل هذه البيئة المزدحمة، إذا أنهى روبوت مهمته وانتظر ببساطة في منتصف الممر، فإنه سيعيق الجميع. ولحل هذه المشكلة، طور المهندسون استراتيجية سلامة حيث يُضمن لكل روبوت، بعد تسليم طرد، مكان انتظار محدد ومحمي — "ملاذ آمن" — لا يُسمح لأي روبوت آخر بدخوله. وهذا يضمن أنه حتى لو كان المستودع مكتظاً، فإن لكل روبوت مكاناً للتراجع إليه، مما يمنع حدوث الجمود.
كان السؤال الذي طرحه الباحثون في جامعة هوكايدو وشركة تويوتا للصناعات هو ما إذا كان يمكن جعل قاعدة السلامة هذه أكثر ذكاءً. في النظام الحالي، كان الملاذ الآمن للروبوت ثابتاً؛ فبمجرد تخصيصه، كان على الروبوت العودة إلى نفس البقعة تماماً في كل مرة، حتى لو كانت بعيدة أو كان هناك مكان فارغ أقرب. وتساءل الباحثون عما إذا كان بإمكانهم السماح للروبوتات بالانتقال إلى ملاذ آمن مختلف عندما يكون ذلك منطقياً، دون كسر ضمانات السلامة التي تحافظ على سير العمل في المستودع. وقد طوروا طريقة جديدة تسمى (A-sharp)، والتي تسمح للروبوت باختيار ملاذ آمن جديد قريب في اللحظة التي يُعطى فيها مهمة جديدة، بشرط أن يكون ذلك المكان خالياً وآمناً حقاً.
كانت الصعوبة الجوهرية في إجراء هذا التغيير هي أن تغيير وجهة الروبوت قد يتسبب عرضاً في تصادم أو حالة من الجمود. فإذا قرر روبوت التوجه نحو ملاذ آمن جديد، فقد يكون روبوت آخر قد خطط بالفعل لمسار عبر تلك البقعة نفسها، أو قد تكون البقعة الجديدة لا تزال مشغولة مادياً بالروبوت الذي كان يملكها سابقاً. ووجد الباحثون أن مجرد إخبار الروبوت بالذهاب إلى أقرب مكان فارغ لم يكن كافياً؛ بل احتاج النظام إلى بروتوكول صارم لإدارة عملية تسليم هذه الأماكن المحمية. وتضمن حلهم فحصاً من خطوتين: أولاً، يتحقق النظام من أن البقعة الجديدة ليست محجوزة لأي مسار مستقبلي لروبوت آخر. ثانياً، إذا كان روبوت يغادر مكانه الحالي للذهاب إلى مكان جديد، فإن النظام يبقي المكان القديم "مقفلاً" لهذا الروبوت تحديداً حتى يتحرك بعيداً فعلياً. وهذا يمنع الروبوتات الأخرى من التخطيط لمسار عبر بقعة لا تزال مشغولة، حتى لو كان الروبوت قد قرر بالفعل المغادرة.
ولاختبار هذه الفكرة، أجرى الفريق عمليات محاكاة ضخمة باستخدام أربعة نماذج مختلفة لتخطيط المستودعات، تتراوح من الشبكات المفتوحة القياسية إلى الهياكل الشجرية الضيقة التي تحتوي على العديد من الطرق المسدودة. وقد قاموا بمحاكاة أكثر من 72,000 عملية تشمل آلاف الروبوتات وملايين المهام. وأظهرت النتائج أن طريقتهم الجديدة (A-sharp) كانت بنفس موثوقية نظام البقعة الثابتة القديم، حيث نجحت في تسليم كل مهمة في كل عملية محاكاة دون أي حوادث أو حالات جمود. والأهم من ذلك، أن الطريقة الجديدة كانت أسرع بشكل ملحوظ. ففي النماذج الأكثر تحدياً، وهي التخطيطات الضيقة التي تشبه المستودعات الواقعية عالية الكفاءة في استخدام المساحة، قللت المنظومة الجديدة من الوقت الإجمالي لإكمال جميع عمليات التسليم بنسبة 16.7 بالمائة في المتوسط. وفي بعض التكوينات المحددة، كان التحسن أعلى من ذلك. كما وجد الباحثون أن النظام الجديد لا يتطلب المزيد من قوة الحوسبة لتشغيله؛ بل في الواقع، نظرًا لأن الروبوتات تقطع مسافات أقصر للوصول إلى ملاذاتها الآمنة الجديدة والأقرب، فإن وقت المحاكاة الإجمالي كان غالباً أقل.
وقد استبعدت الدراسة صراحةً فكرة أن التبديل الديناميكي سيكون غير آمن أو عرضة للأخطاء. فمن خلال إثبات أن البروتوكول الخاص بهم يحافظ رياضياً على قواعد السلامة، أظهروا أن مرونة اختيار ملاذ جديد لم تخل بضمان وصول كل روبوت إلى وجهته في النهاية. كما أثبتوا أن النظام القديم المتصلب لم يكن الطريقة الوحيدة لضمان السلامة، وأن نهج البقعة الثابتة كان في الواقع عائقاً في البيئات المعقدة والمزدحمة. ولم يدّعِ الباحثون أن هذا حل سحري لجميع مشاكل المستودعات الممكنة، ولم يشيروا إلى أنه يمكنه التعامل مع الأعطال الميكانيكية غير المتوقعة أو التأخيرات في العالم الحقيقي. بدلاً من ذلك، قدموا طريقة دقيقة ومثبتة لجعل أساطيل الروبوتات أكثر كفاءة في البيئات المحددة والمقيدة حيث يرجح أن تتعثر. ويؤكد هذا العمل أنه من خلال الإدارة الدقيقة لكيفية مشاركة الروبوتات لمواقع انتظارها، يمكن للمستودعات نقل المزيد من البضائع في وقت أقل دون التضحية بالسلامة التي تضمن سير العمل بسلاسة.
ملخص تقني: الاختيار الديناميكي للملاذ (Haven) في مهام الالتقاط والتسليم متعددة الوكلاء في المستودعات المقيدة
بيان المشكلة
تتناول هذه الورقة مشكلة الالتقاط والتسليم متعدد الوكلاء (MAPD) ضمن بيئات المستودعات المقيدة التي تتميز بممرات بعرض وكيل واحد، ومحطات عمل ذات نهايات مسدودة، ومسارات توجيه شجرية. في مثل هذه التخطيطات، غالبًا ما تفشل افتراضات البحث عن المسار متعدد الوكلاء (MAPF) القياسية (مثل التكوين الجيد أو الاتصال ثنائي الاتجاه)، مما يؤدي إلى احتمالية حدوث حالات استعصاء (deadlocks) حيث يمكن للوكلاء المنتظرين أو العائدين سد الممرات الضيقة.
لضمان اكتمال الإصدار المحدود (ضمان تسليم كل مهمة يتم إصدارها في النهاية)، قدمت الأعمال السابقة نظام مخطط تراجع الملاذ الآمن (SHARP). يقوم SHARP بربط كل مسار مهمة ملتزم بها بمسار تراجع تم التحقق من صحته إلى "الموضع الأولي المخصص" للوكيل (وهو "الملاذ" أو الـ Haven). وبينما يضمن هذا الأمان، إلا أنه يعاني من الجمود: إذ يكون هدف التراجع ثابتًا طوال فترة التشغيل. فإذا أتم وكيل عملية تسليم بالقرب من موقع انتظار آمن مختلف، فقد يضطر للعودة إلى ملاذه الأولي البعيد، مما يتسبب في وقت سفر غير ضروري وقد يزيد من زمن الإنجاز الكلي (makespan).
يتمثل التحدي الجوهري الذي تعالجه الورقة في كيفية السماح بتغيير هدف تراجع الوكيل ديناميكيًا (باختيار ملاذ قريب متاح) دون انتهاك ثوابت الأمان المطلوبة لتحقيق الاكتمال. إن نهج التبديل البسيط ينطوي على خطر حدوث نمطين من الفشل:
انتهاك سلامة التنفيذ: يقوم الوكيل بتحرير ملاذه الحالي قبل المغادرة الفعلية، مما يسمح لوكيل آخر بالتخطيط للمرور عبر نقطة لا تزال مشغولة فعليًا.
انتهاك استبعاد الحجز: يختار الوكيل ملاذًا غير مملوك حاليًا ولكنه محجوز لمسار مستقبلي لوكيل آخر، مما يخلق تعارضًا في "النقطة والزمن" (vertex-time conflict).
المنهجية: A♯ (الـ SHARP المتكيف)
يقترح المؤلفون A♯، وهو طريقة اختيار ملاذ ديناميكية توسع إطار عمل SHARP. إن A♯ ليس نوعًا من بحث A*، بل هو خوارزمية تخطيط متكيفة لعمليات MAPD عبر الإنترنت (online).
الآليات الجوهرية
الاختيار الديناميكي للملاذ: عند تعيين المهمة، يختار الوكيل ملاذًا مستهدفًا من مجموعة المرشحين المتاحين بناءً على القرب من موقع التسليم، بدلاً من الاقتصار على ملاذه الأولي.
اختبار التوافر: يُعتبر الملاذ المرشح متاحًا فقط إذا كان:
ليس مملوكًا لوكيل آخر (يتم التحقق عبر المجموعات الحصرية).
ليس مشغولًا بأي حجز مسار مستقبلي ملتزم به لوكيل آخر.
قاعدة التحرير المعلق (Pending-Release Rule): لمنع انتهاكات سلامة التنفيذ، إذا انتقل الوكيل بعيدًا عن ملاذ يشغله حاليًا، يظل الملاذ القديم في المجموعة الحصرية للوكيل (محميًا) حتى يغادر الوكيل ذلك الموقع فعليًا. يضمن هذا بقاء رؤية الملكية ورؤية التنفيذ للنقطة متسقتين.
انتقال الحالة الذري (Atomic State Transition): يتم تحديث المسار، وتعيين الملاذ، والمجموعة الحصرية كعملية انتقال حالة ذرية واحدة. هذا يمنع الوكلاء الآخرين من ملاحظة حالة جزئية حيث يكون المسار ملتزمًا به ولكن الملكية لم تُنقل بعد.
التدفق الخوارزمي
حلقة التعيين: في كل خطوة زمنية، تمر الخوارزمية عبر الوكلاء المؤهلين (العاطلين أو المتراجعين).
الاختيار الجشع (Greedy Selection): لكل وكيل، يختار أقرب مهمة معلقة وأقرب ملاذ متاح.
التحقق: يستخدم نظام تخطيط المسار بالفترات الآمنة (SIPP) للتحقق من مسار كامل: الموقع الحالي ← الالتقاط ← التسليم ← الملاذ المختار.
الالتزام: إذا كان المسار صالحًا، يتم استبدال حجز المستقبل للوكيل بشكل ذري، ويتم تحديث تعيين المخلذ، وتُطبق قاعدة التحرير المعلق في حال حدوث انتقال.
المساهمات الرئيسية
خوارزمية A♯: امتداد ديناميكي لملاذات SHARP يتميز ببروتوكول نقل ملكية مدعوم باختبار التوافر وقاعدة التحرير المعلق.
الضمانات النظرية: يثبت المؤلفون أنه تحت شروط هيكل الملاذ الصريحة (نواة المهام المتصلة، الملاذات المجاورة للنواة، ونقاط نهاية المهام في النواة) وافتراضات SIPP:
الحفاظ على الثوابت: التحديثات الديناميكية تحافظ على الحصرية (لا يتشارك وكيلان في ملاذ واحد) وثوابت الحجز.
الاكتمال للإصدار المحدود: يتم تسليم كل مهمة في أي تسلسل إصدار محدود.
التقييم التجريبي: اختبار واسع النطاق عبر 72,000 تشغيل على 14,400 حالة (خريطة-وكيل-معدل-بذرة) مزدوجة.
النتائج التجريبية
قارنت عملية التقييم A♯ مقابل خط الأساس SHARP (ذو الملاذ الثابت) وطرق أخرى تعتمد على الافتراضات الهيكلية (TP, PIBT, PIBTTP-TA) عبر أربعة أنواع من الخرائط: جيدة التكوين، ضيقة ثنائية الاتجاه، ضيقة ثنائية الاتجاه مع نهايات مسدودة، وخريطة هيكلية شجرية.
معدل النجاح: حقق كل من SHARP و A♯ نسبة نجاح 100% عبر جميع التكوينات المختبرة، مما يؤكد أن نقل الملاذ الديناميكي لا يخل بمتانة آلية التراجع للملاذ الآمن. في المقابل، فشلت الطرق التي تعتمد على افتراضات التكوين الجيد أو الاتصال ثنائي الاتجاه في الخرائط المقيدة.
تحسين زمن الإنجاز (Makespan):
في الخريطة الشجرية (شديدة التقييد)، قلل A♯ من وسيط زمن الإنجاز بنسبة 16.7% مقارنة بـ SHARP.
عبر 138 تكوينًا من "فائض الملاذ" (حيث ∣A∣<∣H∣)، كان A♯ أفضل بشكل ملحوظ في 107 تكوينات ولم يكن أسوأ بشكل كبير من SHP بعد تصحيح Holm.
على المعيار العام جيد التكوين، كانت التحسينات متواضعة (~1.8%)، كما هو متوقع، لأن الملاذات الثابتة تكون أقل ضررًا في التخطيطات المفتوحة.
وقت الخدمة: بينما حسن A♯ وقت الخدمة عمومًا في الخريطة الشجرية، كانت النتائج مختلطة في الخرائط الضيقة ثنائية الاتجاه. في بعض الحالات، تسبب نهج "أقرب ملاذ" الجشع في ازدحام محلي، مما أدى إلى زيادات طفيفة في وقت الخدمة مقارنة بخط أساس الملاذ الثابت. يشير المؤلفون إلى أن هذا قصور في النهج الجشع وليس فشلًا في بروتوكول نقل الملكية.
وقت الحوسبة: لم يتسبب A♯ في تكاليف حوسبية أعلى باستمرار. في كثير من الحالات، عوضت التزامات التراجع الأقصر تكلفة فحوصات التوافر الإضافية.
الأهمية والادعاءات
تدعي الورقة أن تخطيط تراجع الملاذ الآمن الموجه نحو الإكمال يمكن جعله ديناميكيًا في التخطيطات الضيقة أو تلك التي تكثر فيها النهايات المسدودة دون كسر ضمانات الأمان أو الاكتمال.
الأمان مقابل المرونة: يوضح العمل أن هدف التراجع لا يجب أن يكون ثابتًا لضمان الأمان. نجح بروتوكول نقل الملكية المقترح في ربط تعيين المهام عبر الإنترنت، وحجوزات المسار المستقبلية، وملكية موقع الانتظار الحصري.
الأثر العملي: هذه الطريقة فعالة بشكل خاص في تخطيطات المستودعات الموفرة للمساحة (مثل المسارات الشجرية) حيث تجبر الملاذات الثابتة الوكلاء على سفر غير ضروري.
التواضع بشأن النهج الجشع: صرح المؤلفون صراحةً أن مكاسب الأداء مدفوعة بـ قدرة الاختيار الديناميكي مقترنة بـ نهج أقرب ملاذ. وأقروا بأن نهج "أقرب ملاذ" ليس مثاليًا لتجنب الازدحام، واقترحوا أن البروتوكول يمكنه دعم مختارات متعلمة أو قائمة على الأمثلة في المستقبل، بشرما تلتزم بمعايوهات التوافر والالتزام.
القيود: تعتمد الضمانات على تنفيذ زمني منفصل حتمي وجدول حجز مركزي. لا تدعي الورقة المتانة ضد تأخيرات التنفيذ، أو أخطاء التمركز، أو العوائق الديناميكية خارج الفريق المخطط له. بالإضافة إلى ذلك، يفترض الإطار وجود ملاذات متميزة (∣A∣≤∣H∣)؛ الأساطيل الأكثر كثافة ستتطلب آليات مواقف مشتركة لا تغطيها هذه الورقة.