هل يستعيد النموذج قانون البندول؟ مشاريع تخرج الذكاء الاصطناعي والفيزياء

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

حدد القانون وحدود التقريب

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

صغ مدخلات ومخرجاً واضحين: طول الخيط بالمتر، زاوية البداية بالراديان، وربما قيمة الجاذبية المعروفة، مقابل زمن الدورة بالثواني. قلل عدد المتغيرات حتى يستطيع الفريق مقارنة الصيغة المستنتجة بتوقع فيزيائي معلوم. إذا أضفت متغيرات مثل كتلة الثقل، اختبر إن كانت تدخل فعلاً في نموذجك أو أنها مجرد ضجيج. تحديد السؤال يمنع مساحة بحث رمزي كبيرة من إنتاج معادلات غريبة تبدو دقيقة بالمصادفة.

القياس قبل الخوارزمية

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

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

ابحث ضمن لغة رياضية محدودة

الانحدار الرمزي يجرب تراكيب من عمليات ودوال ليجد تعبيراً يطابق البيانات؛ ورقة AI Feynman تعرض كيف تساعد خصائص مثل التناظر وقابلية الفصل في البحث عن علاقات فيزيائية، بينما يتيح SRBench التفكير في المقارنة المنهجية بين طرائق وأعداد بيانات مختلفة. ابدأ بقائمة عمليات صغيرة: جمع وضرب وقسمة وجذر، ثم قارن نموذجاً حراً بنسخة تقيد الوحدات أو نطاق المتغيرات. لا تبدأ بعشرات الدوال لأن ذلك يجعل تفسير المخرج أصعب.

استخدم خط أساسين: صيغة تعليمية معروفة ونموذج انحدار عددي لا يعرض معادلة بسيطة. قارن خطأ التنبؤ والتعقيد الرمزي معاً؛ صيغة طويلة ذات معاملات كثيرة قد تلائم الضجيج ولا تشرح العلاقة. يمكن استخدام مجموعة مسائل Feynman كاختبار برمجي إضافي، لكن لا تخلط benchmark منشوراً بقياسات البندول التي جمعها الفريق. سجل نسخة المكتبة والبذرة العشوائية وحدود الحساب ليمكن إعادة النتيجة.

مثال على فصل الملاءمة عن الاختبار

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

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

قواعد اختبار تمنع حفظ جدول القياس

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

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

كيف تعرض نتيجة مفيدة

سلّم مستودعاً يحوي ملف القياسات، وتعريف الأعمدة والوحدات، وسكربت استخراج السمات، وإعدادات البحث، ونسخة من المعادلات المرشحة. أضف صفحة تقارن دقة المعادلة وتعقيدها وتفسر افتراضات التجربة. يمكن رسم الجذور أو دورات الحركة إن كانت مفيدة، لكن لا تملأ الصفحة بلوحات لا تجيب عن سؤال. في العرض الشفهي اشرح لماذا بقيت بعض النقاط خارج الملاءمة، وما الذي جربه الفريق حين فشل النموذج.

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

متى لا تكفي الصيغة المكتشفة

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

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