High-Precision 3-D Mapping in Tunnels Based on Vibration Magnitude-Adaptive Kalman Filtering | IEEE Journals & Magazine | IEEE Xplore