Fundamental study on ultrasonic measurement system to detect penetration of boulders using auto-correlation analysis | IEEE Conference Publication | IEEE Xplore