“…The carrier phase measurement observed by the two receivers at a certain epoch can be written as [35]:
where is the carrier phase measurement (unit: cycle), is the carrier wavelength (unit: m), represents the true geographical distance between the satellite and the receiver (unit: m), is the ionospheric delay (unit: m), is the tropospheric delay (unit: m), is the carrier frequency (unit: Hz), is the receiver clock error (unit: s), is the satellite clock error (unit: s), is the integer ambiguity (unit: cycle) and is the residual errors mainly including carrier phase noise and multipath (unit: cycle). Subscripts and respectively represent the base and the rover receiver.…”