d
ion = a
f I (2)
where I is the integrated electron density along the propagation path.
a
f = 40.3/ f
2 , f is the frequency of the signal
We can group the frequency-dependent and the non-dispersive terms separately in equations (1) . Grouping the non-dispersive terms together we get:
p
ij = r
ij + c(dt
i–dt
j) + d
itrop j (3)
Now eqn(1) can be written as:
L
ikj = p
ij - a
kI
ij-l
kb
ikj
P
ikj = p
ij + a
kI
ij+q
ikj (4)
where a
k ºa
fk and q
ikj = dq
kj+dq
ik includes both the receiver and satellite instrumental group delay biases for each pair station j and satellite i.
However, in this system, the number of unknowns is greater than the number of equations. So we distribute the effect of instrumental delays among other terms defining other variables as:
The term I
ji is called as the biased ionospheric term and it contains information about the ionospheric delay I
ji and the receiver
and satellite differential group delay biases k
j, k
i .
The cycle-slip detection and estimation of the modified initialization constant terms b
kji is made using the P code pseudorange measurements as discussed in Blewitt [1990]. Thus, after the removal of ambiguities, we will only consider the more precise carrier phase observables, with the ambiguities removed.
Now, the next step is the separation of the contribution _of the ionospheric delay I
ji and that of the differential instrumental biases k
j and k
i in I
ji .