INPI-France/Brevets-Francais-2024-Chunked huggingface dataset:
La valeur finale est obtenue pour chaque paramètre w j à partir des contributions des P participants. Par exemple, un opérateur mathématique de type moyenne ou moyenne pondérée est appliqué sur l’ensemble des contributions w 1j à w Pj reçues.
A l’étape 34 de comparaison, pour chaque participant d’indice k, de la contribution de ce participant et de la valeur finale du modèle de classification agrégé, est calculée une distance entre chaque paramètre proposé dans la contribution du participant d’indice k considéré et le paramètre final.
Par exemple, la distance est une différence en valeur absolue.
Si les paramètres sont présentés sous forme d’un vecteur, une distance vectorielle entre le vecteur de paramètres fourni par le participant d’indice k et le vecteur de paramètre final est calculée, par exemple une distance selon la norme L1 ou selon la norme L2 (distance euclidienne).
La mise à jour 36 du score de fiabilité est alors effectuée en fonction de la distance calculée, plus la distance étant grande, moins le score de fiabilité étant augmenté.
En d’autres termes, l’augmentation du score de fiabilité est d’autant plus élevée que la distance est faible.
Les autres étapes du procédé sont inchangées dans le cas b).
La demande concerne également un système d’apprentissage collaboratif dans un troisième mode de réalisation (non représenté), dans le cas où un calcul multipartite sécurisé est mis en œuvre.
Le calcul multipartite sécurisé (en anglais, secure multi-party computation ) , abrégé en MPC, est une branche de la cryptographie dont l'objectif est de permettre aux agents d’un système, adaptés à communiquer entre eux, de calculer conjointement une fonction sur leurs entrées, afin que les entrées restent privées et que le résultat soit exact.
Le système est une variante du système 2 de la , comportant dans cet exemple deux systèmes d’agrégation.
Bien entendu il s’agit d’un exemple, le nombre de systèmes d’agrégation n’étant pas limité à deux.
Les systèmes d’agrégation peuvent éventuellement être certains des participants 4 k ou des serveurs de calcul indépendants.
Le système d’apprentissage collaboratif met en œuvre un protocole MPC de type à partage de secret (ou « secret sharing » en anglais), dans lequel les données à partager, qui sont les contributions des systèmes de calcul 4 1 à 4 P participants sont partagées par des fonctions cryptographiques en deux fragments (en anglais « shares ») notés respectivement S1 et S2 pour chaque contribution.
Les fragments respectifs sont envoyés par chacun des systèmes de calcul participants à chaque système d’agrégation.
L’éjecteur de SIM 130 de la diffère des précédents en ce que la tige 132 n’est alors plus formée d’un seul tenant avec le grip 131.
Dans cet exemple de réalisation, seul le grip 131 est formé à partir du corps 110.
En revanche, la tige 132 est ici une tige réalisée indépendamment, et rattachée au grip 131, dans le corps du support, à un stage ultérieur.
Un tel mode de réalisation peut également être appliqué à la deuxième tige 136 représentée .
Ainsi, de même que précédemment, le grip 131 est relié au corps 110 du support pour former un éjecteur de SIM qui est un élément détachable du corps du support contenant la carte SIM.
Dans cet exemple de réalisation, la tige 132 peut ainsi être réalisée en métal, ou en tout autre matériau en fonction des propriétés voulues, en particulier des propriétés mécaniques, pour assurer une rigidité voulue pour la tige.
Dans cet exemple de réalisation, le grip 131 diffère des exemples précédents, comme illustré plus précisément, en particulier figures 5A.
En effet, le grip 131 comporte alors une fente 138 s’étendant depuis une partie de son pourtour 134.
Dans le présent exemple illustré, la fente 138 s’étend depuis le sommet 134d, mais le grip pourrait bien entendu avoir tout autre type de forme.
La fente 138 est configurée pour recevoir une partie de la tige 132 et la maintenir en position.
La fente 138 est par exemple traversante par commodité de réalisation.
Ainsi, elle peut être réalisée conjointement avec la découpe 135 qui entoure l’éjecteur de SIM.
En outre, l’évidement 135c de la découpe 135 est alors configuré pour laisser une place pour positionner la tige, et s’étend alors par exemple jusqu’à la fente 138.
Pour positionner, et maintenir en place, la tige 132 dans la fente 138, la tige 132 est par exemple collée.
Pour cela, notamment si la fente 138 est débouchante, le support 100 comporte par exemple une pastille 139 qui recouvre un côté de la fente 138, par exemple en face arrière 112 du support 100, comme illustré figure 5B et 5C. la fente 138 est ainsi fermée d’un côté.
Par la face avant 111 du support 100, il est alors possible d’introduire une goutte d’adhésif 140 dans la fente, comme par exemple de la colle, comme schématisé figure 5D.
- le mode appelant est un mode superviseur du processeur et le mode appelé est un mode hyperviseur du processeur.
- le mode appelant est un mode superviseur ou un mode hyperviseur du processeur et le mode appelé est un mode moniteur du processeur.
- le fichier appelant est un logiciel applicatif et le fichier appelé est un système d’exploitation.
- le fichier appelant est un système d’exploitation et le fichier appelé est un hyperviseur.
- le fichier appelant est un système d’exploitation ou un hyperviseur et le fichier appelé est un moniteur d’environnement d’exécution de confiance.
- le méta-modèle est défini par un « trait » du langage RUST, chaque modèle par une « structure » du langage RUST, et la fonction « interne » côté appelant ou côté appelé par une « fonction » du langage RUST.
- côté appelé, tous les modèles sont identiques et ne diffèrent donc pas du méta-modèle.
L’invention a également pour objet un fichier de librairie comportant un méta-modèle définissant un prototype pour les appels à des fonctions « externes » et une pluralité de modèles, chaque modèle correspondant à une instanciation du méta-modèle pour une fonction « externe » particulière et implémentant une interface côté appelant définissant une fonction dite « interne » côté appelant et une interface côté appelé définissant une fonction dite « interne » côté appelé.
La est une représentation schématique d’une structure possible des codes non-privilégié et privilégié permettant la mise en œuvre du procédé selon l’invention ; et,
La est une représentation schématique sous forme de blocs du procédé .
GENERALITES La représente schématiquement un programme dont l’exécution s’étend sur deux modes d’un processeur, soit un premier mode, dit mode non-privilégié – NP, soit un second mode, dit mode privilégié – P.
Le procédé selon l’invention s’appuie sur la fourniture d’un premier fichier source, ou fichier non-privilégiée - NP, destiné à être exécuté dans le mode non-privilégié et d’un second fichier source, ou fichier privilégié – P, destiné à être exécuté dans le mode privilégié.
Le fichier NP ou fichier appelant comporte un appel à une fonction externe, du fichier P ou fichier appelé.
Plus précisément, le procédé selon l’invention s’appuie sur un méta-modèle des appels à une fonction externe. Le méta-modèle exprime les aspects communs à tous les appels à des fonctions systèmes.
Le procédé selon l’invention s’appuie également sur une pluralité de modèles d’appel à une fonction externe. Chaque modèle de la pluralité de modèles est une instanciation du méta-modèle pour un appel à une fonction externe particulière.
La représente une première portion de voie de circulation dont l’état est neutralisé et une deuxième portion de voie de circulation dont l’état est sécurisé.
Un exemple d’un véhicule automobile 100 équipé d’un mode de réalisation d’un dispositif de modélisation d’un environnement tactique d’un véhicule automobile est décrit ci-après en référence à la .
Dans la suite du document, le terme d’environnement tactique du véhicule autonome 100 désigne les données environnementales du véhicule autonome 100 qui peuvent impacter une prise de décision tactique. Il peut s’agir des données environnementales susceptibles d’impacter une décision à prendre dans un intervalle de temps supérieur à la seconde et limité à dix une dizaine de secondes.
Le véhicule autonome 100 se déplace dans un environnement donné. Le véhicule autonome 100 comprend un système d’aide à la conduite 70 et un moyen de contrôle autonome 20 du véhicule autonome 100.
Le système d’aide à la conduite 70 transmet une commande de déplacement C au moyen de contrôle autonome 20. La commande de déplacement C peut comprendre une commande de déplacement longitudinal et/ou une commande de déplacement latéral. La commande de déplacement longitudinal peut comprendre une première consigne de couple destinée à un groupe motopropulseur du véhicule et/ou une deuxième consigne de couple destinée à un actionneur de freins du véhicule. La commande de déplacement latéral comprend un angle de rotation des roues directrices du véhicule autonome 100.
Le système d’aide à la conduite 70 comprend notamment un système 10 de modélisation de l’environnement tactique du véhicule autonome 100 et un module de décision 3. Le système 10 a pour rôle de construire une modélisation M_ENV_T de l’environnement tactique du véhicule autonome qui sera transmise au module de décision 3. La modélisation M_ENV_T permet au module de décision 3 de prendre une ou plusieurs décisions tactiques. Ces décisions seront ensuite traduites en commandes C de déplacement du véhicule autonome 100.
Le système 10 de modélisation de l’environnement tactique du véhicule autonome 100 comprend notamment les éléments suivants : - un moyen de stockage de données dans lequel est enregistré une carte haute définition 1 comprenant une description du réseau routier sur lequel le véhicule autonome 100 évolue, - un système de géolocalisation 2 permettant localiser le véhicule autonome 100 sur la carte 1, - un module 4 de construction d’une représentation géométrique des voies d’intérêt pour le véhicule autonome 100, - des moyens de perception 5 de l’environnement du véhicule autonome 100, - une unité de calcul 6 comprenant un microprocesseur 61, une mémoire électronique locale 62 et des interfaces de communication 63 permettant au microprocesseur 61 de recevoir des données issues du système de géolocalisation 2, module de modélisation géométrique 4 et des moyens de perception 5 et de transmettre des données au module de modélisation géométrique 4.
La carte 1 fournit une description géométrique, topologique et sémantique du réseau routier.
En particulier, la carte 1 comprend les informations nécessaires pour déterminer, à partir d’une position du véhicule autonome 100 déterminée par le système de géolocalisation 2, tous les chemins possibles dont le point de départ est déterminé par ladite position.
Le réseau routier décrit par la carte 1 comprend des routes décomposées en voies de circulation. Les voies de circulation sont elles-mêmes décomposées en segments de voies ; la carte 1 associe un identifiant à chaque segment de voie.
Dans la suite du document, les termes « voie » ou « voie de circulation » font référence à un segment de voie associé à un identifiant unique défini par la carte 1.
La géolocalisation du véhicule autonome 100 par le système de géolocalisation 2 consiste à déterminer un identifiant d’une voie sur laquelle circule le véhicule autonome 100, et la position du véhicule sur ce segment de voie.
La fournit une description haut niveau des traitements mis en œuvre dans le système d’aide à la conduite 70, concernant une prise de décision de niveau tactique. Le traitement se décompose en une perception X1 de l’environnement du véhicule autonome 100, puis une structuration X2 de la perception, puis une prise de décision X3 à partir de la perception structurée.
Ainsi, à partir d’une perception X1 de l’environnement tactique du véhicule autonome 100, notamment sur réception de données D_ENV issues de l’ensemble de moyens de perception 5, le système d’aide à la conduite 70 crée un modèle structuré M_ENV_T de l’environnement tactique du véhicule autonome 100, et transmet le modèle structuré M_ENV_T au module de décision 3.
Procédé de réduction de bruit de signaux RADAR et calculateur associé La présente divulgation relève du domaine de la réduction de bruit sur les signaux radiofréquence impulsionnels réfléchis par une cible, notamment lorsque la cible se déplace.
Dans tout le texte, le terme « radiofréquence » se rapporte à un signal, ou une impulsion, dont la fréquence de la porteuse est comprise entre 3 kHz et 300 GHz. De préférence, la fréquence de la porteuse est comprise, dans l’invention, entre 5 GHz et 20 GHz, plus préférentiellement entre 5 GHz et 10 GHz.
Les signaux radiofréquence impulsionnels sont couramment utilisés, notamment dans le domaine de l’automobile, pour détecter la présence d’un objet ou d’une personne dans un environnement. Pour ce faire, des signaux radiofréquence impulsionnels sont émis par un capteur en direction de l’environnement à étudier puis reçus par celui-ci après réflexion des signaux dans l’environnement. Il est ainsi possible, par exemple en évaluant la différence de temps entre l’émission du signal radiofréquence et la réception du signal réfléchi, d’évaluer la distance entre le capteur et une cible. Il est également possible de détecter et mesurer un mouvement de ladite cible, notamment un mouvement d’approche et/ou d’éloignement relativement au capteur. On parle alors de détection de geste.
La détection de gestes à l’aide de signaux radiofréquence impulsionnels pose problème car les signaux radiofréquence à analyser comprennent, en plus du signal utile réfléchi par la cible, des signaux parasites. Ces signaux parasites comprennent notamment des réflexions provenant de l’environnement autour de la cible, ou encore une partie d’un signal radiofréquence émis vers la cible et circulant directement vers un élément de détection au sein du capteur, sans passer par la cible. Les signaux parasites peuvent masquer le signal utile et/ou être confondus avec ce dernier. Ainsi, les signaux délivrés par le capteur ne sont pas directement exploitables pour la détection de geste et doivent être nettoyés des signaux parasites gênant les mesures. Autrement dit, il est nécessaire de réaliser un filtrage du bruit, où le bruit correspond auxdits signaux parasites.
Une solution consiste à utiliser un filtre passe-haut pour filtrer les signaux à basse fréquence, en considérant que le signal utile est associé à un mouvement rapide, haute fréquence, tandis que le bruit correspond à des variations lentes, basses fréquences. Cette solution nécessite donc de faire un compromis entre la capacité à détecteur un geste lent et le filtrage efficace du bruit. Une fréquence de coupure trop haute empêchera ainsi de détecter un geste lent, tandis qu’une fréquence de coupure trop basse ne filtrera pas suffisamment le bruit. Résumé
La présente divulgation vise à remédier au moins en partie aux inconvénients de l’art antérieur.
Un but de l’invention est également de proposer une solution permettant de réduire le bruit dû aux signaux parasites sans filtrer une partie au moins d’un geste que l’on souhaite détecter. Il est proposé un procédé de filtrage du bruit, destiné à être mis en œuvre sur un ensemble de signaux d’amplitude élémentaires provenant chacun d’un capteur, ledit capteur étant configuré pour : - émettre des impulsions radiofréquence dites émises, en direction d’une cible, et de manière périodique avec une période d’émission d’impulsions prédéterminée, et ; - mesurer l’amplitude d’un signal radiofréquence reçu provenant notamment de la réflexion sur ladite cible des impulsions radiofréquence émises, le signal radiofréquence reçu étant constitué de signaux élémentaires reçus associés chacun à l’une respective des impulsions radiofréquence émises, l’amplitude de chacun des signaux élémentaires reçus étant mesurée pour une pluralité de fenêtres d’échantillonnage et sur une plage temporelle prédéterminée ayant pour origine un instant d’émission de l’impulsion radiofréquence émise correspondante, chaque fenêtre d’échantillonnage étant associée à un indice i qui se rapporte à un écart à l’origine de la plage temporelle correspondante.
Le procédé selon l’invention est mis en œuvre par au moins un calculateur, et le procédé comprenant : la réception, par ledit calculateur, d’une pluralité de signaux d’amplitude élémentaires, chaque signal d’amplitude élémentaire étant représentatif de l’amplitude d’un signal élémentaire reçu correspondant la sélection d’une pluralité de signaux parmi les signaux d’amplitude élémentaires, reçus à l’étape a., pour former un sous-ensemble prédéterminé de signaux d’amplitude élémentaires, pour chaque fenêtre d’échantillonnage d’indice i , le calcul d’un indicateur de variation des signaux d’amplitude élémentaires dudit sous-ensemble, lorsque chacun parmi un nombre prédéterminé d’indicateurs de variation est inférieur à un seuil prédéterminé, la mise à jour d’un vecteur de bruit , ladite mise à jour comprenant : d1. le calcul, pour chaque fenêtre d’échantillonnage d’indice i , d’une moyenne M(i) pour ledit sous-ensemble de signaux d’amplitude élémentaires , et d2. la construction d’un nouveau vecteur de bruit, où chaque composante du vecteur de bruit est associée à l’une des fenêtres d’échantillonnage d’indice i , et où chaque composante du vecteur de bruit prend une valeur fonction de la moyenne M(i) calculée à l’étape d1 et associée à la même fenêtre d’échantillonnage d’indice i , et pour l’un au moins des signaux d’amplitude élémentaires, calcul d’un signal élémentaire corrigé en soustrayant audit signal d’amplitude élémentaire, et pour chaque fenêtre d’échantillonnage d’indice i , la composante correspondante du vecteur de bruit.
Selon l’invention, on distingue deux cas. Dans un premier cas, le signal d’amplitude varie peu, d’un signal élémentaire à l’autre, ce qui indique que la cible n’est pas en déplacement. Puisque la cible n’est pas en déplacement, le signal d’amplitude correspond essentiellement à du bruit, de sorte que les valeurs moyennes d’amplitude de ce dernier sont utilisées pour mettre à jour le vecteur de bruit. Ce premier cas correspond à un nombre suffisant d’indicateurs de variation qui sont chacun inférieur au seuil prédéterminé, de préférence tous les indicateurs de variations sont chacun inférieur au seuil prédéterminé. Le seuil prédéterminé peut être le même, pour chaque fenêtre d’échantillonnage considérée. En variante, ce seuil peut varier en fonction de la fenêtre d’échantillonnage considérée.
Dans un second cas, le signal d’amplitude varie fortement, d’un signal élémentaire à l’autre, et sur au moins une fenêtre d’échantillonnage. On en déduit que la cible est en déplacement, de sorte que le signal d’amplitude comporte à la fois du bruit, et du signal utile. Dans ce cas, le vecteur de bruit n’est pas mis à jour.
Dans tous les cas, le vecteur de bruit est ensuite utilisé pour filtrer le signal parasite.
Ainsi, dans le procédé selon l’invention, le filtrage utilise un vecteur de bruit dont les composantes sont mises à jour en temps réel. Cela permet d’adapter le filtrage à des évolutions de l’environnement extérieur et du signal parasite, au cours du temps. On s’assure ainsi d’offrir à chaque instant un compromis optimal entre la capacité à détecteur un geste lent et le filtrage efficace du bruit. Par conséquent, le procédé décrit ci-dessus permet d’améliorer significativement le rapport signal sur bruit des signaux radiofréquence destinés à être utilisés pour détecter des mouvements, notamment pour détecter des gestes d’un utilisateur destiné à piloter une ouverture d’un ouvrant de véhicule automobile.
En outre, le procédé décrit ci-dessus propose de réaliser un filtrage, en retranchant au signal utile (ici un signal d’amplitude élémentaire) un vecteur de bruit dont chaque composante est associée à une fenêtre d’échantillonnage prédéterminée. L’utilisation d’un vecteur de bruit, permet d’affiner le filtrage en offrant un seuil de filtrage qui dépend d’un écart à l’instant d’émission de l’impulsion émise correspondante. On peut ainsi prendre en compte des caractéristiques propres à l’environnement, lequel peut être plus ou moins bruité selon l’emplacement considéré (c’est-à-dire selon la distance au capteur, laquelle se rapporte à un écart à l’instant d’émission d’une impulsion émise). Cela permet notamment de s’affranchir d’un signal parasite très haute intensité, correspondant à une partie du signal émis qui arrive directement sur la zone de détection du capteur sans avoir été réfléchi d’abord sur la cible, sans que cela n’affecte le signal utile.
Enfin, dans l’art antérieur, le filtrage utilise un filtre de type circuit RLC ou filtre numérique. Un tel filtre n’est opérationnel qu’après un intervalle de temps prédéterminé, nommé temps de latence, lié à sa constante de temps τ. Dans l’invention, le filtrage utilise plutôt des soustractions sur un signal. On s’affranchit ainsi du temps de latence avant que le filtrage ne soit opérationnel.
Dans un mode de réalisation, chacune des composantes Gi du vecteur de bruit est calculée comme suit : Gi=M(i) + C(i) avec M(i) la moyenne associée à la fenêtre d’échantillonnage d’indice i, pour le sous-ensemble prédéterminé de signaux de signaux d’amplitude élémentaires ; et C(i) une constante positive ou nulle.
De préférence, la constante C(i) est non nulle. On rajoute ainsi une constante à chaque composante du vecteur de bruit afin de prendre en compte certaines au moins des variations des signaux en l’absence de mouvement. On améliore ainsi encore le rapport signal sur bruit des signaux corrigés.
La fonction « sys_print » est une fonction « interne » permettant d’interroger l’interface P et de lancer l’exécution de la fonction système au travers de l’utilisation de la méthode « syscall » d’une instance « ctx » du trait « Context », la méthode « syscall » générique étant ici spécifique à une structure de données « T » respectant le modèle « SysPrint ».
Lors de la compilation du code source côté P, le compilateur vérifie que le contrat de la fonction « sys_print » est respecté, c’est-à-dire le contrat défini par le trait « SysCall »
Ainsi, la vérification par le compilateur du contrat de la fonction « interne » conduit toujours à une vérification positive, tout en étant certain que l’appel à la fonction système reçu est conforme au contrat de la fonction système, grâce à l’implémentation correcte du modèle.
PROCEDE La représente un mode de réalisation du procédé 200 de génération d’un fichier exécutable selon l’invention.
Dans une étape 210, est fournie une librairie comportant le méta-modèle définissant un prototype pour les appels à des fonctions « externes » et une pluralité de modèles, chaque modèle correspondant à une instanciation du méta-modèle pour une fonction « externe » particulière. Chaque modèle définit une interface NP, respectivement une interface P, pouvant être interrogée par une fonction dite « interne » NP, respectivement une fonction dite « interne » P.
L’étape 220 suivante consiste à éditer un fichier source côté NP (respectivement P), comportant un appel à la fonction « interne » NP (respectivement P), l’exécution par l’interface NP (respectivement P), de la fonction « interne » NP (respectivement P) consistant à appeler la fonction « externe » associée audit modèle et à renvoyer le résultat de l’exécution de ladite fonction « externe ».
Une fois le code source édité, il est compilé (étape 230) avec la librairie fournie à l’étape 210. Le compilateur vérifie que l’appel de la fonction « interne » NP (respectivement P) est conforme au contrat de la fonction « interne » non-privilégié NP (respectivement P). La conformité au contrat de la fonction système « externe » étant garantie par construction du modèle associé à cette fonction « externe », de sorte que le fichier exécutable NP (respectivement P) obtenu est cohérent.
VARIANTES et GENERALISATION Un processeur possède différents modes d’exécution. Chaque mode a des privilèges ou droits (accès aux registres, instructions, etc.).