La Simulazione di Manovra delle Navi di Superficie: Cenni Teorici ed Esempi di Applicazione del Simulatore DINAV