Brevet FR2906094A1 — publié le 20080321

P-CNES-003/FR 1 Domaine technique [0001] La présente invention concerne un procédé de réception, respectivement un récepteur pour un signal de radionavigation modulé par une forme d'onde d'étalement de type CBOC (de l'anglais Composite Binary Offset Carrier ) ou TMBOC (de l'anglais Time-Multiplexed Binary Offset Carrier ). Etat de la technique [0002] Les systèmes de positionnement par satellite comme GPS (Global Positioning System), Galileo, GLONASS, QZSS, Compass, IRNSS et autres utilisent des signaux de navigation modulés appelés en spectre étalé . Ces signaux véhiculent essentiellement des codes pseudo-aléatoires formés de séquences numériques se répétant périodiquement, dont la fonction principale est de permettre un Accès Multiple à Répartition de Code (AMRC) et la fourniture d'une mesure précise du temps de propagation du signal émis par le satellite. Accessoirement, les signaux de positionnement par satellites peuvent aussi transporter des données utiles. [0003] Dans le cas de GPS, les signaux de navigation sont transmis dans les bandes de fréquences L1, centrée sur 1575,42 MHz et L2, centrée sur 1227,6 MHz. Au cours de la modernisation de GPS, la bande L5, centrée sur 1176,45 MHz sera ajoutée. Les satellites de la constellation Galileo transmettront dans la bandes E2-L1-E1 (la portion de bande médiane L1 étant la même que celle du GPS), E5a (qui, selon la nomenclature Galileo, représente la bande L5 prévue pour le GPS), E5b (centrée sur 1207,14 MHz) et E6 (centrée sur 1278,75 MHz). [0004] Les signaux de navigation sont formés par modulation des fréquences centrales (porteuses). Différents schémas de modulation sont déjà implantés pour réaliser les signaux de navigation ou du moins envisagés. Pour assurer l'interopérabilité et la compatibilité entre les systèmes GPS et Galileo, les Etats-Unis d'Amérique et l'Union Européenne se sont mis d'accord sur certains points concernant les schémas de modulation des signaux dans la 2906094 P-CNES-003/FR 2 bande L1, utilisée par les deux systèmes. Plus de détails sur les schémas de modulation proposés peuvent être tirés de la publication MBOC : The New Optimized Spreading Modulation Recommended for GALILEO L1 OS and GPS L1 C , Hein et al., InsideGNSS, mai/juin 2006, pp. 57-65. 5 [0005] L'un des schémas de modulation retenus comme candidat pour la modulation du signal Galileo OS L1 est connu sous la désignation modulation TMBOC . Ce type de modulation a d'ailleurs déjà été retenu pour le signal GPS L1 C. La forme d'onde d'étalement TMBOC modulant la porteuse peut être décrite comme succession alternante de segments d'une première forme 10 d'onde BOC(n2,m) et de segments d'une deuxième forme d'onde BOC(ni,m), avec n1>n2. BOC désigne une modulation de porteuse à double décalage, l'abréviation vient du terme Binary Offset Carrier . De manière générale, BOC(n,m) est une fonction du temps t définie par : BOC(n, m)(t) = Cm (t) • sign[sin(27tfset)] , (1) 15 où Cm(t) est un code pseudo-aléatoire à rythme de bribes (chip rate) m x 1,023 Mcps prenant les valeurs +1 ou -1 et fsc la fréquence n x 1,023 MHz. Une condition sur n et m est que le rapport 2n/m soit entier. La forme d'onde d'étalement TMBOCm(ni,n2) est définie par : TMBOCm (ni , n2 )(t) _ Cm (t) • sign[sin(27tfn2t)], si t e S2 Cm (t) • sign[sin(27tfnit)], si t E Si' (2) 20 où fni= ni x 1,023 MHz, fn2= n2 x 1,023 MHz, où S1 est l'union des segments BOC(n1,m) et S2 l'union des segments BOC(n2,m) , S1 et S2 étant complémentaires sur l'axe du temps, et où Cm(t) est le code pseudo-aléatoire du signal, à rythme de bribes m x 1,023 Mcps et prenant les valeurs +1 ou -1. Pour les signaux GPS L1 C ainsi que Galileo OS L1 on aura les cas échéants 25 m=1, n2=1 et n1=6. Le rapport entre la longueur des segments BOC(1,1) et la longueur des segments BOC(6,1) détermine comment la puissance du signal est répartie entre ses deux composantes. [0006] Un autre schéma de modulation candidat pour la modulation du signal Galileo OS L1 est connu sous la désignation modulation CBOC . La 2906094 P-CNES-003/FR 3 forme d'onde d'étalement CBOC modulant la porteuse est une combinaison linéaire d'une première forme d'onde BOC(n2,m) et d'une deuxième forme d'onde BOC(ni,m). Une forme d'onde CBOC,,,(nl,n2) peut s'écrire, dans ce cas : CBOCm (ni , nz )(t) = V • BOC(nz , m)(t) + W • BOC(ni , )(t) , (3) 5 où V et W sont des paramètres réels définissant la pondération relative des composantes BOC(n2,m) et BOC(ni,m). Dans le cas d'une forme d'onde CBOC, les deux composantes BOC portent le même code pseudo-aléatoire. Si cette modulation est retenue pour Galileo OS L1, on aura m=1, n1=6 et n2=1. Une forme d'onde de modulation CBOC(6,1) 10 est représentée à la figure 1. 10 [0007] Pour déterminer dans un récepteur le temps de propagation du signal émis par un satellite (la pseudo-distance), le procédé de réception du signal comprend une étape de corrélation. Il est bien connu dans le domaine technique de corréler la forme d'onde modulant le signal de radionavigation avec des répliques locales de cette forme d'onde de modulation. La forme 15 d'onde de modulation a une phase a priori inconnue qui doit être déterminée pour calculer la position du récepteur. Le procédé se déroule normalement de façon itérative et débute avec une estimation initiale de la phase inconnue de la forme d'onde de modulation. On génère alors dans le récepteur une réplique locale prompte de la forme d'onde de modulation, c.-à-d. une copie de la forme 20 d'onde de modulation dont la phase correspond à l'estimation, qui est ensuite corrélée avec la forme d'onde de modulation. Parallèlement, on génère une ou des répliques locales décalées de la forme d'onde de modulation, c.-à-d. une ou des copies de la forme d'onde de modulation dont la phase est en avance ou en retard par rapport à l'estimation. Cette ou ces répliques locales décalées 25 sont aussi corrélées avec la forme d'onde de modulation. Les résultats de ces corrélations sont alors utilisés pour améliorer l'estimation de la phase de la forme d'onde de modulation. Ensuite on réitère le procédé jusqu'à ce que la phase ait été déterminée avec suffisamment de précision. [0008] Dans la demande de brevet européenne EP 1 681 773 on décrit 30 ce procédé de réception dans le cas d'une forme d'onde de modulation de type CBOC. On opère donc la corrélation du signal entrant modulé par une forme 2906094 P-CNES-003/FR 4 d'onde CBOC et d'une réplique locale de cette forme d'onde CBOC. Cette solution implique, au niveau du récepteur, la génération d'une réplique CBOC. Il est donc nécessaire d'implémenter une quantification à quatre niveaux à l'entrée du corrélateur, ce qui nécessite au moins une architecture à 2 bits. La 5 même demande de brevet mentionne aussi un deuxième procédé : dans celui-ci, on opère une corrélation entre le signal entrant et une réplique locale de la première composante BOC et une autre corrélation entre le signal entrant et une réplique locale de la deuxième composante BOC. Ensuite, les résultats des deux corrélations sont combinés. Dans ce deuxième procédé, les répliques 10 locales sont à un bit ce qui peut être considéré comme avantageux par rapport à la première solution. Le prix à payer est un nombre d'opérations de corrélation doublé vis-à-vis de la première solution, toutes choses égales par ailleurs. [0009] La demande de brevet française 06 05551 présente un procédé et 15 un récepteur améliorés pour la réception d'un signal CBOC ayant une composante BOC(ni,m) et une composante BOC(n2,m), avec n2 , , (o 1+ +BGx (.f12 e-2id f (11') et les fonctions d'intercorrélation filtrées par _ +B 20 Rx1Y (x) = îGx f (f)e-21edf • (Il") -B 2906094 P-CNES-003/FR 13 Dans les équations (11)-(11") qui précèdent, B représente la largeur de la bande du filtre de tête HF (ici le filtre est supposé rectangulaire), BL la bande du filtre de boucle de la DLL, T le temps d'intégration utilisé pour la corrélation, P la puissance du signal utilisé entrant ; d l'espacement entre la forme d'onde locale 5 en avance et la forme d'onde locale en retard, No le niveau de la densité spectrale du bruit thermique, et Gx la transformée de Fourier de la forme d'onde X. [0032] L'erreur de poursuite de code est représentée en fonction du rapport C/No à la figure 5 pour différentes valeurs de a, dans le cas de poursuite 10 d'un signal CBOC(6,1,2/11,'-'), un espacement de 0,1 bribes entre la forme d'onde binaire locale en avance et la forme d'onde binaire locale en retard, un filtre 12 MHz (single-sided) à l'entrée et 4 ms de temps d'intégration (de corrélation). On voit que l'erreur diminue si a augmente. En termes de performance de synchronisation, il serait donc avantageux de choisir a près de 15 1. Or, dans ce qui précède, nous venons de voir que pour ces valeurs de a, la dégradation du rapport C/No est considérable. [0033] On note également que pour a=0,2, l'enveloppe multi-trajet équivaut à celle qu'on obtient lorsqu'on utilise comme forme d'onde locale une réplique CBOC(6,1,2/11,'-`). 20 [0034] Selon la présente invention, on utilise des formes d'onde locale prompte et décalées différentes. Cela permet d'optimiser les formes d'onde locales décalées indépendamment de la forme locale prompte. La figure 6 montre le schéma d'un premier récepteur 60 adapté pour mettre en oeuvre le procédé. Le récepteur comprend des corrélateurs 62.1-62.6 présentant chacun 25 un mélangeur 64.1-64.6, mélangeant le signal entrant de type CBOC avec une copie de forme d'onde binaire locale et un intégrateur 66.1-66.6 effectuant l'intégration des signaux mélangés et produisant un signal de sortie. [0035] Le récepteur présente un ensemble de générateurs 68.1-68.3 de forme d'onde binaire locale. Le générateur 68.1 génère une copie en avance 30 sLOC2(t-f -Nn) d'une forme d'onde binaire locale SLOC2. La forme d'onde SLOC2 comprend sur l'intervalle de corrélation un segment de forme d'onde BOC(6,1) 2906094 P-CNES-003/FR 14 d'une durée totale de aBT et, si aB≠1, un segment de forme d'onde BOC(1,1) d'une durée de (1-aB)T. Dans la suite, nous assumerons que aB se trouve dans l'intervalle semi-ouvert ]0,1], ce qui nous permettra de traiter le cas particulier aB=1 en même temps que les autres cas. Si aB=1, la forme d'onde SLOC2 est une 5 forme d'onde BOC(6,1) pure. Pour des valeurs de aB strictement inférieures à 1, SLOC2 comprend aussi un segment BOC(1,1) et peut, par exemple, avoirl'apparence de la forme d'onde 12 de la figure 2. Le générateur 68.3 génère une copie en retard sLOC2(t-z +A/n) de la forme d'onde binaire locale SLOC2. Le générateur 68.2 génère une copie prompte SLOC1(t-z) d'une forme d'onde 10 binaire locale SLOC1. La forme d'onde sLOC1 comprend sur l'intervalle de corrélation un segment de forme d'onde BOC(111) d'une durée totale de (1-aA)T et, si aA≠O, un segment de forme d'onde BOC(6,1) d'une durée de aAT. Dans la suite, nous assumerons que aA se trouve dans l'intervalle semi-ouvert [0,1[. Si aA=O, la forme d'onde sLoci est une forme d'onde BOC(1,1) pure. Pour des 15 valeurs de aA strictement supérieures à 0, SLOC2 comprend aussi un segment BOC(6,1) et peut aussi prendre l'apparence de la forme d'onde 12. [0036] Le corrélateur 62.1, fournit la valeur de la corrélation IE,sLOC2(aB) de la partie en phase du signal entrant CBOC(t-ti) et d'une copie en avance sLOC2(t-z -Ain) de la forme d'onde binaire locale SLOC2. (Comme précédemment, 20 t est la phase du code pseudo-aléatoire du signal reçu et z une estimée de t, A est la durée d'une bribe et n détermine la fraction de durée de bribe que la copie de la forme d'onde binaire locale est en avance par rapport à l'estimée z .) Le corrélateur 62.2 est un corrélateur prompt fournissant la valeur lP,sLOC1(aA) de la corrélation de la partie en phase du signal entrant CBOC(t-t) et 25 d'une copie prompte sLOcl(t-z) de la forme d'onde binaire locale sLOC1. Le corrélateur 62.3 est un corrélateur en retard , fournissant la valeur IL,sLOC2(aB) de la corrélation de la partie en phase du signal entrant CBOC(t-t) et d'une copie en retard sLOC2(t-f +A/n) de la forme d'onde binaire locale SLOC2. Le corrélateur 62.4, fournit la valeur de la corrélation QE,SLOC2(aB) de la partie en 30 quadrature de phase du signal entrant CBOC(t-t) et d'une copie en avance sLoc2(t-z -L/n) de la forme d'onde binaire locale SLOC2. Le corrélateur 62.5 2906094 P-CNES-003/FR 15 fournit la valeur QP,SLOC1(aA) de la corrélation de la partie en quadrature de phase du signal entrant CBOC(t-t) et d'une copie prompte sLOCI(t-î) de la forme d'onde binaire locale sLOC1. Le corrélateur 62.6 fournit la valeur QL,SLOC2(aB) de la corrélation de la partie en quadrature de phase du signal entrant CBOC(t-t) et 5 d'une copie en retard sLOC2(t-î +p/n) de la forme d'onde binaire locale SLOC2. Pour des raisons de clarté, la figure 6 ne montre que les connexions allant respectivement des générateurs 68.1, 68.2 et 68.3 aux mélangeurs 64.4, 64.5 et 64.6. Les connexions vers les mélangeurs 64.1, 64.2 et 64.3 n'ont pas été dessinées. 10 [0037] La figure 7 montre le schéma de principe d'un autre récepteur 70 pouvant exécuter le nouveau procédé. Le récepteur 70 comprend des corrélateurs 72.1-72.4 présentant chacun un mélangeur 74.1-74.4, mélangeant le signal entrant de type CBOC avec une copie de forme d'onde binaire locale et un intégrateur 76.1-76.4 effectuant l'intégration des signaux mélangés et 15 produisant un signal de sortie. [0038] Le récepteur présente un ensemble de générateurs 78.1-78.3 de forme d'onde binaire locale. Le générateur 78.1 génère une copie en avance sLoc2(t- f -O/n) d'une forme d'onde binaire locale SLOC2. Le générateur 78.3 génère une copie en retard sLOC2(t-f +Nln) de la forme d'onde binaire locale 20 SLOC2. Le générateur 78.2 génère une copie prompte sLOC1(t-z) d'une forme d'onde binaire locale sLOC1. La définition des formes d'ondes sLocl et SLOC2 a été donnée dans la description de la figure 6. Un additionneur 77 produit la différence entre les copies en avance sLoc2(t- î -O/n) et en retard SLOC2(tf +Wn)de la forme d'onde local sLOC2 qu'il reçoit des générateurs 78.1 et 78.3. 25 Cette différence est entrée aux mélangeurs 74.1 et 74.3. Le corrélateur 72.3 fournit la valeur de la corrélation QE,SLOC2(aB)-QL,SLOC2(aB) de la partie en quadrature de phase du signal entrant CBOC(t-t) et de la différence des copies en avance et en retard de la forme d'onde binaire locale SLOC2. Le corrélateur 72.4 fournit la valeur QP,sLoc1(aA) de la corrélation de la partie en quadrature de 30 phase du signal entrant CBOC(t-t) et de la copie prompte sLOC1(t-î) de la forme d'onde binaire locale sLocl. 2906094 P-C N ES-003/FR 16 [0039] Dans les deux modes d'exécution du nouveau procédé, on peut calculer le discriminateur de produit scalaire, qui s'exprime comme suit : D = CTE,SLOC2(aB) ù IL,SLOC2(aB)~IP,SLOCl(a4) + (QE,SLOC2(aB) ù QL,SLOC2(aB))QP,SLOC1(aél) . (1 2) [0040] Pour la réception d'un signal CBOC(6,1,1 /11) ou CBOC(6,1,2/11), 5 le désavantage le plus important, de la technique utilisant la même forme d'onde locale binaire sur les voies prompte et décalées était la perte en corrélation. Grâce à la présente invention, on peut choisir la forme d'onde locale prompte avec une quote-part de BOC(1,1) plus importante, sans pour autant réduire la quote-part de BOC(6,1) dans les formes d'onde locales en avance ou 10 en retard qui améliore la synchronisation. [0041] Dans la suite, nous discuterons le cas particulier aA=O, c.-à-d. le cas où la forme d'onde locale prompte est une forme d'onde BOC(1,1). La première conséquence est que la perte en corrélation (dégradation su rapport C/No), en poursuite de phase (pour laquelle on utilise les corrélateurs prompts 15 uniquement), est minimale (d'environ 0,9 dBs pour un signal CBOC(6,1,2111) et d'environ 0,5 dBs pour un signal CBOC(6,1,1/11), comme on peut le voir à la figure 4). [0042] Avec aA=O et le discriminateur de produit scalaire, on obtient une erreur théorique de poursuite de code : 2 BL (1- 0.5BLT)RsLOC2(aB) (d) 6DP,SLOC2(aB) 1-- ( 2 p dR cBOC i SLOC 2 (aB) (x ) 20 PT-2 () NRCBOC/BOC(1,1) (~) No (13) 2N0 dx d x= 2 / [0043] On remarque que le terme carré de corrélation entre la forme d'onde binaire locale et la forme d'onde de modulation BOC(6,1), présent dans l'équation (11), se trouve ici remplacé par le terme carré RCBQC/BOC(l,l)(0), qui est grand. En conséquence, l'erreur 25 diminue quand aA diminue.quadratique de poursuite de code 2906094 P-CNES-003/FR 17 [0044] On montre que pour une forme d'onde de modulation CBOC(6,1,2/11,'-`), l'écart-type de l'erreur de poursuite de code diminue pour tous les rapports C/No si la valeur du paramètre aB augmente (aA=O). Dans le cas extrême aB=1 (un pur BOC(6,1) comme forme d'onde locale en avance et 5 en retard), on a la meilleure performance de poursuite. [0045] Les prédictions théoriques ont été vérifiées à l'aide d'un simulateur avec les réglages suivants : + réception d'un signal CBOC(6,1,2/11,'-`) d'une durée de 40 s ; + temps d'intégration de 4 ms ; 10 + boucle DLL avec assistance de porteuse et ayant une largeur de bande de 1 Hz ; + boucle PLL ayant une largeur de bande de 10 Hz, le discriminateur étant basé seulement sur la partie en quadrature de phase ; 15 + largeur de bande à l'entrée de 10 MHz (one-sided) [0046] Les résultats des simulations sont montrées à la figure 8 et dans dans les tableaux suivants : C/Na (dB-Hz) Dégradation CIN0 (dB) CBOC aB=0.5 aB=1 30 0 -0.50 -0.49 0 -0.54 -0.54 0 -0.55 -0.55 0 -0.56 -0.56 0 -0.56 -0.56 2906094 P-CNES-003/FR 18 C/Na (dB-Hz) Ecart-type de l'erreur de poursuite de code (m) CBOC aB=0.5 aB=1 30 0.467 0.653 0.467 35 0.241 0.336 0.242 40 0.112 0.154 0.138 45 0.074 0.102 0.075 50 0.043 0. 063 0.046 CIN0 (dB-Hz) Ecart-type de l'erreur de poursuite de phase (rad) CBOC aB=0.5 aB=l 30 0.0841 0.0904 0.0909 35 0.0461 0.0492 0.0493 40 0.0252 0.0267 0.0267 45 0.0144 0.0154 0.0154 50 0.0075 0.0079 0.0079 [0047] La figure 9 montre le discriminateur de produit scalaire normalisé (par (Ip,SLOC(aA)2+QP,SLOC(a4)2 = IP,BOC(1,1)2+QP,BOC(1,1)2) pour la réception d'un 5 signal CBOC(6,1,2/11,'-`) pour différentes valeurs de aB. En comparaison, on montre aussi la courbe qu'on obtient avec une forme d'onde locale CBOC(6,1,2/11,'-'). Pour des valeurs de aB élevées, les points de fausse poursuite sont plus prononcés. On devra donc implémenter une technique de poursuite sans ambiguïté. Les courbes de la figure 9 ont été obtenus avec les 10 paramètres suivants : un espacement de 0,1 bribes entre la forme d'onde binaire locale en avance et la forme d'onde binaire locale en retard, un filtre 15 MHz (single-sided) à l'entrée et 4 ms de temps d'intégration (de corrélation). [0048] En ce qui concerne le multi-trajet, il est évident que plus la quote part de BOC(6,1) dans la forme d'onde binaire locale est importante, plus 15 l'enveloppe d'erreurs multi-trajet obtenue se rapproche d'une enveloppe d'erreurs multi-trajet d'une forme d'onde locale BOC(6,1). Il est difficile de voir 2906094 P-CNES-003/FR 19 comment la performance, en termes de multi-trajet, est affectée pour des valeurs aB>_0,3. Pourtant, on suppose que la performance reste à peu près la même. Dans ce cas, vu l'analyse qui précède, il est probablement avantageux d'utiliser une valeur de aB élevée, proche de 1, voire égale à 1. 5 [0049] Dans l'analyse détaillée des performances du nouveau procédé, nous avons assumé aA=O. II est évident que des performances semblables peuvent être réalisées pour des valeurs de aA proches, mais différentes de O. Notons aussi que le choix optimal de aA et aB dépendra substantiellement de la forme d'onde de modulation du signal de radionavigation. Celle-ci peut être une 10 forme d'onde CBOC, comme dans la description détaillée, ou bien, répétons-le, une forme d'onde du type TMBOC, comme envisagée pour le signal GPS L1C. [0050] Dans l'analyse, uniquement le discriminateur de produit scalaire a été discuté. On notera cependant qu'il existe d'autres discriminateurs qui peuvent également être utilisés pour implémenter la présente invention, 15 notamment un discriminateur Early-Minus-Late ou Prompt , par exemple pour détecter la phase du signal entrant. [0051] Reste à mentionner que pour recevoir plusieurs signaux émis par les satellites, un récepteur a besoin d'une pluralité de canaux de réception. Pour chaque canal de réception du récepteur, il y a un ensemble de 20 corrélateurs comme décrit dans la présente description, dont les signaux de sortie sont combinés pour former, en mode d'acquisition du signal, l'estimation d'énergie du signal reçu et, en mode poursuite du signal, le discriminateur du code pseudo-aléatoire. Revendications 1. Procédé de réception d'un signal de radionavigation modulé par une forme d'onde de modulation, la forme d'onde de modulation comprenant une composante BOC(ni,m) et une composante BOC(n2,m), ni étant distinct de n2; dans lequel sont opérées, sur un intervalle de temps de durée T, une corrélation entre une forme d'onde locale prompte et ladite forme d'onde de modulation et une corrélation entre une forme d'onde locale décalée et ladite forme d'onde de modulation ; caractérisé en ce que ladite forme d'onde locale prompte est générée en tant que forme d'onde binaire comprenant sur ledit intervalle de temps au moins un segment de forme d'onde BOC(n2,m) d'une durée totale de (1-aA)T sur ledit intervalle de temps, aA étant un paramètre supérieur ou égal à 0 et strictement inférieur à 1, en ce que ladite forme d'onde locale décalée est générée en tant que forme d'onde binaire comprenant sur ledit intervalle de temps au moins un segment de forme d'onde BOC(ni,m) d'une durée totale de aBT sur ledit intervalle de temps, aB étant un paramètre strictement supérieur à 0 et inférieur ou égal à 1, et les paramètres aA et aB étant différents. 2. Procédé selon la revendication 1, dans lequel aA est égal à O. 3. Procédé selon la revendication 1 ou 2, dans lequel aB est égal à 1. 4. Procédé selon l'une quelconque des revendications 1 à 3, dans lequel aA est inférieur à aB. 5. Procédé selon l'une quelconque des revendications 1 à 4, dans lequel la forme d'onde locale prompte comprend sur ledit intervalle de temps au moins un segment de forme d'onde BOC(ni,m) d'une durée totale de aAT sur ledit intervalle de temps, aA étant strictement compris entre 0 et 1. 6. Procédé selon l'une quelconque des revendications 1 à 5, dans lequel la forme d'onde locale décalée comprend sur ledit intervalle de temps au moins un segment de forme d'onde BOC(n2,m) d'une durée totale de 2906094 P-CNES-003/FR 21 (1-aB)T sur ledit intervalle de temps, aB étant strictement compris entre 0 et 1. 7. Procédé selon l'une quelconque des revendications 1 à 6, dans lequel ladite forme d'onde locale décalée comprend une forme d'onde locale en avance 5 ou une forme d'onde en retard ou une différence entre une forme d'onde locale en avance et une forme d'onde locale en retard. 8. Procédé selon l'une quelconque des revendications 1 à 7, dans lequel ladite forme d'onde de modulation modulant le signal de radionavigation est une forme d'onde de modulation de type CBOC, la forme d'onde de modulation 10 de type CBOC comprenant une combinaison linéaire à paramètres réels de la composante BOC(ni,m) et de la composante BOC(n2,m). 9. Procédé selon l'une quelconque des revendications 1 à 8, dans lequel ladite forme d'onde de modulation modulant le signal de radionavigation est une forme d'onde de modulation de type TMBOC, la forme d'onde de 15 modulation de type TMBOC comprenant une succession alternante de segments de la composante BOC(ni,m) et de segments de la composante BOC(n2,m). 10. Récepteur (60, 70) comprenant des moyens (68.1-68.3, 78.1-78.3, 18.1-18.6, 62.1-62.6, 72.1-72.4, 20.1-20.6, 64.1-64.6, 74.1-74.4, 22.1-22.6, 66.1- 20 66.6, 76.1-76.4, 77) pour la mise en oeuvre du procédé selon l'une quelconque des revendications 1 à 9. 11 Récepteur (60, 70) selon la revendication 10, comprenant des générateurs de forme d'onde locale (68.1-68.3, 78.1-78.3) pour générer une forme d'onde locale prompte et une forme d'onde locale décalée ainsi 25 que des corrélateurs (18.1-18.6, 62.1-62.6, 72.1-72.4) pour opérer, sur un intervalle de temps de durée T, une corrélation entre la forme d'onde locale prompte et la forme d'onde de modulation et une corrélation entre la forme d'onde locale décalée et la forme d'onde de modulation ; 30 lesdits générateurs de forme d'onde locale (68.1-68.3, 78.1-78.3) étant configurés pour générer ladite forme d'onde locale prompte en tant que forme d'onde binaire comprenant sur ledit intervalle de temps au moins un 2906094 P-CNES-003/FR 22 segment de forme d'onde BOC(n2,m) d'une durée totale de (1-aA)T sur ledit intervalle de temps, aA étant un paramètre supérieur ou égal à 0 et strictement inférieur à 1, et pour générer ladite forme d'onde locale décalée en tant que forme d'onde binaire comprenant sur ledit intervalle de temps 5 au moins un segment de forme d'onde BOC(ni,m) d'une durée totale de aBT sur ledit intervalle de temps, aB étant un paramètre différent du paramètre aA ainsi que strictement supérieur à 0 et inférieur ou égal à 1 . 12. Récepteur (60,70) selon la revendication 11, comprenant un générateur de forme d'onde locale prompte, un générateur de forme d'onde locale décalée 10 (68.1, 68.3, 78.1, 78.3), un premier corrélateur (18.2, 18.5, 62.2, 62.5, 72.2, 72.5) doté d'un mélangeur (20.2, 20.5, 64.2, 64.5, 74.2, 74.4) pour mélanger la forme d'onde de modulation avec la forme d'onde locale prompte et un deuxième corrélateur (18.1, 18.3, 18.4, 18.6, 62.1, 62.3, 62.4, 62.6, 72.1, 72.3) doté d'un mélangeur (20.1, 20.3, 20.4, 20.6, 64.1, 15 64.3, 64.4, 64.6, 74.1, 74.3) pour mélanger la forme d'onde de modulation avec la forme d'onde locale décalée.