INPI-France/Brevets-Francais-2024-Chunked huggingface dataset:
Ainsi, en commandant les différents éléments du dispositif 100 comme décrit ci-dessus, le courant circulant dans le bus est surveillé avant le début de la précharge de la capacité de stockage 118, ce qui permet d’éviter la mise en œuvre d’une telle précharge si un court-circuit est détecté sur le bus. En outre, l’intégrité d’un éventuel fusible présent entre la source de tension 102 et le bus est préservée.
Lorsque la source de tension 102 doit être déconnectée du bus, par exemple lors de l’arrêt du véhicule, après (ou même pendant) la précharge de la capacité de stockage 118, le circuit de commande 124 met à l’état passant le troisième thyristor 120 et ouvre les premier et deuxième commutateurs 108, 110. La capacité de stockage 118 se décharge alors à travers la résistance de décharge 122 qui limite la valeur du courant lors de cette phase de décharge.
Un deuxième exemple de réalisation d’un dispositif 100 de détection de court-circuit est décrit ci-dessous en lien avec la .
Le dispositif 100 selon le deuxième exemple de réalisation comporte tous les éléments du dispositif 100 selon le premier exemple de réalisation précédemment décrit en lien avec la .
Outre ces éléments, le dispositif 100 selon ce deuxième exemple de réalisation comporte une diode Zener 130 dont l’anode est couplée à la gâchette du premier thyristor 112. La cathode de la diode Zener 130 est couplée à une borne d’un circuit RC comprenant une résistance 132 et un condensateur 134 et à l’anode du deuxième thyristor 114. Une deuxième borne du circuit RC est couplée à la cathode du premier thyristor 112.
Un chronogramme des signaux du dispositif 100 selon le deuxième exemple de réalisation, lors d’une détection de court-circuit préalablement à une connexion de la source de tension 102 au bus, est représenté sur la .
Sur ce chronogramme, les différents signaux représentés correspondent à ceux précédemment décrits en lien avec les figures 2 et 3, excepté le signal « VC2 » qui correspond à la tension aux bornes de la diode Zener 130.
Entre les instants 0 et t 1 , c’est-à-dire pendant la mesure initiale de la tension aux bornes de la capacité de stockage 118, la tension aux bornes de la diode Zener 130 reste nulle. Les autres signaux sont similaires à ceux précédemment décrits en lien avec les figures 2 et 3. Comme précédemment, si la tension aux bornes de la capacité de stockage 118 qui est déterminée pendant cette première phase est supérieure au seuil de court-circuit, cela signifie qu’un court-circuit n’est pas présent dans le circuit de courant continu. Le procédé peut alors directement passer à la phase de précharge de la capacité de stockage 118. Si par contre cette tension reste inférieure ou égale à cette valeur seuil, cela signifie que la capacité de stockage 118 n’est pas chargée électriquement ou qu’un court-circuit est présent dans le circuit de courant continu. Dans ce cas, le procédé ne passe pas à la phase de précharge et signale la détection d’un éventuel court-circuit.
Entre les instants t 1 et t 2 (phase de détection de court-circuit), le deuxième thyristor 114 est polarisé en inverse et conduit un faible courant de conduction inverse chargeant lentement la capacité de stockage 118. Ce courant de conduction inverse charge également le condensateur 134, augmentant ainsi la tension VC2 aux bornes de la diode Zener 130. La tension aux bornes de la capacité 118 est ensuite déterminée et si celle-ci est supérieure au seuil de court-circuit, la phase de précharge de la capacité de stockage 118 débute. Si celle-ci est inférieure ou égale au seuil de court-circuit, le deuxième thyristor 114 est bloqué et les commutateurs 108, 110 sont ouverts.
Sur l’exemple de la , à l’instant t 2 , la phase de précharge de la capacité de stockage 118 débute. Le premier thyristor 112 est mis à l’état passant via le signal de commande appliqué automatiquement sur la gâchette du premier thyristor 112 par la diode Zener 130 grâce à l’augmentation de la tension obtenue aux bornes de la diode Zener 130 lors de la phase de détection de court-circuit. L’instant t 3 représente symboliquement le passage à l’état bloqué du deuxième thyristor 114. Si un court-circuit avait été présent dans le circuit, le signal de commande appliqué sur la gâchette du deuxième thyristor 114 est retiré avant que la tension aux bornes du condensateur 134 n’atteigne la valeur de la tension de seuil de la diode Zener 130 afin d’éviter l’amorçage, et donc la mise à l’état passant, du premier thyristor 112.
L’instant t 4 visible sur la correspond à l’instant à partir duquel la valeur de tension de précharge souhaitée est atteinte aux bornes de la capacité de stockage 118. Le deuxième commutateur 110 est alors fermé, connectant ainsi la source de tension 102 au bus (le premier commutateur 108 reste fermé après l’instant t 4 ).
Comme dans le premier exemple de réalisation précédemment décrit, en commandant les différents éléments du dispositif 100 selon le deuxième exemple de réalisation, le courant circulant dans le bus est donc surveillé avant le début de la précharge de la capacité de stockage 118 qui est déclenchée automatiquement, et évite la mise en œuvre d’une telle précharge si un court-circuit est détecté sur le bus.
Le système informatique 10 comporte un simulateur radar 12 et un système de contrôle et de visualisation 14, ainsi qu’un dispositif d’affichage 16.
Le système 10 comporte en outre un composant d’enrichissement 20, disposé en coupure entre le simulateur radar 12 et le système de contrôle et de visualisation 14.
Le simulateur radar 12 est un logiciel dont l’exécution permet de simuler, en temps réel, le comportement et les interfaces d’un radar particulier, de préférence un radar aéroporté maritime, au cours de la réalisation d’une mission de surveillance.
En particulier, le simulateur radar 12 émet un flux de messages vidéo. Plus précisément, le simulateur radar 12 délivre périodiquement un message M contenant des informations vidéo.
Le format d’un tel message vidéo est défini par le radar qui est simulé par le simulateur radar 12.
Pour un radar maritime, un tel message comporte des informations générales et des informations d’écho, les informations d’écho comportant un niveau d’écho pour chaque case distance d’une pluralité de cases distance
Plus particulièrement, dans un mode de réalisation préféré, un tel message comporte :
- la position P du radar selon trois coordonnées (latitude, longitude, altitude) dans un référentiel terrestre ;
- la direction de visée D (donnée par exemple par un angle d’azimut par rapport à la direction du nord géographique) ;
- l’ouverture angulaire du radar, et, par conséquent, du domaine à afficher ;
- la distance de la première case distance dmin, le nombre N de case distance, et la résolution r en distance des cases distances ;
- enfin, pour chaque case distance (indexée par l’entier n entre 1 et N), une valeur représentant le niveau En de l’écho reçu par le radar.
Pour minimiser la taille des messages, on choisit par exemple de coder le niveau des échos sur un octet. La valeur nulle représentant l’absence de signal reçu et le niveau 255 correspondant au niveau maximum.
Le simulateur radar 12 émet des messages M de façon périodique avec une fréquence telle que les secteurs angulaires du faisceau radar correspondant à chaque message sont jointifs. Par exemple, si l’ouverture angulaire est de 0,5° et si l’antenne tourne à la vitesse de 20° par seconde, le simulateur radar 12 émet quarante messages vidéo à la seconde pour que les domaines élémentaires observés à chaque pas de temps soient jointifs.
Le système de contrôle et de visualisation 14 est un logiciel dont l’exécution permet notamment de générer les trames successives d’une vidéo radar à partir de messages d’informations vidéo brute reçus sur son interface d’entrée.
Le système de contrôle et de visualisation 14 est connecté au dispositif d’affichage 16. Il s’agit par exemple de l’écran d’une interface homme machine - IHM.
Le satellite, lorsqu’il reçoit le certificat envoyé par le segment sol de contrôle, peut l’authentifier à l’aide de la clé publique AC de l’AC qu’il possède déjà. Ceci permet de résoudre l’authentification initiale du sol par le satellite, et permet au satellite d’authentifier formellement la source du message qui contient le certificat.
Une fois que le satellite 404 possède la clé publique du segment sol, la communication pour les échanges ou pour l’établissement d’une clé secrète peuvent débuter.
Les messages montants sont authentifiés à bord du satellite via la signature avec la clé privée sol et la contresignature avec la clé publique à bord.
Pour les messages descendants, c’est la position orbitale du satellite (ou tout autre moyen physique lié au satellite) qui en authentifie la source.
La illustre de manière schématique l’établissement ou l’échange de clés secrètes entre un segment sol de contrôle 502 et un satellite 504, selon un mode de réalisation de l’invention.
Dans cette phase d’établissement ou d’échange d’une clé secrète entre le satellite et le centre de contrôle sol, les messages envoyés par le centre de contrôle sol sont signés avec la clé privée du centre de contrôle sol et contresignés par le satellite avec la clé publique du centre de contrôle sol. Le satellite en orbite, source des messages envoyés au centre de contrôle au sol, est authentifié par une de ses caractéristiques physiques, ce qui authentifie implicitement les messages envoyés par le satellite au centre de contrôle au sol.
Avantageusement, différents protocoles d’échange de clés de type mécanisme d'encapsulation de clé ou (KEM) pour « Key Encapsulation Mechanism » en anglais, peuvent être utilisés pour transmettre de manière sûre une clé de session au moyen d'un canal non sécurisé.
Plus généralement, tous les mécanismes asymétriques de signature, d’échange de clés ou d’établissement des clés utilisés peuvent indifféremment être basés sur des algorithmes asymétriques pré-quantiques (RSA, DSA, Diffie-Hellman, courbes elliptiques, etc. ou sur des algorithmes asymétriques post-quantiques (CRYSTAL-KYBER, CRYSTAL DILITHIUM, FALCON, SPHINCS+, etc.).
Dans un mode de réalisation, le mécanisme d’échange de clés consiste en ce que :
- le satellite 504 génère des clés secrètes symétriques (qui vont ensuite être utilisées pour sécuriser les liens TM/TC bord-sol) ;
- le satellite 504 chiffre les clés secrètes symétriques avec la clé publique sol du segment sol de contrôle 502 ;
- le satellite 504 envoie les clés secrètes chiffrées au segment sol de contrôle 502 ;
- le segment sol de contrôle 502 reçoit les clés secrètes chiffrées et authentifie l’origine de cette clé via la position orbitale du satellite 504 émetteur des clés chiffrées ;
- le segment sol de contrôle 502 déchiffre les clés secrètes avec sa clé privée sol ;
- le segment sol de contrôle 502 et le satellite 504 partagent un même jeu de clés secrètes qui leur permet alors d’effectuer les échanges TM/TC qui sont sécurisés (confidentialité et authenticité des messages) grâce aux clés secrètes partagées.
Selon d’autres modes de réalisation, des protocoles d’établissement de clés de type « Key Agreement » ou « Key Negotiation » peuvent être utilisés.
Avantageusement, le robot 2 initialise une séquence conversationnelle, notamment en langage naturel, oralement ou via une interface homme-machine (écran tactile etc.), avec un utilisateur du réseau robotique 1 pour aboutir à la définition E21 ou à la modification E21’ d’une règle. La séquence conversationnelle consiste de préférence en une succession d’interactions entre un robot 2 et un utilisateur du réseau robotique 1, notamment par l’intermédiaire d’un dialogue en langage naturel. Une telle séquence conversationnelle présente l’avantage de permettre à l’utilisateur de préciser la définition E21 ou la modification E21’ de règle parmi une très grande liste de règles issues de la combinaison de plusieurs étiquettes électroniques
Dans ce contexte, les étiquettes électroniques 3 permettent aux algorithmes de traitement du langage naturel utilisés de converger bien plus rapidement au travers de la séquence conversationnelle vers une règle satisfaisant les besoins de l’utilisateur, la règle devant nécessairement impliquer les étiquettes électroniques 3 de type identification et/ou couplées à l’étiquette électronique 3 de type action. Ainsi, les temps de traitement du langage naturel du robot 2 sont nettement réduits. Par ailleurs, une telle séquence conversationnelle permet également à des utilisateurs du réseau robotique non entrainés ou non-expert en programmation logicielle de formuler ou modifier simplement des règles, les étiquettes électroniques 3 permettant de manipuler la syntaxe de programmation comportementale.
Par exemple, un utilisateur disposant d’une étiquette électronique 3 de type paramètre et de sous-type grandeur physique « heure », une étiquette électronique 3 de type identification et de sous-type localisation « chambre » et d’une étiquette électronique de type action engendrant l’action « danser » secoue les trois étiquettes électroniques 3 ensemble dans ses mains pour réaliser un couplage E2.
Le robot 2 détecte alors une combinaison lors du couplage E2, et initialise une séquence conversationnelle en langage naturel avec l’utilisateur. Dans un premier temps, le robot 2 décrit à l’utilisateur son interprétation du couplage E2 des trois étiquettes électroniques 3 décrites ci-dessus, pour former un prototype de règle. Ici, le robot 2 a interprété un prototype de règle « danser dans la chambre à une heure donnée ». L’utilisateur peut ainsi confirmer la réussite du couplage E2.
Partant du prototype de règle, le robot 2 peut ensuite demander des précisions à l’utilisateur. Dans l’exemple décrit, le robot 2 demande à l’utilisateur « à quelle heure dois-je aller danser dans la chambre ? ». L’utilisateur peut alors répondre, ici par exemple, en répondant « neuve heure du matin ». Le dialogue se poursuit jusqu’à la convergence vers la règle imaginée initialement par l’utilisateur.
Autrement dit, lorsque l’utilisateur initie une séquence de programmation du robot au moyen, des étiquettes électroniques 3, comme décrit précédemment, le robot initie une séquence conversationnelle pour dissiper toute ambiguïté éventuelle. La séquence conversationnelle vise à converger vers une interprétation certaine et validée par l’utilisateur de l’action à réaliser, entraînant la programmation comportementale effective du robot qui va exécuter la règle imaginée par l’utilisateur.
Le robot génère des phrases au moyen d’un algorithme d’IA générative, notamment fondé sur un ou des algorithmes de traitement du langage naturel basé sur un grand modèle de langage, de type « LLM ». Les phrases ainsi générées sont synthétisées vocalement à l’attention de l’utilisateur ou sont affichées sur un écran, par exemple un écran tactile.
Les phrases générées sont conçues pour susciter des réponses brèves et claires.
Notamment, les phrases générées correspondent à des propositions de comportement et l’utilisateur sélectionne, via une réponse orale ou une sélection sur l’écran, le comportement souhaité pour le valider, autrement dit de sorte à confirmer la règle à implémenter par le robot.
La règle définie ou modifiée par l’intermédiaire d’une séquence conversationnelle comme décrite ci-dessus peut avantageusement être téléversée dans une étiquette électronique 3 de type action configurée pour que le robot 2 interprète l’activation E3 de ladite étiquette électronique 3 pour réaliser une action A correspondant à la règle issue de la séquence conversationnelle .
Dans le cas où l’étiquette électronique 3 est associée à un utilisateur du réseau robotique 1, ladite étiquette électronique 3, notamment de type identification, peut également être configurée pour transmettre un signal à l’utilisateur, par exemple par l’intermédiaire d’un signal haptique tel qu’une vibration. Un tel signal haptique peut par exemple permettre à l’utilisateur de déterminer le succès ou l’échec d’une étape du procédé de programmation comportementale, le signal pouvant être différencié en fonction de ladite étape pour correspondre soit à un couplage E2, à une définition E21 de règle, à une modification E21’ d’une règle, ou bien à l’activation E3 d’une étiquette électronique 3.
Avantageusement, le réseau robotique 1 comprend au moins une étiquette électronique 3 de type identification et de sous-type administrateur. L’élément 4 auquel une telle étiquette électronique 3 est associée dispose d’autorisations spécifiques au sein du réseau robotique 1, par exemple la possibilité de consulter le robot 2 pour vérifier les données en sa possession, les règles actuellement connues. Un tel utilisateur dispose ainsi de l’habilitation nécessaire, en particulier en cas de dysfonctionnement nécessitant un degré de compétence en développement logiciel supérieur.
On notera par ailleurs que l’invention n’est pas limitée aux modes de réalisations décrits précédemment. Il apparaîtra en effet à l’homme du métier que diverses modifications peuvent être apportées aux modes de réalisations décrits ci-dessus, à la lumière de l’enseignement qui vient de lui être divulgué.
Procédé de caractérisation d’une posture d’un objet mobile se déplaçant sur un axe de circulation Domaine technique de l'invention La présente invention concerne de manière générale le pilotage d’objets mobiles.
Elle s’applique plus particulièrement aux voitures et autres engins motorisés circulant sur routes, mais pourrait s’appliquer également à d’autres domaines tels que la robotique.
Le satellite n’a donc pas embarqué, avant le tir, un élément secret sensible qui nécessiterait d’être garanti en confidentialité pendant toute la séquence de préparation au tir au sol.
Le déploiement initial des certificats dans le satellite et au niveau du segment sol de contrôle selon le procédé décrit, garantit qu’un tiers (i.e. Eve) ne pourra jamais se faire passer pour le centre de contrôle et donc prendre le contrôle de satellite.
Une fois l’infrastructure PKI entièrement déployée, le satellite est dépourvu d’élément sensible. Le satellite n’a donc pas embarqué de secret initial avant sa mise en orbite.
Après la phase préliminaire, le satellite est mis en orbite. Un autre objet de l’invention est relatif à l’authentification entre un segment sol de contrôle et un satellite en orbite dont les certificats respectifs ont été initialement déployés selon le procédé de l’invention décrit pour la phase préliminaire.
La illustre de manière schématique le principe général du procédé d’authentification selon un mode de réalisation de l’invention. Les inventeurs désignent le principe par l’acronyme KARMAH pour « Key negotiAtion pRotocol with semi-Mutual AutHentication » en anglais, ou protocole de négociation de clés avec une authentification semi-mutuelle.
Un segment sol de contrôle 402 qui dispose (a) d’une clé privée sol et (b) de son certificat signé par une autorité de certification et qui contient sa clé publique sol (par la mise en place dans une phase préliminaire de l’infrastructure PKI selon l’invention), souhaite authentifier un satellite 404 en orbite, qui lui dispose d’un certificat auto-signé de la même autorité de certification et qui contient la clé publique AC de l’autorité de certification (toujours par la mise en place dans une phase préliminaire de l’infrastructure PKI selon l’invention).
Avantageusement, au lieu d’utiliser un secret initial pour authentifier le satellite comme dans les solutions de l’art antérieur, le segment sol de contrôle s’appuie sur des paramètres publics non confidentiels liés au satellite lui-même.
Différents types de paramètres publics peuvent être pris en compte par le segment sol de contrôle. On peut ainsi nommer, les exemples suivants :
- des éphémérides de satellite, c’est-à-dire des paramètres liés à sa position orbitale, comme le sont l’azimut et l’élévation dans le cas d’un satellite géostationnaire, et tel qu’illustré sur la ;
- des caractéristiques d’un signal modulé émis par un émetteur de télémesure ou par une balise du satellite visé. Ces caractéristiques de modulation sont désignées par le terme (RFF) pour « Radio Frequency Fingerprint » en anglais ou empreinte RF ;
- un doppler d’un signal modulé descendant, dans le cas de satellites défilants (en orbite terrestre basse ou (LEO) pour « Low Earth Orbit » en anglais) ;
- une signature thermique du satellite (sous condition que la station sol dispose d’un détecteur infrarouge suffisamment précis pour effectuer ce type de mesure).
Les paramètres physiques permettent, au segment sol de contrôle 402, d’authentifier de façon certaine le satellite 404 avec lequel il souhaite établir une communication sécurisée.
En effet, concernant les éphémérides, des organismes nationaux et internationaux, tels que les agences spatiales ou le commandement de la défense aérospatiale de l'Amérique du Nord (NORAD) pour « North American Aerospace Defense Command », sont chargés de cartographier le ciel vis-à-vis des objets en orbites. Il est donc impossible de positionner en orbite un satellite sans qu’il soit répertorié et caractérisé du point de vue de ses éphémérides.
L’authentification selon l’invention est dite semi-mutuelle, en ce que sur le canal de communication, seul le segment sol de contrôle s’authentifie par un moyen cryptographique vis-à-vis du satellite.
Le segment sol de contrôle 402 après avoir authentifié le satellite par un ou plusieurs paramètres physiques, lui envoie un message sol (406) signé avec sa clé privée sol qui contient son certificat sol signé par l’AC, et sa clé publique sol.
(Note supplémentaire 7)
Programme amenant un système d'ordinateur compris dans un appareil antenne comprenant une antenne qui émet et reçoit des signaux ; un équipement côté antenne qui émet et reçoit des signaux vers et à partir de l'antenne, et une base qui supporte de manière rotative l'antenne ; une bague collectrice qui émet et reçoit des signaux électriques vers et à partir de l'équipement côté antenne et d'un équipement côté base compris dans la base ; et un joint tournant optique qui émet et reçoit des signaux optiques vers et à partir de l'équipement côté antenne et de l'équipement côté base compris dans la base ;
dans lequel le programme amène l'ordinateur à exécuter un processus pour commander une amplification par l'amplificateur pour éliminer une quantité de variation d'un signal d'émission réel par rapport à une puissance souhaitée à un angle réel du joint tournant optique sur la base de l'angle réel du joint tournant optique et d'une relation de correspondance entre des angles respectifs du joint tournant optique et des quantités de variation de signaux d'émission par rapport à la puissance souhaitée aux angles respectifs.
Procédé d’estimation de la distance d’un élément par rapport à un véhicule La présente invention se rapporte au domaine de l’automobile et concerne plus particulièrement un procédé d’estimation de la distance d’un élément par rapport à un véhicule ainsi qu’un module de détection mettant en œuvre ledit procédé.
Dans un véhicule automobile, il est connu de proposer des fonctions basées sur la distance de l’utilisateur dudit véhicule, par exemple pour déverrouiller les ouvrants, à l’aide d’une clé, d’un badge ou d’un smartphone.
Historiquement, la technologie utilisée était basée soit sur des communications radiofréquences (RF) et basses fréquences (LF) entre le véhicule et une clé ou un badge, soit sur un capteur capacitif situé au niveau des poignées des ouvrants.
Toutefois, ces technologies ne permettent pas aujourd’hui d’offrir de nouvelles fonctions liées à la localisation, notamment par manque de précision. De plus, la technologie de capteur capacitif présente des défauts de fonctionnement liés à l’humidité, au gel ou aux interférences électriques.
Afin de pallier en partie ces inconvénients, la technologie Bluetooth® a été utilisée pour communiquer entre le véhicule et le smartphone de l’utilisateur.
La technologie Bluetooth® présente cependant des inconvénients en termes de sécurité et de précision.
A cette fin, l’invention a tout d’abord pour objet un procédé d’estimation de la distance d’un élément par rapport à un véhicule à partir d’un module de détection, ledit procédé comprenant les étapes, mises en œuvre par ledit module de détection :