applied sciences

Article An Approach to a Offsets Model for Real- PPP Time and Frequency Transfer During Data Discontinuity

Weijin Qin 1,2,*, Yulong Ge 1,2,3 , Pei Wei 1,2,3 and Xuhai Yang 1,2,4 1 National Time Service Center, Chinese Academy of Sciences, Xi’an 710600, China; [email protected] (Y.G.); [email protected] (P.W.); [email protected] (X.Y.) 2 Key Laboratory of Precise Positioning and Timing Technology, Chinese Academy of Sciences, Xi’an 710600, China 3 University of Chinese Academy of Sciences, Beijing 100049, China 4 School of Astronomy and Space Science, University of Chinese Academy of Sciences, Beijing 100049, China * Correspondence: [email protected]

 Received: 27 February 2019; Accepted: 1 April 2019; Published: 3 April 2019 

Abstract: To resolve the dilemma in any post-processing strategy, i.e., the difficulty of monitoring the real-time time and frequency signals in a timely manner, real-time GPS time and the frequency transfer have recently become trending topics. Unfortunately, data interruption occurs when conducting real-time time transfer, sometimes from unexpected reasons. In this study, to ensure the stability and precision of real-time time transfer, an adaptive prediction model and a between-epoch constraint receiver clock model are applied as the mathematic models. The purpose of prediction is to solve the ambiguity from re-convergence when the data reappear. Moreover, compared to the conventional method, the between-epoch constraint receiver clock model is employed in this study to consider the correlation of epoch-wise clock parameters to avoid wasting useful information. The simulation data and real data are compared to verify the performance of the new approach. The simulation data for 165 days are designed with random daily interruptions of 10, 30, 60 and 90 min. Real data from 12 days is captured from the incomplete data in routine observation records. Ignoring the simulation data and real data, the investigation of six stations shows that the results with the between-epoch constraint receiver clock model were smoother than those with a model. With an adaptive prediction model and the between-epoch constraint receiver clock model, the simulation results illustrate that the average root mean squares (RMS) values of all the stations are significantly reduced, i.e., by 66.03% from 0.43 to 0.14 ns, by 64.91% from 0.44 to 0.15 ns, by 57.47% from 0.43 to 0.18 ns, and by 51.67% from 0.44 to 0.21 ns for the 10, 30, 60 and 90 min data interruptions, respectively. The stability of all the stations is improved by at least 50%. The improvement increases to 100% for short-term stability. The real results show that the stability of four links is boosted by at least 5%. The model proposed in this paper is more effective in producing short-term stability than long-term stability.

Keywords: real-time time transfer; precise point positioning (PPP); adaptive clock prediction; receiver clock offset model; data discontinuity

1. Introduction Since its first application in 1980, the global positioning system (GPS) has been recognized as an efficient tool for time and frequency transfer [1]. The GPS technique has been applied for time transfer with pseudo range measurements in the early days, which is referred to as common-view (CV) and all-in-view (AV) [1,2]. Due to the high-precision of the carrier phase measurement, the techniques

Appl. Sci. 2019, 9, 1405; doi:10.3390/app9071405 www.mdpi.com/journal/applsci Appl. Sci. 2019, 9, 1405 2 of 16 based on code observations no longer provide the optimal time transfer solutions. Another approach, which could improve TAI (International Atomic Time) time links and TAI computation, was proposed in 2006 [3]; it is referred to as the carrier phase (CP) technique. By virtue of the precise orbit and clock products distributed freely and routinely by the IGS (International GNSS Service), precise point positioning (PPP) is one of the most promising time comparison techniques available, primarily because of its high-accuracy, cost-effectiveness, and global coverage [3–5]. PPP time transfer results have been used in TAI at BIPM (Bureau international des poids et mesures) since September 2009, and are involved in over 50% of the more than 70 timing laboratories’ contributions to TAI and UTC (Coordinated Universal Time) [3,6]. The PPP strategy has better short-term stability compared to code-only techniques. The statistical uncertainty is approximately 0.3 ns for PPP links in BIPM circular T, and the frequency comparison is approximately 1 × 10−15 with a 1-d averaging time [6,7]. In recent years, the research community has shown a growing interest in the PPP technique [8–11]. To meet the increasing requirements of real-time PPP applications, the IGS initiated the IGS Real-Time Pilot Project (IGS-RTPP) in 2007 and provided the precise orbit and clock corrections [12–14]. L. Zhang, Yang, Gao, Yao, and Xu (2018) evaluated real-time precise orbits and clock products from different IGS analysis centres (ACs). The results indicated that the root-mean-square error (RMSE) of a satellite orbit ranges from 3.8 cm to 7.5 cm for different real-time service (RTS) products, while the mean standard deviations of errors (STDE) of the satellite range from 1.9 cm to 5.6 cm. These data show that RTS products are suitable for PPP applications. Liu, Zhang, Yuan, and Li (2018) proposed models, algorithms and ionosphere applications of real-time PPP (RT-PPP). Their studies reveal that slant ionosphere delays from RT-PPP are more precise and have a much better convergence performance than those from the carrier-to-code levelling (CCL) method in real-time processing. Currently, PPP is mainly utilized in post processing as a crucial time transfer technique. A limited number of researchers attach great importance to RT-PPP time transfer techniques [15–17], employing continuous observation and products. However, as far as the practical application of RT-PPP time transfer is concerned, the problem is more complicated. There are numerous cases, which will significantly affect statistical uncertainty in RT-PPP time transfer. One case involves a data discontinuity from network problems [18] that leads to product loss or a delay in processing. The data discontinuity will cause a re-convergence of the clock parameters and the ambiguity parameters, or a clock jump. This is true for both static and kinematic models when the clock offset is modelled as white noise. This consequently gives rise to a degradation of the RT-PPP time transfer performance, as evidenced by the fact that ambiguity parameters will be initialized at the time of the data interruption, presenting a strong correlation with clock offset parameters. Until now, there has been no body of literature investigating the problem. These deficiencies of previous studies are the main drivers of this contribution, in which we demonstrate the efficiency of the clock model for instantly recovering clock offset, avoiding re-convergence when there is a data discontinuity in the RT-PPP time transfer data processing. The organization of this contribution is as follows. In Section2, the basic principles of RT-PPP time transfer are briefly reviewed, and we describe in detail how to deal with clock offset re-convergence or parameter estimations from a data discontinuity with the clock offset model. The experimental data and processing strategies are presented in Section3. The experimental results from applying our approach in clarifying the overall performance in RT-PPP time transfer with a data discontinuity is presented in Section4. The conclusions are presented in Section5.

2. Method The ionosphere-free (IF) equation for the pseudo range and carrier phase observation is first presented. The clock models are then introduced. We end with a detailed description of the RT-PPP time transfer processes used in our approach. Appl. Sci. 2019, 9, 1405 3 of 16

