APEX-RBD: Mixed-Precision Exploration Framework for Hardware-Efficient Robot Dynamics Accelerator Design
يُعد APEX-RBD إطار عمل مؤتمتًا يتيح استكشافًا فعالًا للدقة المختلطة لمسرعات ديناميكيات الروبوت من خلال الاستفيدادة من تقليم مساحة البحث المدفوع بالفيزياء ونموذج بديل كفء في البيانات لتحديد تكوينات الأجهزة التي تقلل بشكل كبير من استهلاك المساحة والطاقة مع الحفاظ على دقة الحركة.
تعتمد الروبوتات التي تتحرك بمرونة الكائنات الحية على محادثة مستمرة وعالية السرعة بين مستشعراتها وعضلاتها. وفي قلب هذه المحادثة تكمن مجموعة من الحسابات تُعرف باسم ديناميكيات الأجسام الصلبة. هذه هي القواعد الرياضية التي تحدد كيف ستتأرجح أطراف الروبوت، وكم مقدار القوة المطلوبة لرفع جسم ما، وكيف ستكون ردة فعل الآلة عندما تتعثر. ولكي يتحرك الروبوت في الوقت الفعلي، يجب أن تتم هذه الحسابات آلاف المرات في كل ثانية. فإذا كان الكمبيوتر داخل الروبوت بطيئاً جداً، فإن الآلة ستتعثر أو تسقط؛ وإذا كان كبيراً جداً أو يستهلك الكثير من الطاقة، فلن تتمكن طائرة مسيرة أو روبوت يمشي من حمله. لسنوات، حاول المهندسون بناء رقائق خاصة لتسريع هذه الحسابات، لكن الرقائق نفسها أصبحت تشكل عائقاً؛ فهي غالباً ما تكون كبيرة جداً وتستهل الكثير من الكهرباء بحيث لا يمكن وضعها على حافة الروبوت (the edge)، مما يفرض مقايضة صعبة بين مدى ذكاء الآلة ومدة تشغيلها.
يكمن التحدي في طبيعة الرياضيات نفسها. ولجعل هذه الحسابات أسرع، غالباً ما يستخدم المهندسون تقنية تسمى "الكمية" (quantization)، وهي تبسيط الأرقام التي يستخدمها الكمبيوتر. تخيل أنك تحاول قياس المسافة إلى جدار باستخدام مسطرة تحتوي فقط على علامات بوصة مقابل أخرى تحتوي على علامات مليمتر؛ مسطرة البوصة أسرع في القراءة ولكنها أقل دقة. في الماضي، حاول الباحثون تبسيط كل رقم في حسابات الروبوت باستخدام نفس مستوى الدقة، مثل استخدام مسطرة تحتوي على علامات بوصة فقط للوظيفة بأكملة. هذا النهج، رغم بساطته، يعد هدراً؛ فهو يعامل كل رقم كما لو كان يحتاج إلى نفس المستوى من التفاصيل، حتى عندما تكون بعض أجزاء الحساب متسامحة مع الخطأ وأجزاء أخرى حرجة. فخطأ صغير في حساب معين يمكن أن يتسبب في انحراف الروبوت عن مساره، لكن خطأً كبيراً في جزء آخر قد لا يُلاحظ. كانت المشكلة هي أن العثور على التوازن المثالي للدقة لكل رقم كان يشبه البحث عن إبرة في كومة قش يتغير حجمها باستمرار.
قام فريق من الباحثين في جامعة هونغ كونغ للعلوم والتكنولوجيا بتطوير إطار عمل جديد يسمى APEX-RBD لحل هذه المشكلة. فبدلاً من إجبار كل رقم على أن يكون متساوياً، يقوم نظامهم تلقائياً بتحديد مقدار الدقة التي يحتاجها كل جزء من الحساب. لقد أدركوا أن بعض المتغيرات في دماغ الروبوت حساسة جداً للأخطاء، بينما غيرها ليس كذلك. ومن خلال منح الأجزاء الحساسة دقة عالية والأجزاء الأقل حساسية دقة منخفضة، استطاعوا تقليص حجم الأجهزة بشكل كبير دون جعل الروبوت يسقط. ومع ذلك، فإن عدد التشكيلات الممكنة لمستويات الدقة المختلفة شاسع جداً لدرجة أن فحصها واحداً تلو الآخر سيستغرق سنوات. وللتغلب على ذلك، بنى الباحثون "مستكشفًا ذكياً" يتعلم التنبؤ بنتيجة التصميم دون الحاجة إلى تشغيل المحاكاة الكاملة والمستهلكة للوقت في كل مرة.
يعمل إطار العمل عبر ثلاث مراحل متميزة للسيطرة على هذا التعقيد. أولاً، يقوم بتجميع الآلاف من المتغيرات في حسابات الروبوت بناءً على كيفية سلوكها الفيزيائي. ثم يحلل مدى حساسية كل مجموعة للأخطاء، مما ينشئ خريطة توضح أي الأرقام هي الأكثر أهمية. هذه الخطوة وحدها تقلل من عدد الاحتمالات التي يحتاج الكمبيوتر للنظر فيها. بعد ذلك، يقوم النظام بتدريب نموذج خفيف الوزن ليعمل كـ "كرة بلورية"؛ فبدلاً من محاكة حركة الروبوت بالكامل لكل فكرة تصميم جديدة، وهو أمر يستغرق ساعات، يتنبأ هذا النموذج بالنتيجة النهائية في أجزاء من الثانية. إنه يتعلم من مجموعة صغيرة من الأمثلة، مستخدماً خريطة الحساسية لفهم كيفية انتقال الأخطاء في جزء واحد من النظام وتأثيرها على الحركة النهائية. أخيراً، يستخدم النظام استراتيجية بحث هجينة للعثور على التشكيل الأفضل؛ حيث يجمع بين البحث الواسع لإيجاد المناطق الواعدة وعملية الضبط الدقيق التي تعدل دقة متغيرات معينة لاستخراج كل قطرة ممكنة من الكفاءة.
عندما اختبر الباحثون هذا النهج على ثلاثة روبوتات مختلفة تماماً — ذراع بسبعة مفاصل، وروبوت رباعي الأرجل باثني عشر مفصلاً، وروبوت بشري مكون من تسعة وعشرين مفصلاً — وجدوا تحسينات هائلة. مقارنة بالطريقة القياسية حيث تُعامل جميع الأرقام بالتساوي، قللت تصاميمهم المحسنة الحجم الفيزيائي للأجهزة بمقدار يصل إلى 1.9 مرة، وخفضت استهلاك الطاقة بمقدار يصل إلى 1.8 مرة. وقد تحققت هذه الوفورات مع الحفاظ على دقة حركة الروبوت كما كانت في السابق. تمكن النظام من إيجاد هذه التصاميم الفعالة في حوالي عشر ساعات على محطة عمل قياسية، وهي مهمة كان من المستحيل تحقيقها بالأساليب القديمة. يوضح هذا العمل أنه من خلال فهم الاحتياجات الفريدة لكل جزء من دماغ الروبوت، يمكن للمهندسين بناء آلات أصغر حجماً، وأكثر كفاءة في استهلاك الطاقة، وقادرة على تنفيذ مهام معقدة عند الحافة (on the edge)، مما يقربنا من مستقبل يمكن للروبوتات فيه التحرك بحرية واستقلالية في عالمنا.
ملخص تقني لـ APEX-RBD
بيان المشكلة تُعد حسابات ديناميكا الأجسام الصلبة (RBD) النواة الحسابية للتحكم في الروبوتات في الوقت الفعلي، حيث تستهلك غالبًا ما يصل إلى 90% من وقت تشغيل وحدة التحكم. وبينما يمكن للمسرعات العتادية المخصصة معالجة هذه العقبة، فإن نشرها على المنصات الطرفية محدودة الموارد يعوقه التكاليف العالية للمساحة والطاقة. يوفر التكميم (Quantization) مسارًا لتقليل هذه التكاليف عبر تقليص الوحدات الحسابية، لكن النهج الحالية تواجه قيودًا كبيرة:
عدم كفاءة الدقة الموحدة: تستخدم أحدث التقنيات الحالية (مثل DRACO) تكميمًا ذا دقة موحدة، حيث تخصص عرض بت واحد لجميع المتغيرات. تتجاهل هذه الاستراتيجية "الموحدة للجميع" حقيقة أن متغيرات RBD المختلفة لها حساسيات متفاوتة تجاه فقدان دقة الحركة، مما يؤدي إلى تكاليف عتادية غير ضرورية.
فضاء بحث مستعصٍ: يؤدي الانتقال إلى التكميم مختلط الدقة (تخصيص عرض البت لكل متغير) إلى انفجار توافقي. بالنسبة للخوارزميات التي تتضمن حوالي 50 متغيرًا مع 12 عرض بت محتمل، يوصف فضاء البحث في الورقة البحثية بأنه يتجاوز 1250 (من المرجح أن يكون هذا خطأ مطبعي في النص المصدر لـ 1250، ولكن النص ينص صراحة على "يتجاوز 1250").
تكلفة تقييم باهظة: يتطلب التحقق من تكوين الدقة المختلطة محاكاة كاملة الحلقة المغلقة للتحقق من دقة المسار واستقرار النظام. هذه العملية مكلفة حاسوبيًا (على سبيل المثال، 8.5 ساعة لـ 100 مرشح)، مما يجعل البحث بالقوة الغاشمة (Brute-force) أو الأساليب التي تتطلب بيانات ضخمة مثل التعلم التعزيزي غير عملي.
المنهجية: إطار عمل APEX-RBD APEX-RBD هو إطار عمل مؤتمت مصمم للتنقل في فضاء البحث الشاسع هذا بكفاءة. يعمل عبر ثلاث مراحل متميزة لتحديد تكوينات الدقة المختلطة ذات الكفاءة العتادية للدوائر المتكاملة محددة التطبيقات (ASICs) تحت قيود الدقة والأداء المحددة من قبل المستخدم.
المرحلة 1: تقليم فضاء البحث المدفوع بالفيزياء
تجميع المتغيرات: بدلاً من تكميم كل متغير على حدة، يقوم إطار العمل بتجميع المتغيرات بناءً على أدوارها الفيزيائية والخوارزمية داخل خوارزميات RBD (مثل RNEA، وMinv). يقلل هذا من أبعاد البحث بشكل كبير.
تحليل الحساسية: يقوم إطار العمل بإجراء محاكاة على مستوى الوحدة لتحليل كيفية تأثير تغيرات عرض البت في كل مجموعة على أخطاء المخرجات (مثل خطأ عزم الدوران). يحدد هذا التحليل عدد البتات الصحيحة المطلوبة لمنع تجاوز السعة (Overflow) ويولد منحنيات الحساسية.
دمج المجموعات: يتم دمج المجموعات ذات ملفات الحساسية المتشابهة لضغط فضاء البحث بشكل أكبر، بشرط ألا يؤدي الدمج إلى انتهاك عتبات الخطأ على مستوى الوحدة.
المرحلة 2: النمذجة البديلة الموفرة للبيانات
لتجاوز عقبة المحاكاة كاملة الحلقة المغلقة، يقوم APEX-RBD بتدريب نموذج بديل (Surrogate Model) للتنبؤ بخطأ المسار في أجزاء من الثانية.
هندسة الميزات الهرمية: بدلاً من تعلم رسم خرائط مباشر من عرض البت إلى الخطأ، يقوم النموذج بتفكيك المشكلة. يتنبأ أولاً بأخطاء مستوى الوحدة (مثل خطأ عزم دوران RNEA)، ثم يستخدم هذه التنبؤات، مدمجة مع استدلالات معرفية محددة للمجال (مثل نسب الخطأ، والاعتمادات التسلسلية التكرارية)، كميزات لمُتنبئ خطأ المسار النهائي.
اختيار النموذج: تم اختيار نموذج الغابة العشوائية (Random Forest) لقدرته على التعامل مع مجموعات البيانات الصغيرة. يتم تدريب إطار العمل على مجموعة بيانات دنيا (100 عينة) تم إنشاؤها عبر محاكاة كاملة الحلقة، مما يجعل العملية ممكنة للتصميم المشترك بين العتاد والبرمجيات بشكل تكراري.
المرحلة 3: البحث الهجين الواعي بالعتاد
المقدر التحليلي للتكلفة: يقوم نموذج تحليلي قائم على مكتبة الخلايا بتقدير تكاليف المساحة والطاقة للعتاد لأي تكوين معين لعرض البت.
التحسين الهجين: يستخدم إطار العمل التحسين البايزي (Bayesian Optimization) للاستكشاف العالمي للعثور على مناطق واعدة في فضاء التصميم. يتبع ذلك نوعان من الاستدلالات المحلية للتحسين:
التحسين الجشع المدفوع بالتكلفة: يعطي الأولوية لتقليل عرض البت للمجموعات ذات التأثير العتادي الأعلى، مع التعويض بزيادة الدقة في المجموعات الأقل حساسية إذا تم تجاوز عتبات الخطأ.
التوليف الموجه بالحساسية: يوازن بشكل منهجي بين الدقة بين المجموعات عالية الحساسية ومنخفضة الحساسية لتعظيم الكفاءة.
التحقق: يتم التحقق من أفضل المرشحين عبر محاكاة صارمة كاملة الحلقة لاختيار التكوين الأمثل النهائي.
المساهمات الرئيسية
أول إطار عمل للدقة المختلطة لـ RBD: يعد APEX-RBD أول إطار عمل لأتمتة تكميم الدقة المختلطة لحسابات RBD، مستهدفًا نشر ASICs مع قيود محددة لدقة الحركة والإنتاجية.
البحث القابل للحل عبر التقليم والنماذج البديلة: يقدم منهجية مبتكرة تجمع بين تجميع المتغيرات المدفوع بالفيزياء/تحليل الحساسية وبين نموذج بديل يعتمد على عدد قليل من العينات ومعلومات مسبقة. يتيح هذا التنبؤ بدقة بخطأ المسار في أجزاء من الثانية باستخدام 100 عينة تدريب فقط.
التحسين الواعي بالعتاد: يستخدم إطار العمل مقدر تكلفة تحليلي قائم على مكتبة الخلايا ومحسن هجين (BO + استدلالات محلية) لتحديد التصاميم القريبة من المثالية التي تقلل المساحة والطاقة بكفاءة.
النتائج التجريبية تم تقييم إطار العمل على ثلاث منصات روبوتية متنوعة: ذراع iiwa بـ 7 درجات حرية، والروبوت رباعي الأرجل HyQ بـ 12 درجة حرية، والروبوت البشري Atlas بـ 29 درجة حرية.
الكفاءة العتادية: مقارنة بالنماذج المرجعية ذات الدقة الموحدة (24 بت و32 بت)، حقق APEX-RBD تقليلًا يصل إلى 1.9 ضعف في المساحة و 1.8 ضعف في الطاقة مع الحفاظ على نفس دقة الحركة.
فعالية البحث: تفوق APEX-RBD على خوارزميات البحث الأخرى (البحث العشوائي، المحاكاة التلدينية، والتحسين البايزي الصرف) في إيجاد تصاميم أقل تكلفة. وتحديدًا، وفرت استدلالات التحسين المحلي ما يصل إلى 1.5 ضعف في المساحة و 1.3 ضعف في الطاقة مقارنة بالتحسين البايزي الصرف وحده.
وقت التشغيل: اكتملت عملية الاستكشاف بأكملها لروبوت معقد (iiwa) في حوالي 10.8 ساعة على محطة عمل قياسية. قضت معظم هذه المدة (78.95%) في جمع البيانات الأولية (المحاكاة)، مما يسلط الض الضوء على أن النموذج البديل نجح في استبدال الحاجة إلى آلاف عمليات المحاكاة خلال مرحلة التحسين.
الأهمية تدعي الورقة أن APEX-RBD يعالج الحاجز الحرج لتطبيق التكميم على حلقات التحكم الروبوتية، حيث يمكن أن يؤدي انتشار الخطأ إلى عدم استقرار النظام. من خلال تجاوز قيود الدقة الموحدة، يفتح إطار العمل الإمكانات الكاملة لتخصيص ASICs لمسرعات RBD. إنه يثبت أن استكشاف الدقة المختلطة، الذي كان يُعتبر سابقًا مستعصيًا بسبب حجم فضاء البحث وتكاليف المحاكاة، يمكن جعله ممكنًا حاسوبيًا من خلال التقليم المستند إلى الفيزياء والتعلم الموفر للبيانات. وهذا يتيح نشر متحكمات روبوتية أكثر كفاءة ومتوافقة مع الحافة دون المساس بدقة الحركة.