GPS time is NOT kept in phase with UTC, so when a second is added to UTC, it is NOT added to GPS time. So there is no glitch at all in GPS positions when a leap second is added to UTC. GPS time was zero at 00 00.0000000 on 6th January 1980 and is now 18 seconds ahead of UTC. So as I'm typing this: UTC time was: 2017-01-01 09:33:23 GPS time was: 2017-01-01 09:33:41 People who use GPS at a professional level, which would include masters of ships (other than perhaps recreational sailors) as well as surveyors, geodesists and many engineers, are well aware of this. Interestingly (or not?), when I re-triangulated part of northern Brazil in 1985 using Block I GPS, I found a 55m bust in their primary triangulation network around Macapa....which IGBE (Brazilian equivalent of OS in UK) took some convincing was real.
|