2.1. The Observation Model In the time community, the equation of the ionosphere-free (IF) pseudo range and carrier-phase observations is linear, and can be written as follows [3]:  PS = ρS + c·dt − c·dtS + m f (e)·Z + (dS − dS ) + εS  r,IF r r w w r,IF IF r,IF S S S Lr,IF = λIF·Φr,IF (1)  S S S S S S S = ρr + c·dtr − c·dt + m fw(e)·Zw + λIF·(Nr,IF + br,IF − bIF) + ξr,IF

S S where r indicates the receiver, S indicates the satellite; Pr,IF and Lr,IF denote the pseudo-range and the S S phase observables in metres, respectively; λIF is the carrier wavelength when ionosphere-free; Φr,IF is the original carrier phase measurement in cycles; ρ is the geometric distance in metres; c denotes the S speed of light; dt and dtr are the clock offsets of the satellite and receiver in seconds; e is the elevation angle of the satellite S; m fw(e) refers to wet mapping functions [19]; Zw represents the zenith wet delay; S S dr,IF and dIF are the uncalibrated code delays (UCDs) of the IF model at the receiver and satellite end, S respectively; Nr,IF is an integer itself but is estimated as a floating point number from unmodeled S S effects; br,IF and bIF are the uncalibrated phase delays (UPDs) of the IF model at the receiver and the S S satellite ends in cycles; and εr,IF and ξr,IF denote the sum of the measurement noise and the multipath S error for the pseudo range and carrier phase observations, respectively. Since dIF is absorbed by the satellite clock [20], the clock offset of the receiver dtr can be written as follows [8]:

S dtr = dtr + dr,IF (2)

The relativistic effects, the Sagnac effect, tidal loadings, the slant hydrostatic delay, satellite and receiver antenna phase centre offsets and variations (PCO and PCV) [21,22], and the phase wind-up must be corrected with an experimental model [5], even though they are not included in (1). Detailed descriptions are listed in Table1.

Table 1. Summary of GPS PPP (global positioning system precise point positioning) processing strategies.

Item Strategies Estimator Kalman filtering Relativistic effect IERS conventions 2010 Sagnac effect IERS conventions 2010 Phase wind-up Corrected by model Tide displacements IERS conventions 2010 ZHD: corrected with global pressure and temperature (GPT) model using the formulas of Saastamoninen Tropospheric delay ZWD: estimated as a continuous piecewise linear function (2 h parameter spacing), GMF mapping function Satellite antenna PCOs and PCVs IGS “*.atx” file

The least square method is a type of mathematical optimization technology. The optimal result is obtained with the constraint of the minimum square sum of the residuals. The corresponding normal equation is used to estimate the unknown parameters as follows:

AT PA·Xˆ = AT PL (3) where Xˆ denotes the vector of all estimated parameters, including the receiver clock offset, tropospheric zenith delay and phase ambiguity; A is the corresponding design matrix; P is the weight matrix, which Appl. Sci. 2019, 9, 1405 4 of 16 is determined by the elevation-dependent model; and L is the difference between the observed quantity and the computed quantity. The equation can be rewritten in the following simple format:

N·Xˆ = b (4) where N denotes AT PA and b denotes AT PL. The least square method is applied in the adaptive receiver clock prediction model. We introduce the clock model in the next subsection.

2.2. The Clock Model Generally, the clock offset parameter is estimated using white noise. In this contribution, we estimate the clock offset using the between-epoch constraint model (random-walk model). If the receiver clock offset exists in the IGS clock file, a prior is calculated from the known clock offset. If not, the receiver clock offset is calculated using the PPP method and a prior variance is computed according to the Allan variance. Considering the white frequency modulation (WFM) noise q1, the random walk frequency modulation (RWFM) noise q2, and the random run frequency modulation (RRFM) noise q3, we obtain the following equation [23]:

q τ 1 δ2 (τ) = q τ−1 + 2 + q τ3 (5) Allan 1 3 20 3

2 where δAllan(τ) is the Allan variance at a time interval of τ; q1, q2 and q3 are estimated first by the least square method; and a prior noise variance Qw is then determined [24]. In the RT-PPP static mode, the value of the coordinate is known. Additionally, the tropospheric delay can be constrained by a prior value because of its small short-term change. Therefore, the data interruption does not induce any influence on these two parameters. However, as we mentioned previously, the clock offset parameter will re-converge because of the ambiguity in initialization when the data is interrupted. Hence, based on the between-epoch constraint model, an adaptive prediction clock model is applied to mitigate the re-convergence error of the clock offset when experiencing a data discontinuity. A standard model for a clock offset is described as follows:

k a2 2 dtr = a0 + a1(ti − t0) + (ti − t0) + ∑ Al sin(ωti + ϕl) (6) 2 l=0 where a0, a1 and a2 are the coefficients of the low-degree polynomial; ti is the time at epoch i; Al denotes the coefficients of the periodic functions; ω is the frequency of the periodic items; and ϕl is the phase deviation of the periodic term. The first-order, second-order polynomial model is employed in this contribution, and a0, a1 and a2 are estimated as constant parameters using the least square method. Note that the weight of the clock is determined by the corresponding variance. Furthermore, an adaptive prediction model is introduced for predicting the clock offset to ensure the continuity of the clock offset time series. ‘Adaptive’ signifies that the selection of the polynomial model is dynamic, depending on the fitting residuals. A detailed diagram of the adaptive prediction clock model is shown in Figure1. The frequency spectrum of the clock offset is analysed using a fast Fourier transform (FFT). The process of the RT-PPP time and frequency transfer using the clock model is shown in Figure2. It mainly includes two parts, as follows:

(1) We obtain the observations from the receiver (connected to their time and frequency generator, a 1 PPS signal and a 5/10 MHz frequency signal), broadcast ephemeris and state space representation (SSR) corrections from IGS/ACs [25–27]. (2) If the data is not interrupted, it will go directly to RT-PPP processing to calculate the difference between the local time UTC (i) and the reference time (ref). Then, the clock offset, and the corresponding variance are stored. We use a sliding window with a window length of 240 data Appl. Sci. 2019, 9, 1405 5 of 16

points to store the clock offset data. However, when data interruption occurs, we use the stored clock offset data to calculate the coefficient of the adaptive prediction model, and then predict the clock offset of the current epoch, with the current clock offset as a prior value, while setting the corresponding variance. Importantly, an a priori clock offset of 20 consecutive epochs is set to the predicted clock offset starting from the data, and the products are re-received to help ambiguity parameters to recover quickly and accurately. The detailed variance setting will be described in the next section. Appl. Sci. 2019, 9, x FOR PEER REVIEW 5 of 17

Appl. Sci. 2019, 9, x FOR PEER REVIEW 6 of 17 Figure 1. Diagram of the adaptive prediction clock model.

