Brevet FR2881008A1 — publié le 20060721

Récepteur de positionnement par satellite à intégrité et continuité améliorées L'invention concerne un récepteur de signaux d'un système de radionavigation par satellite destiné à callculer très précisément la position d'un porteur. Le système le plus connu, auquel on se référera dans la suite est le système GPS et on désignera les systèmes de radionavigation par satellite sous l'appellation générique GPS même si ce sont des systèmes voisins tels que Galileo ou Glonass. Le système GPS utilise une constellation de satellites qui tournent autour de la terre sur des orbites très précisément déterminées, c'est à dire qu'on peut connaître à tout instant la position d'un satellite quelconque. Les orbites des satellites sont choisies de façon à ce qu'à toute heure, 6 à 12 satellites soient visibles en tout point de la terre. Chaque satellite émet deux signaux radioélectriques de fréquences L, (1575,42 MHz) et L2 (1227,6 MHz). Au sol ou sur un véhicule terrien, maritime ou aérien, un récepteur GPS reçoit les signaux émis par des satellites visibles. Le récepteur GPS embarqué mesure la durée de propagation requise pour qu'une marque horaire transmise par un satellite lui parvienne. Les marques horaires sont codées sur des ondes porteuses par la technique de modulation de phase. Chaque satellite transmet ainsi un code pseudoaléatoire qui lui est propre. Une réplique de la séquence du code est générée par le récepteur et le décalage que doit subir la réplique afin de coïncider avec le code reçu correspond à la durée de propagation du signal pour parcourir la distance satellite-récepteur. Cette durée multipliée par la vitesse de la lumière dans le milieu traversé donne une mesure de distance appelée pseudo-distance. A partir des mesures des pseudo-distances le séparant de chaque satellite visible, et de la connaissance de la position des satellites, le récepteur déduit sa position précise en latitude, longitude, et en altitude dans un repère terrestre par une résolution numérique voisine de la triangulation. II peut également en déduire la date et l'heure précise dans le repère temporel du système GPS. La référence de temps du récepteur, fournie par son horloge, ne coïncide pas parfaitement avec la référence de temps des satellites de la constellation; cela induit un biais dans les mesures de temps de propagation, donc de distance, égal au retard de la référence de temps du récepteur par rapport à la référence de temps des satellites. On emploie pour cela le terme de pseudo-distance . Le biais de temps, commun à toutes les mesures, constitue une quatrième inconnue, outre les trois inconnues de position, ce qui oblige à disposer d'au moins quatre mesures pour calculer la position. En outre, la position du récepteur est estimée en faisant un certain nombre d'approximations. La mesure de la pseudo-distance ne peut pas par exemple s'affranchir des erreurs liées au système telles que le manque de précision des éphémérides ou des horloges embarquées dans les satellites. to La mesure de la pseudo-distance est également entachée d'erreurs liées aux interactions entre les signaux et les couches d'atmosphère qu'ils traversent. Le retard de propagation du signal dans Va troposphère et l'ionosphère est fonction de l'inclinaison du trajet et de l'heure à laquelle il a lieu. Typiquement les erreurs de positionnement du GPS liées à l'atmosphère sont plus marquées de jour que de nuit et plus sensibles lorsqu'un satellite est proche de l'horizon qu'au zénith. Dans certaines applications comme par exemple l'approche de précision en aéronautique, la précision de positionnement obtenue par une mesure directe (ou absolue) de la pseudo-distance n'est pas suffisante. L'utilisation d'une mesure différentielle permet d'améliorer sensiblement la précision du positionnement. Elle consiste à transmettre par un canal dédié (VHF, UHF ou téléphonie cellulaire) des corrections des mesures de pseudo-distance élaborées à partir de mesures de pseudodistance provenant de récepteurs disposés dans des stations au sol et dont les positions sont connues très précisément et proches du récepteur embarqué. La mesure de la pseudo-distance séparant un récepteur sol et un satellite est comparée à la distance théorique séparant ces deux dispositifs. La distance théorique est calculée à partir des coordonnées spatiales respectives du récepteur sol et du satellite qui sont connues à tout instant. La différence entre la mesure de distance et la distance théorique représente l'erreur de mesure, elle est calculée pour chaque satellite à chaque époque d'observation. Ces différences de distance constituent des termes correctifs (aussi appelés corrections différentielles) qui sont retranchés aux mesures de pseudo-distance réalisées par le récepteur mobile. Ces corrections ont pour effet de supprimer pratiquement totalement les erreurs qui présentent une corrélation spatiale importante quelle que soit leur origine, système ou atmosphérique . Les corrections sont d'autant plus efficaces que les deux récepteurs sont proches. Toutefois, la mesure différentielle n'élimine pas les erreurs liées aux réflexions du signal sur des objets proches de l'antenne du récepteur, ni les erreurs propres au récepteur (bruit thermique). Ces erreurs sont présentes sur le récepteur de référence ainsi que sur le récepteur embarqué, elles dégradent la mesure de positionnement lors de la correction différentielle; la précision obtenue est de l'ordre de quelques mètres. o Pour améliorer la précision du positionnement, les récepteurs sols et ceux mobiles, embarqués sur porteur, peuvent aussi tirer profit d'une seconde information élaborée par le récepteur qui est la mesure de la phase de la porteuse, pour chaque signal satellite reçu. La mesure de la phase instantanée de la porteuse reçue permet en effet de calculer une pseudo- distance, dite pseudo-distance de porteuse, entre le récepteur et le satellite, au même titre que la mesure de la phase instantanée du code pseudoaléatoire. Cette pseudo-distance de porteuse subit les mêmes variations que la pseudo-distance de code, lorsque la distance entre le récepteur et le satellite ou le biais de temps dû à l'horloge du récepteur varient. Cette pseudo-distance mesurée par la phase est a priori ambiguë puisque la phase est connue modulo 2n mais elle est beaucoup moins bruitée que les mesures de pseudo-distance de code. Une solution connue pour améliorer les mesures de pseudodistance consiste à lisser la mesure de pseudo-distance bruitée réalisée sur le code par les mesures de phase peu bruitées. Pour cela le récepteur applique un filtre passe bas à la différence entre les mesures de pseudodistance de code et de pseudo-distance de porteuse, puis ajoute cette différence filtrée à la mesure de pseudo-distance de porteuse pour reconstituer la mesure de phase de code. Ce traitement est réalisé axe satellite par axe satellite. Si la mesure est différentielle, un lissage identique est appliqué sur les récepteurs de la station sol afin que l'erreur de traînage du filtre passe bas, due à la divergence entre le code et la porteuse liée aux fluctuations du retard ionosphérique, soit identique au sol et sur le récepteur mobile, et ne perturbe pas la mesure de positionnement après de l'application de la correction. Cette solution représente l'état de l'art de l'architecture des systèmes de navigation par satellites. Son principal intérêt tient dans sa simplicité et dans l'absence d'effet de couplage entre les mesures des pseudo-distances des différents satellites (canaux), néanmoins elle n'est pas complètement satisfaisante. En effet, le gain sur la précision de la mesure est significatif uniquement lorsque le lissage est effectué avec une constante de temps longue; et dans ce cas, la durée de réinitialisation pour récupérer la précision après une modification brusque de l'ensemble des mesures disponibles (par exemple disparition d'un satellite par masquage, panne d'un io satellite ou encore panne d'un récepteur au sol dans le cas du GPS différentiel) est également longue. Il serait souhaitable d'éviter cet inconvénient. Par ailleurs, pour quantifier l'intégrité de la rnesure de position dans des applications où l'intégrité est critique, telles que les applications aéronautiques, on utilise un paramètre appelé rayon de protection de la mesure de position. Le rayon de protection correspond à une erreur de position maximale pour une probabilité donnée d'apparition d'erreur. C'est-à-dire que la probabilité que l'erreur de position dépasse le rayon de protection annoncé est inférieure à cette valeur de probabilité donnée. Le calcul se fonde sur deux types d'erreur qui sont d'une part les erreurs normales de mesure et d'autre part les erreurs causées par une anomalie de fonctionnement de la constellation de satellites, par une panne d'un satellite ou encore une panne d'un récepteur sol. Communément, on distingue deux types d'événement redoutés pouvant survenir à un système de positionnement GPS: le premier, nommé non- continuité, correspond à une dégradation non prévue du service, mais déclarée; le second, appelé non-intégrité, correspond à une mesure de position erronée mais non déclarée, dont l'apparence est celle d'une mesure fiable. Une non-continuité peut correspondre par exemple à l'apparition d'une alarme indiquant la présence supposée d'un panne. Dans les deux cas les conséquences peuvent être graves, d'où la nécessité de minimiser la probabilité de tels événements. Un calcul de rayon de protection peut être estimé pour une valeur de probabilité de non- continuité et une valeur de probabilité de non intégrité données a priori. Dans ce cas la probabilité que l'erreur de positionnement dépasse le rayon sera inférieure à la probabilité de non-intégrité donnée, et la probabilité d'alarme (justifiée ou non) sera inférieure à la probabilité de non-continuité donnée. Par exemple, dans le cas des systèmes existants qui sont fondés sur le lissage, axe par axe, des mesures de position du code pseudo-aléatoire par les variations de phase de la porteuse, le rayon de protection se dégrade brutalement lors de la disparition d'un satellite et met longtemps à retrouver une valeur acceptable après réapparition du satellite, à cause du temps de réponse du filtre de lissage. II serait souhaitable de trouver une solution qui évite cet inconvénient. L'invention a en particulier pour objet la minimisation de cette détérioration. La présente invention pallie les inconvénients des solutions présentées ci-dessus. Elle a pour but d'améliorer la précision de la mesure de position en utilisant d'une manière nouvelle les deux mesures simultanées de pseudo-distance mises à disposition par chaque satellite tout en conférant à la position ainsi obtenue une meilleure robustesse vis-à-vis des dégradations brutales de la géométrie des satellites (régime transitoire) qu'il est susceptible de rencontrer, et ceci pour le positionnement absolu comme pour le positionnement en différentiel. A cet effet, l'invention a pour objet un récepteur de positionnement par satellite, comprenant plusieurs canaux de traitement numérique de signal destinés à être associés chacun à un satellite respectif et fournissant chacun une première donnée numérique, appelée pseudo-distance de code, représentant une pseudo-distance entre le récepteur et le satellite calculée à partir d'une mesure de phase instantanée d'un code pseudoaléatoire présent dans le signal émis par le satellite et une deuxième donnée numérique, appelée pseudo-distance de porteuse, représentant cette pseudo-distance calculée à partir d'une mesure de phase instantanée de la porteuse du signal émis par le satellite, caractérisé en ce qu'il comporte un filtre de Kalman étendu comportant - des moyens de calcul de propagation d'une position estimée du récepteur dans un repère terrestre, pour établir, à partir d'une position estimée précédemment calculée, une position estimée propagée; -des moyens de calcul de propagation d'un vecteur d'état estimé comprenant notamment l'erreur sur la position estimée du récepteur, à partir d'une équation de propagation matricielle faisant intervenir une matrice de propagation, - des moyens de calcul de recalage du vecteur d'état estimé à partir d'observations relatives à chaque satellite et d'une matrice 5 d'observations liant le vecteur d'état et les observations, - des moyens de calcul d'observations, recevant d'une part les pseudo-distances de code et de porteuse et d'autre part une pseudodistance estimée calculée entre le récepteur et chaque satellite, pour établir des observations à appliquer à l'entrée des moyens de calcul de recalage, io - des moyens pour calculer une pseudo-distance estimée calculée pour chaque satellite, par calcul de la distance entre la position estimée propagée du récepteur dans le repère terrestre et chaque satellite. Le filtre de Kalman comprendra en général aussi: - des moyens de calcul de propagation de la matrice de covariance du vecteur d'état estimé ; - des moyens de calcul de recalage de la matrice de covariance du vecteur d'état estimé ; - des moyens pour calculer le gain de recalage à partir de la 20 matrice de covariance propagée et de la matrice d'observation; - des moyens pour appliquer une correction à la mesure de position estimée propagée, à partir de correction d'erreur; - des moyens pour appliquer cette correction d'erreur au vecteur d'état estimé ; - des moyens pour calculer cette correction d'erreur à partir des valeurs du vecteur d'état estimé mémorisé. L'invention propose donc d'utiliser, plutôt qu'un lissage du code par la phase de porteuse réalisé axe par axe, un filtrage de Kalman 30 spécifique dans lequel les données d'entrée sont: - une mesure de pseudo- distance de code non lissée, plutôt qu'une mesure de pseudo-distance de code lissée par la phase; - une mesure de pseudo-distance de porteuse, et non pas une mesure d'incréments de phase entre deux observations successives. Grâce à cela, on constate qu'on peut obtenir un rayon de protection qui se détériore lentement lorsqu'on perd un satellite mais qui s'améliore instantanément lorsqu'on acquiert un nouveau satellite. En l'absence de rupture de géométrie de la constellation de satellites, le rayon de protection s'améliore progressivement au cours des mesures successives de position. Avantageusement, le modèle d'état fait intervenir dans le vecteur d'état, pour chaque satellite, une composante représentant l'ambiguïté de la phase de porteuse. C'est en effet cette ambiguïté qui constitue l'erreur principale sur la mesure de pseudo-distance par la phase de porteuse et il est souhaitable de réduire cette erreur. Par ailleurs, pour aider à la détermination d'un rayon de protection en présence d'une panne de satellite (c'est-à-dire qu'un satellite émet sans qu'on le sache un signal erroné mais qui présente les apparences d'un signal valide), on prévoit la disposition suivante: le filtre de Kalman constitue un filtre principal fournissant une position calculée dans le repère terrestre à partir d'observations faites sur m satellites identifiés par leur rang i (i entier de 1 à m), et le récepteur comporte par ailleurs m filtres de Kalman auxiliaires de rang i, un filtre auxiliaire de rang i recevant les signaux de tous les satellites à l'exception de ceux provenant du satellite de rang i. Le récepteur comporte alors des moyens de calcul d'un rayon de protection à partir des sorties des différents filtres de Kalman et des moyens de vérification que ce rayon de protection n'excède pas un seuil déterminé. Dans le cas d'un récepteur embarqué fonctionnant en mode différentiel à l'aide de corrections différentielles envoyées par une station au sol qui comporte M récepteurs, le récepteur embarqué comporte de préférence, outre le filtre de Kalman mentionné en prernier et appelé filtre principal, M autres filtres de Kalman dits filtres auxiliaires de rang j, j entier variant de 1 à m, et M supérieur à 1, et en ce que chaque canal de traitement numérique reçoit des corrections de M récepteurs fixes de rang j placés dans la station au sol et calcule: -d'une part une moyenne des M premières corrections et une moyenne des M deuxièmes corrections, ces moyennes servant de termes correctifs pour élaborer les premières et deuxièmes données numériques pour le filtre principal - d'autre part, pour chaque rang j, une moyenne de M-1 premières corrections et une moyenne de M-1 deuxièmes corrections, excluant les corrections issues du récepteur de rang j, ces moyennes servant de termes correctifs pour élaborer les premières et deuxièmes données numériques pour le filtre de rang j. D'autres caractéristiques et avantages de l'invention ressortiront de la description ci-après d'un mode de réalisation donné à titre d'exemple. Cette description sera faite en regard des dessins joints dans lesquels: La figure 1 représente schématiquement l'architecture d'un récepteur d'un système GPS selon l'invention; - La figure 2 représente un organigramme de fonctionnement du filtre de Kalman récepteur selon l'invention traitant un signal mono-fréquence; - La figure 3 représente un organigramme de fonctionnement du filtre de Kalman récepteur selon l'invention traitant un signal bi-fréquence; - La figure 4 représente la structure du vecteur d'état X dans le cas d'une évaluation des erreurs liées à l'atmosphère et d'une mesure réalisée sur un signal bi-fréquence; - La figure 5 représente schématiquement l'architecture d'un récepteur d'un système GPS selon l'invention en fonctionnement différentiel; - La figure 6 représente un schéma d'obtention des rayons de protection calculés dans le récepteur GPS selon l'invention en fonctionnement absolu, lorsque m satellites sont visibles; - La figure 7 représente un schéma d'obtention des rayons de protection calculés dans le récepteur GPS selon l'invention en fonctionnement différentiel lorsque la correction différentielle est calculée par M récepteurs au sol. Pour faciliter la lecture de la description, les mêmes repères désigneront les mêmes éléments dans les différentes figures. La figure 1 représente schématiquement l'architecture d'un récepteur de signaux d'un système de radionavigation par satellite. Un récepteur GPS comporte classiquement une antenne 10, un circuit analogique 12 effectuant des amplifications et changements de fréquence, un convertisseur analogique-numérique 14, et au moins N canaux de traitement numérique C, à CN si on veut recevoir simultanément les signaux en provenance d'au moins m satellites, m étant inférieur à N, le canal C; de rang i étant affecté au satellite i. Chaque canal numérique C; de rang i reçoit un signal numérisé contenant l'ensemble des signaux satellites qu'il soumet à une double boucle d'asservissement permettant d'une part de synchroniser en phase une porteuse localement générée avec la porteuse issue du satellite i et d'autre i o part de synchroniser un code pseudo-aléatoire généré localement avec un code identique présent dans le signal satellite et propre à ce satellite. Les canaux de traitement numérique sont tous identiques à l'exception de leur générateur de code pseudo-aléatoire qui est programmé pour sélectionner un satellite déterminé. Les deux boucles d'asservissement comportent chacune deux oscillateurs à commande numérique dont le contenu représente: - pour le premier oscillateur, la phase instantanée du code pseudo-aléatoire local (aligné sur le code présent dans le signal), qui constitue la mesure de la phase instantanée du code reçu. - pour le deuxième oscillateur, la phase instantanée de la porteuse locale (alignée sur la phase de la porteuse présente dans le signal reçu du satellite, au déphasage près introduit par les circuits du récepteur), qui constitue la mesure de la phase instantanée de la porteuse reçue. La mesure de la phase instantanée du code dans le canal C; est utilisée pour calculer une première donnée numérique appelée pseudodistance de code PD_C;, représentant une première mesure de la pseudodistance entre le récepteur et le satellite de rang i; cette mesure est non ambiguë mais assez bruitée. La mesure de la phase instantanée de la porteuse dans le canal C; est utilisée pour calculer une deuxième donnée numérique, appelée pseudodistance de porteuse PD_PH;, représentant une deuxième mesure de la pseudo-distance entre le récepteur et le satellite de rang i; elle est peu bruitée mais ambiguë. On dispose donc dans chaque canal de traitement numérique de 35 deux mesures indépendantes PD_C; et PD_PH; d'une même pseudo- distance séparant le récepteur de chaque satellite. Les deux mesures de pseudo- distances PD_C; et PD_PH; (i désignant un numéro de satellite) sont obtenues sous forme de durées de propagation de signal entre le satellite de rang i et le récepteur le long de l'axe (axe satellite) joignant le satellite et le récepteur. Les canaux numériques établissent également d'autres informations, en particulier des bits de données représentant des informations issues des satellites (éphémérides permettant de calculer à tout moment la position des satellites). 1 o Enfin, les canaux élaborent, en fonction des conditions de réception, une mesure du rapport signal/bruit (S/N); pour chaque satellite. Le niveau de bruit, qui permet de calculer l'écart type de l'erreur de mesure due au bruit thermique, est mesuré par le traitement du signal effectué au sein du canal numérique de rang i, de même que le niveau de signal venant du satellite de rang i. Ces données alimentent un calculateur 20 qui a pour fonction de calculer la position du récepteur ainsi qu'un rayon de protection. En pratique le récepteur calcule non seulement la position mais aussi la vitesse du récepteur et le temps à l'instant de mesure, l'ensemble étant généralement appelé point PVT. Le calculateur 20 fournit en sortie un point PVT et une valeur de rayon de protection. Cette valeur est calculée à partir des précisions de mesures des différents satellites et d'un seuil de probabilité de non- intégrité qu'on s'impose de ne pas dépasser. Si on veut prendre en compte des risques de non-continuité, la valeur est calculée également à partir d'autres considérations sur lesquelles on reviendra plus loin et qui font intervenir un seuil de probabilité de non-continuité qu'on s'impose de ne pas dépasser. Selon l'invention, le calculateur 20 utilise, pour le calcul du point PVT, un filtre de Kalman étendu dont les données d'entrée comprennent non seulement la première donnée numérique (pseudo-distance de code obtenu à partir de la mesure de la phase instantanée du code, non lissée) mais aussi la deuxième donnée numérique (pseudo-distance de porteuse obtenue à partir de la mesure de la phase instantanée de porteuse). La figure 2 représente un organigramme de fonctionnement de ce filtre de Kalman étendu (qui est un filtrage algorithmique mis en oeuvre sur des données numériques). Le filtre qui est décrit suppose qu'il y a m satellites observés par le récepteur GPS. On rappelle le principe du filtraqe de Kalman: Le filtrage de Kalman utilise un modèle d'état, établi sur la base de la connaissance (avérée ou supposée) du comportement des grandeurs physiques liées aux inconnues que l'on cherche à déterminer (en l'occurrence la position du récepteur) et aux mesures disponibles (en l'occurrence les pseudo-distances de code et de porteuse). Ce modèle d'état est constitué de: - un vecteur d'état Xn représentant les grandeurs physiques modélisées à l'instant tn, comportant un nombre de composantes Nétat qui est 15 a priori sans rapport avec m le nombre de satellite reçu. - un modèle de propagation, de la forme: Xn+1 = Fn. Xn + Vn où : Xn+1 est le vecteur d'état à l'instant tn+1 Fn est la matrice de propagation sur [tn, tn+1]I, de dimension Nétat.Nétat Vn est le vecteur bruit de propagation sur [tn, tn+1], blanc, gaussien, de moyenne nulle, de matrice de covariance On = E[VnT, Vn] (où VnT est le vecteur transposé de Vn) et de dimension Nétat. - un modèle d'observation, de la forme: Zn = Hn. Xn + Wn Où: Zn est le vecteur d'observation à l'instant tn, de dimension Nobs Hn est la matrice d'observation à l'instant tn, de dimension Nobs.Nétat Wn est le vecteur bruit de mesure à l'instant tn, blanc, gaussien, de moyenne nulle, de matrice de covariance Rn = E[WnT. Wn] (où WnT est le vecteur transposé de Wn) et de dimension Nobs. Dans ce modèle d'état, le vecteur d'état Xn est de valeur a priori inconnue. Il n'est pas directement accessible par la mesure, contrairement au vecteur d'observations Zn, mais seulement par l'intermédiaire du modèle d'observation. Le filtre de Kalman réalise l'estimation du vecteur d'état par un calcul de propagation, à partir du modèle de propagation, et par un calcul de recalage, à partir des observation et du modèle d'observation. Pour cela le filtre utilise deux variables: - le vecteur d'état estimé, noté Xn/n après recalage à l'instant tn, noté Xn+1/n après propagation entre les instants tn et tn+1, et noté Xn+1/n+1 après recalage à l'instant tn+1, de dimension Nétat. - la matrice de covariance de l'état estimé, notée Pin après le recalage à l'instant tn, notée Pn+1/n après la propagation entre les instants tn et tn+1i et noté Pn+1/n+1 après recalage à l'instant tn+1, de dimension Nétat. Nétat Pour réaliser le calcul de propagation, le filtre utilise les formules: Pour le vecteur d'état estimé : Xn+1/n = Fn. Xn/n Pour la matrice de covariance: Pn+1/n = Fn É Pn/n É FnT + On (où Fn T est la matrice transposée de Fn) Pour réaliser le calcul de recalage, le filtre utilise les formules: Pour le gain de recalage: 1 Kn+1 = Pn+1/n É Hn+1T É ( H n+1 Pn+1/n É Hn+1T + Rn+1) (où Hn+1T est la matrice transposée de Hn+ 1) Pour le vecteur d'état estimé : Xn+1/n+1 = Xn+1/n + Kn+1 É ( Zn+1 H n+1 Xn+1/n) Pour la matrice de covariance: Pn+1/n+1 = (Id Nétat - Kn+1 É Hn+1) Pn+1/n (où Id N.,a, est la matrice identité de dimension Nétat. Nétat) Au départ, le vecteur d'état Xo est initialisé à zéro et la matrice Po est initialisée avec les variances et covariances représentatives de l'incertitude sur les grandeurs physique modélisées dans le vecteur d'état. Le calcul de propagation fait intervenir les matrice Fn et On pour déterminer le vecteur d'état estimé propagé Xn+1/n à partir du vecteur d'état estimé recalé Xn/n et la matrice de covariance propagée Pn+1/n à partir de la matrice de covariance recalée Pn/n. Le calcul de recalage fait intervenir les observations Zn+1 issues des mesures du récepteur et les matrices H n+1 et R n+1, pour déterminer le vecteur d'état estimé recalé Xn+1/n+1 à partir du vecteur d'état estimé propagé Xn+1/n et la matrice de covariance recalée Pn+1/n+1 à partir de la matrice de covariance propagé Pn/nÉ Ensuite on incrémente n de 1 (soit n = n+1), on recommence la propagation, puis le recalage, et ainsi de suite. Interprétation physique du filtre de Kalman: Les coefficients de la matrice de covariance Pn représentent la variance de chacune des composantes du vecteur d'état estimé (termes diagonaux) et la covariance des différentes paires de composantes de ce 1 o vecteur (termes non diagonaux). La matrice Pn représente en quelque sorte le degré de confiance qu'on attribue au vecteur d'état estimé. La matrice Pn constitue une sortie du filtre de Kalman utilisés pour le calcul des rayons de protection comme cela sera présenté plus loin. La matrice de propagation Fn sert à établir une relation linéaire 15 entre le vecteur d'état avant propagation et après propagation. La matrice de covariance Qn du bruit de propagation permet de quantifier les approximations faites dans le modèle de propagation pour chaque composante du vecteur d'état Xn/n. La matrice d'observations Hn sert à établir une relation linéaire entre le vecteur d'état et les mesures en axes satellites; en particulier elle donne la relation entre l'erreur sur la position estimée en axes géographiques et l'écart induit par cette erreur entre la pseudo-distance calculée à partir de cette position estimée et la pseudo-distance mesurée. La matrice Hn contient les cosinus directeurs des axes satellites, calculés à partir des positions des satellites obtenues grâce aux éphémérides. La matrice de covariance Rn des bruits de mesure caractérise le bruit propre des mesures du récepteur GPS. A cet effet, une donnée de rapport signal/bruit (S/N); est de préférence fournie par le récepteur GPS pour chaque satellite. Rn est une matrice carrée de dimension NobS. Nobs. Principe d'un filtre de Kalman étendu: La relation entre la position clu récepteur et les mesures de pseudo-distance n'étant pas linéaire, on utilise un filtre Kalman étendu pour linéariser cette relation. Pour cela le modèle d'état utilise un vecteur d'état dont les premières composantes représentent non pas la position, mais l'erreur sur la position estimée. Les composantes du vecteur d'observations Zn+1 sont constituées par la différence les pseudo-distances rnesurées et les pseudo-distances 5 estimées à la date tn+1 La pseudo-distance estimée PDe;,n+1 sur chaque axe satellite est calculée par la distance euclidienne entre la position du satellite dans le repère terrestre à l'instant tn+1 (donnée par les éphémérides) et la position estimée du récepteur dans le même repère au même instant. Cette position 1 o estimée Gn+1/n peut être, dans le cas plus simple, la valeur précédemment calculée Gn/n du point PVT (à l'instant tn) ; cependant, dans une variante plus élaborée, elle peut être estimée à partir d'autres informations: par exemple, connaissant le vecteur vitesse du récepteur, on peut calculer une position estimée Gn+ 1/n = f(Gn/n) plus précise en extrapolant à partir de ce vecteur vitesse et du point PVT précédemment calculé Gn/n. Sur la figure 2, on a représenté une mémoire recueillant Xn+1/n+1 et fournissant Xn/n pour indiquer que la valeur de vecteur d'état introduite dans le modèle de propagation pour le calcul de Xn+1/n daté de l'instant tn+1 est la valeur de vecteur d'état Xn/n qui a été calculée à l'instant précédent tn. De même, on a représenté une mémoire pour la matrice de covariance Pn/n et pour la position estimée Gn/nÉ Principe du filtre de Kalman selon l'invention: Dans le vecteur d'observations on trouve, pour chaque axe 25 satellite de rang i, deux composantes qui sont: - d'une part la différence entre la pseudo-distance PD_C; de code (mesurée) et la pseudo-distance PDe;,n+1 estimée (calculée) ; - d'autre part la différence entre la pseudo-distance PD_PH; de porteuse (mesurée) et la même pseudo-distance PDe;,n+1 estimée (calculée). 30 La dimension du vecteur d'observation est donc 2.m (= Not>s)É Dans le récepteur selon l'invention, le nombre des composantes du vecteur d'état (Nétat) est au minimum égal à 4+m: Ces composantes représentent les erreurs de la position estimée du récepteur dans le repère terrestre, selon les trois coordonnées spatiales, l'erreur sur la date de la mesure (biais de temps dû à l'horloge du récepteur) et pour chaque satellite une ambiguïté sur la mesure de la phase de porteuse. En sortie du modèle de recalage, on aboutit à évaluer Xn+i/n+i le vecteur d'état estimé à l'instant tn+1É Cette valeur du vecteur d'état estimée est utilisée pour calculer une nouvelle itération au travers du filtre de Kalman. Elle sert également à élaborer une correction Corn+1/n+ 1 sur la position estimée, de façon à ramener, à chaque itération ou avec une période plus longue, les valeurs d'erreur de position du vecteur d'état à zéro. Si les composantes d'erreur de positions sont dL, dG, dh, la correction consiste à soustraire ces valeurs du vecteur d'étai:. Cette correction est appliquée simultanément à Xn+1/n+1 et Gn+1/n pour donner Xn+1/n+1 corrigé et Gn+1/n+1 corrigé. On applique la correction de position Corn,_1/n+1 à la fois à la position estimée et au vecteur d'état estimé pour garder la cohérence entre l'estimation de l'erreur sur la position estimée et la position estimée. En fait, la nouvelle itération du filtre de Kalman utilise Xn+ i/n+i corrigé et non pas Xn+1/n+1; de même, c'est la valeur de Gn/n corrigée qui est utilisée pour obtenir Gn+1/nÉ. La configuration décrite jusqu'ici concerne un récepteur réalisant une mesure directe (ou absolue) d'un signal GPS mono-fréquence. Dans ce cas, les sources d'erreurs sur le calcul de la position du récepteur sont notamment liées à la nature des couches d'atmosphère traversées qui induit un retard dans la propagation du signal sur l'axe satellite, différent pour chaque satellite, à l'origine d'une erreur sur la mesure de la durée de propagation et par conséquent sur la mesure du positionnement, ou encore aux erreurs de multi-trajets causées par des réflexions du signal sur des objets à proximité du récepteur. II existe au moins trois autres configurations de récepteur de système GPS selon l'invention qui permettent de s'affranchir plus ou moins complètement de ces erreurs: une seconde configuration (bifréquence) parvient à limiter des effets liés à la propagation du signal dans l'ionosphère, deux autres configurations (différentielle et relative) permettent en plus, de réduire encore les erreurs troposphérique et système et les erreurs dues au bruit thermique et aux multi-trajets. La propagation du signal dans l'ionosphère produit sur les mesures de phase de code et de porteuse des effets qui dépendent de la fréquence de la porteuse. Cette erreur est inversement proportionnelle au carré de la fréquence, elle est de signe positif sur les mesures de code (retard de groupe) et de signe opposé sur les mesures de phase de porteuse (avance de phase). Une double mesure réalisée sur deux porteuses de fréquences différentes permet de s'affranchir des effets de l'ionosphère en combinant les deux mesures simultanées du code et de phase des porteuses. La configuration du récepteur GPS selon l'invention visant à réduire l'influence de l'atmosphère traversée met en oeuvre une mesure bi-fréquence. Si l'on considère une constellation de m satellites émettant simultanément deux signaux de fréquences respectives L1 et L2. Un récepteur GPS selon l'invention comporte des canaux C;, qui comprennent chacun deux sous-canaux SCL1; et SCL2; recevant un chacun un signal à fréquence de porteuse différente, provenant du même satellite. Chaque sous-canal produit une mesure de pseudo-distance par le code et une mesure de pseudo-distance par la porteuse. Les interfaces d'un canal du récepteur (Canal C;) fonctionnant dans cette configuration sont représentées sur la figure 3, elles sont légèrement différentes de celles présentées sur la figure 1. Par contre, l'organigramme du filtre de Kalman intégré au calculateur reste inchangé par rapport à celui présenté sur la figure 2. Les corrections ionosphériques appliquées aux mesures de phase de porteuses sont largement décrites dans la littérature, elles consistent à faire une combinaison linéaire des mesures de code faites aux deux fréquences et une combinaison linéaire des mesures de phase de porteuse faites aux deux fréquences. Ces combinaisons aboutissent à une mesure de pseudo-distance par la porteuse et une mesure de pseudo-distance par le code; ce sont ces deux mesures qui sont appliquées au filtre de Kalman de la figure 2 pour établir les observations Zn+1É On peut aussi, plutôt que de combiner les mesures en amont du filtre de Kalman, les combiner dans le filtre lui-même: dans ce cas, on entre directement dans le filtre les mesures réalisées sur les deux fréquences pour établir deux fois plus d'observations. Ces mesures sont deux mesures de pseudo-distances réalisées grâce au code et deux mesures de pseudodistances réalisées grâce à la phase de porteuse, sur chaque satellite. Cela permet de ne pas perdre la continuité de la mesure si une des fréquences disparaît. On peut également modéliser une autre erreur qui est l'erreur due à la propagation dans la troposphère. Cette erreur est commune aux quatre mesures de pseudo-distances, de code et de porteuse, sur L1 et sur L2, elle est décorrélée entre les satellites et présente une dynamique très lente. On peut aussi lui assimiler les erreurs dues à l'imprécision sur les positions et les horloges des satellites, qui présentent les mêmes caractéristiques, et qui se manifestent sur la pseudo-distance estimée calculée, donc qui se retrouvent dans l'observation Z. Ces erreurs deviennent prépondérantes lorsque l'erreur ionosphérique est éliminée grâce à un procédé bi-fréquence. La figure 4 représente un vecteur d'état dans le cas d'un filtre de Kalman selon l'invention, intégrant des mesures bi-fréquences, avec dans le modèle d'état, la modélisation de l'erreur ionosphérique et l'erreur troposphérique. Dans ce cas, les quatre premières composantes du vecteur d'état sont les erreurs sur la position du récepteur, exprimée par exemple suivant la longitude (dL), la latitude (dG) et sur l'altitude (dh) et sur la date de la mesure (dt). On trouve ensuite pour chaque satellite un groupe de quatre composantes. Les deux premières sont nommées Bphasel; et Bphase2; et représentent les ambiguïtés des mesures de pseudo-distances de porteuse sur respectivement les fréquences L1 et L2. La troisième composante (Rionol;) modélise l'erreur provoquée par l'ionosphère sur la mesure de pseudo-distances de code L1. La quatrième composante (Rtropo; ) modélise l'erreur provoquée par la troposphère, les erreurs sur les autres pseudo- distances étant déduites par changement de signe (porteuse L1) ou en rapport inverse du carré des fréquences (code et porteuse L2). La modélisation des erreurs troposphériques et ionosphériques peut être d'un ordre supérieur pour mieux rendre compte de la dynamique temporelle de son effet, à condition de rajouter au moins un état supplémentaire, pour chaque satellite reçu. La modélisation de l'erreur ionosphérique et de l'erreur troposphérique peut naturellement être réalisée dans la première configuration (mono-fréquence) et dans ce cas, le vecteur d'état décrit sur la figure 4 comporte m composantes en moins (celles qui concernent les ambiguïtés des secondes mesures de pseudo-distances de porteuse). Le récepteur selon l'invention peut être mis en oeuvre suivant une troisième configuration avantageuse en ce qu'elle réduit simultanément les erreurs liées au système et à l'atmosphère ainsi que les erreurs de multitrajets et de bruit thermique. Son principe repose sur une correction différentielle des mesures de pseudo-distance. La figure 5 représente l'architecture d'un récepteur d'un système GPS en fonctionnement différentiel. En plus des repères de la figure 1, apparaît un récepteur 30 placé au sol, à proximité du récepteur embarqué. La position du récepteur sol 30 est connue précisément. Si le récepteur de la station sol reçoit un signal provenant d'un satellite, par exemple le satellite de rang i, la position du satellite lui est transmise au moyen des éphémérides. Ainsi, le récepteur sol peut calculer la distance théorique qui le sépare du satellite et comparer cette valeur aux deux mesures de pseudo-distance qu'il effectue à partir du signal délivré par le satellite (par mesure de code et par mesure de phase de la porteuse respectivement). La différence entre la distance théorique et la pseudo-distance mesurée par le code est nommée CC;. La différence entre la distance théorique et la pseudodistance mesurée par la phase de porteuse est nommée CPH;. Ces deux termes sont propres au satellite i et à sa position à l'instant tn, ils portent la marque des erreurs liées à l'émission du signal, à sa propagation sur l'axe satellite jusqu'à sa réception par le récepteur sol. Ces mêmes erreurs sons présentes sur les mesures réalisées par le récepteur embarqué. La communication par le récepteur sol de CC; et CPH; au récepteur embarqué permet donc à ce dernier d'opérer par soustraction une correction des mesures PD_C; et PD_PH, de la pseudo-distance qui le sépare du satellite i. PD_C_Cor; et PD_PH_Cor; sont les résultats de cette correction de mesure de pseudo- distances. Si m satellites sont visibles, le récepteur embarqué et le récepteur sol réalisent chacun 2.m mesures de pseudo-distances et le récepteur sol transmet au récepteur embarqué une correction pour chaque mesure. Finalement, 2.m mesures de pseudo-distances, corrigées par autant de termes correctifs calculés au sol, alimentent le calculateur 20. Les erreurs liées au système et à la transmission atmosphérique sont fortement réduites par cette configuration et ceci d'autant plus que le récepteur embarqué a une position proche de celle du récepteur sol. En particulier, il n'est dans ce cas plus nécessaire d'évaluer les erreurs liées à la propagation dans l'atmosphère, seule l'ambiguïté de mesure de la phase de la porteuse de chaque satellite reste à évaluer. Le nombre et la nature des composantes du vecteur d'état Nétat à traiter dans le filtre de Kalman sont équivalents à ceux requis pour une mesure absolue sur un signal mono-fréquence (pour laquelle Nétat est supérieur à 4+m). Le nombre de composantes du vecteur d'observations vaut au minimum 2.m. Cette configuration peut être réalisée à la condition que le récepteur embarqué ait les moyens de recevoir les corrections de la station sol et de les soustraire aux mesures de pseudo-distances correspondantes. Dans les systèmes GPS différentiels les corrections sont classiquement transmises au récepteur par voie hertzienne. Le récepteur selon l'invention peut être mis en oeuvre suivant une quatrième configuration, dans un mode de navigation relative, avantageux en ce qu'il permet au récepteur mobile de se positionner non pas en absolu mais par rapport à un autre récepteur mobile de référence, en éliminant les erreurs système et atmosphérique, communes aux deux récepteurs. Dans ce cas les observations du filtre de Kalman sont obtenues en soustrayant aux pseudo-distances de code et de porteuse de chaque satellite les pseudodistances respectivement de code et de porteuse mesurées par le récepteur mobile de référence et transmise par un canal hertzien dédié (au lieu des pseudo-distances estimées par calcul) . C'est le cas par exemple de l'atterrissage d'un aéronef sur un porte- avion où les calculs de positions effectués par le récepteur sont exprimés dans un repère centré sur le porte-avions. Le récepteur selon l'invention peut être mis en oeuvre avec un filtre de Kalman intégrant le modèle d'erreur d'une aide inertielle. Dans ce cas le vecteur d'état intègre dans ses composantes les erreurs inertielles en vitesse, attitudes, biais des accéléromètres et dérives des gyromètres. La matrice de propagation F intègre le modèle linéarisé d'évolution des erreurs inertielles. La position estimée est la position inertielle, propagée grâce aux incréments de vitesse et d'angles inertiels mesurés par les capteurs inertiels (accéléromètres et gyromètre respectivement), par un calcul d'intégration utilisant par exemple l'algorithme des quaternions. Calcul des rayons de protection On l'a déjà évoqué, un rayon de protection est une mesure très importante dans certaines applications où il est indispensable d'assurer l'intégrité des données. On rappelle que le rayon de protection RP d'une 1 o mesure, pour une probabilité de non- intégrité prédéterminée Pn;, est une borne supérieure de l'écart entre la valeur calculée et la valeur réelle de la grandeur mesurée, telle qu'on a une probabilité inférieure à P,,; que la valeur réelle soit éloignée de la valeur calculée d'une distance supérieure à RP. Autrement dit, il y a donc une probabilité maximale Pn; pour que la valeur réelle soit en dehors d'un cercle de rayon RP autour de la valeur qu'on a mesurée ou encore qu'il y a une probabilité maximale Pn; de se tromper dans la détermination du rayon de protection Ce rayon de protection est calculé à partir des écarts types des variables considérées. Il s'applique à chaque composante de l'état, mais en pratique, on s'intéresse aux variables de position. On peut calculer plus spécifiquement un rayon de protection vertical pour l'altitude et un rayon de protection horizontal pour la position en longitude et latitude, ces rayons n'ayant pas forcément la même valeur et n'étant pas utilisés de la même manière (le rayon de protection vertical est une donnée plus critique). Le rayon de protection est en général une donnée qui est calculée puis comparée à un seuil fixé en fonction de l'application, le dépassement du seuil générant une alerte indiquant soit que la mesure de position ne peut pas être considérée comme suffisamment fiable dans le contexte de l'application (hypothèse Ho définie ci-après), soit la présence supposée d'une panne (selon l'hypothèse H, définie ci-après). La nature de l'application fixe la probabilité maximale Pn;. On évalue le rayon de protection RPHO en l'absence de panne de satellite, hypothèse communément désignée Ho. Par "panne" on entend une situation anormale où le satellite émet des signaux qui ont l'apparence de signaux normaux mais qui sont anormaux et conduisent à des erreurs de position. Le rayon de protection RPHO est lié directement: à la variance de la grandeur mesurée et à la probabilité que cette erreur dépasse le rayon de protection par le tableau approximatif suivant, supposant une loi de probabilité gaussienne sur les erreurs de mesures: Valeur de Pni Valeur de kpNI Valeur de RPHo 10-1 1.64 1.64 x a 10-2 2.58 2.58 x a 10"3 3.28 3. 28xa 10-4 3.89 3.89 x a 10-' 5.33 5.33 x a 10-9 6.11 6.11 xa La variance est le carré de D'écart type a lié à la grandeur 1 o mesurée. La variance de la position mesurée est donc le coefficient de la diagonale de la matrice de covariance P qui correspond à la grandeur mesurée. Si l'altitude est la grandeur mesurée et se situe au troisième rang dans le vecteur d'état et dans la matrice de variance P, la variance de l'altitude est le troisième coefficient dans la diagonale de cette matrice. L'écart type a est la racine carrée de cette variance, il se déduit donc de la matrice P dans un filtre de Kalman. Selon la probabilité de non-intégrité Pni qu'on se fixe (et donc selon l'application envisagée) on peut donc déterminer un coefficient kpNj tel que le rayon de protection RPHO sera égal à kpNI.a. Le coefficient kpNI prend une valeur comprise entre 1 et 7 conformément aux valeurs du tableau précédent. Dans le cas d'un récepteur voyant m satellites, RPHO est calculé à partir de la règle suivante: RPHO = SUPi=t à m[ kPNIÉai] Où ai sont des écarts types des variables considérées. Dans le récepteur GPS selon l'invention, il est donc possible de calculer le rayon de protection RPHO à partir des coefficients de la matrice de covariance P tels qu'ils apparaissent à l'instant de mesure. Si la configuration des satellites évolue, la valeur du rayon de protection est mise à jour en même temps. Si un satellite disparaît de la constellation visible, le rayon de protection ne se dégrade que progressivement. Si au contraire un satellite nouveau apparaît, le rayon de protection diminue instantanément, ce qui est très avantageux. On peut également calculer un rayon de protection RPH1 prenant en compte le risque de panne d'un satellite, hypothèse communément désignée H1. Le récepteur utilise pour cela la méthode bien connue sous le nom de maximum de séparation : Dans ce cas, le récepteur comporte 1 o non pas un seul filtre de Kalman mais un filtre principal qui fonctionne comme on l'a décrit précédemment et m filtres auxiliaires, si m est le nombre de satellites pouvant être vus en même temps. Les rn filtres auxiliaires fonctionnent en parallèle avec le filtre principal et suivant le même principe que ce dernier. Mais le filtre auxiliaire de rang i reçoit les signaux de tous les satellites sauf celui provenant du satellite de rang i. La figure 6 représente un schéma d'obtention des différents rayons de protection calculés pour un récepteur selon l'invention réalisant une mesure absolue de la position suivant les deux premières configurations décrites plus haut (GPS absolu, mono-fréquence et bi-fréquence). On reviendra plus loin sur le calcul du rayon de protection dans les troisièmes et quatrièmes configurations (GPS différentiel, référence fixe ou mobile). On rappelle que le filtre principal utilise les m satellites, et que les m autres filtres excluent à chaque fois un satellite de rang i. Ces m filtres auxiliaires aboutissent chacun à une position et à des écartstypes associés pour chaque variable (par exemple altitude et distances horizontales). Dans le cas où aucun satellite n'est défectueux, les m+1 filtres fournissent des positions très proches les unes des autres. Mais si un satellite est défectueux, les positions fournies par les m+1 filtres divergent: m filtres (dont le filtre principal) sont perturbés par la mesure biaisée, et un seul filtre, celui qui n'utilise pas les mesures du satellite en panne, non connu a priori, reste intègre. Le calculateur estime les distances entre la position déterminée par le filtre principal et chacune des positions déterminées par les filtres auxiliaires. La plus grande de ces distances borne l'erreur sur la position du filtre principal car elle majore la distance entre la position déterminée par le filtre principal et celle du filtre intègre, aux erreurs de ce filtre prés. Par exemple, si on s'intéresse au rayon de protection de l'altitude, le calculateur peut déterminer le maximum des distances entre l'altitude fournie par le filtre principal et l'altitude fournie par chacun des m filtres auxiliaires, majorée d'une quantité censée borner l'erreur sur l'altitude du filtre intègre et calculée par exemple à partir des matrice de covariance P des filtres auxiliaires. Le facteur kPND dépend de la probabilité de non-détection Pnd suivant la correspondance donnée dans le tableau suivant: Valeur de Pnd Valeur de kPND 10-1 1.64 10-2 2.58 3 3.28 10-4 3.89 10-' 5.33 10-9 6.11 En cas de panne d'un satellite, l'un des filtres auxiliaires donne une solution exacte dans un rayon de kPNDÉai, ai étant l'écart type calculé par ce filtre auxiliaire et associé à la solution trouvée par ce filtre. Tous les autres filtres, y compris le filtre principal donnent une solution fausse, mais on ne sait pas quel est le filtre auxiliaire qui donne la solution exacte. On calcule donc la distance di entre l'altitude donnée par le filtre principal et celle qui est donnée par un filtre auxiliaire, on ajoute kPND.a; à cette distance, ai étant l'écart type correspondant à ce filtre. On réalise ce calcul pour les m filtres auxiliaires. On prend la valeur maximale parmi les m valeurs ainsi calculées, et cette valeur constitue le rayon de protection RPH1 en cas de panne d'un satellite. RPH1 = SUPi=1 à m [ di + kPNDÉai Le calcul est similaire pour un rayon de protection horizontal, 25 l'écart type considéré étant alors la racine carrée de la somme des variances en longitude et en altitude. Si par exemple on désire une probabilité de non intégrité globale de 10-' avec une probabilité de panne de 10-4 alors la probabilité Pnd de non détection est 10-3 et kPND = 3. Le rayon de protection RPH-, qui va être calculé dans ce cas résulte de l'addition de deux termes: un premier terme lié à la probabilité de non détection de 10-3 (kpNc,.a) et un deuxième terme lié aux distances entre les positions déterminées par les m filtres auxiliaires de Kalman et la position déterminée par le filtre de Kalman principal. Au final pour prendre en compte les deux hypothèses avec et sans panne de satellite, le rayon de protection RPHUL vaut: RPHUL = SUP [ RPHO, RPH1] Le rayon de protection RPHUL ainsi calculé fluctue avec les erreurs de position des différents filtres, que l'on retrouve sur les quantités d;. Ce rayon de protection peut parfois prendre des valeurs anormalement grande si le tirage des bruits est défavorable. Ces valeurs peuvent dépasser un seuil d'alarme noté HAL, dépendant de la mission, induisant une non-continuité. Dans le cas où l'on souhaite aussi assurer la continuité du service, on cherche une valeur seuil telle que la probabilité que le rayon de protection ainsi calculé dépasse ce seuil soit inférieure à la probabilité de non continuité que l'on se donne. Ce seuil, appelé rayon de protection prévisible ou RPHIL est calculé de la manière suivante: RPH;L = SUP[ SUP1 =1 à m[ kFFAÉ6diff + kFNDÉ6i] , SUPi=1 à m[ kpNI.6i] ] Où 6d;ff; est égal à la racine carrée du terme diagonal de la matrice Pd; ff caractérisant la covariance du vecteur (Xn/n i - Xn/n), différence entre le vecteur d'état du filtre principal (Pn/n) et le vecteur d'état (Pn/n i) du filtre auxiliaire i, à partir duquel on calcule d;. Cette matrice est égale à : Pd;ff = Pn/n Pn/n Le facteur kPFA dépend de la probabilité de fausse alarme PFA 30 suivant la correspondance donnée dans le tableau suivant: Valeur de PFA Valeur de kPFA 10-1 1.64 10.2 2.58 0-3 3.28 10-4 3.89 10-' 5.33 10-9 6.11 La probabilité de non-continuité que l'on se cherche à obtenir est égale à la probabilité de fausse alarme plus la probabilité de panne. L'évaluation du rayon de protection diffère sensiblement si le récepteur selon l'invention fonctionne suivant la troisième ou la quatrième configuration, c'est à dire lorsque la position est déterminée à partir de pseudo-distances mesurées sur un signal mono-fréquence et rectifiée préalablement au moyen d'une correction différentielle. Dans ce cas en effet, la non-intégrité la plus pénalisante est causée par une panne d'un récepteur de référence plutôt que par une défaillance d'un satellite de la constellation. La figure 7 représente un schéma d'obtention des différents rayons de protection calculés dans le récepteur GPS pour un récepteur selon l'invention qui fonctionne suivant la troisième ou la quatrième configuration. On se place dans une situation où un récepteur embarqué voit simultanément m satellites et M récepteurs au sol. Les M récepteurs sol sont relativement proches les uns des autres et appartiennent à une même station sol 40, leur position est connue précisément. La méthode d'évaluation du rayon de protection met en oeuvre un filtrage principal et M filtrages auxiliaires. Le filtre principal fonctionne comme expliqué à la figure 6 mais il reçoit les corrections des M récepteurs au sol; il utilise comme correction de chaque mesure de pseudo-distance par le code la moyenne arithmétique des corrections de code des M récepteurs; il utilise comme correction de chaque mesure de pseudo-distance par la phase de porteuse la moyenne arithmétique des corrections de phase des M récepteurs. Les canaux du récepteur envoient au filtre principal m premières mesures des pseudo-distances qui séparent le récepteur cle chaque satellite. Ces m premières mesures sont réalisées grâce au code et sont nommées PD_Cppal. m deuxièmes mesures des mêmes pseudo-distances, nomméesPD_PHppa,, sont réalisées cette fois au moyen de la phase de la porteuse. Par ailleurs, chaque récepteur sol calcule m termes correctifs pour les mesures de pseudo-distance réalisées au moyen du code et m autres termes correctifs correspondant aux mesures de pseudo-distances réalisées grâce à la phase de la porteuse suivant la méthode décrite sur la figure 6. On bâtit à partir de ces données CorCppal et CorPHppa, deux vecteurs comptant chacun m composantes. La ième composante de CorCppa, contient la moyenne arithmétique des M termes correctifs de la mesure de pseudodistance séparant le satellite de rang i de chaque récepteur sol, mesures réalisée par le code. Parallèlement, la ième composante de CorPHppa, contient la moyenne arithmétique des M termes correctifs de la mesure de pseudo-distance séparant le satellite de rang i de chaque récepteur sol, ces mesures étant réalisées grâce à la phase de la porteuse. On alimente ainsi le filtre principal par 2.m mesures de pseudo- distance auxquelles sont retranchées des termes correctifs calculés à partir des corrections différentielles envoyées par les récepteurs de la station sol. Simultanément le filtre principal reçoit les éphémérides des m satellites, les rapports signal à bruit des m réceptions de signaux sur le récepteur embarqué, ces données sont regroupées dans une matrice Datappa,. A partir de ces données, le filtre principal détermine une position de récepteur Gppa,. Chaque filtre auxiliaire fonctionne comme le filtre principal mais reçoit uniquement des corrections provenant de M-1 récepteurs au sol, le filtre de rang j ne recevant pas les corrections du récepteur sol de rang j. Les mesures de pseudo-distances alimentant le filtre principal alimentent également le filtre auxiliaire de rang j. Préalablement à leur entrée dans le filtre de Kalman auxiliaire de rang j, ces mesures sont corrigées par les 3o composantes de CorCi (respectivement CorPHi) qui sont les moyennes arithmétiques des corrections de M-1 récepteurs sol, plus précisément les corrections de toutes les mesures de code provenant de tous les récepteurs sol exceptée celle provenant du récepteur sol de rang j, pour chaque satellite (respectivement les M-1 corrections de mesure de phase de porteuse). Le filtre auxiliaire de rang j reçoit également Datappal et les rapports signal à bruit correspondant aux réceptions des signaux des m satellites sur les M-1 récepteurs au sol, soit (M-1).m rapport signal à bruit qui sont envoyés par la station sol en même temps que les corrections différentielles. Sur la figure 7, la variable (SIN_sol) regroupe les M.m rapport signal à bruit des m signaux des satellites sur les M récepteurs au sol. A partir de ces données, le filtre auxiliaire de rang j détermine une position de récepteur Gj et des écarts-types qui sont des coefficients des matrices de covariances Pj. 1 o De manière similaire à la méthode d'évaluation du rayon de protection dans l'hypothèse Ho d'absence de panne de satellite, on peut calculer un rayon de protection dans l'hypothèse Ho d'absence de panne d'un récepteur au sol: RPHO = SUPj=1 à M[kPNI.appal j De manière similaire à la méthode d'évaluation du rayon de protection dans l'hypothèse H1 d'une panne de satellite, on peut calculer un rayon de protection dans l'hypothèse H1 d'une panne d'un récepteur au sol: RPH1 = SUPj=1 à M[(dj + kpND. auxj) ] Où: dj est la distance entre l'erreur de position, par exemple d'altitude (composante du vecteur d'état X) donnée par le filtre principal et celle qui est donnée par le filtre auxiliaire de rang j. (Taux l,j est la racine carrée de la variance de la mesure de position, par exemple d'altitude, du filtre auxiliaire de rang j, associé à la solution 25 trouvée par ce filtre. Au final pour prendre en compte les deux hypothèses avec et sans panne de satellite, le rayon de protection RPHUL vaut: RPHUL = SUP [ RPHO, RPH1 I 3o Il est possible de réaliser les calculs mis en oeuvre pour déterminer le rayon de protection dans Ila configuration différentielle plus simplement que par la méthode présentée ci-dessus. Ceci est possible en raison de la communalité des calculs réalisés par les m+1 filtres de Kalman nécessaires, qui obéissent tous à des équations identiques et ont un même gain K. Considérons Zppa, le vecteur d'observations principales, ses m composantes sont égales à la moyenne arithmétique des M observations par les M récepteurs de référence. Rappelons que les observations sont les écarts entre les pseudo-distances mesurées et les pseudo-distances calculées à partir de la position estimée du récepteur et des positions connues des satellites. On considère par ailleurs, Zmoy, i le vecteur d'observations moyennes d'ordre j, ses m composantes sont composées de la moyenne arithmétique des M-1 observations par les récepteurs de référence, l'observation manquante correspond à celle du récepteur de référence de rang j. On considère enfin AZ; qui est un vecteur composé de la différence entre le vecteur d'observations principales et le vecteur d'observations moyennes Zmoy, i Lorsqu'on alimente un filtre de Kalman, qui est le filtre de Kalman principal, par des observations composées de OZj on obtient comme vecteur position estimée résultant un vecteur noté dX. Les composantes de dX permettent d'accéder simplement aux distances d; entre les positions établies par les filtres auxiliaires et celle déterminée par le filtre principal. De cette façon on réalise le calcul du rayon de protection en calculant un unique filtre de Kalman (matrice de covariance P) et on gagne ainsi le temps nécessaire pour calculer les m autres filtres. On a rappelé pour mémoire dans l'annexe ci-après les détails des 25 vecteurs, matrices utilisés dans les différentes configurations envisagées dans la description qui précède. Annexe: matrices et vecteurs utilisés m: nombre de satellites reçus (N, : nombre de canaux. Les canaux du récepteur ne sont pas toujours tous occupés) A- Mode absolu mono-fréquence Modèle de propagation: Position et temps: _ dx 1 0 0 0 X dy F_ 0 1 0 0 p" dz p" 0 0 1 0 _dt 4 _0 0 0 1 Ambiguïté des phases de porteuse: bphase 1 Xamb Fana, Im Qamb 0m b phase m _m Erreurs ionosphériques (exprimées en distance, en bande 1) : Qpvt 00 0 0 0- 0 00 0 0 0 0 00 0 0 0 0 p,ano 1 0 0 0. 0 O O q,ono m m,m eiono 0 0 F, ono Xiono 0 e l47' m Erreurs troposphériques (exprimées en distance) : Xtropo = e = iAT 0 0 0 e T,io7 m, 0 0 O gtropo m m,m etropo 1 Ftropo m etropo m Qtropo 0 0 Global: Xpvt X = X ambg X tropo Fpvt 0 0 0 F= O Fambg O 0 O O Fond O O O O 4+3m Frap, 4+3m,4+3m Q pvt 0 0 0 ( Gambg Q Qiono 0 Z code Xiono 0 0 0 Modèle d'observation: Qtropo 4+3 m, 4+3 m Observation de code: (PD_CI PDeI) (PD_Cm PDem) 6 code 1 0 0 O 0 O O 62 code 2 ni _m,m Hpvt Om lm lm _ m,4+3m R porteuse m 1 o Observation de porteuse: (PD_PHI PDeI) Z porteuse (PD PHm PD e)2 porteuse 1 O O O -' O 0 0 2 6 porteuse m m,m Hporteuse m,4+3m Global: Z = Z Zco R de = O H = Hcode R porteuse J 2m 2m Hporteuse _ Rcode 2m,4+3m NB: [ L,v signifie matrice de dimension u x v (soit u lignes et v colonnes) Définitions et notations: : valeurs très grande devant les ordres de grandeur utilisés 0, ,, : matrice nulle de dimension m.m Im: matrice identité de dimension m.m dx, dy, dz: erreurs sur la position estimée du récepteur en repère géographique, dt: biais de temps de l'horloge du récepteur AT: période d'échantillonnage (= tn+1 - tn) i;ono: période de corrélation de l'erreur ionosphérique, rtropo: période de corrélation de l'erreur troposphérique, 6;ono: bruit de propagation du modèle nnarkovien (du premier ordre) de l'erreur ionosphérique, crtropo: bruit de propagation du modèle nnarkovien (du premier ordre) de l'erreur troposphérique. acode: Ecart-type de l'erreur de mesure de la phase du cocle aporteuse: Ecart-type de l'erreur de mesure de la phase de porteuse 1 Bcode ri + Bp! code p 2S l N SIN1 6 = -U parleuse (1+ BFI porteuse 27r S I N 2S I N Bcode: bande équivalente de bruit de la boucle de code (monolatérale) Bporteuse: bande équivalente de bruit de la boucle de porteuse (monolatérale) BF, : bande de prédétection p: paramètre caractérisant la précision de la mesure du code en fonction de la modulation utilisée et de la bande passante du récepteur B- Mode absolu bi-fréquence (deuxième configuration du récepteur selon l'invention) Modèle de propagation: Ambiguïté des phases de porteuse sur L1: -bphasell1 - 1 0 0 m XambLI = UphaseL1 m FambLl 0 - 0 0 0 1 QambL I Om - m, m Ambiguïté des phases de porteuse sur L2: bphaseL2 1 1 0 0 1 0 X ambL 2 = bphaseL2 m _m FambL 2 0 0 0 0 1_m,m Qomh!, 2 _ m,m 0m Global: X pvt Fpvt 0 0 0 0 X ambgLl 0 FO 0 0 ambgL1 X = X ambgL2 F = O O FambgL 2 0 0 Xiono 0 0 0 'ono O Xtropo 0 0 Y 0 tropo 4+3m 4+4m,4+4m 0 0 0 0 0 0 QambL2 0 0 0 Q a a 0 0 0 Q,rata 4+4m, 4+4m Q Modèle d'observation: Observation de code sur L1: 33 (PDCL11 PDeI) ZcodeL 1 (PDC_L1m PDem) m HcodeLl Hpvt Om Om Im Im _ m,4+3m - 2 codeLl 1 0 0 0 0 0 0 6 2 codeLl nt m,m porteuseL 1 ni Observation de porteuse sur L1: (PDPH_Lll PDeI) ZporteuseLl (PDPHL1m PDem)2!T porteuseLl 1 0 0 O 0 0 0 6-2 porteuseLl nt _ m,m H porteuseLl Om lm m,4+ 3m Observation de code sur L2: (PDC_L21 PDeI) ZcodeL2 RcodeL2 - 2 codeL2 1 0 0 0 m (PD CL2m PDem) 0 0 2 6 codeL2 m m,m "codeL2 = Hpvt Ont Om /'1m m,4+4 nt Observation de porteuse sur L2: (PDPHL21 PDeI) ZporteuseL2 = (PDPHL2nn PDem)_m2 Q porteuseL2 1 0 0 RportenseL2 = 0 0 0 0 6 2 porteuseL2 m m,m Hport enseL2 = Hpvt Om 1m /11m lm m,4+4m RcodeL1 R= 0 0 2m _ H= 2m,2m Global: ZcodeL1 Z= Zcoda, 2 Z porte useL l Z port euseL 2 0 0 0 RcodeL2 0 0 porte useL l O O Rport euseL2HcodeLI HcodeL 2 H port euseL1 H porteuseL2 2m,4+3m Définitions: : ratio des erreurs ionosphériques L2 / L, = (fréquence L,)2 / (fréquence L2)2 C- Mode absolu bi-fréquence avec correction amont (deuxième configuration du récepteur selon l'invention) Modèle de propagation: Ambiguïté des phases de porteuse sur L1: bphaseLlL21 1 0 0 FamhLIL2 = 0 b phaseLlL2m 0 0 1 X ambLIL2 = 0m QambL1L2 = m,m m m,m X trapu 4+2m 0 0 Ftrapa 4+2m,4+2m Global: Xpvt X = XambgLlL2 0 0 FambgLtL2 0 0 0 Qpvt Q QamhL l L 2 0 0 Qtropo 4+2 m,4+2m Modèle d'observation: Observation de code sur L1 L2: 6 codeLlL2 1 0 0 0 0 0 2 0 6 codeLIL2 m _ m,m (PD C L1L21 PDe1) ZcadeL 1 L 2 = (PDC_L1L2m PDen,) RcadeLl L2 = m HcodeLIL2 Hpvt 0m Im m,4+2m Observation de porteuse sur L1 L2: (PD_PHL1L21 PDe1) Z port euseL I L 2 R porteuseLI L 2 H port euseL) L2 (PDPHL1L2m PDem) m Q porteuseLlL2 I 0 0 0 0 6 port euseLlL2 m Hpvt 'm Im 0 0 ni,m m,4+2m Global: ZcodeLI L2 Zport euseLlL2 R = L RcodeL1L2 O 0 R porteuseLl L 2 2m, 2m Z= 2m Définitions: PD C L1L2 HcodeLl L 2 H port euseL IL 2 2n1,4+2m PD C L2 +PD CL1 H= PD PH L 1L2 = PD PH L2 + PD PH L1 i D- Mode différentiel mono-fréquence (troisième et quatrième configuration du récepteur selon l'invention) Modèle de propagation: Ambiguïté des phases de porteuse: bphase 1 Xamb H porteuse Famh Qamb = Om bphase m - m Global: - m,en - m,m pvt X ami, _ 4+m Qpvt Qamb 4+m,4+m X = F= Fpvt Q= 4+m,4+m Modèle d'observation: Observation de code: (PDC1 PDe1) CC1 a2code 1 0 0 Zende = Rende = 0 0 (PD Cm PDem) CCm m 0 O Q 2 code 2 m,m cos(a1) cos(fl1) cos(y1) 1 Hcode Hpvt Hpvt = - m,4+m cos(am) cos(f m) cos(/ m) 1 m,4 R porteuse Observation de porteuse: - (PD PH1 PD el) CPH1 Z porteuse2 Q porteuse 1 0 0 0 0 _(PD _ PHn, PD en, ) CPHn, 0 0 z 6 porteuse m m m,m H pv1 I m - m,4+m R= 2m,2m Global: Z _ Zcode Z porteuse 2m0 R porteuse H = "code H porteuse 2m,4+m Définitions: cos(ai) , cos(fii) , cos(yi) : cosinus directeur de l'axe récepteur satellite i (ou axes à vue) en repère géographique 6code: écart-type de l'erreur de mesure de la phase de code propre au récepteur (bruit thermique + aux mufti-trajet)* 6polteuse i: écart-type de l'erreur de mesure de la phase de porteuse propre au récepteur (bruit thermique + mufti-trajet)* (*) en mode différentiel, il faut prendre en compte les erreur sur les corrections différentielles. Pour cela on prend: z) z (6code)z = (6code récepteur mobile) + (6code récepteur référence (6porteuse)z = (6porteuse récepteur mobile)2 + (6porteuse récepteur référence) 2 E- Application de la correction de position - dL dG dh dt X ambg X iana dL Cor = dG dh - 3 1/-n / n corrige- 0 0 0 dt X am hg X iono X tropo 4+3nv X trcpo 4+3m Xn/n F- Hybridation GNSS/INS Modèle de propagation: Erreurs inertielles: dL dG dh dVn dVe dVv den dee X inertie = dOv bQcc x bae,Y basez bgyrz bg,r x bgrY b z _ S1'r 5 Position et temps: Fnertte Qpvt Qinertie 15,15 FINS = r X inertie = [1nertie O pvt dt a 0 1 4,4 Xpvr Qinertie 7horloge 14,4 Définitions: dL, dG, dh: erreurs sur la position estimée en latitude, longitude, altitude dVn, dVe, dVv: erreurs sur la vitesse estimée en axes Nord, Est, Vertical den, doe, dev: erreurs sur l'attitude du porteurs estimée selon les axes Nord, Est, Vertical baccy, baccy, baccy: biais des accéléromètres en axe porteur' dyyrX, dyyry, dgyry: dérives des gyromètres en axe porteur La matrice de propagation Finertie et de covariance du bruit de propagation 2C) Qinertie sont dérivées à partir des caractéristiques des capteurs inertielles et de l'algorithme d'intégration produisant les attitudes, vitesse et position inertielles, selon l'état de l'art des hybridation inertie GPS avec filtre de Kalman. G - Initialisation du filtre au début Vecteur d'état: X0 = 04+3m _ _ 4+3m, 4+3m Matrice de covariance de l'état: 00 0 0 0 co 0 0 PO pvt 0 0 0 0 0 oo 0 0 0 0 00 4,4 POamb 0 00 0 0 0 _ m,m (no 1 0 0 2 0-tropo 1 0 0 0 0 0 0 6tono 0 0 atropo m _ m,m PO iono POtropo 0 0 m,m Po pvt 0 0 0 0 POamhg 0 0 0 0 POiono 0 0 0 0 POtropo 4+3m,4+3m Définitions: 610 0; écart-type de l'erreur ionosphérique sur l'axe à vue du satellite i 15 6tropo; : écarttype de l'erreur troposphérique sur l'axe à vue du satellite i Ces valeurs sont données par des modèles de l'atmosphère, en fonction de l'inclinaison de l'axe satellite, de la latitude du récepteur, et de l'heure du jour. Po H - Apparition et disparition des satellites Disparition d'un satellite Dans le cas d'une disparition définitive d'un satellite due par exemple au masquage par la terre. Le nombre de satellite m diminue de 1, et tous les termes relatifs à l'ambiguïté des phases de porteuse, à l'erreur ionosphérique et à l'erreur troposphérique concernant le satellite disparu sont supprimés du vecteur X et des matrices P, F et Q (y compris les coefficients non diagonaux d'intercorrélation avec les autres satellites). Les deux lignes 1 o et les trois (ou quatre) colonnes de la matrice H associées au satellite disparu sont aussi supprimées (de même que disparaissent les observations de code et de porteuse dans le vecteur Z). Dans le cas d'une disparition provisoire d'un satellite due par exemple au masquage par un obstacle, au mouvement du porteur ou à une interférence, tous les termes sont conservés sauf les deux lignes et les trois (ou quatre) colonnes de la matrice H associées au satellite disparu qui sont provisoirement supprimées de même que les observations dans le vecteur Z. Apparition d'un satellite Dans le cas d'une réapparition d'un satellite, les deux lignes et les trois (ou quatre) colonnes de la matrice H associées au nouveau satellite sont rétablies (de même qu'apparaissent à nouveaux les observations de code et de porteuse dans le vecteur Z). Le terme d'ambiguïté de phase du vecteur X est réinitialisé à O. Le coefficient diagonal associé à l'ambiguïté de phase dans la matrice P est réinitialisé à o., c'est à dire une valeur très grande devant les ordres de grandeur couramment utilisés. Dans la matrice P, le nouveau coefficient diagonal associé à l'erreur troposphérique dans la matrice P est initialisé à o2troPo; et le nouveau coefficients diagonal associé à l'erreur ionosphérique dans la matrice P est initialisé à a2kmo Les coefficients non diagonaux associés à l'ambiguïté de phase sont initialisés à O. 3o Dans le cas d'une apparition d'un nouveau satellite. Le nombre m de satellites vus augmente de 1. Un nouveau terme d'ambiguïté de phase du vecteur X est initialisé à O. Un nouveau coefficient diagonal associé à l'ambiguïté de phase dans la matrice P est initialisé à oo. Des nouveaux coefficients non diagonaux associés à l'ambiguïté de phase dans la matrice P sont initialisés à O. Des termes relatifs à l'erreur ionosphérique et à l'erreur troposphérique du nouveau satellite sont ajoutés dans les matrices F et Q. Les deux lignes et les trois (ou quatre) colonnes de la matrice H associées au nouveau satellite sont ajoutées (de même qu'apparaissent les observations de code et de porteuse dans le vecteur Z). REVENDICATIONS 1. Récepteur de positionnement par satellite, comprenant plusieurs canaux de traitement numérique de signal (Ci) destinés à être associés chacun à un satellite respectif et fournissant chacun une première donnée numérique (PD_C;) représentant une pseudo-distance entre le récepteur et le satellite calculée à partir d'une phase instantanée d'un code pseudoaléatoire présent dans le signal émis par le satellite et une deuxième donnée numérique (PD_PH;) représentant cette pseudo-distance calculée à partir d'une phase instantanée de la porteuse du signal émis par le satellite, caractérisé en ce qu'il comporte un filtre de Kalman étendu comportant: - des moyens de calcul d'une position du récepteur dans un repère terrestre à partir d'une position précédemment calculée et d'une erreur sur cette position; - des moyens de calcul de propagation d'un vecteur d'état estimé comprenant notamment l'erreur sur la position calculée du récepteur, à partir d'une équation de propagation matricielle faisant intervenir une matrice de propagation, - des moyens de calcul de recalage du vecteur d'état à partir d'observations relatives à chaque satellite et d'une matrice d'observations liant le vecteur d'état et les observations, - des moyens de calcul d'observations, recevant d'une part la première et la deuxième donnée numérique et d'autre part une pseudodistance estimée calculée entre le récepteur et chaque satellite, pour établir des observations à appliquer à l'entrée des moyens de calcul de recalage, - des moyens pour calculer une pseudo-distance estimée pour chaque satellite, par calcul de la distance entre la position calculée du récepteur dans le repère terrestre et chaque satellite. 2. Récepteur selon la revendication 1, caractérisé en ce que les moyens de calcul d'observations comportent des moyens pour soustraire la pseudodistance estimée à la première et à la deuxième donnée numériques et appliquer le résultat de la soustraction à l'entrée des moyens de calcul de recalage. 3. Récepteur selon l'une des revendications 1 et 2, caractérisé en ce que l'équation de propagation matricielle fait intervenir dans le vecteur d'état une composante représentant l'ambiguïté de la mesure de la pseudodistance de porteuse, par satellite. 4. Récepteur selon l'une des revendications 1 à 3, caractérisé en ce que l'équation de propagation matricielle fait intervenir dans le vecteur d'état une composante représentant une erreur liée à la propagation du signal dans l'ionosphère, par satellite. 5. Récepteur selon l'une des revendications 1 à 4, caractérisé en ce que l'équation de propagation matricielle fait intervenir dans le vecteur d'état au moins une composante représentant une erreur liée à la propagation de la porteuse dans la troposphère, par satellite. 6. Récepteur selon l'une des revendications 1 à 5, caractérisé en ce que chaque canal (Ci) associé à un satellite comprend deux sous-canaux (SCL1;) , (SCL2;) recevant de ce satellite des signaux à fréquence de porteuse différentes, les sous-canaux produisant des pseudo-distances instantanées respectives et la première et la deuxième données numériques étant des combinaisons linéaires de ces pseudo-distances. 7. Récepteur selon l'une des revendications 1 à 5, caractérisé en ce que chaque canal (C;) associé à un satellite comprend deux sous-canaux (SCL1,) , (SCL2;) recevant de ce satellite des signaux à fréquence de porteuse différentes, chacun des sous-canaux (SCL1;), (SCL2;) produisant des pseudo-distances instantanées respectives qui sont toutes appliquées, sous forme de première et deuxième données numériques respectivement, à l'entrée des moyens de calcul d'observations. 8. Récepteur selon l'une des revendications 1 à 7, caractérisé en ce que le filtre de Kalman constitue un filtre principal fournissant une position calculée dans le repère terrestre à partir d'observations faites sur m satellites identifiés par leur rang i (i entier de 1 à m), et en ce que le récepteur comporte par ailleurs m filtres de Kalman auxiliaires de rang i, un filtre auxiliaire de rang i recevant les signaux de tous les satellites à l'exception du satellite de rang i. 9. Récepteur selon la revendication 8, caractérisé en ce qu'il 5 comporte des moyens de calcul d'un rayon de protection à partir des sorties des différents filtres de Kalman et des moyens de vérification que ce rayon de protection n'excède pas un seuil déterminé. 10. Récepteur selon l'une des revendications 1 à 7, caractérisé en ce que chaque canal de traitement numérique associé à un satellite et traitant les signaux émis par ce satellite reçoit en outre d'un récepteur de positionnement de référence placé dans une station au sol, une première correction de phase de code et une deuxième correction de phase de porteuse relatives à ce satellite, pour élaborer respectivement la première et la deuxième données numériques en tenant compte de ces corrections. 11. Récepteur selon l'une des revendications 1 à 7 pour une mesure de position relative, caractérisé en ce que chaque canal de traitement numérique associé à un satellite et traitant les signaux émis par ce satellite reçoit en outre d'un récepteur de positionnement de référence mobile une correction constituée d'une pseudo-distance mesurée entre le satellite et le récepteur de positionnement de référence, pour élaborer respectivement la première et la deuxième donnée numérique par différences des pseudo-distances et en ce que l'information délivrée par le récepteur est une position relative par rapport au récepteur de référence mobile. 12. Récepteur selon l'une des revendications 10 ou 11, caractérisé en ce qu'il comporte, outre le filtre de Kalman mentionné en premier et appelé filtre principal, M autres filtres de Kalman dits filtres auxiliaires de rang j, j entier variant de 1 à m, et M supérieur à 1, et en ce que chaque canal de traitement numérique reçoit des corrections de M récepteurs de référence, et calcule: - d'une part une moyenne des M premières corrections et une 35 moyenne des M deuxièmes corrections, ces moyennes servant de termes correctifs pour élaborer les première et deuxième données numériques pour le filtre principal -d'autre part, pour chaque rang j, une moyenne de M-1 premières corrections et une moyenne de M-1 deuxièmes corrections, excluant les corrections issues du récepteur de rang j, ces moyennes servant de termes correctifs pour élaborer les première et deuxième données numériques pour le filtre de rang j. 13. Récepteur selon la revendication 12, caractérisé en ce qu'il comporte des moyens de calcul d'un rayon de protection à partir des sorties des différents filtres de Kalman et des moyens de vérification que ce rayon de protection n'excède pas un seuil déterminé. 14. Récepteur selon l'une des revendications 10 ou 11, caractérisé en ce qu'il comporte des moyens de calcul d'un rayon de protection à partir des sorties d'un unique filtre de Kalman alimenté par M observations composées des différences entre un vecteur d'observations principales dont les m composantes sont égales à la moyenne arithmétique des M observations par les M récepteurs de référence et les M vecteurs d'observations moyennes dont les m composantes sont égales à la moyenne arithmétique de M-1 observations par les récepteurs de référence, et des moyens de vérification que ce rayon de protection n'excède pas un seuil déterminé.