Study on numerical simulation of cup-shaped horizontal freezing reinforcement project near shield launching | IEEE Conference Publication | IEEE Xplore