Svaki inenjerski problem trai odreenu vrstu kvantifikacije, prvo izmjerenih ili ve

poznatih, a zatim i traenih ili proraunatih rezultata, pa tako i problemi vezani za tok fluida i
prijenos toplote, o kojima e biti govora u daljem radu. Upoznavajui se s raznim problemima
koji se postavljaju pred inenjere kad je u pitanju kvantifikacija rezultata u dinamici fluida i
prijenosu toplote, zakljuili smo da je za potpuno odreivanje pojedinih parametara
ekperimentalnim putem potrebno puno uloenih novanih sredstava, truda i vremena, te da u
odreenim situacijama ne bi uope bilo isplativo provoditi ekperiment za dati problem ili ne
bi bilo isplativo provoditi eskperiment u tolikom obimu koliko je potrebno da bi se problem
kvalitetno rijeio. Zato se pristupa numerikom rjeavanju problema i inenjerskim
simulacijama u softverima koristei se CFD* konceptom. Naravno, odmah se postavlja
pitanje koliko e ta rjeenja biti pouzdana i tana, koliko e odudarati od stvarnosti i da li mi
kao inenjeri moemo prihvatiti ta odstupanja od stvarnih rjeenja. Kako bismo izvrili
provjeru odudaranja od eksperimentalnih rezultata, radi se validacija, meutim, kako bismo
mogli izvriti kvalitetnu validaciju, potrebno je da proemo kroz jedan postupak, koji se zove
verifikacija, a predstavlja ispitivanje numerike tanosti softvera, te odgovara na pitanje da li
primijenjeni algoritmi tano rjeavaju jednaine u modelu, ne obazirui se pri tome koliko
tano te jednaine predstavljaju stvarnost. Verifikacija se radi u dvije odvojene etape , koje se
zovu verifikacija koda i verifikacija rjeenja, gdje verifikacija rjeenja dolazi nakon
verifikacije koda, a obje se provode bazirajui se na konvergenciji mree.
Verifikacija koda
Verifikacija koda predstavlja etapu verifikacije gdje se vri provjera samog koda pomou
sistemskih testova konvergencije mree, provjeravajui da li rjeenje konvergira ka nekom
ve poznatom ili odreenom rjeenju. Najlake bi bilo nai egzaktna analitika rjeenja, pa
preko njih raditi verifikaciju koda, meutim to nije dovoljno da bi verifikacija bila potpuna.
Za potpunu verifikaciju koda su nam potrebne kompleksnije jednaine i rjeenja kako bismo
bili potpuno sigurni da smo sagledali sve aspekte ispravnosti koda.