Short-Time and High-Precision Measurement Method for Larmor Frequency of Marine Overhauser Sensor | IEEE Journals & Magazine | IEEE Xplore