The process of the RT-PPP time and frequency transfer using the clock model is shown in Figure 2. It mainly includes two parts, as follows: INTERNET (1) We obtain the observations from the receiver (connected to their time and frequency generator, 1PPS UTC(i) Receiver Broadcast Ephemeris + SSR a 1 PPS signal10MHz and a 5/10 MHz frequency signal), broadcast ephemeris and state space representation (SSR) corrections from IGS/ACs [25–27]. (2) If the data is not interrupted, it will go directly to RT-PPP processing to calculate the difference Real-time Precise Orbits and Observations between the local time UTC (i) and the referenceclocks time (ref). Then, the clock offset, and the corresponding variance are stored. We use a sliding window with a window length of 240 data points to store the clock offset data. However, when data interruption occurs, we use the stored clock offset data to calculate the coefficient of the adaptive prediction model, and then predict Data No PPP UTC(i)-ref the clock offset of the current epoch,interruption with the current clock offset as a prior value, while setting the corresponding variance. Importantly, an a priori clock offset of 20 consecutive epochs is set to the predicted clock offsetYes starting from the data, and the products are re-received to help ambiguity parameters to recover quickly and accurately. The detailed variance setting will be described in the next section. Store clock offset Adaptive prediction clock model and corresponding variance

The initial value of clock offset and corresponding variance are set with the prediction clock offset and the a priori variance.

Figure 2. Diagram of the RT-PPP (real-time PPP) time and frequency transfer using the clock model. Figure 2. Diagram of the RT-PPP (real-time PPP) time and frequency transfer using the clock model. When the difference between the local time and the reference time is calculated in two or more stations simultaneously, the time difference between station A and station B can be expressed as follows: UTC (i) − UTC (j)= (UTC (i) − ref) – (UTC(j) − ref) (7) where ref is the reference time, such as IGST(International GNSS Time); and UTC (i) and UTC (j) are the local at station A and station B, respectively.

3. Experimental Data and Processing Strategies In this section, we first describe the datasets of the experiments, including the simulation data and real-time products. The processing strategies are then described in detail.

3.1. Experimental Data Sets To validate how our approach performs when the data are interrupted during an RT-PPP time and frequency transfer, we sampled observation data every 30 seconds from 6 stations of the IGS network, covering DOY (days of the year) 182–212 in 2018. The detailed information from 6 stations are listed in Table 2. High-performance receivers have the advantage of being able to perfectly synchronize the internal clock to an external signal source. In this contribution, the experimental data sets are divided into two main parts: (1) Simulation data: The daily observations and products will be randomly interrupted four times for 10 min, 30 min, 60 min and 90 min, respectively. The precise orbit and clock products released by IGS are utilized in this part. (2) Real-time product: The real-time products used in this study were developed by GMV (GMV Aerospace and Defence) (CLK81).

Table 2. Details of the selected IGS stations. Appl. Sci. 2019, 9, 1405 6 of 16

When the difference between the local time and the reference time is calculated in two or more stations simultaneously, the time difference between station A and station B can be expressed as follows:

UTC (i) − UTC (j) = (UTC (i) − ref ) − (UTC(j) − ref ) (7) where ref is the reference time, such as IGST (International GNSS Time); and UTC (i) and UTC (j) are the local times at station A and station B, respectively.

3. Experimental Data and Processing Strategies In this section, we first describe the datasets of the experiments, including the simulation data and real-time products. The processing strategies are then described in detail.

3.1. Experimental Data Sets To validate how our approach performs when the data are interrupted during an RT-PPP time and frequency transfer, we sampled observation data every 30 seconds from 6 stations of the IGS network, covering DOY (days of the year) 182–212 in 2018. The detailed information from 6 stations are listed in Table2. High-performance receivers have the advantage of being able to perfectly synchronize the internal clock to an external signal source. In this contribution, the experimental data sets are divided into two main parts:

(1) Simulation data: The daily observations and products will be randomly interrupted four times for 10 min, 30 min, 60 min and 90 min, respectively. The precise orbit and clock products released by IGS are utilized in this part. (2) Real-time product: The real-time products used in this study were developed by GMV (GMV Aerospace and Defence) (CLK81).

Table 2. Details of the selected IGS stations.

Distance from Station Receiver Antenna Clock BRUX (km) BRUX SEPT POLARX4TR JAVRINGANT_DM CH1-75A MASER - LEIAR25.R4 PTBB SEPT POLARX4TR H-MASER 454.88 LEIT OPMT ASHTECH Z-XII3T 3S-02-TSADM UTC(OP) 262.33 WAB2 ASHTECH Z-XII3T ASH700936F_C UTC(CH) MASTER 487.20 IENG ASHTECH Z-XII3T ASH701945C_M H-MASER 687.69 NIST NOV OEM4-G2 NOV702 H-MASER 7365.98

3.2. Processing Strategy GPS-only RT-PPP static modes were used in our study. GPS precise orbit and clock products and real-time satellite orbit and clock corrections were provided by IGS and GMV (one of the IGS analysis center), respectively. For the data processing, the elevation cutoff angle was set to 10◦, and the elevation-dependent weight for the observations with elevations below 30◦ was applied. The zenith wet delays were estimated as random-walk noise. The float-phase ambiguities were estimated as being constant for each continuous satellite arc. The initial values for the GPS carrier phase observations were both set to 0.003 m, while the measurement error ratio between the pseudo range and carrier phase observations was set to 100. In the static PPP mode, the position coordinates were considered to be constants. In this study, the predicted clock offset is regarded as a prior value when the observation interruption occurs. The strategies of clock offset estimation were divided into two parts:

(1) Estimate clock offset with a white noise model (marked as scheme 1); and Appl. Sci. 2019, 9, x FOR PEER REVIEW 7 of 17

Distance from BRUX Station Receiver Antenna Clock (km) SEPT CH1-75A BRUX JAVRINGANT_DM - POLARX4TR MASER SEPT LEIAR25.R4 PTBB H-MASER 454.88 POLARX4TR LEIT ASHTECH Z- OPMT 3S-02-TSADM UTC(OP) 262.33 XII3T ASHTECH Z- UTC(CH) WAB2 ASH700936F_C 487.20 XII3T MASTER ASHTECH Z- IENG ASH701945C_M H-MASER 687.69 XII3T NIST NOV OEM4-G2 NOV702 H-MASER 7365.98

