Analyse de données de gravimètres.

Extrait du sujet d’examen posé en 2021/2022

Un gravimètre est un appareil qui mesure l’accélération de la pesanteur. A Paris, elle vaut \(g\sim 9.81\) m/s\(^2\). Dans cet exercice nous allons analyser des données provenant du gravimètre à atomes froids du laboratoire LNE-SYRTE (à Paris) et celles provenant d’un gravimètre à supraconducteur qui ont été enregistrées en parallèle, pendant 27 jours, entre le 7 avril et le 4 mai 2015. Le gravimètre à atomes froids (CAG, cold atoms gravimeter) est un gravimètre dit absolu dans le sens où il mesure \(g\) directement en m/s\(^2\). Le gravimètre à supraconducteur (‘iGRAV’) est un gravimètre dit relatif dans le sens où il mesure une tension en V qui peut être reliée à \(g\). Ce dernier doit donc être calibré. Ceci peut justement se faire à l’aide du CAG. C’est ce que nous allons faire dans un premier temps.

Vous trouverez un fichier texte data/CAGiGrav.txt dans le dossier data qui contient : la date (en jour Julien modifié ‘MJD’), la mesure du gravimètre (en nm/s\(^2\), par rapport à la valeur \(g = 9.808~907~500\) m/s\(^2\)), la mesure de l’iGRAV (en V) et le résidu entre les deux mesures après étalonnage de l’iGRAV (en nm/s\(^2\)). Ce contenu est séparé par des 'tabulations'. La première ligne correspond à l’en-tête.

  1. Importer le fichier 'CAGiGRAV.txt' et créer quatres tableaux de flottants (float) correspondant à la date, la mesure du CAG, celle de l’iGRAV et le résidu après calibration. On pourra utiliser la fonction np.loadtxt() dont les arguments peuvent être retrouvés à partir de sa documentation : il faudra savoir 1/ comment utiliser le \t comme séparateur et 2/ comment éliminer la première ligne (en-tête) du fichier.

  1. Tracer l’évolution de l’accélération de la pesanteur en fonction de la date (en MJD) mesurée à l’aide du CAG et à l’aide du iGRAV. On pourra utiliser la fonction plt.subplots dont les arguments peuvent être retrouvés à partir de sa documentation : notamment un des arguments permettra de partager l’axe des abscisses.

Le résultat typique que l’on observe est le suivant:

alt text

Les variations de grandes amplitudes et de longues périodes sont liées à l’attraction de la lune et du soleil (phénomène des marées). Dans ce graphique, les unités sont en Gal. 1 µGal = 1 nm/s\(^2\).

Comme pour beaucoup de jeux de données expérimentales, il manque des données (ici soit parce que les mesures ont été perturbées par des tremblements de terre soit parce que l’asservissement des lasers (servant au refroidissement laser des atomes) du gravimètre atomique a sauté). Ces données manquantes sont représentées par des ‘nan’ (not a number).

La fonction np.isnan permet de créer un tableau de booléen contenant les nombres qui sont des ‘nan’. Le code suivant permet de creer un masque (tableau de booléen) contenant uniquement les données valides en même temps pour les deux gravimètres:

mask = ~(np.isnan(CAG) | np.isnan(iGRAV))

  1. Pourquoi avoir utilisé ~ et | au lieu de not et or ?

  1. Quelle était la valeur moyenne et l’écart type de \(g\) entre le 7 avril et le 4 mai 2015 (c’est à dire sur l’ensemble des données) ?

Les données de l’iGRAV sont données en volt. On note \(K\) le coeficient de calibration de l’instrument (en nm.s\(^{-2}\)/V). On prendra \(K=-898.25\)nm.s\(^{-2}\)/V.

  1. Calculer et tracer la différence entre les mesures enregistrées par le CAG et celles enregistrées par l’iGRAV après calibration: CAG-K*iGRAV. Vérifier graphiquement que votre résultat correspond bien à la quatrième colonne du fichier 'CAGiGRAV.txt'.

  1. Quel est l’écart type de ces résidus sur la période des 27 jours de mesures ? Comparer celui-ci avec l’écart type des mesures du gravimètre atomique (CAG) seules, calculées à la question 4. Commenter.

Grâce au gravimètre à supraconducteur, il a été possible d’éliminer les variations dues aux effets des marées et d’en déduire le bruit du CAG (le bruit de l’iGRAV est négligeable en comparaison). Lorsque l’on n’a pas cet appareil (l’IGRAV), il est possible de caractériser le bruit de l’instrument (le CAG) grace à un outils mathématique appelé la variance d’Allan. L’idée est que entre deux mesures consécutives, le signal varie peu et que seul le bruit de l’instrument va changer le résultat.

La variance d’Allan est définie par :

\[\sigma_\mathrm{Allan}^2 = \frac{1}{2} \left<\left(x_{l+1} - x_l\right)^2\right>_l\]

  1. (facultative) Question de statistique: vérifier que si les \(x_i\) sont indépendants, \(\sigma_\mathrm{Allan}\) correspond à l’écart type des \(x\).

  1. Écrire une fonction allan_variance(x) qui calcule la variance d’Allan d’un jeu de données x. Bien que ce ne soit pas exactement le cas, nous allons ici supposer que chaque mesure du CAG est réalisée pendant un temps \(\tau_0=177\) s. Calculer l’écart type d’Allan \(\sigma_{Allan}(\tau_0)\) du jeu de données du CAG et vérifier que l’on a le même ordre de grandeur qu’à la question 6.

  1. (bis) Si ce n’est pas déjà fait, écrire la fonction allan_variance(x) sans boucle for.