%××××××××××××××××××××××××××××××××××××××××
% 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