Thales Patente

The present invention provides a method for online biometric trait enrollment of a user, wherein the method comprises the steps of:• providing, by the user, identifying information during an online enrollment session through a personal device,• capturing, during the online enrollment session, by a built-in camera of the personal device, a first picture comprising the face of the user, and a second picture comprising the face of the user and a biometric trait of the user,• capturing, during the online enrollment session, by the built-in camera of the personal device or a secondary camera, a third picture comprising the biometric trait of the user,• assessing whether the face and the biometric trait of the second picture belong to the same person, whether the faces in the first and second pictures belong to the same person, and whether the biometric traits in the second and third pictures belong to the same person, and• if positive, associating the biometric trait of the third image with the user and enrolling the user with the associated biometric trait.

The present invention relates to a method for automatically verifying the correctness of a target computer program, said target computer program being defined by first code instructions in a given programming language, characterized in that it comprises performing, by a data processing unit (21) of a server (2), steps of: (a) Obtaining a collection of mathematical proof obligations, the truth of which implies correctness of the target computer program; (b) Constructing a set of proof strategies, each strategy being defined as a sequence of at least one elementary strategy based on a proof tactic and/or at least one automated prover run, for attempting to discharge at least one of said proof obligations; (c) Selecting a priority proof strategy among said set of proof strategies according to a given criterion; (d) Applying the selected priority proof strategy so as to attempt to discharge at least one of said proof obligations; (e) Determining whether the correctness of said target computer program is verified as a function of the proof obligations that have been successfully discharged.

A data carrier with a top surface and a bottom surface, said data carrier comprising: - a metal layer; - at least one electronic module; - at least one antenna; wherein the data carrier comprises at least a first tempered glass layer, said tempered glass layer being located between the metal layer and the at least one antenna.

The invention is a method implemented by an electronic apparatus (10) hosting a first application (11) able to perform payment transactions in conjunction with a terminal (20). The method comprises the steps of: obtaining, by the first application, first transaction data (D1) reflecting processing of a first payment transaction; retrieving by a hub application (18) hosted in the electronic apparatus, said first transaction data in a first format specific to the first application; converting and storing, by the hub application, in a memory (19) of the electronic apparatus, said first transaction data in a unified format different from said first format; and in response to receiving an export command (64) from a rendering device (15, 60), selecting, by the hub application, an export format based on the export command, then exporting a subset (40) of said first transaction data to the rendering device in said export format.

The present invention relates to a method for protecting the execution of SM4 cryptographic process against side-channel attacks by applying 32-bits masks to the inputs of the cryptographic operation and to the round keys. In order to make such a masking compatible with the 8-bit Sbox used by the tau transformation, the present invention generates all masks for all inputs and round keys from a single mask by applying to it a circular permutation shifting the mask to the right or the left by n*8 bits, with n in {0, ...,31} to get masked input values X' and masked round keys RK' such that when computing the value X'_i+1⊕X'_i+2⊕X'_i+3⊕RK'_i the result will be a 32-bits word composed of four 8-bit chunks all masked by the same mask M₀_xor. Then the invention replaces the Sbox to be used in SM4 algorithm by a masked Sbox, called SboxM incorporating M_0xor as input mask and another predefined mask as output mask.

The invention provides a method for detecting a side channel attack on an integrated circuit (100). For each input command received (400) and processed (401) by the integrated circuit, obtaining (403) at least a first piece of information and a second piece of information, and these pieces of information are accumulated (404) for N input commands. Input values are determined (405), comprising a first input based on the first pieces of information and a second input based on the second pieces of information. A classification model is applied (406) to the determined input values to output a classification result and a side channel attack is detected (407) based on the classification result. The first and second pieces of information are of different information types.