3.2. Processing Strategy GPS-only RT-PPP static modes were used in our study. GPS precise orbit and clock products and real-time satellite orbit and clock corrections were provided by IGS and GMV (one of the IGS analysis center), respectively. For the data processing, the elevation cutoff angle was set to 10°, and the elevation-dependent weight for the observations with elevations below 30° was applied. The zenith wet delays were estimated as random-walk noise. The float-phase ambiguities were estimated Appl.as being Sci. 2019 constant, 9, 1405 for each continuous satellite arc. The initial standard deviation values for the7 of GPS 16 carrier phase observations were both set to 0.003 m, while the measurement error ratio between the pseudo range and carrier phase observations was set to 100. In the static PPP mode, the position (2) Estimate clock offset with the between-epoch constraint model (marked as scheme 2). coordinates were considered to be constants. TheIn RT-PPPthis study, time the transfer predicted with dataclock interruption offset is regarded was then as investigated a prior value using when simulation the observation data and real-timeinterruption data withoccurs. the The two strategies handling of schemes. clock offset estimation were divided into two parts: (1) Estimate clock offset with a white noise model (marked as scheme 1); and 4.(2) Results Estimate and clock Analysis offset with the between-epoch constraint model (marked as scheme 2). WeThe begin RT-PPP this sectiontime transfer by determining with data the interruption prior variance was ofthen the investigated predicted clock using result, simulation following data whichand real-time we illustrate data the with numerical the two results,handling from schemes. which the major findings we identify are also detailed. We focus first on Figure3, which depicts the clock offset time series obtained for two different 4. Results and Analysis estimation models of the clock offset at station BRUX. The data show that the noise from the clock offset withWe begin the between-epoch this section by constraintdetermining model the prior is smaller variance than of the the clock predicted offset withclock theresult, white following noise model.which Hence, we illustrate the between-epoch the numerical constraint results, from model which is employed the major to findings estimate we the identify clock offset are also parameter. detailed.

FigureFigure 3. 3.Clock Clock offset offset time time series series using using different different models models (red-5 (red-5 ns). ns).

To determine the accuracy of the clock offset prediction, 4400 tests were performed. The predicted error was for 10, 30, 60 and 90 min prediction periods. The prediction error of the adaptive clock prediction model at station BRUX is exhibited here in Figure4 due to the limited space. Furthermore, the root mean squares (RMS) of the predicted errors are presented in Table3. Taken together, we make three observations. First, the prediction error is extremely stable, which further explains the reliability of the adaptive clock prediction model. Second, considering the RMS values of the prediction error, they follow an order of increasing trend when the prediction period ranges from 10 min to 90 min, thereby indicating that our approach for short-term data interruption will obtain better results, but that this is not the case for long-term data interruption. We do not conceal this restriction. We recommend that the clock offset parameter be reinitialized if the data is interrupted for a long period. Third, the prediction accuracy of all the stations present similar qualities for the same prediction periods. Hence, the variance values will be set from a prior variance in this contribution.

Table 3. The RMS values of the prediction error on six stations (ns).

10 min 30 min 60 min 90 min BRUX 0.018 0.039 0.077 0.126 IENG 0.049 0.097 0.182 0.290 NIST 0.025 0.052 0.102 0.166 OPMT 0.029 0.057 0.112 0.183 PTBB 0.024 0.049 0.100 0.159 WAB2 0.035 0.054 0.100 0.152 Appl. Sci. 2019, 9, x FOR PEER REVIEW 8 of 17

We focus first on Figure 3, which depicts the clock offset time series obtained for two different estimation models of the clock offset at station BRUX. The data show that the noise from the clock offset with the between-epoch constraint model is smaller than the clock offset with the white noise Appl.model. Sci. 2019 Hence,, 9, 1405 the between-epoch constraint model is employed to estimate the clock8 ofoffset 16 parameter.

FigureFigure 4. Prediction4. Prediction error error of theof the adaptive adaptive clock clock prediction prediction model model at at station station BRUX BRUX at at 10, 10, 30, 30, 60 60 and and 90 min.90 min. 4.1. Results of the Simulation Data Set To determine the accuracy of the clock offset prediction, 4400 tests were performed. The predicted error wasIn for this 10, subsection, 30, 60 and the90 min simulation prediction data periods. are utilized The prediction to validate error how of ourthe adaptive approach clock performs prediction when datamodel interruption at station occurs.BRUX is exhibited here in Figure 4 due to the limited space. Furthermore, the root mean squaresIn Figure (RMS)5, of each the predicted panel shows errors three are presented types of in time Table series 3. Taken of clocktogether, offset we make estimation three observations. with a time resolutionFirst, the ofprediction 10 min error data is interruption extremely stable, on BRUX. which further Other stationsexplains the perform reliability a similar of the adaptive feature; clock hence, weprediction will no longer model. displaySecond, themconsidering in detail. the RMS Furthermore, values of the the prediction clock difference error, they in follow the time an order series of of schemeincreasing 1 and trend scheme when 2, the with prediction respect period to the ranges results from of the10 min complete to 90 min, data thereby with theindicating between-epoch that our constraintapproach model, for short-term is displayed data interruption in Figure6 will for obtain a data better interruption results, but of that 10 min.this is Combining not the case Figuresfor long-5 andterm6 results data interruption. in two findings. We do Fornot conceal one thing, this restri as wection. noted We earlier,recommend the clockthat the offset clock will offset re-converge, parameter be reinitialized if the data is interrupted for a long period. Third, the prediction accuracy of all the stations especially for scheme 1, when the data interruption occurs. Obviously, the results from the complete present similar qualities for the same prediction periods. Hence, the variance values will be set from a prior data show some fluctuation (see Figure6), as evidenced by the fact that the ambiguity parameters variance in this contribution. cannot instantaneously yield stable results, although we have constrained 20 consecutive epochs. Additionally, compared with the results from scheme 1, scheme 2 shows no obvious jump when the Table 3. The RMS values of the prediction error on six stations (ns). data interruption occurs. This can be explained by the fact that a prior clock offset is constrained by the prediction results. 10 min 30 min 60 min 90 min For aBRUX better quantification,0.018 we calculated the0.039 RMS of the two schemes0.077 using the corresponding0.126 time seriesIENG of the complete data0.049 as a reference; the0.097 results are presented0.182 in Table 4. Note that0.290 we have deleted the gross errors before calculating the RMS values. The maximum RMS values for scheme 1 NIST 0.025 0.052 0.102 0.166 are 0.52 ns for all stations with 10-, 30-, 60-, and 90-min data interruptions, while the corresponding OPMT 0.029 0.057 0.112 0.183 maximum RMS values are 0.19, 0.18, 0.20, 0.23 and 0.26 ns for scheme 2. The improvement percentage of schemePTBB 2 shows that the average0.024 RMS values of all0.049 stations are significantly0.100 reduced, i.e.,0.159 by 66.03% from 0.43WAB2 to 0.14 ns, by 64.91%0.035 from 0.44 to 0.15 ns,0.054 by 57.47% from 0.430.100 to 0.18 ns, and by0.152 51.67% from 0.44 to 0.21 ns for 10-, 30-, 60-, and 90-min data interruptions, respectively. This implies that scheme4.1. Results 1 is not of asthe good Simulation as our Data approach. Set We surmise this may be attributed to two reasons. First, the between-epoch constraint model will reduce the noise of the clock offset. Second, our approach does not produce jumps that may accelerate clock offset convergence. Appl. Sci. 2019, 9, x FOR PEER REVIEW 9 of 17

