A Correction Method for DVL Measurement Errors by Attitude Dynamics | Synapse