La présente invention concerne une méthode de positionnement satellitaire GNSS mettant en œuvre plusieurs satellites et plusieurs récepteurs GNSS comprenant une étape d'initialisation (110,120) dans laquelle chaque récepteur GNSS estime de manière indépendante sa position initiale et les positions des satellites qu'il a en visibilité, une étape estimation (130) initiale (X̂(0)) d'un vecteur d'état étendu (X), par concaténation d'un premier vecteur d'état (X_RX) donnant les positions et les décalages d'horloge des récepteurs GNSS et d'un second vecteur d'état (X_SAT) donnant les positions des différents satellites, et, jusqu'à ce qu'un critère d'arrêt (170) soit satisfait, une séquence d'itérations successives, chaque itération comprenant une étape de mesure (140) par chaque récepteur GNSS (RX_i) des pseudodistances (ρ_i,j) relatives à chaque satellite en visibilité, une étape de construction (150) d'un vecteur d'observation étendu (Y) donnant lesdites pseudodistances pour chacun des récepteurs GNSS et les positions des satellites (Y_SAT) en visibilité de chaque récepteur, une étape de mise à jour (160) d'une estimation du vecteur d'état étendu, les positions des récepteurs GNSS et/ou les décalages de leurs horloges internes respectives étant donné(e)s par l'estimation du vecteur d'état étendu obtenue à la dernière itération.

La présente invention concerne une méthode de vérification de l'intégrité de mesures GNSS effectuées par une pluralité de récepteurs GNSS embarqués sur des plateformes mobiles connectées. Dans une première étape, on construit (110, 120) un premier vecteur d'observation (Y^sat) donnant, pour chaque récepteur GNSS, les pseudodistances satellitaires et un second vecteur d'observation (Y^rαd ) donnant, pour chaque émetteur/récepteur radio, les pseudodistances radio, ces deux vecteurs d'observation étant agrégés pour former un vecteur d'observation hybride (Y). On calcule ensuite (140) une matrice géométrique globale (H_G) permettant de passer d'un vecteur d'état (X) représentatif des positions et décalages d'horloge interne desdits récepteurs GNSS embarqués au dit vecteur d'observation hybride (Y). On détermine enfin (150) une matrice de parité (Π) associée à la matrice géométrique globale, et on en déduit (160) la valeur d'une variable de décision (T) comme norme quadratique de la projection du vecteur d'observation hybride (Y) sur l'espace de parité. Ladite valeur de la variable de décision est alors comparée (170) à un seuil prédéterminé (s) pour décider si les mesures GNSS sont corrompues (180) ou intègres (190).

La présente invention concerne une méthode de positionnement satellitaire mettant en œuvre une pluralité (M) de satellites et une pluralité (N) de plateformes mobiles connectées, chaque plateforme embarquant un récepteur GNSS ainsi qu'un émetteur/récepteur radio. Après une étape d'initialisation (110-130), la méthode comprend une pluralité d'itérations, chaque itération comprenant une étape de mesure (140) de pseudodistances satellitaires ( ρi,jsat) pour chaque satellite que chaque plateforme a en visibilité, ainsi que les pseudodistances radio ( ρi,nrad), qui sépare des autres plateformes. Un vecteur d'observation hybride (Y) est construit (150) à partir des pseudodistances satellitaires et les pseudodistances radio mesurées par la pluralité des plateformes mobiles. A chaque itération, une estimation du vecteur d'état global est ensuite mise à jour (160) à partir de l'estimation de ce vecteur obtenue à l'itération précédente, du vecteur d'observation hybride (Y(t)) construit à l'étape courante et d'une matrice géométrique globale (H_G) dépendant des vecteurs directeurs (u_i,j) des droites joignant chaque plateforme aux que des vecteurs directeurs (v_i,n) des droites joignant chaque plateforme aux autres plateformes. Les positions des plateformes et/ou les décalages de leurs horloges internes respectives sont donné(e)s par l'estimation du vecteur d'état global obtenue à la dernière itération.

