INPI-France/Brevets-Francais-2024-Chunked huggingface dataset:
Classiquement, un dispositif d’analyse comprend un bâti sur lequel sont montés : - un socle destiné à supporter un échantillon à étudier ; - un module de génération d'un faisceau laser destiné à impacter l’échantillon à étudier selon une direction perpendiculaire au socle, pour générer un plasma engendrant une émission optique ; - des moyens de collecte de l’émission optique ; - des moyens de projection d’un jet de gaz sur l’échantillon à étudier, comprenant une aiguille de projection du jet de gaz.
Le faisceau laser généré par le module de génération, après mise en forme par le module de mise en forme, est appliqué sur un échantillon à étudier via les moyens optiques de focalisation, comprenant un objectif de focalisation dont l’axe est perpendiculaire à la surface et situé en regard du plasma.
Un objet de la présente invention est de proposer une installation de réchauffement pour un aéronef comportant un réservoir de dihydrogène, un moteur et au moins deux systèmes de réchauffement arrangés sur des canalisations montées en parallèle pour réchauffer le dihydrogène sortant du réservoir avant son introduction dans le moteur.
À cet effet, est proposée une installation de réchauffement pour un aéronef comportant un réservoir dans lequel est stocké du dihydrogène, un moteur, une unité de contrôle, une première canalisation d’apport fluidiquement connectée à la sortie du réservoir, et une
deuxième canalisation d’apport fluidiquement connectée à l’entrée du moteur, l’installation de réchauffement comportant :
- une première canalisation de dérivation destinée à être fluidiquement connectée entre la première canalisation d’apport et la deuxième canalisation d’apport, et
- une deuxième canalisation de dérivation destinée à être fluidiquement connectée entre la première canalisation d’apport et la deuxième canalisation d’apport,
où sur chaque canalisation de dérivation sont montés en série de l’amont vers l’aval, une première vanne, un système de réchauffement et une deuxième vanne qui sont destinés à être commandés par l’unité de contrôle.
Ainsi, le circuit suivi par le dihydrogène est redondant. Selon les cas d’utilisation, il est alors possible de sélectionner l’une et/ou l’autre voie, par exemple lorsque l’aéronef est en vol de croisière ou en phase de décollage.
Selon un mode de réalisation particulier, au moins un des systèmes de réchauffement comporte un premier échangeur thermique traversé par la canalisation de dérivation correspondante, un deuxième échangeur thermique destiné à être arrangé près d’une source de chaleur, et une boucle dans laquelle circule un fluide caloporteur, où la boucle traverse successivement le premier échangeur thermique et le deuxième échangeur thermique qui est destiné à assurer le transfert de calories de la source de chaleur vers le fluide caloporteur.
Avantageusement, la source de chaleur est le moteur.
Avantageusement, la source de chaleur est un dispositif logé dans un fuselage de l’aéronef, ou dans une aile de l’aéronef, ou dans une nacelle du moteur.
Selon un mode de réalisation particulier, au moins un des systèmes de réchauffement comporte un échangeur thermique traversé par la canalisation de dérivation correspondante, une préchambre de combustion montée sur la canalisation de dérivation correspondante en aval dudit échangeur thermique, et une canalisation d’approvisionnement qui apporte de l’air dans la préchambre de combustion, où en sortie de la préchambre de combustion, la canalisation de dérivation traverse l’échangeur thermique pour rejoindre la deuxième vanne.
Avantageusement, la canalisation d’approvisionnement en air est destinée à être fluidiquement connectée entre un compresseur du moteur et la préchambre de combustion et, entre le moteur et la préchambre de combustion, le système de réchauffement comporte un refroidisseur et un compresseur installés sur la canalisation d’approvisionnement.
Selon un autre mode de réalisation particulier, au moins un des systèmes de réchauffement comporte un premier échangeur thermique traversé par la première canalisation de dérivation correspondante, un brûleur comportant une première entrée, une deuxième entrée et une sortie, une première sous-canalisation fluidiquement connectée entre la première canalisation de dérivation correspondante et la première entrée du brûleur, une deuxième sous-canalisation fluidiquement connectée entre une source d’air pressurisé et la deuxième entrée du brûleur, une canalisation d’extraction destinée à être fluidiquement connectée entre la sortie du brûleur et l’environnement extérieur et qui, entre ladite sortie et ledit environnement extérieur, traverse le premier échangeur thermique et un système de régulation de débit commandé par l’unité de contrôle.
Selon un mode de réalisation particulier, au moins un des systèmes de réchauffement comporte un premier échangeur thermique traversé par la première canalisation de dérivation correspondante, un deuxième échangeur thermique, une boucle dans laquelle circule un fluide caloporteur et qui traverse successivement le premier échangeur thermique et le deuxième échangeur thermique, un brûleur comportant une première entrée, une deuxième entrée et une sortie, une première sous-canalisation fluidiquement connectée entre la première canalisation de dérivation correspondante et la première entrée du brûleur, une deuxième sous-canalisation fluidiquement connectée entre une source d’air pressurisé et la deuxième entrée du brûleur, une canalisation d’extraction destinée à être fluidiquement connectée entre la sortie du brûleur et l’environnement extérieur et qui, entre ladite sortie et ledit environnement extérieur, traverse le deuxième échangeur thermique.
Avantageusement, la source d’air pressurisé comporte une vanne à trois voies commandée par l’unité de contrôle, dont une première voie de la vanne à trois voies est destinée à être fluidiquement connectée à une source d’air pressurisé, dont une deuxième voie de la vanne à trois voies est destinée à être fluidiquement connectée à un compresseur du moteur et dont une troisième voie de la vanne à trois voies est fluidiquement connectée à la deuxième sous-canalisation.
Avantageusement, une turbine couplée à une génératrice électrique est arrangée sur la canalisation d’extraction entre l’environnement extérieur et, selon le cas, le premier échangeur thermique ou le deuxième échangeur thermique.
La génération d’une grille combinée résultant de la combinaison de la grille d’espace statique et de la grille d’espace libre peut être implémentée en utilisant les filtres bayésiens binaires entiers, comme l’illustre la figure 7, la combinaison se faisant, dans ce cas, entre les indices de probabilité et , de façon à obtenir un indice pour chaque cellule de la grille combinée.
Dans ce cas, utilisant les filtres bayésiens binaires entiers, chaque cellule de la grille combinée peut être calculée par la fusion bayésienne suivante :
Ainsi, selon le signe de :
si , la cellule est probablement statique compte tenu de la séquence de paires de grilles d’occupation
si , la cellule est probablement libre,
si , la cellule n'est ni libre ni statique.
Ainsi, on regarde l’estimation qui « l’emporte » entre l’estimation de la grille d’espace statique et l’estimation de la grille d’espace libre .
En variante, il est possible d’appliquer un critère de valeur maximale. Ainsi, chaque cellule de la grille combinée peut être calculée de la façon suivante :
Grâce à l’utilisation de filtres bayésiens binaires entiers, l’estimation de mouvement peut être effectuée dans des microprocesseurs, par exemple avec des architectures de type ARM (marque déposée), alors que dans l’art antérieur, l’estimation est très gourmande en ressources informatiques, et nécessite habituellement des processeurs graphiques (ou GPU pour « Graphics Processing Unit »).
La illustre la complémentarité entre le procédé selon l’invention et celui décrit dans la demande de brevet FR3116640. Une pluralité de capteurs (capteur 1, …, capteur n). Les mesures sont fusionnées en mettant en œuvre le procédé tel que décrit dans la demande de brevet FR3041451, ce qui permet d’obtenir des grilles d’occupations OG (une probabilité d’occupation par cellule). Les grilles d’occupations peuvent être utilisées aussi bien pour générer les grilles d’espace statique et d’espace libre selon la présente invention, ou pour générer la grille de mouvement décrite dans la demande de brevet FR3116640. Néanmoins, les calculs pour aboutir à la grille de mouvement sont fondamentalement différents de ceux utilisés pour aboutir aux grilles d’espace statique et d’espace libre, comme indiqué précédemment.
Le procédé selon l’invention peut être mis en œuvre par au moins un capteur de distance, par exemple un LIDAR, un RADAR ou encore un SONAR, ou par une caméra apte à extraire des informations de distance à partir d’une scène acquise par le capteur.
Les grilles de caractéristiques sont établies à partir des mesures de distance effectuées par le capteur.
Le capteur peut être embarqué à bord d’un porteur mobile, tel qu’un véhicule, en particulier un véhicule autonome, ou bien non autonome, et dans ce cas le procédé selon l’invention permet d’assister le conducteur pour la détection d’obstacles.
Le porteur mobile peut également être tout dispositif apte à se mouvoir de façon autonome, par exemple un appareil domestique tel qu’un aspirateur autonome, ou encore un appareil de jardinage tel qu’une tondeuse à gazon autonome.
Le porteur mobile comprend par ailleurs des actionneurs, aptes à corriger la trajectoire du porteur mobile autonome en fonction de la caractérisation de l’environnement d’un porteur mobile qui a été effectuée grâce au procédé selon l’invention.
L’invention a été essentiellement décrite en discrétisant l’ensemble des probabilités dans un ensemble de cardinalité finie, afin de ne pas avoir à effectuer des calculs utilisant l'arithmétique en virgule flottante. Cette disposition permet en particulier de d’implémenter le procédé selon l’invention dans un système embarqué, ayant de fortes contraintes d’intégration.
L’indice correspondant à la composante de prédiction du filtre bayésien binaire entier de la grille d’espace statique est obtenu à l’aide d’une table de consultation comprenant un ensemble fini d’indices de probabilités, et l’indice filtré est obtenu par addition d’indices entiers de probabilités.
Algorithme du filtre bayésien binaire entier de la grille d’espace statique
Le filtre bayésien binaire entier de la grille d’espace statique est un algorithme comprenant une fonction d’initialisation du filtre, et une fonction d’application itérative du filtre, avec rebouclage direct depuis la sortie du filtre. L'étape de prédiction, dans la fonction d’initialisation du filtre, est calculée par une table de consultation, et la mise à jour de mesure est calculée par une somme d'indices entiers, comme indiqué ci-dessous.
La fonction d’initialisation dépend des paramètres d’entrée suivants : , et
est une constante qui correspond au paramètre d’approximation de la séquence de nombres réels entre 0 et 1 utilisés dans la fonction de fusion bayésienne entière, dont les paramètres et sont des valeurs de probabilités, et définie ainsi :
L’ensemble d’indices est un sous-ensemble de permettant de définir la séquence . Ainsi, au lieu de travailler sur une séquence infinie , on travaille uniquement dans une séquence finie . Par exemple, pour décoder les indices en 8 bits seulement, on prend .
est une constante pour la fonction d’initialisation, avec , et qui correspond à la valeur numérique du modèle de prédiction statique .
La première étape de la fonction d’initialisation consiste à déterminer chaque entrée de la table de consultation en partant par un vecteur vide de la taille de , puis, pour chaque dans , l’élément est un indice de probabilité calculé de la manière suivante : où .
La fonction approxime le résultat de l’opération par un élément de la séquence . C’est l’indice m de qui est stocké dans l’élément de la table de consultation .
La fonction d’application du filtre bayésien binaire entier est définie de la façon suivante :
Prédiction:
Mise à jour de la mesure:
Le procédé selon l’invention calcule, avantageusement l’indice de modèle inverse statique de la façon suivante, illustré par la (bloc « OG vers SIM ) :
Si la cellule est probablement occupée à la fois à l’instant et à l'instant , la valeur de l’indice du modèle inverse statique est définie par la fonction qui retourne un indice positif. Sinon, la valeur de l’indice du modèle inverse statique est égale à zéro.
correspond à l’indice de probabilité dans la grille d’occupation de la cellule :
Selon un mode de réalisation, la fonction renvoie une valeur constante .
- effectuer une préparation sur les codes logiciels de la famille sélectionnée en fonction de paramètres caractérisant ladite famille de codes logiciels ; et
- exécuter une analyse sémantique et une analyse architecturale des codes préparés de ladite famille de codes logiciels, ladite analyse comprenant une boucle d’itération permettant, avant une nouvelle exécution, d’effectuer une nouvelle préparation du code en fonction des résultats de l’analyse précédente.
Selon un mode de réalisation, l’étape de recevoir une famille de codes logiciels comprend des étapes consistant à : étiqueter les codes logiciels contenus dans la base de données massive de code logiciel ; regrouper les codes logiciels en familles de code logiciel, en fonction des étiquettes et d’une similarité morphologique ; et sélectionner une famille de code logiciel à analyser.
Selon un mode de réalisation, l’étape d’effectuer une préparation du code comprend des étapes consistant à :
- extraire de chaque code logiciel appartenant à une même famille, différentes informations caractérisant leur typologie ;
- générer des paramètres de caractérisation à partir de l’ensemble des informations extraites ; et
- générer une représentation agrégée et normalisée du code logiciel et des paramètres de caractérisation.
Selon un mode de réalisation, l’étape d’extraction d’informations comprend de plus des étapes consistant à extraire des informations de fichiers « Makefile », des informations de fichiers de documentation et de manuels d’utilisation, des informations de commentaires présents dans les codes logiciels.
Selon un mode de réalisation, l’étape d’effectuer une nouvelle préparation des codes logiciels de la famille sélectionnée, consiste à utiliser des annotations sémantiques et/ou des annotations architecturales obtenues comme résultats d’analyses précédentes.
Selon un mode de réalisation, l’étape de générer des paramètres de caractérisation consiste à générer des paramètres à partir d’un algorithme de génération aléatoire de paramètres ou d’un algorithme de génération semi-aléatoire de paramètres.
Selon un mode de réalisation, l’étape de générer une représentation agrégée et normalisée comprend des étapes consistant à intégrer les paramètres générés dans le code logiciel et à normaliser les formes de code.
Selon un mode de réalisation, l’étape de générer une représentation agrégée et normalisée consiste à générer une forme de blob binaire ou un code source enrichi.
Selon un mode de réalisation, la boucle d’itération est répétée un nombre prédéfini de fois. Dans une variante de réalisation, la boucle d’itération est répétée tant qu’un point fixe n’est pas atteint.
L’invention concerne aussi un dispositif d’analyse de bases de données massive de codes logiciels, le dispositif comprenant des moyens pour mettre en œuvre les étapes du procédé de l’invention.
Etat de la technique Certains véhicules, éventuellement de type automobile, comprennent une batterie cellulaire rechargeable et constituant une batterie principale (ou de traction) du fait qu’elle est chargée d’alimenter au moins une machine motrice électrique de leur groupe motopropulseur (ou GMP).
On entend ici par « batterie cellulaire » une batterie comportant de nombreuses cellules de stockage d’énergie électrique, éventuellement électrochimiques (par exemple de type lithium-ion (ou Li-ion) ou Ni-Mh ou Ni-Cd). Par exemple, une telle batterie cellulaire peut être de type basse ou moyenne tension (typiquement au moins 400 V).
Par ailleurs, on entend ici par « batterie » l’ensemble comprenant les cellules, une structure de support de ces cellules, un bac (ou boîtier) logeant la structure de support avec les éléments, ainsi que généralement un boîtier électronique de contrôle et protection.
Une telle batterie cellulaire est habituellement associée à un boîtier de batterie qui comprend des moyens de mesure de tension/courant/température interne et un calculateur de batterie. Ce dernier centralise les mesures de courant, les mesures de tension et les mesures de température interne (à l’intérieur de la batterie cellulaire), et détermine ou estime des paramètres de cette batterie cellulaire en fonction de ces mesures, et notamment sa résistance interne, sa tension minimale et son état de charge en cours (ou SoC (State of Charge)).
Cet état de charge (ou SoC) est un paramètre important dans un véhicule à GMP électrique car il permet d’estimer l’autonomie kilométrique de ce véhicule.
Au moins cinq techniques peuvent être mises en œuvre pour estimer le SoC d’une batterie (cellulaire).
Une première technique consiste à estimer le SoC de la batterie à l’aide du comptage des consommations (en Ah). Mais, se fier uniquement aux informations en cours n’est pas optimal en raison de l’accumulation des erreurs des capteurs de courant avec le temps et de l’impossibilité de corriger l’erreur de capacité lorsque la batterie vieillit.
Une deuxième technique consiste à estimer le SoC de la batterie au moyen d’un filtre de Kalman étendu (ou EKF (« Extended Kalman Filter »)) appliqué uniquement aux tensions minimales et maximales des cellules. Dans ce cas, les tensions des cellules de la batterie sont composées de la tension de circuit ouvert (ou OCV (« Open Circuit Voltage »)) et de la contribution de la résistance de courant continu (ou DCR (« Direct Current Resistance »)). Compte tenu du vieillissement et de la dispersion au sein de la batterie en début de vie, il est rare que la tension minimale (respectivement la tension maximale) conduise à un SoC minimum (respectivement un SoC maximum). Par conséquent, cette deuxième solution n’est pas précise et peut conduire à une mauvaise anticipation des limitations fonctionnelles pour les tensions des cellules de la batterie.
Une troisième technique consiste à estimer le SoC de la batterie au moyen du filtre de Kalman étendu (EKF) et de la technique dite des moindres carrés récursifs (ou RLS (« Recursive Least Square »)) appliqués à un modèle de circuit électrique équivalent (ou EEC (« Equivalent Electric Circuit »)) et un modèle d’hystérésis pour toutes les cellules de la batterie dans une même période d’échantillonnage. En estimant le SoC de chaque cellule de la batterie en utilisant à chaque fois un algorithme EKF/RLS, on peut rapidement atteindre les limites de capacité de calcul du calculateur de batterie, notamment lorsque le nombre de cellules est très important (typiquement pour une batterie de 800 V).
Une quatrième technique consiste à estimer le SoC de la batterie au moyen du filtre de Kalman étendu (EKF) et de la technique des moindres carrés récursifs (RLS) appliqués à un modèle de circuit électrique équivalent (EEC) et un modèle d’hystérésis pour des lots de cellules de la batterie avec une approche séquentielle pour s’adapter aux contraintes de calcul du calculateur de batterie. Cette technique est une version améliorée de la troisième technique qui ne résout pas complètement le problème car la charge de calcul augmentera encore avec le nombre de cellules mais seulement moins qu’auparavant.
Une cinquième technique consiste à estimer le SoC de la batterie au moyen d’une cellule moyenne virtuelle en utilisant la valeur moyenne des tensions des cellules et en calculant le SoC de la cellule moyenne virtuelle et déduisant le SoC de toutes les cellules de la batterie en calculant les différences de SoC de chaque cellule par rapport à la cellule moyenne virtuelle. Cela est efficace et permet de réduire considérablement la charge de calcul du calculateur de batterie. Cependant, la cellule moyenne virtuelle est difficile à définir et ne correspond à aucune réalité physique. De ce fait, d’importantes erreurs d’estimation du SoC peuvent survenir, ce qui est problématique, notamment pour de faibles valeurs de SoC et/ou en présence de basses températures pour lesquelles les valeurs des résistances de courant continu internes (DCR) varient considérablement.
Il n’existe donc pas de technique connue permettant d’estimer de façon suffisamment précise avec un calculateur de batterie classique le SoC d’une batterie comportant un grand nombre de cellules.
Présentation de l’invention Elle propose notamment à cet effet un procédé d’estimation d’un état de charge d’une batterie comprenant N cellules et équipant un véhicule.
Ce procédé d’estimation se caractérise par le fait qu’il comprend une étape dans laquelle :
- on identifie parmi les N cellules M cellules dites critiques, puis
Selon un mode de réalisation, le procédé de l’invention comprend une étape A2 mise en œuvre avant l’étape B consistant à recevoir des données relatives à un fonctionnement des interfaces, dites deuxièmes données, les deuxièmes données étant comprises dans ledit ensemble de données utilisé dans l’étape B. De manière préférentielle, l’ajustement du nombre de messages graphiques comprend l’affichage d’uniquement au moins un desdits messages graphiques préalablement évalué comme critique, lorsque la première donnée indique que l’axe de visée est superposé à une desdites interfaces préalablement évaluée comme prioritaire dans lesdites informations relatives auxdites interfaces et lorsque la deuxième donnée indique que ladite interface préalablement évaluée comme prioritaire est en marche.
Selon un mode de réalisation, le procédé de l’invention comprend une étape A3 mise en œuvre avant l’étape B consistant à recevoir au moins une donnée physiologique de l’utilisateur, dite troisième donnée, la troisième donnée étant comprise dans ledit ensemble de données utilisé dans l’étape B.
Selon un mode de réalisation, ledit environnement est un poste de pilotage d’un véhicule.
De manière préférentielle, dans ce mode de réalisation, le procédé de l’invention comprend une étape A4 mise en œuvre avant l’étape B consistant à recevoir au moins une donnée relative à une phase d’utilisation du véhicule, dite quatrième donnée, la quatrième donnée étant comprise dans ledit ensemble de données utilisé dans l’étape B.
De manière préférentielle, dans ce mode de réalisation, le procédé de l’invention comprend une étape A5 mise en œuvre avant l’étape B consistant à recevoir au moins une donnée relative à un environnement extérieur du véhicule, dite cinquième donnée, la cinquième donnée étant comprise dans ledit ensemble de données utilisé dans l’étape B.
De manière préférentielle, dans ce mode de réalisation, le procédé de l’invention comprend, l’ajustement du nombre de messages graphiques consiste à afficher un nombre maximal de messages graphiques lorsque la première donnée indique que ledit champ de vue est entièrement superposé avec une région du poste de pilotage n’affichant aucun desdits messages graphiques ou des informations équivalentes, par exemple un pare-brise.
Selon un mode de réalisation, les étapes du procédé de l’invention sont répétées avec une période inférieure ou égale à , préférentiellement inférieure à 10 ms.
Un autre objet de l’invention est un produit programme d’ordinateur comprenant des instructions de code permettant d’effectuer les étapes du procédé selon l’invention lorsque ledit programme est exécuté sur un ordinateur.
Un autre objet de l’invention est un afficheur tête-haute destiné à être porté par un utilisateur, ledit afficheur tête-haute présentant un champ de vue et un axe de visée prédéterminés et étant adapté pour afficher une pluralité de messages graphiques, ledit afficheur tête-haute comprenant un processeur adapté pour mettre en œuvre les étapes du procédé selon l’invention lorsque ledit afficheur tête-haute est porté dans un environnement prédéterminé comprenant une pluralité d’interfaces d’information.