In this subsection, the simulation data are utilized to validate how our approach performs when data interruption occurs. In Figure 5, each panel shows three types of time series of clock offset estimation with a time resolution of 10 min data interruption on BRUX. Other stations perform a similar feature; hence, we will no longer display them in detail. Furthermore, the clock difference in the time series of scheme 1 and scheme 2, with respect to the results of the complete data with the between-epoch constraint model, is displayed in Figure 6 for a data interruption of 10 min. Combining Figures 5 and 6 results in two findings. For one thing, as we noted earlier, the clock offset will re-converge, especially for scheme 1, when the data interruption occurs. Obviously, the results from the complete data show some fluctuation (see Figure 6), as evidenced by the fact that the ambiguity parameters cannot instantaneously yield stable results, although we have constrained 20 consecutive epochs. Additionally, compared with the results from scheme 1, scheme 2 shows no obvious jump when the Appl. Sci. 2019data, 9 interruption, 1405 occurs. This can be explained by the fact that a prior clock offset is constrained by 9 of 16 the prediction results.

Figure 5.FigureClock 5. offsetClock offset time time series series for for scheme scheme 1 1 ((blueblue)) and and scheme scheme 2 (red 2 ()red when) when a data a interruption data interruption of of 10 min occurs;10 min theoccurs; yellow the yellow colour colour represents represents the solutionsthe solutions of of the the complete complete datadata using the the between- between-epoch constraintAppl. Sci.epoch 2019 model; ,constraint 9, x FOR the PEER bottom model; REVIEW the figure bottom is afigure partial is a amplificationpartial amplification of the of the top top figure. figure. 10 of 17

Figure 6.FigureClock 6. Clock difference difference time time series series using using scheme 1 1(blue (blue) and) and scheme scheme 2 (red 2) with (red respect) with to respect the to the results ofresults the completeof the complete data data using using the the between-epoch between-epoch constraint constraint model model when whena data ainterruption data interruption of of 10 min occurs;10 min occurs; the bottom the bottom figure figure is ais partiala partial amplification amplification of ofthe the top topfigure. figure.

Table 4. RMS of the clock difference between the solutions obtained with two different schemes with respect to the solutions obtained with the complete data when data interruption occurs (ns).

10 min 30 min 60 min 90 min Sch1 Sch2 (%) Sch1 Sch2 (%) Sch1 Sch2 (%) Sch1 Sch2 (%) BRUX 0.44 0.14 68.64 0.43 0.14 67.99 0.46 0.16 65.22 0.45 0.18 59.93 IENG 0.40 0.11 71.43 0.41 0.17 58.38 0.39 0.18 53.52 0.41 0.22 46.34 NIST 0.40 0.15 61.71 0.40 0.14 64.49 0.39 0.16 60.31 0.44 0.21 51.67 OPMT 0.50 0.19 61.99 0.51 0.18 64.89 0.49 0.20 58.70 0.51 0.20 59.71 PTBB 0.52 0.15 71.22 0.53 0.15 72.06 0.52 0.18 65.38 0.51 0.23 54.10 WAB2 0.36 0.15 58.48 0.37 0.15 58.72 0.36 0.23 36.11 0.37 0.26 30.96 Where sch1 and sch2 represent scheme 1 and scheme 2, respectively, and (%) is the improvement of scheme 2 over scheme 1. For a better quantification, we calculated the RMS of the two schemes using the corresponding time series of the complete data as a reference; the results are presented in Table 4. Note that we have deleted the gross errors before calculating the RMS values. The maximum RMS values for scheme 1 are 0.52 ns for all stations with 10-, 30-, 60-, and 90-min data interruptions, while the corresponding maximum RMS values are 0.19, 0.18, 0.20, 0.23 and 0.26 ns for scheme 2. The improvement percentage of scheme 2 shows that the average RMS values of all stations are significantly reduced, i.e., by 66.03% from 0.43 to 0.14 ns, by 64.91% from 0.44 to 0.15 ns, by 57.47% from 0.43 to 0.18 ns, and by 51.67% from 0.44 to 0.21 ns for 10-, 30-, 60-, and 90-min data interruptions, respectively. This implies that Appl. Sci. 2019, 9, 1405 10 of 16

Table 4. RMS of the clock difference between the solutions obtained with two different schemes with respect to the solutions obtained with the complete data when data interruption occurs (ns).

10 min 30 min 60 min 90 min Sch1 Sch2 (%) Sch1 Sch2 (%) Sch1 Sch2 (%) Sch1 Sch2 (%) BRUX 0.44 0.14 68.64 0.43 0.14 67.99 0.46 0.16 65.22 0.45 0.18 59.93 IENG 0.40 0.11 71.43 0.41 0.17 58.38 0.39 0.18 53.52 0.41 0.22 46.34 NIST 0.40 0.15 61.71 0.40 0.14 64.49 0.39 0.16 60.31 0.44 0.21 51.67 OPMT 0.50 0.19 61.99 0.51 0.18 64.89 0.49 0.20 58.70 0.51 0.20 59.71 PTBB 0.52 0.15 71.22 0.53 0.15 72.06 0.52 0.18 65.38 0.51 0.23 54.10 WAB2 0.36 0.15 58.48 0.37 0.15 58.72 0.36 0.23 36.11 0.37 0.26 30.96 Where sch1 and sch2 represent scheme 1 and scheme 2, respectively, and (%) is the improvement of scheme 2 over scheme 1.

