کارشناس روش‌های عددی

کار با مسئله‌ای پیوسته آغاز می‌شود که از دل پروژه‌ای واقعی رسیده است: معادلهٔ حرارت، جریان سیال یا مسئله‌ای مقدار مرزی بدون پاسخ تحلیلی. کارشناس میان فرمول‌بندی‌های جاافتاده انتخاب می‌کند، نه اینکه طرحی نو بسازد، و مسئله را با تفاضل محدود، المان محدود یا حجم محدود به دستگاهی جبری بدل می‌کند. مرتبهٔ تقریب را بودجهٔ پروژه محدود می‌کند.

دستگاه به‌دست‌آمده معمولاً بزرگ و تُنُک است و روش‌های مستقیم برای آن گران تمام می‌شوند. بخش زیادی از وقت صرف انتخاب میان حل‌گرهای تکراری مانند گرادیان مزدوج یا GMRES و ساختن پیش‌شرط‌ساز مناسب می‌شود. کارشناس عدد شرطی ماتریس و معیار توقف را تعیین می‌کند و اگر حل‌گر همگرا نشد، ریشه را در شبکه یا پیش‌شرط‌ساز می‌جوید.

هر جواب عددی دو خطا دارد: خطای گسسته‌سازی و خطای گِرد کردن ممیز شناور. کارشناس این دو را از هم جدا می‌کند، مرتبهٔ همگرایی را با ریز کردن پیاپی شبکه اندازه می‌گیرد و با مرتبهٔ نظری روش می‌سنجد. در مسئله‌های وابسته به زمان، شرط‌های پایداری گام زمانی مجاز را تعیین می‌کنند و انتخاب میان طرح صریح و ضمنی از همین‌جا درمی‌آید.

الگوریتم روی کاغذ تا اجرا نشود ارزشی ندارد. کارشناس آن را در متلب، پایتون، فرترن یا ++C پیاده می‌کند و بعد سراغ کارایی می‌رود: پروفایل گرفتن، حذف حلقه‌های کند، کتابخانه‌های بهینهٔ جبر خطی و موازی‌سازی با MPI یا OpenMP. خروجی باید کدی تحویل‌دادنی باشد که همکاران سازمان هم بتوانند اجرا و نگهداری‌اش کنند، نه اسکریپت یک‌بارمصرف.

دو پرسش جداگانه باید پاسخ بگیرد: آیا معادلات درست حل شده‌اند و آیا معادلات درستی حل شده‌اند. برای اولی، کد روی مسئله‌های محک و پاسخ‌های تحلیلی شناخته‌شده آزموده می‌شود. برای دومی، خروجی با دادهٔ آزمایشگاهی یا اندازه‌گیری میدانی مقایسه می‌شود. پشت این کار یک تصمیم مهندسی ایستاده است، نه مقاله، و نتیجه باید جلوی کارفرما دفاع شود.

مسئله معمولاً از جای دیگری می‌آید: از مهندس سازه، طراح توربین، زمین‌شناس مخزن یا گروه مالی. کارشناس باید صورت‌مسئله را از زبان آن رشته به زبان ریاضی ترجمه کند، بر سر فرض‌های ساده‌ساز به توافق برسد و بگوید نتیجه تا کجا معتبر است. پرهیز از وعدهٔ دقتی که مدل نمی‌تواند بدهد، بخش جدی این نقش است.