The invention is a method for detecting the source of a digital currency fraud, in which a server retrieves both a first currency token (T1) and an associated first signature (SG1) from a first element (SE1) and both a second currency token (T2) and n associated second signature (SG2) from a second element (SE2), both said first and second currency tokens containing a funding currency token (T3) originated from a third element (SE3),the server detects the existence of the digital currency fraud by identifying an anomaly between said first and second tokens, then determines, as a result of a verification of said first and second signatures, if the first token is a fake token created by the first element, if the second token is a fake token created by said second element or if the third element has unduly spent the funding currency token twice.

La présente invention concerne un procédé de vérification d'intégrité des mesures acquises par une pluralité de récepteurs GNSS, comprenant les étapes suivantes : - pour chaque récepteur GNSS : + détermination (110) d'un vecteur de résidus à partir des mesures GNSS acquises par ce récepteur dans une fenêtre temporelle correspondante ; + détermination (130) d'une matrice élémentaire de covariance des résidus à partir dudit vecteur de résidus ; - composition (140) d'une matrice globale de covariance ; - détermination (150) d'une variable de test à partir de cette matrice de covariance ; - comparaison (160) de la variable de test avec un seuil prédéterminé. La dimension de chaque vecteur de résidus et de chaque matrice élémentaire de covariance est adaptée en fonction du nombre de satellites visibles par le récepteur GNSS correspondant.

A connection device (1) for connecting to a data device (2) and to a secure article (3) is connectable to the data device (2) and to the secure article (3) such, that the data device (2) is connectable to the secure article (3) via the connection device (1). The connection device (1) comprises at least one security element (4) that is configured to exhibit at least one response spectrum (5) upon illumination with electromagnetic radiation (R). The security element (4) is configured and arranged such, that its response spectrum (5) is representing at least one response code (6) that is comparable with at least one reference response code, and wherein a match between the response code (6) and the reference response code is indicative of an authenticity of the connection device (1).

Ce dispositif électronique (25) de sécurisation d'échange(s) de données au sein d'une installation avionique de communication (10) comprend :- un module (42) d'acquisition d'au moins un message de données ;- un module (44) de traitement de l'au moins un message via la mise en œuvre d'au moins une fonction parmi une fonction de filtrage du message, une fonction de détection d'un comportement malveillant et une fonction de réaction à un comportement malveillant ;- un module de restitution (46) pour effectuer au moins une action associée à un résultat obtenu via l'au moins une fonction.Chaque fonction comporte un ensemble de règle(s) fonctionnelle(s) obtenu via la mise en œuvre d'un algorithme d'intelligence artificielle comportant un arbre de décision à logique floue ou un réseau de neurones à fonction de base radiale ; chaque règle fonctionnelle étant configurée pour associer une valeur de sortie à plusieurs valeurs d'entrée discrétisées.

La présente invention concerne un dispositif avionique (4) comprenant au moins des ressources matérielles (20) stockant un hyperviseur (34) configuré pour :- générer au moins une partition logicielle critique (44) associée à au moins une partie des ressources (20) et configurée pour exécuter une fonction logicielle critique,- générer au moins une partition logicielle non-critique (46) associée à au moins une partie des ressources (20) et configurée pour exécuter une fonction logicielle non-critique,- exécuter, sur une durée prédéfinie, les partitions (44, 46) en leur allouant l'au moins une partie des ressources (20) associées,- générer et exécuter une partition logicielle de gestion (48) configurée pour :o recevoir au moins une fonction logicielle et la stocker dans les ressources (20),o remplacer la fonction des partitions (44, 46) par une fonction stockée, et∘ ordonner à l'hyperviseur (34) d'exécuter, sur la durée prédéfinie, les partitions (44, 46)

