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时间的差别为不断增加的变量，量值为数秒，这是因为
%       每当闰年的时候UTC时间就会增加1s 
%××××××××××××××××××××××××××××××××××××××××

% GPS时间与TAI时间的转换（经stk验证）
% 仅为简易验证，不涉及日期间的加减进位

%输入数据1
%stk中的TAI时间：10 Jul 2005 04:00:15.000 TAIG
%stk中的GPS时间：10 Jul 2005 03:59:56.000 GPSG
%程序计算时间：03:59:56.000
TAI_time=15.000;

%输入数据2
%stk中的TAI时间：11 Jul 2005 04:00:32.000 TAIG
%stk中的GPS时间：11 Jul 2005 04:00:13.000 GPSG
%程序计算时间：13s
TAI_time=32.000;

%输入数据3
%stk中的TAI时间：10 Jul 1950 04:00:15.000 TAIG
%stk中的GPS时间：10 Jul 1950 03:59:56.000 GPSG

%输入数据4
%stk中的TAI时间：11 Jul 1951 04:00:32.000 TAIG
%stk中的GPS时间：11 Jul 1951 04:00:13.000 GPSG

GPS_time=TAI_time-19