可以在水上移动并能沉浮的凹形船坞，用来修理船只。