An Integrated Navigation Method Aided by Position Correction Model and Velocity Model for AUVs | Synapse