GPS时间与TAI时间的转换（经stk验证）

%××××××××××××××××××××××××××××××××××××××××
% GPS time = TAI - 19 seconds.  GPS time matched UTC from 1980-01-01
%       to 1981-07-01.  No leap seconds are inserted into GPS time, thus
%       GPS time is 13 seconds ahead of UTC on 2000-01-01.  The GPS epoch
%       is 00:00 (midnight) UTC on 1980-01-06.
%       The differences between GPS Time and International Atomic Time (TAI)
%       and Terrestrial Time (TT), also know as Terrestrial Dynamical Time
%       (TDT), are constant at the level of some tens of nanoseconds while
%       the difference between GPS Time and UTC changes in increments of
%       seconds each time a leap second is added to UTC time scale.
% GPS time = TAI - 19秒. 1980-01-01至1981-07-01期间，GPS时间与UTC时间一致.
%       由于GPS时间没有插入闰秒, 2000-01-01 GPS时间比UTC时间要快13s. GPS历元起始于
%       UTC时间的1980-01-06午夜00:00. GPS时间与TAI、TT（也叫TDT）的差别为常量, 量
%       值为数十纳秒; GPS时间与UTC时间的差别为