La présente invention concerne un codeur magnétique incrémental (10) comprenant un corps fixe et un corps mobile.L'un des corps, dit premier corps (21), comprend :- une première composante dentée s'étendant selon une direction longitudinale et une direction circonférentielle, l'une desdites directions correspondant une première direction de codage ;l'autre corps, dit deuxième corps (22), comprend :- une deuxième composante dentée définissant une dent faite en matériau magnétique ou ferromagnétique et disposée en regard de dents de la première composante dentée ;- une paire de bobines magnétiques configurée pour mesurer chaque variation d'inductance entre la première composante dentée et la deuxième composante dentée, pour quantifier chaque mouvement du corps mobile selon la première direction de codage.

The present invention discloses a computer-implemented method for image segmentation of an input image of a target domain, the method comprising:- an inference phase to output an image segmentation mask of the input image, the inference phase comprising at least an encoding step performed by a pre-trained encoder, and a classification step performed by a few-shot classifier operating a few-shot model, the few-shot model being trained during a training phase on a set of source labeled images;- an adaptation phase to adapt the few-shot model online during the inference phase, the adaptation using a set of mixed-up images obtained by combining selected input images of the target domain coarsely annotated with labeled images of the source domain.

The invention relates to a smartcard dual-interface module comprising an IC (300) and a single side PCB (100) comprising a conductive layer and an insulating layer. The conductive layer is engraved with a first and second series of contact areas (101 to 106, A1, A2). The first series of contact areas (101 to 106) are intended to be connected to a contact reader. The second series of contact areas (A1, A2) being intended to connect an antenna (610) located inside a smartcard body (600). The first and second series of contact areas (101 to 106, A1, A2) are connected to the IC (300) by means of wires (400) crossing the insulating layer through holes (201, 202). The insulating layer comprises a single hole (202) for each contact area of the second series of contact areas (A1, A2) for connecting both the antenna (610) and the IC (300).

A data carrier (1) for a secure article (1000) extends along an extension direction (E) and comprises a carrier body (2), at least one lens array (3), and at least one security element (4). The lens array (3) is arranged above the security element (4) with respect to the extension direction (E) and the security element (4) is arranged within the carrier body (2). The lens array (3) and the security element (4) are configured such, that an appearance of the security element (4) changes depending on a viewing angle (α1; α2) under which the data carrier (1) is viewed. The data carrier (1) comprises at least one laser marking (5), and wherein, when seen along the extension direction (E), the laser marking (5) extends from the lens array (3) at least partially through the carrier body (2) towards the security element (4).

A semi-finished product (1) for a data carrier (100) for a secure article comprises a carrier layer (2) and at least one metallization (3). The metallization (3) is arranged on the carrier layer (2) with respect to an extension direction (Es) of the semi-finished product (1). The metallization (3) is configured to change an appearance upon irradiation of electromagnetic radiation for producing at least one security element (11). The carrier layer (2) comprises or consists of at least one polycarbonate.

Disclosed are a method and a system for detecting collision between at least two areas on a body of a smart card. Exemplary method comprises designating a first area, on the body of the smart card, where a user is allowed to customize by placing object(s). The method further comprises designating exclusion zone(s), within the first area, where customization by the user is prohibited. The method further comprises receiving a user input corresponding to placement of the object(s), detecting whether there is a collision between any exclusion zone(s) and any object(s), and in response to the detected collision, generating a prompt for the user to adjust a corresponding position of a colliding object within the first area to avoid collision with any of the exclusion zone(s).

La présente invention concerne un procédé de calcul pour l'inférence d'un réseau de neurones convolutifs implémenté sur une plateforme de calcul multi-cœurs, chaque cœur comprenant une mémoire de cœur locale de capacité 'Cm' et une unité de calcul, les cœurs étant regroupés en groupes de cœurs, tel que dans un groupe, un cœur est assigné aux calculs des opérations neuronales et est connecté via des liens de voisinage à au moins un cœur voisin immédiat. Le procédé comprend lors d'une inférence, des étapes consistant à précharger un sous-ensemble d'opérandes requises pour effectuer une opération neuronale, dans les mémoires de cœurs locales des groupes de cœurs, les mémoires de cœurs locales d'un groupe de cœurs définissant une mémoire de groupe locale avec une capacité 'CM' égale à la somme des capacités 'Cm' des mémoires de cœur locales des cœurs appartenant à un même groupe ; et à exécuter l'opération neuronale, en transmettant vers les groupes de cœurs, des opérandes complémentaires aux opérandes préchargées en mémoire de groupe locale, et en effectuant par l'unité de calcul desdits cœurs de calcul assignés, l'opération neuronale avec l'ensemble des opérandes préchargées et complémentaires.

