2.2. Observation Model for Real Signals
After data acquisition via the integrated navigation model discussed in
Section 2.1, all the real and spoofed GNSS signals received by each antenna are efficiently processed and MIMU measurements are recorded. This ensures accurate acquisition, tracking, and carrier-phase measurements of all signal sources.
The carrier-phase observation equation is given as follows:
where,
is the wavelength of the carrier phase, is the real value of the carrier phase, and is the integer ambiguity of the carrier phase;
is the real position of Satellite i, is the real position of Antenna 1, and is the clock difference between Antenna 1 and the receiver;
and are ionospheric and tropospheric errors, respectively.
When the distance between two stations is short, the ionospheric and tropospheric errors experienced by the two stations are approximately identical. Therefore, errors can be eliminated in the differences. The single-difference carrier-phase ambiguity observation equations are constructed for the two frequency points of the two stations, as shown below:
where,
and denote the real values of the single-difference carrier phases between the two stations at two frequency points, and , respectively;
and denote the positions of satellite corresponding to the signals received by Antennas 1 and 2, respectively;
and represent the real positions of Antennas 1 and 2, respectively;
and are the frequencies of the two frequency points, and, respectively;
and are the inter-station clock difference between Antennas 1 and 2 at the two frequency points, and, respectively;
and indicate the single-difference integer ambiguities of Antennas 1 and 2 relative to satellite at the two frequency points, and , respectively.
As depicted in
Figure 3,
(i.e., the angle between the DOA and the baseline vector formed by Antennas 1 and 2) can be expressed as follows:
As illustrated in
Figure 4,
in Eq. (3) can be decomposed into the pitch angle (
) and yaw angle (
) from the carrier to the signal source.
The yaw angle
and pitch angle
in the figure are the objectives to be solved in this study. When the signal source is a real satellite signal, the geometric configuration of the cosine function is given by:
Then Eq. (3) can be reduced to:
2.3. 2D Direction Observation Model for Spoofing Signal Sources
The vector of the carrier’s Antenna 1 pointing to the signal source
at the same moment can be expressed as
in the
system, and
,
, and
are the axial components of
, as shown below:
Eq. (5) can be reduced to a 2D direction observation equation for signal sources:
As the scenario defined in this study is that there exists a spoofing risk in satellite navigation, satellite navigation and positioning pose a risk of unreliability. In Eq. (5), is obtained by extrapolating the data in ephemeris files, is obtained by independently extrapolating the data provided by the MIMU, and is to be solved.
Conventional methods for solving inter-station single-difference carrier phases in satellite navigation [
18,
19,
20,
21] include multi-epoch filtering techniques such as the least-squares ambiguity decorrelation (LAMBD) algorithm and objective function solving techniques such as the AFM algorithm. The former requires multi-epoch filtering of possibly unreliable pseudo-range information, and the latter is disadvantaged by large computational amount and insufficient reliability. Therefore, this study constructs a novel AFM objective function to rapidly resolve the integer ambiguities of carrier phases in the environment of this study via a single channel. Additionally, in the 2D observation equation for spoofing signal sources, that is, Eq. (7), the observed value has one dimension, and the value to be observed has two dimensions. There is a rank loss in single-epoch direction finding for spoofing signal sources. However, owing to the non-linearity of the 2D direction observation model, it is more complicated to calculate the matrix of state transfer between two consecutive epochs. Therefore, it is necessary to propound a new multi-epoch observation model, and construct a least squares observation equation and an extended Kalman filter (EKF) model to determine high-precision directions of spoofing signal sources.