💻 computer science

Exploiting Aggregate Programming in a Multi-Robot Service Prototype

تقدم هذه الورقة وتتحقق من نموذج أولي لخدمة متعددة الروبوتات يستفيد من البرمجة التجميعية لمعالجة تعقيدات تنسيق الأنظمة الموزعة في البيئات الواقعية، مما يثبت فعاليتها من خلال كل من المحاكاة والاختبارات في مكتبة جامعية.

المؤلفون الأصليون: Giorgio Audrito (Dipartimento di Informatica, Universita' di Torino), Andrea Basso (MITO Technology), Daniele Bortoluzzi (Dipartimento di Informatica, Universita' di Torino), Ferruccio Damiani (Dipart

نُشر 2026-04-09

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

CC BY 4.0

المؤلفون الأصليون: Giorgio Audrito (Dipartimento di Informatica, Universita' di Torino), Andrea Basso (MITO Technology), Daniele Bortoluzzi (Dipartimento di Informatica, Universita' di Torino), Ferruccio Damiani (Dipartimento di Informatica, Universita' di Torino), Giordano Scarso (Dipartimento di Informatica, Universita' di Torino), Gianluca Torta (Dipartimento di Informatica, Universita' di Torino)

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

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

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

تقدم هذه الورقة البحثية حلاً ذكياً يسمى البرمجة التجميعية (Aggregate Programming - AP). فكر في الأمر ليس كإعطاء أوامر، بل كخلق "عقل خلية" أو سلوك "سرب الطيور".

الفكرة الجوهرية: استعارة "سرب الطيور"

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

استخدم الباحثون أسلوب برمجة (يعتمد على ما يسمى بـ "حساب التبادل" أو Exchange Calculus) يجعل الروبوتات تتصرف مثل هذا السرب.

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

قصة روبوتات المكتبة

إليك كيف يعمل النظام في نموذجهم الأولي:

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

ماذا يحدث عندما تسوء الأمور؟ (جزء "المرونة")

اختبر الباحثون هذا في طريقتين: محاكاة حاسوبية (Gazebo) وروبوتات حقيقية (iRobot Create3) في مكتبة حقيقية. لقد أدخلوا الفوضى ليروا ما إذا كان النظام سينكسر.

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

لماذا يعد هذا أمراً هاماً؟

عادةً، تشبه برمجة الروبوتات كتابة نص لمسرحية حيث يجب على كل ممثل اتباع نص صارم. إذا نسي أحد الممثلين جملة، تنهار المسرحية.

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

الخلاصة

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

باختوت الكلام: لقد علموا الروبوتات كيف تكون فريقاً ذاتي الترميم وذاتي التنظيم، مما يجعلها أكثر موثوقية لمساعدتنا في عالمنا الواقعي.

إليك ملخص تقني مفصل للورقة البحثية بعنوان "استغلال البرمجة التجميعية في نموذج أولي لخدمة متعددة الروبوتات" من إعداد أودريتو وآخرون.

1. بيان المشكلة

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

التعقيد العتادي (Hardware Complexity): إدارة المستشعرات والمشغلات المتباينة وقيود الاتصال.
التنسيق الموزع: ضمان اتخاذ قرار جماعي فعال في البيئات الفيزيائية حيث قد تتعرض الروبوتات للفشل، أو الحركة، أو الانقسام الشبكي.

تعتمد النهج التقليدية غالباً على التحكم المركزي أو بروتوكولات تمرير الرسائل الصريحة والمعقدة التي تتسم بالهشاشة أمام حالات الفشل. يهدف المؤلفون إلى إثبات أن البرمجة التجميعية (Aggregate Programming - AP) يمكن أن توفر نهج برمجة كلي (macro-programming) مرناً لتنسيق فريق من الروبوتات لمسألة تخصيص المهام متعددة الروبوتات (MRTA) دون الحاجة إلى بنية تحتية مركزية.

2. المنهجية

قام المؤلفون بتطوير نموذج أولي لنظام يتعاون فيه فريق من الروبوتات لتحديد مواقع الكتب للطلاب في مكتبة. تعتمد المنهجية الأساسية على حساب التبادل (eXchange Calculus - XC) ومكتبة Field Calculus++ (FCPP).

أ. بنية النظام

يتكامل النظام عبر ثلاث طبقات رئيسية (الشكل 2):

لوحة تحكم الويب (Web Dashboard): يطلب المستخدمون الكتب عبر منصة (kiosk).
محرك البرمجة التجميعية (AP Engine): مبني على FCPP (بلغة ++C)، وتعمل هذه الطبقة على كل روبوت (سواء كان محاكياً أو فيزيائياً). وهي تتولى المنطق الموزع، وتخصيص المهام، والمرونة.
طبقة التحكم ROS2: تعمل كجسر (Robot Writer و Robot Reader) بين محرك الـ AP وبين حزمة الملاحة (NAV2) والمستشعرات الخاصة بالروبوت. يقوم محرك الـ AP بكتابة الأهداف في ملفات نصية/مواضيع ROS، بينما تتولى طبقة ROS2 التخطيط الحركي منخفض المستوى وردود فعل القياس عن بعد.

ب. الخوارزمية التجميعية (MRTA)

تنفذ المنطق الجوهري نسخة من نوع ST-SR-IA (مهمة واحدة، روبوت واحد، تخصيص فوري) من مسألة MRTA مع ميزات محددة للبرمجة التجميعية:

العمليات التجميعية (Aggregate Processes): كل طلب كتاب وارد ( $T_j$ ) يطلق عملية تجميعية موزعة. إذا استلمت عدة روبوتات المهمة، فإن العمليات تندمج تلقائياً في عملية حسابية جماعية واحدة.
الإجماع عبر انتخاب القائد (Consensus via Leader Election): يحسب كل روبوت درجة محلية ( $r_{i,j}$ ) بناءً على المسافة إلى الكتاب ومستوى البطارية. وتستخدم الروبوتات عامل انتخاب القائد ذاتي الاستقرار (diameter_election) لإيجاد الروبوت صاحب الدرجة المثلى (أدنى قيمة) عبر الشبكة.
الاستقرار الذاتي (Self-Stabilization): تم تصميم الخوارزمية للتعامل مع التغيرات الديناميكية. فإذا فشل القائد الحالي أو ظهر مرشح أفضل (على سبيل المثال، بسبب استنزاف البطارية)، يقوم النظام بإعادة تخصيص المهمة تلقائياً دون تدخل خارجي.
حل النزاعات: في حالات انقسام الشبكة المؤقت حيث قد يدعي روبوتان نفس المهمة، يقوم النظام بحل النزاعات بمجرد استعادة الاتصال عن طريق تخصيص المهمة للروبوت صاحب الدرجة الأعلى.

ج. دالة التكلفة

تمنح آلية التسجيل الأولوية للكفاءة والمرونة:
$\text{score} = \text{dist} \times (1.0 - \text{percent\_charge})$
يضمن ذلك اختيار الروبوتات الأقرب إلى الهدف والتي تمتلك مستويات شحن أعلى.

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

أول نشر حقيقي للبرمجة التجميعية: حسب علم المؤلفين، هذا هو أول نظام ينشر خوارزمية AP على روبوتات فيزيائية (iRobot Create3)، متجاوزاً بذلك عمليات المحاكاة السابقة أو تطبيقات AP المركزية.
منطق تنسيق مرن: نجح النظام في التعامل مع:
- وصول المهام الديناميكي: المعالجة المتزامنة لطلبات الكتب المتعددة.
  المعالجة المتزامنة لطلبات الكتب المتعددة.
- فشل العقد (Node Failures): إعادة التخصيص التلقائي في حال فشل الروبوت أو استنزاف بطاريته.
- انقسام الشبكة: يستمر النظام في العمل ضمن شبكات فرعية معزولة ويندمج بشكل صحيح عند إعادة الاتصال.
التكامل العملي: تفصل الورقة التحديات الهندسية لربط الـ AP (الذي يفترض جولات غير متزامنة) مع ROS2 (الملاحة في الوقت الفعلي)، بما في ذلك التعامل مع زمن التأخير، وتعيين الرسائل، والقيود العتادية (مثل قيود الذاكرة RAM في Create3).
التحقق من الصحة: تم التحقق من النموذج الأولي في بيئتين:
- المحاكاة: باستخدام Gazebo مع ما يصل إلى 10 روبوتات.
- النموذج الأولي الفيزيائي: في بيئة مكتبة باستخدام روبوتات iRobot Create3 حقيقية مجهزة بـ LIDAR وأجهزة كمبيوتر مدمجة.

4. النتائج

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

5. الأهمية

هذا العمل مهم لأنه يسد الفجوة بين البرمجة التجميعية النظرية وهندسة الروبوتات العملية.

المرونة بالتصميم: يثبت أن عوامل الاستقرار الذاتي في الـ AP يمكنها التعامل مع الفشل الفيزيائي الحقيقي وعدم استقرار الشبكة دون الحاجة إلى أكواد معقدة ومخصصة للتعامل مع الأخطاء.
القابلية للتوسع: يتجنب هذا النهج الاختناقات المركزية، مما يجعله مناسباً لأسراب الروبوتات واسعة النطاق حيث قد يمثل الخادم المركزي نقطة فشل وحيدة.
المكدس الهندسي (Engineering Stack): توفر الورقة مخططاً ملموساً (الموجود في الشكل 1) لدمج منطق التجميع عالي المستوى مع أنظمة التحكم في الروبوتات منخفضة المستوى (ROS2)، مما يمهد الطريق لمستقبل روبوتات الخدمة في مجالات الرعاية الصحية، والاستكشاف، والخدمات اللوجستية.

في الختام، تثبت الورقة أن البرمجة التجميعية هي نموذج قابل للتطبيق، ومتين، وفعال لتنسيق أنظمة خدمة الروبوتات المتعددة في البيئات الديناميكية والواقعية.