Here, the solidification is validated with the analytical solution known as the Neumann problem. The analytical solution to this solidification problem are used for example by Hu et al.

Tank sloshing refers to the motion of liquid inside a container in response to the container’s movement.