تقدم هذه الورقة إطار عمل معياري لاكتشاف الأنظمة الديناميكية ذات السلاسة الجزئية من بيانات المسارات، وذلك عبر الجمع بين التحليل الإحصائي لإمكانية تحديد المستويات الفائقة للتبديل وبين الشبكات العصبية المقيدة هندسياً لتعلم المعادلات الحاكمة وتوصيف السلوكيات غير المتصلة مثل الحركة الانزلاقية.
المؤلفون الأصليون:Davide Murari, Erik Jansson, Chris Budd OBE, Carola-Bibiane Schönlieb
في العالم المادي، لا تغير العديد من الأنظمة سلوكها بشكل تدريجي. فالصندوق الثقيل الذي يُدفع عبر الأرض لا ينزلق بسلاسة منذ البداية؛ بل يظل ساكنًا، يقاوم كل دفعة، حتى تصبح القوة كافية لكسر القبضة الساكنة، وعندها يتحرك فجأة. ومفصل الباب المتصلب لا يدور بحركة انسيابية، بل يتعثر ويتحرر في خطوات صغيرة متقطعة. هذه أمثلة على أنظمة تنتقل بين أنماط متميزة من السلوك. وفي الرياضيات، توصف هذه الأنظمة بقواعد تكون سلسة ومتوقعة داخل كل نمط، لكنها تقفز فجأة عندما يتخطى النظام حدًا معينًا. وهذه الحدود ليست مجرد خطوط على رسم بياني؛ بل هي العتبات الفيزيائية حيث يتخلى الاحتكاك عن مكانه لصالح الحركة، أو حيث ينتقل نظام مناخي من حالة مستقرة إلى أخرى. إن فهم هذه الأنظمة أمر بالغ الأهمية للمهندسين الذين يصممون الروبوتات، ولعلماء المناخ الذين ينمذجون العصور الجليدية، ولأي شخص يحاول التنبؤ بكيفية تصرف آلة معقدة عندما تصل إلى حد معين. ومع ذلك، عندما يحاول العلماء تعلم قواعد هذه الأنظمة من البيانات المرصودة، فإنهم يواجهون تحديًا فريدًا: إذا أخطأوا في تحديد موقع الحد، فسيفشل التنبؤ بأكمله، بغض النظر عن مدى فهمهم للحركة على كلا الجانبين.
لقد طور فريق من الباحثين في جامعة كامبريدج وجامعة باث طريقة جديدة لحل هذه المشكلة. يركز عملهم على اكتشاف القواعد الخفية لهذه الأنظمة "المنتظمة جزئيًا" (piecewise-smooth) مباشرة من بيانات المسار، وهي ببساطة سجلات لكيفية تحرك النظام بمرور الوقت. وبدلاً من محاولة تخمين النظام بأكمله دفعة واحدة، قام الباحثون بتقسيم المهمة إلى مرحلتين متميزتين. أولاً، يبحثون عن الحدود نفسها. يقومون بتحليل المسارات المسجلة للعثور على قفزات مفاجئة في السرعة أو الاتجاه، والتي تعمل كإشارات تشير إلى أن النظام قد تجاوز عتبة ما. وباستخدام تقنية إحصائية قوية، يقومون بتصفية الضوضاء والإنذارات الكاذبة الناتجة عن البيانات الخشنة لتحديد الموقع الدقيق وزاوية هذه الخطوط الفاصلة غير المرئية. وبمجرد تحديد هندسة الحدود، تبدأ المرحلة الثانية؛ حيث يقوم الباحثون بعد ذلك بتعليم نموذج حاسوبي تعلم قواعد الحركة المحددة لكل منطقة تفصلها تلك الحدود. ومن الأهمية بمكان أنهم صمموا النموذج الحاسوبي بحيث يكون من المستحيل فيزيائيًا أن يبتكر حدودًا جديدة أو وهمية، فهو مجبر على احترام الخريطة التي تم إنشاؤها في المرحلة الأولى، ويتعلم فقط كيفية تحرك النظام ضمن المناطق المسموح بها.
اختبر الباحثون هذا النهج المكون من مرحلتين على عدة سيناريوهات من العالم الحقيقي، بما في ذلك مذبذب ميكانيكي يحاكي حركة الانزلاق والالتصاق لكتلة تنزلق على سطح خشن، ونموذج مناخي معقد يصف دورة العصور الجليدية على مدى آلاف السنين. في النموذج المناخي، ينتقل النظام بين فترات امتصاص بطيء لثاني أكسيد الكربون وإطلاق مفاجئ، وهي عملية تقود نمو وتراجع الصفائح الجليدية. وفي كل اختبار، أثبتت الطريقة فعاليتها العالية. فعندما عرف الباحثون الحدود الحقيقية مسبقًا، تعلم النموذج الحركة بدقة متناهية، معيدًا إنتاج سلوك النظام بأخطاء أصغر بكثير من النماذج السلسة القياسية. والأكثر إثارة للإعجاب هو أنه عندما اضطروا لاكتشاف الحدود من الصفر باستخدام بيانات مشوشة، نجحت الطريقة؛ حيث حددت بدقة مواقع مستويات التبديل وتعلمت الديناميكيات بشكل جيد بما يكفي للتنبؤ بمسار النظام لمئات الخطوات الزمنية. وأظهرت النتائج أنه من خلال فصل مهمة إيجاد الخريطة عن مهمة تعلم الرحلة، استطاع الباحثون بناء نماذج ليست أكثر دقة فحسب، بل أيضًا أكثر كفاءة، باستخدام موارد حوسبة أقل بكثير من الطرق التقليدية.
كما كشفت الدراسة عن حدود ما يمكن تعلمه. فقد وجد الباحثون أن الطريقة تعمل بشكل أفضل عندما يعبر النظام الحدود بالفعل بقوة كافية لخلق إشارة واضحة. أما إذا كان النظام يلامس الحد فحسب أو يتحرك ببطء شديد عبره، فإن الإشارة تصبح ضعيفة جدًا بحيث يصعب تمييزها عن ضوضاء الخلفية، وتواجه الطريقة صعوبة في إيجاد الخط. ومع ذلك، عندما يكون العبور واضحًا، يكون النهج قويًا. وقد أثبت الفريق أن بنيتهم الجديدة يمكنها تقريب السلوك المعقد والمتغير لهذه الأنظمة بدقة تعسفية، بشرط أن تكون الحدود معروفة أو محددة بشكل صحيح. ويمثل هذا خطوة كبيرة للأمام في مجال التعلم الآلي العلمي، حيث الهدف هو بناء نماذج تحترم الهياكل الفيزيائية المعروفة للعالم بدلاً من مجرد حفظ الأنماط في البيانات. ومن خلال تعليم الكمبيوتر صراحةً البحث عن الأماكن التي تتغير فيها القواعد واحترامها، ابتكر الباحثون أداة يمكنها كشف المنطق الخفي للأنظمة التي تقفز، وتنزلق، وتتحول، مما يوفر نافذة أوضح على ميكانيكا كل شيء، من الاحتكاك الجاف إلى المناخ المتغير للأرض.
ملخص تقني: تعلم الأنظمة الديناميكية ذات السلاسة الجزئية
بيان المشكلة يتناول البحث تحدي اكتشاف الأنظمة الديناميكية مباشرة من بيانات المسارات عندما تكون الديناميكيات الكامنة غير متصلة. وبينما تقدمت الأساليب القائمة على البيانات بشكل كبير للأنظمة السلسة، إلا أنها غالباً ما تواجه صعوبات مع الأنظمة ذات السلاسة الجزئية (أنظمة فيليبوف - Filippov systems) الشائوا في تطبيقات مثل الاحتكاك الميكانيكي، والتحكم في نمط الانزلاق، وديناميكيات المناخ (مثل الدورات الجليدية). في هذه الأنظمة، يكون الحقل المتجه سلسًا داخل مناطق مضلعة متميزة، ولكنه يقفز عبر مستويات التبديل الفائقة. وتكمن الصعوبة الجوهرية ليس فقط في تعلم الديناميكيات السلسة داخل كل نظام، بل أيضًا في الكشف الدقيق عن هندسة مستويات التبديل الفائقة وتوصيف سلوكيات مثل الحركة الانزلاقية. إن أي خطأ في وضع مستوى التبديل الفائق سيؤدي إلى إبطال صحة النموذج بغض النظر عن دقة الديناميكيات المحلية.
المنهجية يقترح المؤلفون إطار عمل معياري يتكون من مرحلتين، يفصل بين "تعلم الهندسة" و"تعلم الديناميكيات".
تعلم الهندسة (استعادة مستويات التبديل الفائقة):
تستنتج المرحلة الأولى ترتيب مستويات التبديل الفائقة الأفينية من بيانات المسار.
تعتمد الطريقة على كشف القفزات في السرعات المقدرة؛ حيث تستخدم مشتق "سافيتزكي-غولاي" (Savitzky–Golay) لحساب تقديرات السرعة من الملاحظات المشوبة بالضجيج، ثم تحسب قفزات السرعة (Δv) بين العينات المتتالية.
يتم تحديد النقاط المرشحة بالقرب من نقاط عدم الاتصال من خلال الاحتفاظ بالفترات ذات أكبر قدر من مقدار القفزة وجيرانها.
لضمان ملاءمة المستوى الفائق بمتانة وسط القيم المتطرفة (الناتجة عن الضجيج، أو الانحناء، أو أخطاء التقدير)، يستخدم المؤلفون خوارزمية "راندوم سامبل كونسنسس" (RANSAC) لإيجاد مجموعة فرعية متماسكة من المرشحين، يتبعها تنقيح باستخدام طريقة "المربعات الصغرى الكلية" (Total Least Squares - TLS).
يمكن تخطي هذه المرحلة إذا كانت هندسة التبديل معروفة مسبقًا.
تعلم الديناميكيات (الشبكات العصبية الحافظة للهندسة):
بمجرد إنشاء التقسيم (سواء المسترجع أو المحدد مسبقًا)، تقوم المرحلة الثانية بتعلم الحقل المتجه داخل كل منطقة.
يقدم المؤلفون بنية شبكة عصبية مبتكرة مصممة لتكون "حافظة للهندسة". تم بناء الشبكة بحيث تقتصر حالات عدم الاتصال فيها بدقة على ترتيب المستويات الفائقة المحددة.
تستخدم البنية آلية بوابة محددة تعتمد على دالة "هيفيسيد" (Heaviside) للخطوة، المطبقة على المسافات الموقعة من المستويات الفائقة (zP(x)). وهذا يسمح للشبكة بالتبديل بين شبكات فرعية سلسة مختلفة (Φ و Ψ) دون إدخال انقطاعات زائفة في أماكن أخرى.
تعمل عملية التدريب على تقليل دالة خسارة مركبة تشمل مطابقة المسار (خطأ التدحرج)، والإشراف على الحقل المتجه، والمنظمات الاتجاهية (عقوبات الناظم والمماس) لضمان الاتساق مع ديناميكيات انزلاق فيليبوف.
المساهمات الرئيسية
إطار عمل ذو مرحلتين: نهج "الهندسة أولاً" الذي يستعيد ترتيب مستويات التبديل الفائقة قبل ملاءمة الحقول المتجهة، مما يسمح باستقلال التحيزات الاستقرائية للهندسة والديناميكيات.
تحليل القابلية للكشف: تحليل نظري يحدد الشروط التي تكون فيها مستويات التبديل الفائقة قابلة للتحديد من البيانات المشوبة بالضجيج. ويؤسس علاقة بين مقدار القفزة، وضجيج الملاحظة، وخطأ تقدير المشتق، وسرعة العبور الناظمي، موضحًا أن نسبة "القفزة إلى الضجيج" الكافية مطلوبة للاستعادة الموثوقة.
بنية حافظة للهندسة: فئة جديدة من الشبكات العصبية تقرب الحقول المتجهة ذات السلاسة الجزئية إلى دقة تعسفية على المجموعات المتراصة، مع ضمان حدوث عدم الاتصال فقط على المستويات الفائقة المحددة. يثبت المؤلفون أن هذه الفئة يمكنها تمثيل الحقول الأفينية الجزئية بدقة وتقريب الحقول العامة ذات السلاسة الجزئية دون إنشاء قفزات جديدة.
التحقق التجريبي: أظهرت التجارب المكثفة على متذبذبات الاحتكاك الجاف ونموذج المناخ (PP04) أن الطريقة المقترحة تحقق أخطاء أقل في التدحرج وفي الحقل المتجه مقارنة بنماذج (Neural ODE) السلسة، وغالبًا باستخدام عدد أقل بمرتبة عشرية من المعلمات القابلة للتدريب.
النتائج
استعادة الهندسة: نجحت استعادة (RANSAC) في تحديد مستويات التبديل الفائقة في وجود ضجيج متوسط. ومع ذلك، يتدهور الأداء عندما يكون مقدار القفزة صغيرًا بالنسبة للضجيج أو عندما تمر المسارات بمحاذاة سطح التبديل (سرعة عادية منخفضة).
تعلم الديناميكيات:
الهندسة المعروفة: عند توفير الهندسة، تنجح البنية المقترحة في حصر عدم الاتصال تمامًا في الأسطح الصحيحة، بينما تنتج شبكات القفز غير المهيكلة قفزات زائفة.
الهندسة المستعادة: عندما يتم تعلم الهندسة من البيانات، تنتج النماذج المستخرجة عمليات تدحرج دقيقة طويلة المدى، بشرًا بشرط أن تكون إشارة قفزة المشتق قوية بما يكفي.
الأولويات الهيكلية: يؤدي فرض القيود الفيزيائية (مثل هيكل الدرجة الثانية q˙=p في نماذج الاحتكاك) إلى تحسين الدقة والتعميم بشكل كبير.
المقارنة: تفوقت النماذج غير المتصلة على نماذج (Neural ODE) السلسة عبر جميع المقاييس (خطأ التدحرج، خطأ الحالة النهائية، خطأ الحقل المتجه)، رغم امتلاكها عددًا أقل بكثير من المعلمات.
الأهمية والادعاءات يزعم البحث أن تعلم هندسة التبديل والحفاظ عليها صراحةً يوفر طريقًا عمليًا ومفسرًا لنمذجة الديناميكيات غير المتصلة. ومن خلال فصل استعادة الهندسة عن تعلم الديناميكيات، تسمح الطريقة بدمج المعرفة المجالية في مراحل محددة (مثل الفيزياء المعروفة في الديناميكيات أو مستويات التبديل المعروفة). وتضمن الضمانات النظرية لخصائص التقريب لفئة الشبكات المقترحة أن النموذج لن يُدخل انقطاعات اصطناعية، وهو نمط فشل شائع في التقريبات العصبية القياسية للأنظمة غير السلسة. يُقدم هذا العمل كخطوة نحو التعلم الآلي العلمي القوي للأنظمة التي تكون فيها افتراضات السلاسة غير صالحة، مع التخطيط لأعمال مستقبلية لمعالجة الأبعاد الأعلى، والتفاعلات بين المفاتيح، والأسطح غير الأفينية.