Gateway floor heave control is the key to guarantee mine safe and efficient production.Through analysis of floor instability characteristics and bolting control
A three-dimensional contact model of 1 ×7 steel strand was established.Contact point was searched by Splitting-pinball algorithm,and Augmented-Lagrangian algor