التحقق والمصادقة ليسا الشيء نفسه

هناك سؤالان، ولا يغني أحدهما عن الآخر:

التحقق: هل أحلّ المعادلات حلاً صحيحاً؟
المصادقة: هل أحلّ المعادلات الصحيحة؟

الأول رياضي محض ولا يحتاج قياساً. والثاني فيزيائي ولا يتم من دون قياس. فإن قال تقرير إن «نتيجة CFD تطابق القياس في حدود 3 %» ولم يُظهر دراسة استقلالية شبكة، فلا أحد يعرف ماذا تعني تلك الـ 3 %.

لماذا يهم الترتيب

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

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

ماذا يشمل التحقق

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

ماذا تشمل المصادقة

المصادقة تعني مقارنة النتيجة بالقياس — لكن المقارنة نفسها تحمل عدم يقين:

عدم يقين القياس. دقة الحساس، والمعايرة، وقابلية التكرار. فإن كان عدم يقين القياس ±8 %، لم يكن فرق 5 % بين الحساب والقياس خلافاً.
تطابق الظروف. هل الشرط الحدّي في النموذج هو الحالة الواقعية على منصة الاختبار؟ منحنى المدخل، وخشونة السطح، وحرارة المحيط، وإحكام الإغلاق.
اختيار الكمية المقارَنة. فحرارة عند نقطة واحدة قد تتطابق مصادفةً. أما التطابق على امتداد منحنى أو مقطع فدليل أقوى بكثير.

حين لا توجد بيانات مصادقة

معظم المشاريع الصناعية لا يملك قياساً للمقارنة. وهذا لا يبيح التصرف كأن المصادقة قد تمت. وما يمكن فعله:

مقارنة مسألة فرعية مبسطة بحل تحليلي أو بعلاقة راسخة
تشغيل المنهجية نفسها مرة على بيانات تجريبية منشورة لمنصة مشابهة في الأدبيات
استعمال النتيجة مقارنةً لا مطلقاً — فمعظم خطأ النموذج يعمل في الاتجاه نفسه في التصميمين ويتلاشى في الفارق. انظروا ملاحظة الأرقام المعنوية.

وما جرى فعله هو ما يُكتب في التقرير. وعبارة «تعذّرت المصادقة؛ وينبغي استعمال النتيجة مقارنةً» أثمن بكثير من الإيحاء بمصادقة لم تحدث قط.

المراجع

ASME (2009, R2021). V&V 20 — Standard for Verification and Validation in Computational Fluid Dynamics and Heat Transfer. American Society of Mechanical Engineers, New York.
Roache, P. J. (1994). Perspective: A method for uniform reporting of grid refinement studies. Journal of Fluids Engineering, 116(3), 405–413. DOI: 10.1115/1.2910291
Celik, I. B., Ghia, U., Roache, P. J., Freitas, C. J., Coleman, H. & Raad, P. E. (2008). Procedure for estimation and reporting of uncertainty due to discretization in CFD applications. Journal of Fluids Engineering, 130(7), 078001. DOI: 10.1115/1.2960953