The invention proposes a method for updating over-the-air applications comprised in electronic components of a connected device, the updating being performed by an update server, the method comprising:- if the execution of at least one application update fails in a component, for each of the components, restoring the previous version of its application;- if the update procedure is correctly executed in all the components of the device, finishing the updating.

L'invention concerne une sphère intégrante comprenant un corps délimitant une chambre d'intégration et étant pourvu d'au moins deux fenêtres d'accès à la chambre d'intégration depuis l'extérieur du corps. Selon l'invention, le corps de la sphère intégrante comprend au moins un canal de refroidissement pour la circulation d'un fluide caloporteur.

Cette infrastructure (100), qui fédère des ressources partagées par des partenaires (MNP1, MNP2, MNP3) opérant différentes infrastructures locales, comporte, dans chaque infrastructure locale, une entité locale (10, 20, 30) pour contrôler les ressources locales et une entité centrale (40). L'entité centrale tient à jour un catalogue des ressources partagées et un engagement de chaque ressource partagée ; calcule une planification de réalisation d'une mission ; et déploie une configuration correspondant à la planification. Chaque entité locale tient à jour un catalogue des ressources locales et un engagement de chaque ressource locale partagée ; informe l'entité centrale d'un engagement pouvant être pris sur chaque ressource locale partagée ; et paramètre chaque ressource locale partagée conformément à la configuration reçue de l'entité centrale.

Ce procédé de contrôle automatique des fausses alarmes dans une liste de plots (L1) correspondant à une sortie d'un traitement de détection (2) opérant sur un signal radar délivré par un radar d'observation maritime se caractérise par un traitement de pistage (34) permettant d'identifier les plots de la liste de plots correspondant vraisemblablement à un spike (LS), le traitement de pistage étant un traitement de pistage hiérarchique consistant, à un niveau le plus bas, à pister des spikes, et, à un niveau le plus haut, à pister des groupes de spikes, le pistage de spikes au niveau le plus bas étant réalisé conditionnellement au niveau le plus haut en fonction d'un paramètre commun caractéristique de chaque piste de groupe de spikes.

La présente invention concerne un procédé de prédiction de la trajectoire d'un système mobile (2), le procédé comprenant une phase d'inférence d'un modèle numérique comprenant les étapes suivantes : - obtention d'une série temporelle formée par une pluralité de points de mesure acquis représentatifs de positionnements passés du système mobile (2), - prédiction de la trajectoire comprenant les sous-étapes suivantes : - application du modèle sur la série temporelle obtenue pour obtenir une série temporelle prédite, les positionnements calculés étant compris entre une limite inférieure et une limite supérieure, - pour chaque positionnement calculé, détermination d'un seuil minimal et d'un seuil maximal par résolution d'une inéquation de la dynamique appliquée sur les points de mesures, et - pour chaque positionnement prédit, correction en fonction du seuil minimal et du seuil maximal déterminé pour ledit positionnement, pour obtenir un positionnement prédit, la trajectoire prédite étant formée par l'ensemble des positionnements prédits.

