Thales

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)

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.

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.

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.

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.

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.

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.

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'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.

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.