The Allan deviation (ADEV) is employed to obtain the frequency stability [8,28], which is also utilized to further assess the performance of RT-PPP solutions, using five kinds of precise products. In this contribution, Stable32 software (http://www.wriley.com/) is applied to calculate ADEV. Note that the gross error of all RT-PPP solutions is eliminated before computing ADEV by using Stable32 softwareAppl. (Hamilton Sci. 2019, 9, Technicalx FOR PEER REVIEW Services, Beaufort, SC, USA). 11 of 17

Withscheme thedifferent 1 is not as good lengths as our of approach. the missing We surmise observations this may be andattributed two to scenarios, two reasons. Figures First, the7 and8 demonstratebetween-epoch the effects constraint of the Allanmodel will deviation reduce the based noise on of the six clock stations. offset. Many Second, similarities our approach can does be found from thenot figures. produce From jumps 10 that to 90 may min, accelerate regardless clock ofoffset the convergence. length of the observation interruption, the results from all the selectedThe Allan stations deviation indicate (ADEV) is that employed scheme to obtain 2 is more the frequency stable than stability scheme [8,28], 1. which The magnitudeis also of the improvementutilized to further at the assess six stations the performance is very similar.of RT-PPP This solutions, is because using five the kinds same of random-walkprecise products. model is In this contribution, Stable32 software (http://www.wriley.com/) is applied to calculate ADEV. Note constrainedthat bythe gross the atomic error of clock.all RT-PPP The solutions general is resultseliminated demonstrate before computing that ADEV scheme by 2using is more Stable32 suitable to estimatesoftware the receiver (Hamilton clock Technical offset than Services, scheme Beaufort, 1. SC, USA).

Figure 7.FigureAllan 7. deviationAllan deviation of schemeof scheme 1 1 ( blue(blue)) andand scheme scheme 2 ( 2red (red) at) six at stations six stations for observation for observation interruptionsinterruptions of 10 and of 10 30 and min. 30 min. Appl. Sci. 2019, 9, 1405 11 of 16

Appl. Sci. 2019, 9, x FOR PEER REVIEW 12 of 17

Figure 8.FigureAllan 8. deviationAllan deviation of schemeof scheme 1 1 ( blue(blue)) andand scheme scheme 2 ( 2red (red) at) six at stations six stations for observation for observation interruptionsinterruptions of 60 and of 60 90 and min. 90 min.

The inspectionWith the different of Figure lengths9 can of reveal the missing more observat aboutions the and improvement two scenarios, ofFigure the 7 frequency and Figure 8 stability at a specificdemonstrate averaging the effects time. of The the Allan data deviation indicate based that on all six the stations. involved Many stations similarities are can improved be found at each from the figures. From 10 to 90 min, regardless of the length of the observation interruption, the averaging time. Furthermore, as the averaging time increases, the improvement percent decreases. results from all the selected stations indicate that scheme 2 is more stable than scheme 1. The Before 10000magnitude s, the of improvement the improvement extent at the ofsix the stations six stationsis very similar. was upThis to is 50%because from the datasame interruptionsrandom- of 10 min towalk 90 min;model someis constrained points by even the atomic improved clock. The by 100%.general results However, demonstrate after 10000that scheme s, the 2 is improvement more extent ofsuitable the six to stations estimate fellthe receiver below 50%;clock offset some than points scheme being 1. at only 1%. Briefly, compared to scheme 1, scheme 2 works well for short-term stability. The Allan deviation is a common measure of the frequency stability. Although the definition for short-term stability and long-term stability is the same, they reflect different characteristics of the signal stability. Short-term stability mirrors the signal’s fluctuations, and long-term stability represents the signal’s drift as time goes by. The between-epoch constraint model merely lowers the noise of the clock offset time series; however, it cannot change the physical trend of the . Hence, there are enough reasons to certify that the random-walk model is an effective approach for improving stability at each averaging time.

4.2. Results of the Real Data Set In this subsection, real data are utilized to validate how our approach performs when data interruption occurs. The real-time stream interruption occurs occasionally under unknown conditions. The real-time stream CLK 81 is employed here. The investigation is performed from DOY 147–158, 2018. The monitoring system records the data interruption at some times. The abnormal data are stored to verify the new algorithm. Because the time reference of real-time satellite clocks is not a continuous clock or time scale, the clock solution of a single station is not reliable when evaluating the new model. For this reason, only a link result can be used for the stability evaluation with the purpose of removing the uncertainty of the reference. Four links are calculated with the real data set. One link is demonstrated in below. In the real data section, all the time transfer experiments are obtained with BRUX as the pivot. Appl. Sci. 2019, 9, x 1405 FOR PEER REVIEW 1312 of of 17 16

Figure 9. ImprovementImprovement of of the the frequency frequency stability (per (percent)cent) of scheme 2 compared to scheme 1.

TheFigures inspection 10 and 11 of show,Figure first, 9 can that reveal the clock more difference about the time improvement series of scheme of the 2 frequency is smoother stability than that at aof specific scheme averaging 1. Second, thetime. non-convergence The data indicate caused that byall the the observation involved stations interruption are improved occurs in schemeat each 1,averaging causing time. the appearance Furthermore, of aas system the averaging error. It time influences increases, the stabilitythe improvement of the time percent link. Third,decreases. the Beforetendency 10000 of scheme s, the improvement 2 is in accordance extent with of the completesix stations data, was i.e., up the to 50% data from show data that schemeinterruptions 2 avoids of 10re-convergence min to 90 min; when some the points data areeven interrupted. improved Theby 100%. datashow However, that scheme after 10000 2 works s, the well improvement for the real Appl. Sci. 2019, 9, x FOR PEER REVIEW 14 of 17 extenttime data of the and six for stations the simulation fell below data. 50%; some points being at only 1%. Briefly, compared to scheme 1, scheme 2 works well for short-term stability. The Allan deviation is a common measure of the frequency stability. Although the definition for short-term stability and long-term stability is the same, they reflect different characteristics of the signal stability. Short-term stability mirrors the signal’s fluctuations, and long-term stability represents the signal’s drift as time goes by. The between-epoch constraint model merely lowers the noise of the clock offset time series; however, it cannot change the physical trend of the atomic clock. Hence, there are enough reasons to certify that the random-walk model is an effective approach for improving stability at each averaging time.

4.2. Results of the Real Data Set In this subsection, real data are utilized to validate how our approach performs when data interruption occurs. The real-time stream interruption occurs occasionally under unknown conditions. The real-time stream CLK 81 is employed here. The investigation is performed from DOY 147–158, 2018. The monitoring system records the data interruption at some times. The abnormal data are stored to verify the new algorithm. Because the time reference of real-time satellite clocks is not a continuous clock or time scale, the clock solution of a single station is not reliable when evaluating the new model. For this reason, only a link result can be used for the stability evaluation with the purpose of removing the uncertainty of the reference. Four links are calculated with the real data set. One link is demonstrated in below. In the real data section, all the time transfer experiments are obtainedFigure with 10. ClockBRUX offset as the time pivot. series of scheme 1 (blue) and scheme 2 (red); the yellow colour represents Figurethe solutions 10. Clock of theoffset complete time series data of withscheme the 1 between-epoch(blue) and scheme constraint 2 (red); model;the yellow the colour bottom represents figure is thea partial solutions amplification of the complete of the top data figure. with the between-epoch constraint model; the bottom figure is a partial amplification of the top figure.

Figure 11. Clock difference time series of scheme 1 (blue) and scheme 2 (red) with respect to the results of the complete data with the between-epoch constraint model when 10 min of data interruption occurs; the bottom figure is a partial amplification of the top figure.

Figure 10 and Figure 11 show, first, that the clock difference time series of scheme 2 is smoother than that of scheme 1. Second, the non-convergence caused by the observation interruption occurs in scheme 1, causing the appearance of a system error. It influences the stability of the time link. Third, the tendency of scheme 2 is in accordance with the complete data, i.e., the data show that scheme 2 Appl. Sci. 2019, 9, x FOR PEER REVIEW 14 of 17

Figure 10. Clock offset time series of scheme 1 (blue) and scheme 2 (red); the yellow colour represents the solutions of the complete data with the between-epoch constraint model; the bottom figure is a Appl. Sci. 2019, 9, 1405 13 of 16 partial amplification of the top figure.

Figure 11. Clock difference time series of scheme 1 (blue) and scheme 2 (red) with respect to the results Figure 11. Clock difference time series of scheme 1 (blue) and scheme 2 (red) with respect to the of the complete data with the between-epoch constraint model when 10 min of data interruption occurs; results of the complete data with the between-epoch constraint model when 10 min of data the bottom figure is a partial amplification of the top figure. interruption occurs; the bottom figure is a partial amplification of the top figure. Figures 12 and 13 illustrate more about the link stability. All the stations are equipped with Figure 10 and Figure 11 show, first, that the clock difference time series of scheme 2 is smoother an H-maser.than that of The scheme discrepancy 1. Second, in the the non-convergenc different typese caused of external by the frequencyobservation standard interruption can occurs be neglected. in Forscheme the selected 1, causing four the links, appearance the data of show a system that error. the time It influences series in the scheme stability 2 of is the more time stable link. thanThird, that in schemethe tendency 1. The maximum of scheme percentage 2 is in accordance of improvement with the complete is greater data, than i.e., 50%, the whiledata show the minimal that scheme percentage 2 of improvement is 5%. In other words, the frequency of stability is boosted at each averaging time, especially in the link BRUX-PTBB, where a distinct enhancement is demonstrated at each averaging time.Appl. Sci. The 2019 maximum, 9, x FOR PEER percentage REVIEW is greater than 50% at 100 s. A strong correlation may exist15 in of the 17 adjacent epoch for the PTB’s H-MASER. The application of the between-epoch constraint clock model makesavoids fullre-convergence use of the correlative when the information data are interrupted. to achieve The more data stable show results. that Moreover,scheme 2 works the data well show for thatthe real the magnitudetime data and of thefor improvementthe simulation is data. not correlated to the distance between the stations.

Figure 12. Allan deviation of scheme 1 (blue)) andand schemescheme 22 ((redred)) onon fourfour links.links.

Figure 13. Percent of improvement of the frequency stability of scheme 2, compared to scheme 1.

Figure 12 and Figure 13 illustrate more about the link stability. All the stations are equipped with an H-maser. The discrepancy in the different types of external frequency standard can be neglected. For the selected four links, the data show that the time series in scheme 2 is more stable than that in scheme 1. The maximum percentage of improvement is greater than 50%, while the minimal percentage of improvement is 5%. In other words, the frequency of stability is boosted at each averaging time, especially in the link BRUX-PTBB, where a distinct enhancement is demonstrated at each averaging time. The maximum percentage is greater than 50% at 100 s. A strong correlation may exist in the adjacent epoch for the PTB’s H-MASER. The application of the between- epoch constraint clock model makes full use of the correlative information to achieve more stable results. Moreover, the data show that the magnitude of the improvement is not correlated to the distance between the stations. Appl. Sci. 2019, 9, x FOR PEER REVIEW 15 of 17

avoids re-convergence when the data are interrupted. The data show that scheme 2 works well for the real time data and for the simulation data.

Appl. Sci. 2019, 9, 1405 14 of 16 Figure 12. Allan deviation of scheme 1 (blue) and scheme 2 (red) on four links.

FigureFigure 13.13. PercentPercent ofof improvementimprovement ofof thethe frequencyfrequency stability stability of of scheme scheme 2, 2, compared compared to to scheme scheme 1. 1.

5. ConclusionsFigure 12 and Figure 13 illustrate more about the link stability. All the stations are equipped withThe an GNSSH-maser. orbit The and discrepancy clock corrections in the different from the types real-time of external stream transformfrequency thestandard real-time can orbe low-latencyneglected. For PPP the time selected transfer four into links, a possible the data time show transfer that the that time has series practical in scheme significance 2 is more for timing stable laboratories.than that in Toscheme escape 1. the The embarrassment maximum percentage of a receiver of improvement clock offset re-convergence is greater than caused 50%, bywhile a data the interruption,minimal percentage in this study, of improvement a new algorithm is 5%. is In proposed other words, to resolve the frequency the discontinuity of stability induced is boosted by the at re-convergence.each averaging A time, combination especially of a between-epochin the link BRUX-PTBB, constraint receiver where clocka distinct model andenhancement an adaptive is clockdemonstrated prediction at modeleach averaging is added time. to the The ionosphere-free maximum percentage observation is greater equation. than A50% comparison at 100 s. A isstrong also madecorrelation with themay results exist in obtained the adjacent using epoch the white for the noise PTB’s model, H-MASER. regardless The application of the physical of the design between- of theepoch atomic constraint clock. clock All themodel results makes calculated full use fromof the the correlative single station information and the to linksachieve show more that stable the statisticalresults. Moreover, uncertainty the with data the show between-epoch that the magnit constraintude receiverof the improvement clock model wasis not less correlated than that ofto thethe whitedistance noise between model. the The stations. simulation results show that the average RMS values at all the stations are significantly reduced, i.e., by 66.03% from 0.43 to 0.14 ns, by 64.91% from 0.44 to 0.15 ns, by 57.47% from 0.43 to 0.18 ns, and by 51.67% from 0.44 to 0.21 ns for 10-, 30-, 60-, and 90-min data interruptions, respectively. Furthermore, the time series adopted by the new model was more stable than that of a white noise model. The observed detail shows that the improvement magnitude of the stability acquired with the single station is significantly correlated with the averaging time. The between-epoch constraint receiver clock model is more effective for short-term stability than for long-term stability. The extent of the improvement at the six stations was greater than 50% prior to 10000 s, even reaching 100% at the initial averaging time. The data do not show a close correlation between the distance of the two stations and the level of improvement. The frequency stability of the time link is boosted by at least 5% at each averaging time. The results gained from the PPP strategy conducted using the simulation data and the IGS real-time data indicate that the new method can satisfy low-latency time transfer.

Author Contributions: W.Q., Y.G., P.W. and X.Y. conceived and designed the experiments; W.Q. performed the experiments, analysed the data, and wrote the paper; Y.G., P.W. and X.Y. contributed to discussions and revisions. Funding: This work is supported by the National Natural Science Foundation of China (No.11703033), the Natural Science Foundation of Shaanxi (No.2018JQ1020) and the Youth Innovation and Promotion Committee of the Chinese Academy of Science. Acknowledgments: Many thanks to the IGS for providing precise orbit, clock products and observations. Conflicts of Interest: The authors declare no conflict of interest. Appl. Sci. 2019, 9, 1405 15 of 16

References

1. Allan, D.W.; Weiss, M.A. Accurate time and frequency transfer during common-view of a GPS satellite. In Proceedings of the 1980 IEEE Frequency Control Symposium, Philadelphia, PA, USA, 28–30 May 1980; pp. 334–356. 2. Petit, G.; Jiang, Z. GPS All in View time transfer for TAI computation. Metrologia 2008, 45, 35–45. [CrossRef] 3. Petit, G.; Jiang, Z. Precise Point Positioning for TAI Computation. Int. J. Navig. Obs. 2008, 2008, 1–8. [CrossRef] 4. Zumberge, J.F.; Heflin, M.B.; Jefferson, D.C.; Watkins, M.M.; Webb, F.H. Precise point positioning for the efficient and robust analysis of GPS data from large networks. J. Geophys. Res. 1997, 102, 5005–5017. [CrossRef] 5. Kouba, J.; Héroux, P. Precise point positioning using IGS orbit and clock products. GPS Solut. 2001, 5, 12–28. [CrossRef] 6. Petit, G. The TAIPPP pilot experiment. In Frequency Control Symposium, 2009 Joint with the 22nd European Frequency and Time forum. IEEE Int. 2009, 1–2, 116–119. 7. Petit, G.; Kanj, A.; Loyer, S.; Delporte, J.; Mercier, F.; Perosanz, F. 1 × 10−16 frequency transfer by GPS PPP with integer ambiguity resolution. Metrologia 2015, 52, 301–309. [CrossRef] 8. Ge, Y.; Qin, W.; Cao, X.; Zhou, F.; Wang, S.; Yang, X. Consideration of GLONASS Inter-Frequency Code Biases in Precise Point Positioning (PPP) International Time Transfer. Appl. Sci. 2018, 8, 1254. [CrossRef] 9. Ge, Y.; Yang, X.; Qin, W.; Su, H.; Wu, M.; Wang, Y.; Wang, S. Time Transfer Analysis of GPS- and BDS-Precise Point Positioning Based on iGMAS Products. China Satell. Navig. Conf. 2018, 497, 519–530. 10. Tu, R.; Zhang, P.; Zhang, R.; Liu, J.; Lu, X. Approach for GPS precise time transfer using an augmentation information and zero-differenced PPP model. IET Radar Sonar Navig. 2018, 12, 801–806. [CrossRef] 11. Zhang, P.; Tu, R.; Zhang, R.; Gao, Y.; Cai, H. Combining GPS, BeiDou, and Galileo Satellite Systems for Time and Frequency Transfer Based on Carrier Phase Observations. Remote Sens. 2018, 10, 324. [CrossRef] 12. Hadas, T.; Bosy, J. IGS RTS precise orbits and clocks verification and quality degradation over time. GPS Solut. 2014, 19, 93–105. [CrossRef] 13. Li, X.; Ge, M.; Douša, J.; Wickert, J. Real-time precise point positioning regional augmentation for large GPS reference networks. GPS Solut. 2013, 18, 61–71. [CrossRef] 14. Laurichesse, D.; Mercier, F.; Berthias, J.P. Real time precise GPS constellation orbits and clocks estimation using zero-difference integer ambiguity fixing. In Proceedings of the 2009 International Technical Meeting of the Institute of Navigation, Anaheim, CA, USA, 26–28 January 2009; pp. 664–672. 15. Zhang, P.; Tu, R.; Gao, Y.; Liu, N.; Zhang, R. Improving Galileo’s Carrier-Phase Time Transfer Based on Prior Constraint Information. J. Navig. 2019, 72, 121–139. [CrossRef] 16. Li, G.; Lin, Y.; Shi, F.; Liu, J.; Yang, Y.; Shi, J. Using IGS RTS Products for Real-Time Subnanosecond Level Time Transfer. China Satell. Navig. Conf. 2018, 497, 505–518. 17. Defraigne, P.; Aerts, W.; Pottiaux, E. Monitoring of UTC(k)’s using PPP and IGS real-time products. GPS Solut. 2014, 19, 165–172. [CrossRef] 18. Hauschild, A.; Montenbruck, O. Kalman-filter-based GPS clock estimation for near real-time positioning. GPS Solut. 2008, 13, 173–182. [CrossRef] 19. Boehm, J.; Niell, A.; Tregoning, P.; Schuh, H. Global Mapping Function (GMF): A new empirical mapping function based on numerical weather model data. Geophys. Res. Lett. 2006, 33.[CrossRef] 20. Zhou, F.; Dong, D.; Ge, M.; Li, P.; Wickert, J.; Schuh, H. Simultaneous estimation of GLONASS pseudorange inter-frequency biases in precise point positioning using undifferenced and uncombined observations. GPS Solut. 2017, 22, 19. [CrossRef] 21. Wu, J.T.; Wu, S.C.; Hajj, G.A.; Bertiger, W.I.; Lichten, S.M. Effects of antenna orienation on GPS carrier phase. Manuscr. Geod. 1992, 18, 91–98. 22. Montenbruck, O.; Schmid, R.; Mercier, F.; Steigenberger, P.; Noll, C.; Fatkulin, R.; Kogure, S.; Ganeshan, A.S. GNSS satellite geometry and attitude models. Adv. Space Res. 2015, 56, 1015–1029. [CrossRef] 23. Hutsell, S. Relating the Hadamard Variance to MCS Kalman Filter Clock Estimation. In Proceedings of the 27th Annual PTTI Systems Applications Meeting, San Diego, CA, USA, 29 November–1 December 1995; pp. 291–301. Appl. Sci. 2019, 9, 1405 16 of 16

24. Wang, K.; Rothacher, M. Stochastic modeling of high-stability ground clocks in GPS analysis. J. Geod. 2013, 87, 427–437. [CrossRef] 25. Kazmierski, K.; So´snica,K.; Hadas, T. Quality assessment of multi-GNSS orbits and clocks for real-time precise point positioning. GPS Solut. 2017, 22, 11. [CrossRef] 26. Wang, Z.; Li, Z.; Wang, L.; Wang, X.; Yuan, H. Assessment of Multiple GNSS Real-Time SSR Products from Different Analysis Centers. ISPRS Int. J. Geo-Inf. 2018, 7, 85. [CrossRef] 27. Zhang, L.; Yang, H.; Gao, Y.; Yao, Y.; Xu, C. Evaluation and analysis of real-time precise orbits and clocks products from different IGS analysis centers. Adv. Space Res. 2018, 61, 2942–2954. [CrossRef] 28. Guang, W.; Dong, S.; Wu, W.; Zhang, J.; Yuan, H.; Zhang, S. Progress of BeiDou time transfer at NTSC. Metrologia 2018, 55, 175–187. [CrossRef]

© 2019 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).