Semicool Temperature Compensation Algorithm Based on the Double Exponential Model in the Ultrasonic Positioning System | IEEE Journals & Magazine | IEEE Xplore