Ship motion mathematical model in the ship lock waterway | IEEE Conference Publication | IEEE Xplore