Research of the Segment Erector of Tunnel Boring Machine Based on Virtual Prototype | IEEE Conference Publication | IEEE Xplore