Baseline-relative evaluation of lap-time and tyre-degradation models for Formula 1 race strategy
تقيم هذه الدراسة نماذج زمن اللفة وتآكل الإطارات في الفورمولا 1 مقابل توقعات مرجعية صارمة باستخدام 167,083 لفة، مظهرةً أن ميزتها التنبؤية تنبع أساساً من نمذجة البواقي بالنسبة للفة السابقة بدلاً من القيم المطلقة، ومن أن بناء خط الأساس العادل أمر بالغ الأهمية لتقييم الأداء ذي الصلة بالاستراتيجية بدقة.
في عالم سباقات الفورمولا 1 عالي المخاطر، غالباً ما يكمن الفرق بين الفوز والخسارة في قرار واحد: متى يتم إيقاف السيارة وتغيير إطاراتها. يعتمد الفرق على استراتيجيين يجب عليهم التنبؤ بشيئين بدقة متناهية؛ أولاً، يحتاجون إلى معرفة السرعة التي ستسير بها السيارة في اللفة التالية مباشرة. ثانياً، يجب عليهم تقدير مدى انخفاض هذه السرعة مع تآكل المطاط بمرور الوقت. هذه التنبؤات ليست مجرد تخمينات، بل هي حسابات تُجرى باستخدام نماذج حاسوبية معقدة مدربة على سنوات من بيانات السباقات. إذا كانت هذه النماذج دقيقة، فيمكنها توجيه الفريق نحو النصر، أما إذا كانت معيبة، فإن أكثر خطط السباق تطوراً ستفشل. لسنوات، نشر الباحثون دراسات تدعي أن نماذجهم دقيقة للغاية، وغالباً ما يستشهدون بأخطاء ضئيلة في تنبؤاتهم. ومع ذلك، كان هناك جزء مفقود وحاسم من اللغز في هذه التقارير: وهو المقارنة مقابل أبسط تخمين ممكن. ففي رياضة تكون فيها سرعة السيارة في لفة ما مطابقة تقريباً للفة التي تليها، يعد مجرد التنبؤ بأن اللفة القادمة ستكون بنفس طول اللفة السابقة قاعدة قوية بشكل مفاجئ. وبدون معرفة مدى أداء هذه الطريقة البسيطة، فمن المستحيل معرفة ما إذا كان أي نموذج حاسوبي معقد يضيف أي قيمة أم أنه يكرر فقط ما هو واضح بالفعل.
تأتي دراسة جديدة أجراها باحثون في معهد بهارات للعلوم والتكنولوجيا لإصلاح هذه الفجوة. فقد جمعوا مجموعة بيانات ضخمة تضم أكثر من 167,000 لفة من سجلات الفورمولا 1 العامة الممتدة عبر عدة مواسم. كان هدفهم هو اختبار نماذج تعلم آلي متقدمة مقابل توقع "بسيط"، وهو ببساطة افتراض أن اللفة التالية ستستغرق بالضبط نفس وقت اللفة السابقة. بنى الباحثون نموذجاً متطوراً باستخدام تقنية تسمى "تعزيز التدرج" (gradient boosting)، والتي تساعد الحواسيب على تعلم الأنماط من البيانات عن طريق دمج العديد من قواعد القرار البسيطة. قاموا بتدريب هذا النموذج على بيانات من عام 2019 إلى 2022، ثم اختبروه على سباقات من أعوام 2023 و2024 و2025 لمعرفة ما إذا كان بإمكانه التنبؤ بأوقات اللفات بشكل أفضل من طريقة "تكرار اللفة الأخيرة" البسيطة. كانت النتائج واضحة: لقد تفوق النموذج المتقدم بالفعل على التخمين البسيط. ففي المتوسط، قلل النموذج من خطأ التنبؤ بنحو 15 بالمائة مقارنة بالطريقة البسيطة. وهذا يعني أنه بالنسبة لكل لفة، كان تخمين النموذج أقرب إلى الوقت الفعلي بهامش صغير ولكنه مهم.
ومع ذلك، اكتشف الباحثون أن حجم هذه الميزة يعتمد كلياً على كيفية إعداد المقارنة. فعندما قارنوا النموذج بالتخمين البسيط عبر السباق بأكمله، بدا النموذج قوياً للغاية. لكن نظرة فاحصة كشفت عن خلل في المقارنة؛ إذ فشل التخمين البسيط أحياناً لأنه حاول التنبؤ بلفة على إطارات جديدة باستخدام بيانات من لفة على إطارات مستهلكة، كما هو الحال مباشرة بعد التوقف في منصة الصيانة. وبما أن النموذج كان يعلم أنه تم تركيب إطار جديد، فقد كان يتمتع بميزة غير عادلة على التخمين البسيط في تلك اللحظات المحددة. وعندما صحح الباحثون المقارنة لضمان معرفة التخمين البسيط أيضاً بتغيير الإطارات، تقلصت ميزة النموذج من 15 بالمائة إلى حوالي 12 بالمائة. وتعتبر نسبة الـ 12 بالمائة هذه هي المقياس الحقيقي لمهارة النموذج. كما وجدت الدراسة أن نجاح النموذج لم يكن موزعاً بالتساوي عبر السباق؛ فقد كان أكثر فعالية خلال اللفات القليلة الأولى بعد التوقف في منصة الصيانة، حيث حسن التنبؤات بنسبة تزيد عن 30 بالمائة. أما في منتصف السباق، عندما تسير السيارة بشكل مستقر، كانت ميزة النموذج أصغر بكثير، وأحياناً لم تكن ذات دلالة إحصائية على الإطلاق.
كما تناولت الدراسة مسألة تآكل الإطارات، أو مقدار السرعة المفقودة مع تقادم الإطار. وجد الباحثون أن الطريقة التي عرّفوا بها "التآكل" في نموذجهم الحاسوبي غيرت جوهر النتائج بشكل جذري. فقد استخدموا طريقة يتنبأ فيها النموذج بالوقت الإضافي الذي ستستغرقه اللفة مقارنة بإطار جديد. واكتشفوا أنه نظرًا لأن هذا الحساب مرتبط رياضياً بوقت اللفة نفسه، فإن أي نجاح حققه النموذج في التنبؤ بالتآكل كان في الواقع مجرد نجاح في التنبؤ بوقت اللفة. لم يكن النموذج يتعلم شيئاً جديداً حول كيفية تآكل الإطارات؛ بل كان ببساطة يصبح أفضل في تخمين سرعة اللفة التالية. تشير هذه النتيجة إلى أن الدراسات السابقة التي ادعت التنبؤ بتآكل الإطارات ربما كانت تقيس التنبؤ بوقت اللفة بدلاً من ذلك. كما اختبر الباحثون ما إذا كان نموذجهم يحتاج إلى إعادة التدريب في كل مرة تتغير فيها قوانين الرياضة، مثل عند تقديم تصميمات جديدة للسيارات. ووجدوا أن نموذجاً تم تدريبه على بيانات قديمة كان يعمل بشكل جيد تماماً مثل نموذج تم تدريبه على بيانات أحدث، وأن دمج التاريخ الكامل جعل النموذج أقوى في الواقع. وهذا يعني أن الفرق لا تحتاج إلى التخلص من سنوات من البيانات عند تغير اللوائح؛ إذ تظل الأنماط المتعلقة بكيفية سلوك السيارة من لفة إلى أخرى ثابتة بما يكفي لتكون مفيدة.
في النهاية، تقدم هذه الأبحاث رؤية أوضح لما يمكن لهذه النماذج التنبؤية فعله وما لا يمكنها فعله. فهي تؤكد أن النماذج الحاسوبية المتقدمة يمكنها التنبؤ بأوقات اللفات بشكل أفضل من التخمين البسيط، ولكن فقط عندما تكون المقارنة عادلة وتراعي الظروف المحددة للسباق، مثل تغيير الإطارات. وتكون هذه النماذج مفيدة بشكل خاص خلال اللحظات الفوضوية من السباق، مثل اللحظات التي تلي التوقف في منصة الصيانة مباشرة، لكنها تقدم مساعدة أقل عندما تسير السيارة بسلاسة. كما تعمل الدراسة كتحذير لكيفية تقييم هذه النماذج؛ فهي توضح أنه بدون قاعدة أساسية عادلة وتعريف دقيق للمشكلة، يمكن للباحثين بسهولة المبالغة في نجاحهم. وبالنسبة للفرق التي تعتمد على هذه التوقعات، فإن الدرس عملي: استخدموا هذه الأدوات لاتخاذ القرارات أثناء مراحل الانتقال، مثل التوقف في منصة الصيانة، ولكن لا تعتمدوا عليها للتنبؤ طويل الأمد بتآكل الإطارات في خطوة واحدة. لا تدعي الدراسة أنها حلت لغز تآكل الإطارات، لكنها نجحت في إزالة الغموض المحيط بكيفية قياس دقة هذه التنبؤات، مما يضمن بناء الاستراتيجيات المستقبلية على أسس صلبة بدلاً من الأوهام الإحصائية.
ملخص تقني: التقييم النسبي بالنسبة للخط المرجعي لنماذج زمن اللفة وتآكل الإطارات في استراتيجيات سباقات الفورمولا 1
بيان المشكلة تعتمد استراتيجية سباق الفورمولا 1 على توقعات زمن اللفة التالية وتآكل الإطارات لاتخاذ قرارات متسلسلة تحت قيود زمنية. وبينما تطبق دراسات عديدة التعلم الآلي للتنبؤ بأزمنة اللفات، فإن دقة النتائج التي تبلغ عنها غالبًا ما تكون غير قابلة للتفسير. حيث تعتمد هذه الدراسات عادةً على تقرير متوسط الخطأ المطلق (MAE) أو معاملات التحديد (R2) مقابل نماذج متعلمة أخرى، لكنها تفشل في مقارنة أدائها مقابل توقع "ساذج" بسيط (مثل تكرار زمن اللفة السابقة) على نفس البيانات المحجوزة للاختبار. وبما أن اللفات المتتالية تحت العلم الأخضر لنفس السائق تكون ذات ارتباط ذاتي عالٍ (تختلف بجزء من عشرة من الثانية فقط)، فإن التوقع البسيط يعد بالفعل خطًا مرجعيًا قويًا. ومن دون هذه المقارنة، لا يمكن فصل الأخطاء المبلغ عنها عن القدرة المتأصلة في السلاسل الزمنية على التنبؤ، مما يجعل الادعاءات بتفوق النماذج غامضة. علاوة على ذلك، تفتقر الأدبيات الحالية غالبًا إلى بناء عادل لهذا الخط المرجعي، حيث تتجاهل العوامل الهيكلية مثل عمليات التوقف في المنصة (pit stops) وتغييرات مركبات الإطارات التي يأخذها الاستراتيجي البشري في الاعتبار.
المنهجية تستخدم الدراسة 167,083 لفة من مواسم الفورمولا 1 للفترة 2019–2025، تم استخراجها عبر واجهة FastF1 العامة. تم تصفية مجموعة البيانات لتشمل لفات "العلم الأخضر" ذات التوقيت الدقيق، مع استبعاد لفات الدخول والخروج من المنصة واللفات الشاذة التي تتجاوز 110% من وتيرة السائق المتوسطة المتوسعة.
النماذج: النموذج الأساسي هو شجرة معززة بالتدرج (LightGBM) تم تدريبها على بيانات 2019–2022 وتم تجميدها للتقييم على مجموعة بيانات 2023 المحجوزة (وبالتالي 2024–2025). كما يتم تقييم شبكة GRU لأجل التآكل.
صياغة الهدف: تقارن الدراسة بين صيغتين للهدف:
المطلق (Absolute): التنبؤ بزمن اللفة الخام.
المتبقي (Residual): التنبؤ بالتغير عن اللفة السابقة (أي y(t)−y(t−1)).
الخطوط المرجعية (Baselines): يتم استخدام خطين مرجعيين بسيطين:
الاستمرارية (Persistence): زمن اللفة السابقة المحتفظ بها مباشرة.
الاستمرارية المدركة للمرحلة (Stint-Aware Persistence): خط مرجعي أكثر إنصافًا يحمل إزاحة انتقال المركب عبر عمليات التوقف في المنصة، مع الإقرار بأن الاستراتيجي يعرف مركب الإطار الجديد فورًا بعد التوقف.
بروتوكول التقييم: يتم إجراء الاستدلال على مستوى السباق، وليس على مستوى اللفة، لاحترام الارتباط بين اللفات داخل السباق الواحد. يتم قياس الأداء بواسطة متوسط الخطأ المطلق (MAE) ويتم مقارنته باستخدام اختبارات t للسباقات المزدوجة، واختبارات الإشارة، واختبارات ديبولد-ماريانو. كما تستخدم الدراسة عملية استئصال متداخلة لعزل آثار كتل الميزات (الظروف، الوتيرة، حركة المرور) وصيغ الأهداف.
التحقق السببي: يتحقق اختباران مؤتمتان من أن الميزات لا تسرب معلومات مستقبلية ولا تعتمد على نتيجة اللفة المتنبأ بها نفسها.
المساهمات الرئيسية
التقييم النسبي بالنسبة للخط المرجعي: تقدم الدراسة أول مقارنة منهجية لنماذج زمن لفة الفورمولا 1 مقابل توقع بسيط على لفات متطابقة محجوزة، مما يضع "أرضية بسيطة" للدقة.
بناء خط مرجعي منصف: توضح الدراسة أن الخطوط المرجعية البسيطة يمكن أن تُظلم بشكل غير عادل. فالتوقع المستمر القياسي يقارن اللفات على إطارات مختلفة عبر عمليات التوقف، مما يضخم ميزة النموذج ظاهريًا. أما الخط المرجعي المدرك للمرحلة، الذي يأخذ في الاعتبار إزاحات المركبات، فيقدم مقياسًا أكثر دفاعًا للمهارة.
هيمنة صياغة الهدف: تظهر الدراسة أن اختيار صياغة الهدف (المتبقي مقابل المطلق) أكثر أهمية من مجموعة الميزات. تتفوق أهداف المتبقي باستمرار على الأهداف المطلقة، بينما تفشل الأهداف المطلقة غالبًا في التغلب على الخط المرجعي البسيط.
القصور الهيكلي لأهداف التآكل: تكشف الدراسة عن خاصية هيكلية لأهداف التآكل المرجعية للمرحلة (زمن اللفة ناقص ثابت داخل المرحلة). عند أفق خطوة واحدة، يكون توقع الاستمرارية للتآكل متطابقًا رياضيًا مع توقع الاستمرارية لزمن اللفة. وبالتالي، فإن أي خطأ في زمن اللفة لأي نموذج هو نفسه خطأ زمن اللفة، مما يعني أن هذه الأهداف لا تستطيع التمييز بين نموذج تعلم عن تآكل الإطارات ونموذج تعلم فقط عن الارتباط الذاتي لزمن اللفة.
قابلية نقل اللوائح: تبحث الدراسة فيما إذا كانت النماذج المدربة على لوائح ما قبل 2022 تنتقل إلى عصر التأثير الأرضي لما بعد 2022، وتجد أن تجميع البيانات التاريخية (بما في ذلك اللوائح المستبدلة) يحسن الأداء مقارنة بالتدريب على العصر الجديد فقط.
النتائج
التنبؤ بزمن اللفة: مقابل خط الاستمرارية القياسي، يحقق النموذج المعزز بالتدرج انخفاضًا بنسبة 15.1% في متوسط الخطأ المطلق (MAE). ومع ذلك، مقابل الخط المرجعي الأكثر إنصافًا (المدرك للمرحلة)، تنخفض الميزة إلى 12.1% (وهي ذات دلالة إحصائية، p=0.0065).
الأداء الطبقي: تتركز مهارة النموذج في الانتقالات. فهو يحقق تحسنًا بنسبة 30.6% في أول خمس لفات من المرحلة، وتحسنًا بنسبة 44.6% عندما يمتد الخط المرجعي عبر عملية توقف في المنصة. وفي الجري المستقر (اللفة 11 فأكثر)، تنخفض الميزة إلى 10.2% وهي ليست ذات دلالة إحصائية على مستوى السباق.
نتائج الاستئصال (Ablation): تفوقت جميع تكوينات المتبقي الثلاثة على خط الاستمرارية، بينما لم يتفوق أي تكوين مطلق. هذا يؤكد أن الميزة نابعة من التنبؤ بالمتبقي، وليس من هندسة الميزات المحددة.
التآكل: تجد الدراسة أن نماذج التآكل التي تستخدم هدفًا مرجعيًا للمرحلة لا توفر أدلة مستقلة على مهارة التنبؤ بالتآكل. نجاح نموذج GRU الظاهري في التآكل هو مجرد انعكاس لأدائه في زمن اللفة.
الأداء خارج الزمن (Out-of-Time): يحتفظ النموذج المجمد بميزته في عام 2024 (14.3%) وعام 2025 (9.8%)، رغم أن الأداء يختلف باختلاف الموسم.
عصر التدريب: إن التدريب على بيانات ما قبل 2022 وحدها يعطي نتائج (11.9%) لا تختلف عن التدريب في نفس العصر (12.2%). ودمج بيانات ما قبل وما بعد 2022 يعطي أفضل أداء (16.1%)، مما يشير إلى أن البيانات التاريخية مفيدة وليست ضارة.
الأهمية والادعاءات يزعم البحث أن مصداقية دعم اتخاذ قرار استراتيجية السباق مقيدة بمصداقية توقعاتها الأساسية. ومن خلال تطبيق معايير التقييم الراسخة من التنبؤ بالسلاسل الزمنية العامة (خاصة استخدام الخطوط المرجعية البسيطة ومقاييس الخطأ النسبية) على الفورمولا 1، تكشف الدراسة أن:
تقرير خط مرجعي بسيط أمر ضروري ولكنه غير كافٍ؛ يجب أن يكون الخط المرجعي مبنيًا بشكل عادل (على سبيل المثال، مراعاة مركبات الإطارات) لتجنب تضخيم أداء النموذج.
صياغة الهدف هي المحرك للنجاح: صياغة المتبقي هي المحرك الرئيسي للأداء، وليس تعقيد مجموعة الميزات أو بنية النموذج.
أهداف التآكل تتطلب إعادة تقييم: أهداف التآكل ذات الخطوة الواحدة التي تطرح ثابتًا داخل المرحلة هي هيكليًا غير قادرة على اختبار معرفة التآكل بشكل منفصل عن معرفة زمن اللفة.
البيانات التاريخية قيمة: خلافًا للحدس الذي يقول بضرورة إعادة ضبط النماذج فورًا بعد تغيير اللوائح، فإن تجميع البيانات عبر العصور يحسن الأداء التنبئي.
يخلص المؤلفون إلى أنه بينما تتفوق النماذج المعززة بالتدرج على التوقعات البسيطة، فإن قيمتها العملية تتركز في نوافذ استراتيجية محددة (التوقف في المنصة وبدايات المراحل). وهم يحذرون من تفسير نتائج التآكل ذات الخطوة الواحدة كدليل على تعلم خاص بالإطارات، ويؤكدون أن العمل المستقبلي يجب أن يستخدم آفاقًا متعددة اللفات أو تكاملات على مستوى المرحلة لاختبار التنبؤ بالتآكل بشكل حقيقي.