Metody badań stosowane w nawigacji
• poprawność oprogramowania w sensie poprawności sieci działań oraz dokładności wykonywania obliczeń.
W teorii symulacji komputerowych rozróżnia się adekwatność odwzorowawczą, predykcyjną i strukturalną modelu. Adekwatność odwzorowawcza zachodzi wówczas, gdy wyniki symulacji są zgodne z wynikami badań obiektu rzeczywistego. Może pojawić się w tym miejscu wątpliwość o sens modelowania i symulacji, jeśli obiekt istnieje, bowiem mogliśmy na nim przeprowadzić eksperymenty. Można to rozumieć w ten sposób, że istotnie obiekt istnieje, jednak nie wszystkie eksperymenty można na nim wykonać, bowiem mogłoby to doprowadzić do katastrofy. Może też oznaczać, iż jesteśmy w stanie na drodze innych badań zweryfikować zachowanie się obiektu w pewnych specyficznych sytuacjach i są one zgodne z wynikami symulacji. Adekwatność predykcyjną oznacza, że wyniki symulacji umożliwiają prognozowanie nieznanych zachowań obiektu. Jest to najistotniejszy rodzaj adekwatności modelu z punktu widzenia badań symulacyjnych. Z kolei adekwatność strukturalna oznacza, że model oddaje wiernie nie tylko zachowanie się obiektu w stosunku do otoczenia, ale również jest w stanie oddać procesy zachodzące wewnątrz obiektu, prowadzące do obserwowanych wyników. Na przykład: można napisać równanie, które będzie pozwalało opisać ruch okrętu po powierzchni morza przy założeniu działania odpowiednich sił napędowych, ale można również opisać zachowanie się śruby i płetwy sterowej, które ten efekt wywołują.
Jest to jedna z najnowszych metod badawczych, której pierwsze przesłanki można dostrzec w XVIII wieku, jednak rozwinęła się dopiero w połowie XIX wieku. Polega na wyciąganiu wniosków i uogólnień na temat cech badanego zjawiska na podstawie zbioru obserwacji. Podstawą tej metody
45