Numerical Modeling of Laminar Circulation Flow in a Square Cavity with a Moving Boundary at High Reynolds Numbers