“…where P i (i = 1, 3) denotes the code observations on B1 or B3 frequency, Φ i is the corresponding phase observations, a 13,i is the dual-frequency IF combination coefficient, f i denotes the carrier frequency, d i and d r,i are the code hardware delays at the satellite and receiver, respectively, N i is the phase ambiguity, b i and b r,i denote the satellite-and receiver-specific phase hardware delays, respectively, P IF , Φ IF , N IF , d r,IF , d IF , b r,IF and b IF are the corresponding terms for the dual-frequency IF combination, ε P IF and ε Φ IF are the code and phase observation noises, respectively, T is the slant tropospheric delay, cdt r and cdt are the physical clock errors of the receiver and the satellite, respectively, and ρ denotes the geometric distances. For a period of time, all the hardware delay terms are considered to be stable [32]. The corrections of satellite clocks in the real-time scenario, which are contained in the real-time stream CLK93 provided by CNES, are computed with the use of B1/B3 dual-frequency IF combination.…”