Thesis: moving beacon array pictures to beacon disciplining

This commit is contained in:
Eric Teunis de Boone 2023-09-04 14:15:37 +02:00
parent 68a77395d2
commit a97496adaa
2 changed files with 120 additions and 106 deletions

View file

@ -30,12 +30,12 @@ Such a mechanism has been successfully employed in \gls{AERA} reaching an accura
% Active vs Parasitic
For this section, it is assumed that the transmitter is actively introduced to the array and is therefore fully controlled in terms of produced signals and the transmitting power.
It is foreseeable that ``parasitic'' setups, where sources that are not under control of the experiment introduce signals, can be analysed in a similar manner.
However, for such signals to work, they must have a well-determined and stable origin.
However, for such signals to work, they must have a well-determined and stable origin.\Todo{mention next chapter for auger tv transmitter}
\\
% Impulsive vs Continuous
The nature of the transmitted radio signal, hereafter beacon signal, affects both the mechanism of reconstructing the timing information and the measurement of the radio signal for which the antennas have been designed.
Depending on the stability of the station clock, one can choose for employing a continuous beacon (e.g.~a~sine~waves) or one that is emitted at some interval (e.g.~a~pulse).
Depending on the stability of the station clock, one can choose for employing a continuous beacon (e.g.~a~sine~wave) or one that is emitted at some interval (e.g.~a~pulse).
\\
% outline of chapter
@ -53,18 +53,32 @@ Since the signal is an electromagnetic wave, its instantaneous velocity $v$ depe
In general, the refractive index of air is dependent on factors such as the pressure and temperature of the air the signal is passing through and the frequencies of the signal.
However, in many cases, the refractive index can be taken constant over the trajectory to simplify models.
\begin{figure}
\begin{figure}%<<<
\centering
\includegraphics[width=0.6\textwidth,height=0.4\textheight,keepaspectratio]{beacon/antenna_setup_two.pdf}
\caption{
Schematic of two antennas ($A_i$) at different distances from a transmitter ($T$).
Each distance incurs a specific time delay $(\tProp)_i$.
The maximum time delay difference for these antennas is proportional to the baseline distance (green line).
\Todo{use `real' transmitter and radio for schematic}
\Todo{introduce Pulse Interferometry figure}
}
\label{fig:beacon_spatial_setup}
\end{figure}
\begin{subfigure}{0.49\textwidth}%<<<
%\centering
\includegraphics[width=\textwidth,height=\textheight,keepaspectratio]{beacon/antenna_setup_two.pdf}
\caption{
Schematic of two antennas ($A_i$) at different distances from a transmitter ($T$).
Each distance incurs a specific time delay $(\tProp)_i$.
The maximum time delay difference for these antennas is proportional to the baseline distance (green line).
\protect \Todo{use `real' transmitter and radio for schematic}
}
\label{fig:beacon_spatial_setup}
\end{subfigure}%>>>
\begin{subfigure}{0.49\textwidth}%<<<
%\centering
\includegraphics[width=\textwidth]{beacon/auger/1512.02216.figure2.beacon_beat.png}
\caption{
From Ref~\cite{PierreAuger:2015aqe}.
The beacon signal that the \gls{Auger} has employed in \gls{AERA}.
The beating between 4 frequencies gives a total period of $1.1\us$ (indicated by the arrows).
With a synchronisation uncertainty below $100\ns$ from the \gls{GNSS}, it fully resolves the period degeneracy.
\protect \Todo{incorporate into text}
}
\label{fig:beacon:pa}
\end{subfigure}%>>>
\end{figure}%>>>
As such, the time delay due to the propagation from the transmitter to an antenna can be written as
\begin{equation}
@ -89,7 +103,7 @@ If the time of emitting the signal at the transmitter $\tTrueEmit$ is known, thi
%$
,
\end{equation}
where $(\tTrueArriv)_i$ and $(\tMeasArriv)_i$ are respectively the true and measured arrival time of the signal at antenna $A_i$.
where $(\tTrueArriv)_i$ and $(\tMeasArriv)_i$ are respectively the true and measured arrival time of the signal at antenna $A_i$.\Todo{different symbols math}
The difference between these two terms gives the clock deviation term $(\tClock)_i$.
\\
@ -112,8 +126,6 @@ In that case, the differences between the true arrival times $(\tTrueArriv)_i$ a
.
\end{equation}
% mismatch into clock deviation
Combining \eqref{eq:interantenna_t0} and \eqref{eq:transmitter2antenna_t0} then gives the relative clock mismatch $\Delta (\tClock)_{ij}$ as
\begin{equation}
@ -130,8 +142,63 @@ Combining \eqref{eq:interantenna_t0} and \eqref{eq:transmitter2antenna_t0} then
.
\end{equation}
Thus, measuring $(\tMeasArriv)_i$ and determining $(\tProp)_i$ for two antennas provides the synchronisation mismatch between them.
\Todo{text continuity}
\\
\subsection{Phase}
% continuous -> period multiplicity% <<<
In the case of a sine beacon, its periodicty poses an issue.
Differentiating between consecutive periods is not possible using the beacon alone.
This effect is observable in the $\tMeasArriv$ term in \eqref{eq:transmitter2antenna_t0}, being no longer uniquely defined, since
\begin{equation}\label{eq:period_multiplicity}%<<<
\phantom{,}
f(\tMeasArriv)
%= \tTrueArriv + kT\\
= f(\frac{\pMeasArriv}{2\pi}T)\\
= f(\left[ \frac{\pMeasArriv}{2\pi} + k\right] T)\\
,
\end{equation}%>>>
with $-\pi < \pMeasArriv < \pi$ the phase of the beacon at time $\tMeasArriv$, $T$ the period of the beacon and the unknown period counter $k \in \mathbb{Z}$.
\\
Of course, this means that the clock defects $\tClock$ can only be resolved up to $\tClock < T$.
this period counter $k$,\Todo{complete}
changing the synchronisation mismatches in \eqref{eq:synchro_mismatch_clocks} to
\begin{equation}\label{eq:synchro_mismatch_clocks_periodic}%<<<
\begin{aligned}
\phantom{.}
(\Delta \tClock)_{ij}
&\equiv (\tClock)_i - (\tClock)_j \\
&= (\Delta \tMeasArriv)_{ij} - (\Delta \tTrueArriv)_{ij} \\
&= (\Delta \tMeasArriv)_{ij} - (\Delta \tProp)_{ij} \\
&= \left[ \frac{ (\Delta \pMeasArriv)_{ij}}{2\pi} - \Delta k'_{ij} \right] T - (\Delta \tProp)_{ij} \\
&= \left[ \frac{ (\Delta \pMeasArriv)_{ij}}{2\pi} - \frac{(\Delta \pProp)_{ij} }{2\pi} - \Delta k_{ij} \right] T\\
&\equiv \left[ \frac{ (\Delta \pClock)_{ij} }{2\pi} - \Delta k_{ij} \right] T
.\\
\end{aligned}
\end{equation}%>>>
% lifting period multiplicity
Synchronisation is thus possible with the caveat of being off by an unknown integer amount of periods $\Delta k_{ij}$.
In general, using station $j$ as reference, this amount of periods will be written as $k_i$ for the $i$th station.
%In phase-locked systems this is called onisation.
There are at least two ways to lift this period degeneracy.
\\
% lifting period multiplicity -> long timescale
First, if the timescale of the beacon is much longer than the estimated accuracy of another timing mechanism (such as a \gls{GNSS}),
one can be confident to have the correct period.
In AERA \cite{PierreAuger:2015aqe} for example, the total beacon repeated only after $\sim 1 \us$ (see Figure~\ref{fig:beacon:pa}).
With an estimated timing accuracy of the \gls{GNSS} under $50 \ns$ the correct beacon period can be determined, resulting in a unique $\tTrueEmit$ transmit time\Todo{reword}.
\\
% lifing period multiplicity -> short timescale counting +
A second method consists of using an additional discrete signal to declare a unique $\tTrueEmit$ (see Figure~\ref{fig:beacon_sync:sine}).
This relies on the ability of counting how many beacon periods have passed since the discrete signal has been recorded.
A special case of this last scenario where the period counters are approximated from an extensive air shower is worked out in Chapter~\ref{sec:single_sine_sync}.
\\%>>>
\subsection{Array synchronisation}
\Todo{text continuity}
% is relative
As the mismatch is the difference between the antenna clock deviations, this scheme does not allow to uniquely attribute the mismatch to one of the clock deviations $(\tClock)_i$.
Instead, it only gives a relative synchronisation between the antennas.
@ -139,9 +206,6 @@ Instead, it only gives a relative synchronisation between the antennas.
This can be resolved by knowledge on the $\tTrueEmit$ of the transmitter and exploiting \eqref{eq:transmitter2antenna_t0}.
However, for our purposes relative synchronisation is enough.
\bigskip
% extending to array
In general, we are interested in synchronising an array of antennas.
As \eqref{eq:synchro_mismatch_clocks} applies for each pair of antennas in the array, all the antennas that record the signal can determine the synchronisation mismatches simultaneously.
@ -157,11 +221,31 @@ Taking one antenna as the reference antenna with $(\tClock)_r = 0$, the mismatch
% floating offset, minimising total
%\Todo{floating offset, matrix minimisation?}
\begin{figure}%<<<
\centering
\begin{subfigure}{0.49\textwidth}
\centering
\includegraphics[width=\textwidth]{beacon/field/field_three_left_time_nomax.pdf}
\end{subfigure}
\hfill
\begin{subfigure}{0.49\textwidth}
\centering
\includegraphics[width=\textwidth]{beacon/field/field_three_left_phase_nomax.pdf}
\end{subfigure}
\caption{
Reconstruction of a signal's origin (\textit{tx}) or direction using three antennas~($a$,~$b$,~$c$).
For each location, the colour indicates the total deviation from the measured time or phase differences in the array, such that $0$ (blue) is considered a valid location of \textit{tx}.
The different baselines allow to reconstruct the direction of an impulsive signal (\textit{left pane}) while a periodic signal (\textit{right pane}) gives rise to a complex pattern (see Appendix~\ref{fig:dynamic-resolve:phase:large} for enhanced size).
}
\label{fig:dynamic-resolve}
\end{figure}%>>>
% signals to send, and measure, (\tTrueArriv)_i.
In the former, the mechanism of measuring $(\tMeasArriv)_i$ from the signal has been deliberately left out.
The nature of the beacon, being impulsive or continuous, requires for different methods to determine this quantity.
The nature of the beacon, being impulsive or continuous, requires different methods to determine this quantity.
In the following sections, two separate approaches for measuring the arrival time $(\tMeasArriv)_i$ are examined.
\\
%%%% >>>
@ -271,8 +355,20 @@ Second, the matching template is created by sampling the ``analog'' template at
\\
% pulse finding: time accuracies
Afterwards, simulated waveforms are correlated (see \eqref{eq:correlation_cont} in Chapter~\ref{sec:correlation}) against the matching template, this obtains a best time delay $\tau$ per waveform by finding the maximum correlation (see Figure~\ref{fig:pulse_correlation}).
%\\
%Finding the best time delay $\tau$ using \eqref{eq:correlation_cont} corresponds to solving
%\begin{equation}\label{eq:argmax_correlation}
% \begin{array}
% \phantom{,}
% \tau
% &= \argmax \Corr(\tau; u, v)\\
% &= \argmax\left( \sum u(t)\, v^*(t-\tau) \right)
% ,
% \end{array}
%\end{equation}
%where we take the discrete version of \eqref{correlation_cont}.
\\
Comparing the best time delay $\tau$ with the randomised time-offset $\tTrueTrue$, we get a time residual $\tResidual = \tTrueTrue - \tMeas$ per waveform.
Comparing the best time delay $\tau$ with the randomised time-offset $\tTrueTrue$, we get a time residual $\tResidual = \tTrueTrue - \tau$ per waveform.
\\
For weak signals ($\mathrm{\gls{SNR}} \lesssim 2$), the correlation method will often select wrong peaks.
Therefore a selection criteria is applied on $\tResidual < 2 \Delta t$ to filter such waveforms and low \glspl{SNR} are not considered here.
@ -309,12 +405,9 @@ It shows that, as long as the pulse is (much) stronger than the noise ($\mathrm{
\centering
\includegraphics[width=\textwidth]{pulse/time_res_vs_snr_multiple_dt.pdf}
\caption{
Pulse timing accuracy obtained by matching a templated pulse for multiple template sampling rates to $N=500$ waveforms sampled at $2\ns$.
Pulse timing accuracy obtained by matching $N=500$ waveforms, sampled at $2\ns$, to a templated pulse, sampled at $\Delta t = 0.1\ns$ (blue), $0.05\ns$ (yellow) and $0.001\ns$ (green).
Dashed lines indicate the asymptotic best time accuracy ($\Delta t/\sqrt{12}$) per template sampling rate.
\Todo{
points in legend,
lines with text above
}
\Todo{points in legend}
}
\label{fig:pulse:snr_time_resolution}
\end{figure}
@ -354,66 +447,7 @@ It is then straightforward to discriminate a strong beacon from the air shower s
Note that for simplicity, the beacon in this section will consist of a single sine wave at $f_\mathrm{beacon} = 51.53\MHz$ corresponding to a period of roughly $20\ns$.
\\
% continuous -> period multiplicity% <<<
The periodicity of the sine beacon poses a different issue.
Because the beacon must be periodic, differentiating between consecutive periods is not possible using the beacon alone.
This effect is observable in the $\tMeasArriv$ term in \eqref{eq:transmitter2antenna_t0}, describing the time when the signal is measured at the detector, being no longer uniquely defined,
\begin{equation}\label{eq:period_multiplicity}%<<<
\phantom{,}
f(\tMeasArriv)
%= \tTrueArriv + kT\\
= f(\left[ \frac{\pMeasArriv}{2\pi} + k\right] T)\\
,
\end{equation}%>>>
with $-\pi < \pMeasArriv < \pi$ the phase of the beacon at time $\tMeasArriv$, $T$ the period of the beacon and the unknown period counter $k \in \mathbb{Z}$.
\\
Of course, this means that the clock defects $\tClock$ can only be resolved up to this period counter $k$,
changing the synchronisation mismatches in \eqref{eq:synchro_mismatch_clocks} to
\begin{equation}\label{eq:synchro_mismatch_clocks_periodic}%<<<
\begin{aligned}
\phantom{.}
(\Delta \tClock)_{ij}
&\equiv (\tClock)_i - (\tClock)_j \\
&= (\Delta \tMeasArriv)_{ij} - (\Delta \tTrueArriv)_{ij} \\
&= (\Delta \tMeasArriv)_{ij} - (\Delta \tProp)_{ij} \\
&= \left[ \frac{ (\Delta \pMeasArriv)_{ij}}{2\pi} - \Delta k'_{ij} \right] T - (\Delta \tProp)_{ij} \\
&= \left[ \frac{ (\Delta \pMeasArriv)_{ij}}{2\pi} - \frac{(\Delta \pProp)_{ij} }{2\pi} - \Delta k_{ij} \right] T\\
&\equiv \left[ \frac{ (\Delta \pClock)_{ij} }{2\pi} - \Delta k_{ij} \right] T
.\\
\end{aligned}
\end{equation}%>>>
% lifting period multiplicity
Synchronisation is thus possible with the caveat of being off by an unknown integer amount of periods $\Delta k_{ij}$.
In general, using station $j$ as reference, this amount of periods will be written as $k_i$ for the $i$th station.
%In phase-locked systems this is called onisation.
There are at least two ways to lift this period degeneracy.
\\
% lifting period multiplicity -> long timescale
First, if the timescale of the beacon is much longer than the estimated accuracy of another timing mechanism (such as a \gls{GNSS}),
one can be confident to have the correct period.
In AERA \cite{PierreAuger:2015aqe} for example, the total beacon repeats only after $\sim 1 \us$ (see Figure~\ref{fig:beacon:pa}).\Todo{present/past}
With an estimated timing accuracy of the \gls{GNSS} under $50 \ns$ the correct beacon period can be determined, resulting in a unique $\tTrueEmit$ transmit time\Todo{reword}.
\\
% lifing period multiplicity -> short timescale counting +
A second method consists of using an additional discrete signal to declare a unique $\tTrueEmit$ (see Figure~\ref{fig:beacon_sync:sine}).
This relies on the ability of counting how many beacon periods have passed since the discrete signal has been recorded.
A special case of this last scenario where the period counters are approximated from an extensive air shower is worked out in Chapter~\ref{sec:single_sine_sync}.
\\%>>>
\begin{figure}%<<<
\centering
\includegraphics[width=0.5\textwidth]{beacon/auger/1512.02216.figure2.beacon_beat.png}
\caption{
From Ref~\cite{PierreAuger:2015aqe}.
The beacon signal that the \gls{Auger} has employed in \gls{AERA}.
The beating between 4 frequencies gives a total period of $1.1\us$ (indicated by the arrows).
With a synchronisation uncertainty below $100\ns$ from the \gls{GNSS}, it fully resolves the period degeneracy.
}
\label{fig:beacon:pa}
\end{figure}%>>>
\Todo{text continuity}
By implementing the beacon signal as one or more sine waves, the beacon signal can be recovered from the waveform using Fourier Transforms (see Section~\ref{sec:fourier}).
\\
% FFT common knowledge ..

View file

@ -92,26 +92,6 @@ With a restricted set of allowed period defects, we can then alternatingly optim
rename $\Delta \tClockPhase$
}
\end{figure}%>>>
\begin{figure}%<<<
\centering
\begin{subfigure}{0.47\textwidth}
\centering
\includegraphics[width=\textwidth]{beacon/field/field_three_left_phase_nomax.pdf}
\end{subfigure}
\hfill
\begin{subfigure}{0.47\textwidth}
\centering
\includegraphics[width=\textwidth]{beacon/field/field_three_left_time_nomax.pdf}
\end{subfigure}
\caption{
Reconstruction of a signal's origin (\textit{tx}) or direction using three antennas~($a$,~$b$,~$c$).
For each location, the colour indicates the total deviation from the measured time or phase differences in the array, such that blue is considered a valid location of \textit{tx}.
The different baselines allow to reconstruct the direction of an impulsive signal (\textit{right pane}) while a periodic signal (\textit{left pane}) gives rise to a complex pattern (see Appendix~\ref{fig:dynamic-resolve:phase:large} for enhanced size).
}
\label{fig:dynamic-resolve}
\end{figure}%>>>
% >>>
\section{Lifting the Period Degeneracy with an Air Shower}% <<<