Académique Documents
Professionnel Documents
Culture Documents
net/publication/258438298
CITATIONS READS
40 250
2 authors, including:
Ming Yang
National Cheng Kung University
28 PUBLICATIONS 401 CITATIONS
SEE PROFILE
All content following this page was uploaded by Ming Yang on 29 May 2014.
Seconds Seconds
Figure 1.One-way ionospheric delay estimates Figure 2. Double-differenced ionospheric delay
versus elevation angles, SV 25, Columbus, Ohio, estimates of a 115-m baseline, SV 22-29, 11
11March 1994. March 1994.
Seconds
Figure 4. Double differenced ionospheric delay
estimates of a 1631-km baseline, Fairbanks where D stands for the first-order correlation distance and a;
- Yellowknife, SV 2-29, 1 6 January 1994. is the variance when baseline length change is the indepen-
dent variable.
Because the prediction of the double-differenced iono-
sphere is a function of both time interval and the change of
double-differenced ionosphere are on the order of 50 cm. the distance between the two receivers, the final two-dimen-
The third baseline studied is 1631 km long; thus, the magni- sional form of the autocorrelation function of double-differ-
tude of the double-differenced ionosphere is even larger, on enced ionosphere sampled at an interval r and a baseline
the order of 1 to 2 m, as illustrated in Figure 4. distance change S is given by Gelb (1979, p. 84) as
An attempt can be made to characterize the random pro-
cesses of the double-differenced ionosphere. The autocorrela-
tion function as a function of time interval T is defined as
(Gelb, 1979, p. 37)
f:
I ,
(-)llth+l dl+l = e Id - I"(;,f1
-~1~1/T+161
I
+ wt,wt- N O , ~2 (15) of the distance between the two receivers. Thus, the state
vector conforming to Equation 4 contains the moving re-
ceiver's position and other single-differenced quantities,
and the covariance of the prediction error wt is obtained as the receiver clock offset, the interchannel biases, the
ionospheric delay, the receiver initial fractional phase terms,
-
U;~'(T,S),= u l (1 - e2 [ 1 ~ 1 / ~ + S I / 1.
a,
(16) and the ambiguity unknowns. The effects of the troposphere
can be obtained kom some tropospheric correction models.
when the time interval ~ + 0 ,the prediction of the d m - 1, this study, the modified Hopfield model is used (Goad and
ble-differenced ionospheric effect is dependent solely on the ~ ~1974). ~ d ~ ~ ,
change of baseline distance. Suppose that the baseline dis- At a given epoch t,,, the linearized observation equation
tance is zero at point d, (zero baseline); consequently, the ef- of single-differencedmeasurements is formulated as follows:
fect of double-differenced ionosphere at dk by definition is
zero. Then, at the following point d,,,, the baseline length is *, = H, x, +P (20)
increased to s, so the change of baseline distance between dk
and d,+, is 6=s-0=s. The predicted double-differenced iono- where
sphere at d,,,, based on the differential ionospheric state at
dk (equal to zero), is also zero as indicated by Equation 15, GI- (@I)o
and the variance of the prediction error wtaccording to @2 - (@J0
Equation 16 is given as
I
A,A, A, 1 0 0 0 -1 A, 0
the double-differenced differential ionospheric effect as a
function of the distance between the two receivers. Ax A, A 1 1 n 0 - fi1 Az -AZ
The precise estimates of single-differenced ionospheric fz
delay in Equation 4 cannot be obtained with the four-mea- H, = A, A, A, I u 0 1 (22)
surement filter due to the presence of the interchannel biases fl
and the separation problem described earlier. It is therefore 0 0 0 0 0 1 - 1 0 0
fi
assumed that the correlation time and correlation distance 0 0 0 0 0 0 0 1 0 0
for single-differenced ionospheric effects are the same for
double difference, but the variance is reduced by a factor of
two. Thus, the autocorrelation function of single-differenced with Ax v
defined as
ionosphere is characterized as xk - XI
A, = (- 10
1
f;(~,a)= (-2 u$) e . - e-I8I1~, (18)
rf
yk - y,
The exponentially correlated prediction of the single-dif- A, = ( 7 1 ,
rl
ferenced ionospheric effect over a time interval T and a base-
line length change 6 is given similarly as in Equation 15, and zk - z,
the corresponding covariance function of the prediction of
A, = -( 10 (25)
the single-differenced ionospheric has the following form:
I;"
where (xk, yk, zk)represents the satellite's coordinates and (x,,
1 -~('71/~+l81/~) y,, z,) stands for the moving receiver's reference position; the
~ , (- u:)(l - e
U ; ~ ( T , ~ )=
2 1. (I9) distance between the two is denoted as r;.
The corresponding state vector used in this implementa-
The term (112~5)corresponds to the evaluated single-differ- tion is given as
While the position filter uses measurements from initial time Teunissen et al. (1995). Let two double-differenced ambiguity
to up to the time t, at which an estimate of state x, is de-
estimates and their covariance matrix be given as
sired, a smoother uses all the available measurements be-
tween initial time and end time to yield the optimal estimate
of x,. A smoother can be thought of as a weighted combina-
2 = [el and 2; = [:
tion of two position filters (Gelb, 1979). The first filter, called Then the integer transformation given by Teunissen et
a forward filter, operates on data from to to t, and produces al. (1995), defined as
the forward estimates x,,,.The second filter, a backward filter,
uses all the measurements after t,, and generates the back-
ward estimate x,,,. Thus, together the two filters have in-
cluded all the measurements. The two estimates are uncorre-
lated because no common data are used, so the smoothed where the symbol [ ] stands for rounding to the nearest inte-
estimate x,, and its error covariance P,, can be obtained us- ger, generates a linear combination of the original ambigui-
ing the standard Bayesian formulation: ties to achieve these goals.
In the implementation of the integer transformation, the
whole covariance matrix of the double-differenced ambigui-
ties is analyzed. To extend from the two-dimensional case
given above, our approach is to allow every bias to be used
in combination with each bias appearing in the state vector
after it to generate a smaller combination variance. Applying
the logic in both the forward and backward directions allows
for each bias, or bias combination, to reduce the uncertainty
of every other bias combination in the solution state vector.
After the integer transformation stage is completed, the
transformed ambiguities (or linear combinations of original
double-differenced ambiguities) and their corresponding vari-
ances are examined. The combinations are rounded (and
constrained) to their nearest integers if they are close to inte-
gers and associated with standard deviations smaller than a
chosen criterion, for instance, 0.1 cycles; then the filtered1
smoothed state vector and covariance matrix are updated ac-
cordingly. The updates to the state vector and the covariance
matrix due to a fixed constraint, h . x = 5, have been given
by Koch (1988, p. 203). To implement the constraint, the h
vector is composed of integer coefficients, and 5 is the result-
ing integer constraint. Only ambiguity variables contained in
the state vector participate in the constraint relation involv-
ing h: i.e., 0 30 60 90 120 150 180
Ax, = P, h' (hP,ht)-I (5 - hx,)
Epochs
AP, = -P, ht (hP,ht)-' hP, Figure 8. Differences between kinematic coor-
Note that the update to the covariance matrix P, is nega- dinates and IERS coordinates for the 179-km
tive; this indicates that the variances of the unknowns in the baseline between JPL Mesa and Goldstone,
state vector will decrease (or at least not increase) due to the 29 July 1994.
constraint. Again, an iterative procedure can be used to boot-
strap the other phase integers following each update until no
more ambiguities can be fixed. After the possible double-dif-
ferenced ambiguities are constrained to integers, the first
three elements of the state then readily provide the kine- aircraft is far away from the base station. The first data set is
matic position of the moving station. actually a static baseline between two stations located in
Although the integer transformation step can be applied southern California - JPL Mesa and Goldstone - which are
to either the filtered or the smoothed state, because the fil- slightly more than 179 km apart. Their precise geocentric co-
tered state is less precise, the smoothed state should be used ordinates are obtained from the International Earth Rotation
for post-processed missions. The smoothed estimate x,, and Service (IERS)so that we can compare our kinematic results
its error covariance P,, have included all the available infor- to a "true" answer. We take a data span of 90 minutes (with
mation from the measurements collected during the entire 30-second data interval, a total of 180 epochs) and process
survey. Thus, these are best quantities suitable for reliable the data as if they were kinematic. In this test, all of the
resolution of integer biases. widelane double-differenced ambiguity integers are resolved
In practice, one can start from the initial epoch (or from on the fly, and the differences between the kinematic epoch-
the end epoch and move backwards) and perform the integer by-epoch solutions and the IERs published coordinates are
transformation and identification procedure; however, before presented in Figure 8.
proceeding to another epoch, the constrained ambiguity inte- The differences between the kinematic solutions and the
.gers
, are recorded into memory. If continuous tracking- of the IERS coordinates can be caused by many factors such as mis-
previously constrained ambiguity integers is maintained be- modeling of tropospheric delays, errors in the estimates of
tween two epochs (i.e., no cycle slips), then the same con- ionospheric refraction, multipath, satellite geometry, etc., but
straints are applied immediately upon entering a new epoch. the recovery of the double-differenced widelane ambiguity
The same operation is repeated to all ensuing epochs. Thus, integers should be correct because for the whole period the
one only needs to determine the integer biases associated differences between the kinematic solutions and the IERS co-
with new or interrupted satellites since the first epoch. ordinates remain at the few-centimetre level.
From our experiments, we found that the widelane am- Euler and Goad (1991) pointed out the importance of us-
biguities are more easily identified through the integer trans- ing an elevation-dependent model to represent measurement
formation procedure, whereas in some cases the individual N1 uncertainties as signals from a satellite at low elevation tends
and N2 ambiguities cannot be resolved. This is in agreement to be influenced more by systematic effects like multipath. In
with an earlier finding that the wavelengths of L, and L, this study, the following elevation-dependent model for gen-
phase ambiguities are not as natural to the solution as the erating phase and pseudorange measurement uncertainties is
widelane ambiguity (Euler and Goad, 1991). Such examples used:
will be shown in the following section.
elev
Test Results (T$, (mq = (0.004)2 + 0.00025 x (1 - -)90
To examine the proposed approach, we studied two test data
elev
sets with different purposes. The first test is aimed at verify-
ing the algorithm's ability to recover phase integers when the
( T $ ~(m2)= (0.006)2 + 0.00025 X (1 - -)
90
0.2 -
I I 1 i I '
0 30 60 90 120 150 180
Epochs Epochs
Figure 9. Elevation angles of PRN 1and PRN Figure 10. Updated standard deviations of
1 7 , JPL Mesa - Goldstone, 29 July 1994. double-differenced L, ambiguities, SV 1-17.
1.0 T
elev
u;, (mZ)= (0.5)2+ 6.25 X (1 - -) b -200m
90 0.9 - --200km
elev i
t-2000km
u;,-, (m2)= (1.0)2 + 6.25 X (1 - -)
90
0.8 - t
+
t
-
tion of double-differenced widelane ambiguity estimates
drops to 0.3 widelane cycles (wavelength 86 cm) in 52 ep-
ochs, 0.2 cycles in 75 epochs, and 0.1 widelane cycles in
Epochs
Figure 11.Updated standard deviations of
165 epochs. double-differenced widelane ambiguities, S V
In this test (179-km baseline), three different accuracy 1-17.
criteria - 0.3, 0.2, and 0.1 widelane cycles - are selected
for the transformed linear combination of double-differenced
ambiguity estimates to be constrained to their nearest inte-
gers (through the Teunissen integer transformation proce- Criterion (widelane cycles) Number of epochs needed
dure). When examining the actual number of epochs re- 0.3 37
quired for the forward filter to determine the correct 0.2 65
widelane ambiguity integers for all the available satellites at 0.1 140
that epoch, the following counts are obtained:
Manuscripts are invited that address the use of physical remote-sensing models i n the design or evaluation of image
processing algorithms. All manuscripts will be peer-reviewed according to established CJRS guidelines.