The mathematical model, numerical procedures, and the computer codes are verified using either experimental results or simplified models for which exact analytical solutions are available.
يتم التحقق من النموذج الرياضي والإجراءات العددية ورموز الحاسوب باستخدام نتائج تجريبية أو نماذج مُبسطة يوجد لها حلول تحليلية دقيقة.