La présente invention concerne un procédé d'allocation dynamique de ressources de communication temporelles et/ou fréquentielles entre une pluralité de satellites (S1, S2, S3) dans un réseau de communication non terrestre (10),le procédé comprenant les étapes itératives suivantes, mises en œuvre par chacun des satellites (S1, S2, S3) sur un horizon de créneaux temporels prédéfini :- réception de données relatives aux équipements utilisateurs contenus dans les sous-zones géographiques (z1-1,...,z1-n1 ; z2-1,...,z2-n2 ; z3-1,...,z3-n3) d'une zone géographique (Z1, Z2, Z3) couverte par ledit satellite ;- envoi desdites données reçues à au moins un autre satellite ;- détermination d'une action d'allocation de ressources de communication temporelles et/ou fréquentielles pour chaque satellite (S1, S2, S3), pour ledit horizon de créneaux temporels ;- application de l'action d'allocation de ressources de communication temporelles et/ou fréquentielles déterminée pour ledit satellite (S1, S2, S3), pour ledit horizon de créneaux temporels.

La présente invention concerne une antenne comprenant une pluralité de sources et un module de formation de faisceaux relié aux sources. Chaque source comprend un élément rayonnant (110) avec un axe principal de rayonnement (Xi, Xj) respectif, dont l'inclinaison varie au sein de l'antenne.Le module de formation de faisceaux est apte à générer et à appliquer une loi de modulation d'amplitude aux éléments rayonnants (110) dépendant du faisceau à former. La loi de modulation d'amplitude comprend un coefficient de modulation d'amplitude pour chaque élément rayonnant (110), de sorte que chaque élément rayonnant (110) émet un signal présentant une amplitude respective égale à une amplitude donnée modulée par le coefficient de modulation d'amplitude correspondant ou reçoit un signal présentant une amplitude respective, le coefficient de modulation d'amplitude correspondant étant appliqué à l'amplitude respective après réception.L'invention concerne également un procédé d'utilisation associé.

La présente invention concerne un procédé d'observation d'un environnement (12) comprenant la mise en œuvre de plusieurs récurrences d'une étape d'émission et de réception de signaux, au moins une séquence de récurrences comprenant, pour N et M deux entiers, comprenant :- N premières récurrences comprenant l'émission d'impulsions dans une première direction à une première fréquence et la réception des échos émis suite à cette émission,- M récurrences comprenant l'émission d'impulsions dans une deuxième direction à une deuxième fréquence, et- N deuxièmes récurrences comprenant l'émission d'impulsions à une période de répétition dans la deuxième direction à la deuxième fréquence, et la réception des échos émis suite à cette émission.

The invention provides a method for monitoring Direct Memory Access, DMA, operations performed by a peripheral device on a main memory of a computer system, the peripheral device being controlled by a driver executed on the computer system. Upon detection of a command for execution of DMA operations based on a descriptor table, the descriptor table comprising at least one descriptor describing a DMA operation, the method comprises checking (304) compliance of the at least one descriptor with predefined security rules, wherein said descriptor table is stored by the driver in a memory section accessible to the driver. In case of positive check, the at least one descriptor is duplicated (306) to obtain a copy of the descriptor table stored in the main memory, outside of the memory section accessible to the driver. Then, a memory address of the copy of the descriptor table is stored (307) in a part of the memory section accessible to the peripheral device and the command for execution is forwarded (308) to the peripheral device.

Ce répéteur optique transparent configuré pour être embarqué à bord d'un satellite, comprend :- un ensemble de fibres optiques (FO) ;- une première tête optique (OHU1) ;- un premier amplificateur optique à faible bruit (LNOA) ;- un séparateur et contrôleur de polarisation (PCS) comprenant, pour chaque canal de sortie du filtre passe-bande (BPF), un séparateur et contrôleur de polarisation de canal (C-PCS) ;- un troisième amplificateur optique de forte puissance (HPOA), par canal de sortie du séparateur et contrôleur de polarisation (PCS) ;- un combineur de polarisations orthogonales (PBC), configuré pour recombiner les deux canaux de sortie respectifs des deux multiplexeurs optiques (HPWDM) ; et- une deuxième tête optique (OHU2) configurée pour transmettre en sortie les signaux optiques de sortie du combineur de polarisations orthogonales (PBC).

