INPI-France/Brevets-Francais-2024-Chunked huggingface dataset:
- un troisième ILO (désigné par la référence 124 pour le premier multiplicateur de fréquence et 126 pour le deuxième multiplicateur de fréquence) dont une entrée d’injection est couplée à une sortie du générateur 120, et respectivement 122, et dont la sortie est couplée à l’entrée d’injection du premier ILO 102 pour le premier multiplicateur de fréquence ou du deuxième ILO 112 pour le deuxième multiplicateur de fréquence, respectivement. Chacun des troisièmes ILO 124, 126 délivre sur sa sortie le signal S inj .
Dans l’exemple de réalisation décrit en lien avec la , chacun des premier et deuxième multiplicateurs de fréquence comporte en outre un amplificateur de signal (désigné par la référence 128 pour le premier multiplicateur de fréquence et 130 pour le deuxième multiplicateur de fréquence) dont une entrée est couplée à la sortie d’un des générateurs 120, 122 et dont une sortie est couplée à l’entrée d’injection d’une des troisièmes ILO 124, 126.
Les troisièmes ILO 124, 126 sont par exemple similaires aux premier et deuxième ILO 102, 112. Les générateurs 120, 122 sont par exemple réalisés comme décrit dans le document EP 2 786 492 B1.
Sur l’exemple de la , le synthétiseur de fréquence 108 comporte également un générateur 132 du premier signal périodique de fréquence F 1 .
Dans ce troisième mode de réalisation, l’utilisation des premier et deuxième multiplicateurs de fréquence permet de synthétiser un signal périodique de fréquence F 1 (obtenu en sortie du générateur 132) à basse fréquence et d’atteindre, en entrée du mélangeur 116, des hautes fréquences tout en gardant une consommation et un bruit de phase faibles. A titre d’exemple, le générateur 132 peut être configuré pour générer un signal périodique de fréquence F 1 de l’ordre de, ou égale à, 500 MHz. De plus, l’utilisation des générateurs 120, 122 couplés aux troisièmes ILO 124, 126 permet de programmer la valeur du facteur N de multiplication, aboutissant à la fréquence F inj . Les premier et deuxième ILO 102, 112 sont ici verrouillés à la même harmonique N de la fréquence d’entrée F 1 . Par exemple, la fréquence d’entrée F 1 peut se situer aux alentours de 500 MHz et chacun des multiplicateurs de fréquence peut être programmé pour délivrer un signal d’injection de fréquence F inj correspondant par exemple à la 28 ème harmonique de la fréquence F 1 , soit environ 14 GHz. Dans ce cas, en faisant varier la valeur de F 1 autour de 500 MHz, la fréquence des signaux d’injection appliqués en entrée des premier et deuxième ILO 102, 112 varie autour de 14 GHz (28*F 1 ). Les signaux d’injection S inj obtenus en sortie des premier et deuxième ILO 102, 112 sont cohérents vis-à-vis du signal de fréquence F 1 délivré par le générateur 132 et leurs bruits de phase respectifs restent donc cohérents entre eux et identiques. Ainsi, les premier et deuxième ILO 102, 112 présentent des bruits de phase cohérents entre eux et leur mélange par le mélangeur 116 a pour effet de soustraire ce bruit de phase provenant du signal de fréquence F 1 .
La courbe de gauche visible sur la représente la différence de phase ΔΦ entre le signal S det et le signal S ref . (ΔΦ = phase(S det ) – phase(S ref )) obtenue dans ce troisième mode de réalisation en faisant varier la fréquence F 1 entre 480 MHz et 520 MHz et qui, comme dans les précédents modes de réalisation, est fortement perturbée à la fréquence à laquelle la variation due à la RPE est détectée. La courbe de droite de la représente le signal MIX OUT obtenu en sortie du filtre passe-bas 118 du système 100 selon le troisième mode de réalisation. Dans ce signal, dont l’amplitude est en Volt car la différence de phase entre les signaux S det et S ref est directement traduite en un signal statique DC par le mélangeur 116, la forte variation obtenue correspond à la détection de la variation due à la RPE.
La valeur de la tension mesurée aux bornes cette résistance de test R SH3 correspond à un signal analogique destiné à être converti par ledit convertisseur analogique numérique 11 à destination du circuit de commande 5. Ce dernier est configuré pour comparer la valeur convertie à une valeur connue de référence, et pour détecter et évaluer une dérive du courant de test injecté lorsque la différence calculée est supérieure à un seuil prédéterminé.
Dans la position illustrée des interrupteurs S 4 , S 5 , S 6 et S 7 , la valeur de la résistance électrique aux bornes des entrées inverseuse et non inverseuse du deuxième amplificateur opérationnel AO 2 est égale à la valeur de la résistance R SH .
Cette valeur de résistance R SH peut être sélectionnée par le biais d’un circuit tel que celui décrit en relation avec la ou la , dans lequel sont mises en œuvre plusieurs résistances, ainsi que des interrupteurs configurés pour isoler, mettre en série, et/ou mettre en parallèle une ou plusieurs desdites résistances.
Dans l’autre position illustrée en pointillées des interrupteurs S 4 , S 5 , S 6 et S 7 , la valeur de la résistance électrique aux bornes des entrées inverseuse et non inverseuse du deuxième amplificateur opérationnel AO 2 est égale à R SH 3, ce qui correspond à la configuration d’auto-test.
L’utilisateur peut donc auto-tester le dispositf 1 de mesure par le biais de l’interface homme-machine.
Le fait de tester une résistance de précision de valeur connue permet de tenir compte des dérives résultant de l’usure des composants électroniques et/ou des paramètres environnementaux, le circuit de commande étant configuré pour tenir compte de ces dérives pour déduire la valeur de résistance électrique d’un élément testé.
Procédé et dispositif d’identification d’un satellite défaillant parmi un ensemble de satellites La présente invention se rapporte au domaine de la navigation par satellites, dite également navigation GNSS (pour « Global Navigation Satellite System » en anglais). En particulier, la présente invention concerne un procédé et un dispositif d’identification d’un satellite défaillant parmi un ensemble de satellites, ainsi qu’un système de navigation, un aéronef, et un programme d’ordinateur associés. La présente invention trouve une application particulièrement avantageuse, bien que nullement limitative, pour la mise en œuvre de systèmes de navigation par satellites pour aéronefs, navires, ou véhicules terrestres.
L'invention s'inscrit dans le contexte particulier des systèmes de navigation par satellites. Embarqué dans un engin mobile (e.g. un aéronef), un tel système de navigation utilise les signaux reçus en provenance de satellites pour déterminer la position du mobile, et potentiellement d'autres données de navigation du mobile telles que sa vitesse et son orientation. Pour déterminer la position d’un mobile, un système de navigation par satellites utilise les mesures de positionnement, dites pseudo-distances (« pseudo-ranges » en anglais), fournies par un récepteur GNSS. Ces mesures caractérisent les distances entre le mobile et les satellites visibles d’une constellation. Dans le cadre de l'invention, les systèmes de navigation considérés peuvent également utiliser des données issues d’une centrale inertielle pour déterminer les données de navigation du mobile, en utilisant par exemple un algorithme de fusion multi-capteurs basé sur un filtre de Kalman.
Pour certaines applications comme l’aéronautique, la fiabilité des données de navigation est cruciale. Les systèmes de navigation doivent alors satisfaire à certaines exigences en termes d'intégrité. Par exemple, le système de navigation doit pouvoir déterminer la position du mobile avec un risque d'intégrité donné, c'est-à-dire avec une probabilité définie (notamment très faible, par exemple 10 -7 ) que l'erreur de position soit supérieure à un rayon de protection (i.e. une borne d’alerte) sans qu'aucune alerte ne soit levée. Pour un système de navigation par satellites, la panne d'un satellite entraîne une altération de la pseudo-distance associée à celui-ci, pouvant prendre la forme d’un biais, d’une dérive, ou d’une accélération, ce qui induit des erreurs de position importantes pouvant augmenter au cours du temps. Pour garantir l’intégrité du système de navigation, il est donc nécessaire de pouvoir détecter une panne satellite et, le cas échéant, d’identifier le satellite défaillant pour ne plus utiliser les pseudo-distances associées à celui-ci.
Dans l’état actuel de la technique, certaines solutions utilisent une pluralité de filtres de Kalman pour détecter une panne satellite et identifier le satellite défaillant. Chaque filtre exclut les pseudo-distances associées à un des satellites de sorte que les pseudo-distances utilisées soient différentes d’un filtre à l’autre. Pour chaque filtre, un indicateur statistique est évalué à partir de l’innovation croisée du filtre. En utilisant les indicateurs statistiques des différents filtres, il est alors possible de détecter une panne satellite et d’identifier le satellite défaillant. Une telle solution est par exemple présentée dans le document FR2964468A1. Cependant, pour certaines configurations géométriques des satellites, ces solutions peuvent exclure un satellite fonctionnel (i.e. non-défaillant) au lieu du satellite défaillant. Une telle erreur d’exclusion peut notamment conduire à une perte d’intégrité, ou à une perte de disponibilité du système de navigation, et doit être évitée. De plus, ces solutions présentent une complexité de mise en œuvre élevée et requièrent une utilisation importante de ressources (e.g. ressources de calcul et de mémoire, temps de traitement, etc.).
Par ailleurs, des solutions existantes de type RAIM (pour « Receiver Autonomous Integrity Monitoring » en anglais) permettent d’identifier un satellite défaillant sans utiliser de filtres de Kalman. Ces solutions exploitent un algorithme des moindres carrés pour déterminer la position du mobile à partir des pseudo-distances associées aux différents satellites. Le document US10684375B2 illustre une telle solution. Pour détecter une panne satellite, ces solutions comparent une statistique des résidus à un seuil, c’est-à-dire qu’elles utilisent les écarts entre les pseudo-distances fournies par le récepteur GNSS et des pseudo-distances calculées à partir de la position du mobile estimée par l’algorithme des moindres carrés. Lorsqu'une panne satellite est détectée, le satellite défaillant est identifié à partir de l’amplitude des résidus, notamment le satellite défaillant correspond au satellite pour lequel le résidu est maximum. Toutefois, ces solutions peuvent exclure de manière erronée un satellite fonctionnel.
Il existe par conséquent un besoin pour une solution permettant d’identifier de manière fiable un satellite défaillant parmi un ensemble de satellites à partir de pseudo-distances entre un mobile et les différents satellites.
La présente invention a pour objectif de remédier à tout ou partie des inconvénients de l’art antérieur, notamment ceux exposés ci-dessus.
Selon un aspect de l’invention , il est proposé un procédé d’identification d’un satellite défaillant parmi un ensemble de satellites S 1 ,…,S N à partir de pseudo-distances entre un mobile et les satellites S 1 ,…,S N , le procédé comprenant, suite à une détection d’une panne satellite, des étapes de : pour chaque satellite S i de l’ensemble de satellites S 1 ,…,S N : obtention d’un ensemble P i de positions du mobile, chaque position p i,j de l’ensemble P i étant déterminée à partir des pseudo-distances associées aux satellites S 1 ,…,S N en excluant : le satellite S i ; et au moins un autre satellite S j différent pour chaque position p i,j ; détermination d’un indicateur de dispersion σ i des positions de l’ensemble P i ; et identification du satellite défaillant parmi l’ensemble de satellites S 1 ,…,S N en fonction des indicateurs de dispersion σ 1 ,…,σ N .
La présente invention propose, suite à la détection d’une panne satellite, d’identifier le satellite défaillant (noté S x ci-après) en utilisant les pseudo-distances fournies par un récepteur de positionnement par satellites.
Plus précisément, pour chaque satellite S i d’un ensemble de satellites S 1 ,…,S N , un ensemble P i de positions du mobile est obtenu. Chaque position p i,j de l’ensemble P i est estimée en utilisant les pseudo-distances associées aux satellites S 1 ,…,S N à l’exception de celles associées au satellite S i et à un autre satellite S j (i≠j). Autrement dit, les positions de l’ensemble P i sont estimées en utilisant différentes combinaisons de satellites parmi les satellites S 1 ,…,S N , toutes ces combinaisons excluant le satellite S i . Nous devons alors distinguer deux cas de figures suivant que le satellite exclu S i est le satellite défaillant S x ou un satellite fonctionnel.
deux électrodes de commande voisines appartenant à deux zones émettrices élementaires voisines qui appartiennent chacune au même groupe de zones émettrices élémentaires sont séparées par un espace formant une tranchée, ledit espace étant rempli d’un élément de remplissage qui isole lesdites électrodes voisines électriquement l’une de l’autre et remplit l’espace naturel entre lesdites deux électrodes,
dans chaque groupe de zones émettrices élémentaires, l’ensemble de l’empilement OLED avec son electrode supérieure correspondante est séparé des ensembles voisins appartenant à un autre groupe de zones émettrices élémentaires par une couche d’encapsulation qui protège ledit empilement OLED sur sa face supérieure et ses flancs latéraux contre l’air ambiant, formant ainsi des ilôts protégés, chaque îlot comprenant des ensembles d’empilements OLED d’une même groupe, avec leur electrode supérieure.et s’entend dans la direction verticale de haut en bas de la matrice de pixels.
Dans un dispositif avantageux selon l’invention, le pas des zones émetrices élémentaires est inférieur à environ 20 µm, de préférence inférieur à environ 15 µm, plus préférentiellement inférieur à environ 10 µm, et encore plus préférentiellement compris entre environ 1 µm et environ 5 µm.
Dans ce cas, ledit premier sous-procédé peut en outre être agencé de sorte que l’étape de gestion d’un nouvel attribut vérifiable fruit d’une requête en renouvellement puisse également consister en une initialisation de la valeur d’un compteur de messages de présentation véhiculant ledit nouvel attribut vérifiable dans une mémoire de données accessible en lecture et en écriture par le portefeuille d’attributs vérifiables.
Selon un mode de réalisation avantageux, lorsque le système de preuve en ligne comporte un registre de confiance, l'étape d’élaboration et de déclenchement de l’émission d’une requête en renouvellement d’un attribut vérifiable d’ores et déjà émis du premier sous-procédé peut comporter : une étape d’élaboration d’une requête en consultation d’identités digitales publiques d’entités émettrices du système de preuve en ligne et de déclenchement de l’émission de ladite requête à destination du registre de confiance ; une étape de réception d’un message de transmission émanant dudit registre de confiance et de lecture au sein de celui-ci d’une identité digitale publique d’entité émettrice véhiculée par ledit message ; une étape de production d’une nouvelle identité digitale du portefeuille d’attributs vérifiables en remplacement de la précédente ; une étape d’élaboration de la requête en renouvellement de l’attribut vérifiable d’ores et déjà émis à destination de l’entité émettrice dont l’identité digitale publique a été lue dans le message de transmission émanant dudit registre de confiance, ladite requête en renouvellement comportant l’attribut vérifiable à renouveler et la nouvelle identité digitale publique du portefeuille d’attributs vérifiables.
Selon ce mode de réalisation avantageux, afin de rendre accessible une telle nouvelle identité digitale publique du portefeuille d’attributs vérifiables aux autres entités électroniques du système de preuve en ligne, l’étape de production d’une nouvelle identité digitale du portefeuille d’attributs vérifiables peut consister en outre à élaborer une requête en mise à jour d’identité digitale publique à destination du registre de confiance, ladite requête véhiculant la nouvelle identité digitale publique issue de la nouvelle identité digitale signée à l’aide de la précédente identité digitale privée dudit portefeuille d’attributs vérifiables.
Pour prévenir toute constitution, par une entité électronique émettrice malveillante ou susceptible d’être la cible d’une attaque malveillante à dessein, d’un historique d’émissions d’attributs vérifiables d’un portefeuille d’attributs vérifiables, et donc in fine de l’internaute porteur de l’objet électronique qui héberge ledit portefeuille, l’étape de réception d’un message de transmission émanant du registre de confiance et de lecture au sein de celui-ci d’une identité digitale publique d’entité électronique émettrice véhiculée par ledit message peut consister en la sélection d’une identité digitale publique d’entité émettrice distincte de celle de l’entité électronique émettrice ayant émis l’attribut vérifiable à renouveler.
L’invention permet de prévenir toute exploitation future d’une instance antérieure d’un attribut vérifiable qui a fait l’objet d’un renouvellement, ladite instance antérieure pouvant faire l’objet d’une révocation publique au sein du système de preuve en ligne. Pour cela : le registre de confiance peut être agencé pour mémoriser tout attribut vérifiable révoqué ou une information caractéristique d’un tel attribut vérifiable révoqué en réponse à la réception d’une requête en révocation d’attribut vérifiable ; l’étape de gestion d’un nouvel attribut vérifiable fruit d’une requête en renouvellement peut comporter une étape d’élaboration d’une telle requête en révocation d’attribut vérifiable véhiculant l’attribut vérifiable ayant fait l’objet d’un renouvellement à destination du registre de confiance ou une informatique caractéristique de ce dernier.
Selon ce dernier mode de réalisation avantageux, afin de prévenir toute révocation illégitime, l’étape d’élaboration d’une telle requête en révocation peut consister en outre à signer ladite requête à l’aide de l’identité digitale privée dudit portefeuille d’attributs vérifiables.
Selon un mode de réalisation avantageux, l’étape de vérification de la signature de l’attribut vérifiable à renouveler du deuxième sous-procédé peut à son tour être précédée : d'une étape d’élaboration d’une requête en consultation d’identités digitales publiques d’entités électroniques du système de preuve en ligne et de déclenchement de l’émission de ladite requête à destination du registre de confiance ; d’une étape de réception d’un message de transmission émanant dudit registre de confiance et de recherche, au sein de celui-ci, de l’identité digitale publique de l’entité électronique émettrice de l’attribut vérifiable à renouveler.
De la même manière, l’étape de vérification de la signature de la requête en renouvellement par le portefeuille d’attributs vérifiables du deuxième sous-procédé peut être avantageusement précédée : d'une étape d’élaboration d’une requête en consultation d’identités digitales publiques d’entités électroniques du système de preuve en ligne et de déclenchement de l’émission de ladite requête à destination du registre de confiance ; d’une étape de réception d’un message de transmission émanant dudit registre de confiance et de recherche, au sein de celui-ci, de l’identité digitale publique du portefeuille d’attributs vérifiables.
Selon un mode d’application préféré, l’attribut vérifiable pouvant faire l’objet d’un processus de renouvellement selon l’invention peut caractériser la majorité de l’utilisateur de l’objet électronique hébergeant le portefeuille d’attributs vérifiables.
Selon un mode de réalisation préféré, pour chaque entité électronique d’un système de preuve en ligne adapté selon l’invention : l’identité digitale publique peut consister en une clé publique et un identifiant ; l’identité digitale privée consiste en une clé privée produite conjointement avec ladite clé publique, par la mise en œuvre d’un algorithme cryptographique asymétrique.
Pour chaque entité électronique d’un tel système, l'identifiant peut être un identifiant décentralisé dérivé de ladite clé publique par la mise en œuvre d’un algorithme cryptographique réversible, ladite identité digitale publique se réduisant ainsi en ledit identifiant décentralisé ou en ladite clé publique.
Pour adapter un système de preuve en ligne connu de sorte qu’il préserve l’anonymat des utilisateurs et préserve toute traçabilité des activités respectives de ces derniers, l’invention concerne en outre un premier produit programme d’ordinateur comportant une ou plusieurs instructions de programme exécutables par une unité de traitement d’un objet électronique hébergeant un portefeuille d’attributs vérifiables d’un système de preuve en ligne, lesdites instructions de programme étant : chargeables dans une mémoire dudit objet électronique hébergeant un portefeuille d’attributs vérifiables ; conçues de sorte que leur exécution par ladite unité de traitement provoque la mise en œuvre par ledit portefeuille d’attributs vérifiables d’un premier sous-procédé d’un procédé de renouvellement automatique d’un attribut vérifiable selon l’invention.
L’invention concerne alors également : un support de mémorisation lisible par un ordinateur comportant les instructions d’un tel premier produit programme d’ordinateur ; un objet électronique comportant une unité de traitement, des moyens de communication avec le monde extérieur et une mémoire enregistrant les instructions de programme d’un tel premier produit programme d’ordinateur.
Pour adapter un système de preuve en ligne connu de sorte qu’il préserve l’anonymat des utilisateurs et préserve toute traçabilité des activités respectives de ces derniers, l’invention concerne en outre un deuxième produit programme d’ordinateur comportant une ou plusieurs instructions de programme exécutables par une unité de traitement d’une entité électronique émettrice d’attributs vérifiables d’un système de preuve en ligne, lesdites instructions de programme étant : chargeables dans une mémoire de ladite entité électronique émettrice ; conçues de sorte que leur exécution par ladite unité de traitement provoque la mise en œuvre d’un deuxième sous-procédé d’un procédé de renouvellement automatique d’un attribut vérifiable selon l’invention.
L’invention concerne alors également : un support de mémorisation lisible par un ordinateur comportant les instructions d’un tel deuxième produit programme d’ordinateur ; une entité électronique émettrice d’attributs vérifiables comportant une unité de traitement, des moyens de communication avec le monde extérieur et une mémoire enregistrant les instructions de programme d’un tel deuxième produit programme d’ordinateur.
Enfin, l’invention concerne tout système de preuve en ligne comportant une pluralité d’entités électroniques respectivement agencées pour communiquer les unes avec les autres au sein dudit système dont : une entité électronique vérificatrice d’attributs vérifiables ; un portefeuille d’attributs vérifiables mis en œuvre par une unité de traitement d’un objet électronique détenu par un utilisateur, ledit objet électronique étant agencé selon l’invention et tel qu’exprimé précédemment ; une entité électronique émettrice d’attributs vérifiables agencée selon l’invention et tel qu’exprimé précédemment.
, d’ores et déjà décrite, illustre un exemple d’un système de preuve en ligne d’attributs vérifiables selon l’état de l’art ;
, d’ores et déjà décrite, illustre un exemple d’architecture fonctionnelle de toute entité électronique formant ledit système de preuve en ligne selon la ;
illustre un exemple d’un procédé de renouvellement automatique d’attributs vérifiables conforme à l’invention et mis en œuvre par un système de preuve en ligne d’attributs vérifiables ;
illustre un organigramme fonctionnel d’un premier sous-procédé d’un procédé de renouvellement automatique d’attributs vérifiables conforme à l’invention et décrit par la , ledit premier sous-procédé étant destiné à être mis en œuvre par un portefeuille d’attributs vérifiables d’un système de preuve en ligne tel que celui illustré par la ;