Članek prikazuje kritične probleme pri numerični verifikaciji računalniških programov, kompleksnost verifikacije in predlaga ter uporabi proceduro za posplošeno verifikacijo simulacije makroizcejanja.
COBISS.SI-ID: 888059
Namen članka je raziskati uporabo brezmrežne lokalne kolokacijske metode na podlagi radialnih baznih funkcij (RBFCM) pri reševanju sklopljenih problemov prenosa toplote in toka tekočin. Sklopitev med tlakom in hitrostjo je podana iterativno, s tlačno korekcijo, predpostavljeno iz lokalne neusklajenosti ohranitve mase. Ta formulacija ne zahteva rešitve Poissonove enačbe za tlak ali korekcijo tlaka in zato bistveno poenostavi prejšnje poskuse s področja.
COBISS.SI-ID: 992507