La présente invention concerne un système de réception quantique comprenant un premier récepteur optique (102), le premier récepteur optique (102) comprenant un premier télescope (107). Le système de réception quantique comprend de plus un second récepteur optique (102) et le second récepteur optique (102) comprenant un second télescope (107). Chaque récepteur (102) communique à une unité de traitement (103) les signaux détectés par un analyseur quantique (104) et l'unité de traitement (103) combinant les signaux détectés. Le premier récepteur optique (102) et le second récepteur optique (102) comprennent de plus respectivement une première monture et une seconde monture (110) pour orienter le premier et le second télescope (107), et chaque télescope (107) du système de réception est orienté selon une direction propre de réception de photons.

Ce procédé, réalisé dans un système informatique (10) comportant, entre des domaines rouge et noir, une application rouge source de messages et une interface TDMA noire d'émission, ainsi qu'une application rouge destinataire des messages et une interface TDMA noire de réception, consiste à : horodater un message avec sa date de génération ; placer le message sur une pile rouge (62) ; détruire chaque message de la pile rouge présent depuis un temps tel qu'il a déjà été transmis ; transmettre, dans un groupe, les messages de la pile rouge vers le domaine noir ; placer le groupe dans une pile noire (64) en écrasant un contenu de celle-ci ; et, sur réception d'une signalisation TDMA, transmettre le contenu de la pile noire à l'interface TDMA noire d'émission pour insertion dans une trame.

La présente invention concerne un système (1) comprenant un véhicule spatial (3) avec au moins un générateur solaire (9), chaque générateur solaire comprenant une pluralité de sections et étant propre à fournir le courant électrique à au moins un consommateur d'énergie électrique (12, 14, 16, 18) du véhicule spatial (3) ; au moins une paire (24) de conducteurs, les paires (24) de conducteurs comprenant au moins un conducteur (24a, 24b) pour chaque polarité ; le véhicule spatial (3) comprenant pour chaque section (22) au moins un capteur (28, 28a, 28b, 28c, 28d) ; et au moins un dispositif (16, 20) de détection d'un phénomène électrique, le dispositif de détection d'un phénomène électrique étant propre à : déterminer (1000) un courant de mode commun pour chaque section (22) et/ou la dérivée du courant de mode commun pour chaque section (22), etdéterminer la présence d'un phénomène électrique et la ou les section(s) (22) du générateur solaire (9) concernée(s) par le phénomène électrique.

La présente invention concerne un système de préparation de photons pour une communication quantique, le système comprenant une source de lumière polarisée (210), et une tête d'émission optique (211) comprenant un télescope (213) émettant les photons dans un canal. Le système comprend de plus un système de modulation de phase (205ad) appliqué à des photons produit par la source (210), ainsi qu'une première lame optique (202a, 204a, 204b) et une seconde lame optique (202b, 204c, 204d). La première lame optique (202a, 204a, 204b) sépare les photons suivant des chemins optiques distincts et la seconde lame (202b, 204c, 204d) recombinent les photons des chemins optiques ayant subi un traitement par le système de modulation de phase (205a-d). À l'issu du trajet entre la source (210) et la tête d'émission optique (211), la modulation de phase est adaptée à chacun des chemins distincts (215a-215d) pour contrôler la polarisation des photons émis dans le canal aux fins de la communication quantique.

Ensemble tuile BFIC générique de partie avant d'antenne comprenant : - un circuit imprimé multicouches (1) ; - un composant BFIC (18); - le circuit imprimé multicouches (1) comprenant : - au moins une piste RF (13) et au moins une piste de masse (20), chacune débouchant en une extrémité sur la face interne du circuit imprimé (1) en une connexion 21, et débouchant en son autre extrémité en une connexion 22 sur la face externe du circuit imprimé ; - les piste(s) RF (13) et piste(s) de masse (20) comprenant des liaisons coaxiales dans chaque couche du circuit imprimé, une liaison coaxiale débouchant sur chaque face en une pastille coaxiale, et des lignes microbandes pour relier deux pastilles coaxiales d'une piste en inter-couches ; et la couche interne (23) du circuit imprimé comprenant des groupements élémentaires d'une ou deux pastilles coaxiales disposés selon un maillage régulier.

Provided is a system and method, implemented by way of a framework and protocol, for dynamic verification of an ML model trustworthiness in a zero-trust and distributed environment, based on ML model watermarking in conjunction with the production of an attestation. The attestation protocol for a MLaaS function verifies the origin and ownership of a trained ML model used therein. An attestation of origin (AO) result is produced to provide ML model ownership information, whereby a cloud application can evaluate the AO result to verify the ML model ownership information as to whether it can trust the ML model, for example, according to its policy and decide whether to use it or not. Other embodiments disclosed.

La présente invention concerne un procédé de tatouage de modèle de détection de postures de personnes dans une image mis au point par apprentissage machine, le tatouage permettant d'associer ledit modèle à un propriétaire légitime, le procédé de tatouage comportant des étapes de :- calcul (50) de la disposition de points clés d'au moins une donnée de tatouage de sortie, ladite disposition formant un objet graphique prédéterminé,- sélection (52) d'au moins une image numérique de tatouage,- association (54) de l'au moins une image numérique de tatouage à une donnée numérique de tatouage de sortie comportant une pluralité de points clés prédéterminées ayant une disposition déterminée lors de l'étape de calcul (50),- injection (56) de la paire formée par l'image numérique et par la donnée de tatouage associée dans la base de données d'apprentissage, et- application (58) de l'apprentissage sur ladite base de données.

La présente invention concerne un procédé de calibration (100) d'un magnétomètre (5) d'un dispositif de positionnement (1) comprenant un module de positionnement (7) configuré pour contrôler une orientation d'une charge utile (3). Le procédé comprend a) pour une position de calibration (Ocal) donnée d'un point de référence (O) du dispositif de positionnement (1) dans un référentiel principal, et pour chacune d'une pluralité de directions de calibration (Dcal,k) d'un axe de référence (AA') : la transmission (105k) au module de positionnement (7) d'instructions de positionnement de l'axe de référence (AA') selon la direction de calibration (Dcal,k), l'acquisition (110k) au moyen du magnétomètre (5) d'un premier vecteur représentatif d'une direction du vecteur champ magnétique terrestre à la position de calibration (Ocal) et la détermination (120k), sur la base de données de mesures auxiliaires obtenues avec un dispositif de mesure auxiliaire (65), d'un vecteur de référence respectif représentatif de la direction du vecteur champ magnétique terrestre à la position de calibration (Ocal) ; b) la détermination (130) d'un modèle de calibration du magnétomètre (5) sur la base de l'ensemble des premiers vecteurs et des vecteurs de référence respectifs ; et c) la calibration (140) du magnétomètre (5) sur la base du modèle de calibration.

La présente invention concerne un filtre analogique (10) à gabarit variable comportant, entre une entrée (18) pour un signal fréquentiel (22) à filtrer et une sortie (20) pour un signal filtré (24). Le filtre comporte un ensemble d'impédances de filtrage (26) avec au moins un condensateur à capacité variable (28, 32) disposé entre un point haut et un point bas, et comportant une entrée de commande (21) pour une tension de commande (V<ds>) de la capacité du condensateur. Le condensateur à capacité variable (28) est un transistor principal (28) dont la source et le drain forment respectivement les points haut et bas, l'entrée de commande (21) étant reliée au drain, la source et la grille étant connectées à des potentiels électriques pour un fonctionnement du transistor principal (28) dans un état bloqué.