INPI-France/Brevets-Francais-2024-Chunked huggingface dataset:
Un négolyte 20 d’une batterie rédox à flux 10 est collecté dans un dispositif de collecte 30, éventuellement acheminé vers un dispositif de décharge 35, puis acheminé vers un dispositif de précipitation 40. Un acide ou une base et/ou un anti-solvant et/ou une solution d’un sel provenant d’un réservoir de stockage 45 est ajouté au négolyte 20 dans le dispositif de précipitation 40 afin de faire précipiter le(les) composé(s) électroactif(s) du négolyte 20. La suspension obtenue est séparée, de préférence par filtration, dans un dispositif 50 de séparation. Un résidu solide 52 comprenant le(les) composé(s) électroactif(s) du négolyte 20 et un effluent 54 sont obtenus. L’effluent 54 est récolté dans un dispositif de collecte 80 de l’effluent, et peut être traité puis réacheminé vers le réservoir de stockage 45. Eventuellement, le résidu solide 52 est rincé à l’eau et trituré à l’eau, puis séparé une deuxième fois pour éliminer l’eau de lavage. Eventuellement, le résidu 52 (rincé ou non) est séché ou partiellement séché, soit directement dans le dispositif de séparation, soit après avoir été transféré dans un dispositif de séchage 60. Le dispositif de séchage permet de chauffer sous température contrôlée et/ou de mettre sous pression réduite le résidu 52 et ainsi de réduire la quantité d’eau et d’éventuels solvants présents dans le résidu solide 52. Le résidu solide 52 est ensuite acheminé vers un dispositif de formulation 70. Une solution aqueuse comprenant éventuellement des additifs est également introduite dans le dispositif de formulation 70 à partir d’un réservoir de formulation 75 afin de préparer un négolyte recyclé 78. Le négolyte recyclé 78 peut ensuite être introduit le compartiment négatif d’une nouvelle batterie rédox à flux 90.
La est un graphique représentant la capacité accessible en cyclage batterie (TRL 4) (en pourcentage de la capacité théorique des électrolytes) d’une batterie comprenant des électrolytes avec composé électroactif natif et une batterie comprenant des électrolytes avec composé électroactif recyclé.
La est un graphique représentant la résistance de batterie (TRL 4) mesurée par courbe de polarisation d’une batterie comprenant des électrolytes avec composé électroactif natif et une batterie comprenant des électrolytes avec composé électroactif recyclé.
La est un graphique représentant la capacité accessible en cyclage batterie (TRL 4) (en pourcentage de la capacité théorique des électrolytes) d’une batterie comprenant des électrolytes avec uniquement des composés électroactifs natifs, et une batterie comprenant un posolyte avec composé électroactif natif et un négolyte avec composé électroactif recyclé.
La est un graphique représentant la résistance de batterie (TRL 4) mesurée par courbe de polarisation d’une batterie comprenant des électrolytes avec uniquement des composés électroactifs natifs, et une batterie comprenant un posolyte avec composé électroactif natif et un négolyte avec composé électroactif recyclé.
Exemples: Exemple 1 : Recyclage et test en batterie du couple rédox ferrocyanure/ferricyanure (posolyte) et de l’anthraquinone (M3CH) (négolyte)
Le procédé de recyclage a été mis en œuvre sur des électrolytes utilisés en batterie (>350 cycles et 6 mois de cyclage). Les résultats présentent à la fois les caractéristiques du procédé de recyclage et les performances de batteries comprenant les électrolytes recyclés.
En fin de cyclage, le(les) composé(s) électroactif(s) du couple rédox ferrocyanure/ferricyanure (suivant l’état de charge final de la solution électrolytique) du posolyte, est(sont) d’abord réduite(s) chimiquement, par exemple par ajout d’H 2 O 2 , en contrôlant le pH (qui doit de préférence rester supérieur à 8) et sous agitation, afin d’obtenir un posolyte comprenant 100% de ferrocyanure.
La précipitation s’effectue ensuite par ajout d’éthanol à 96% (sous forme liquide) dans le posolyte sous agitation magnétique ; la quantité nécessaire pour provoquer la précipitation du ferrocyanure dépend de la température de la solution et de sa concentration. La concentration en ferrocyanure dans le posolyte est de 0,34 M. La précipitation est instantanée et détectable visuellement. L’ajout d’éthanol doit être maîtrisé, car s’il excède un certain volume, l’effet est contre-productif et le ferrocyanure se redissout dans le mélange de solvant.
La solution est ensuite filtrée (par exemple au laboratoire sur papier filtre (5-10 µm)), puis le résidu solide obtenu est séché par évaporation des traces résiduelles de solvant (eau + éthanol).
Au niveau du négolyte, le composé électroactif utilisé est, sous sa forme oxydée, la molécule suivante :
Concernant l’étape de détection de la zone donnée dans une zone du vitrage couverte par un analyseur de front d’onde et comprenant la zone donnée. Peut comprendre les sous-étapes suivantes : Génération, à partir du front d'ondes acquis de la zone couverte par l'analyseur de front d'ondes, d'une image d'un interférogramme de la zone du vitrage couverte par l'analyseur de front d'onde, la zone du vitrage couverte par l'analyseur de font d'onde comprenant une pluralité de sous-zones dont la zone donnée ; Seuillage de l'image de l'interférogramme pour obtenir une première image. Le seuillage peut être réalisé par exemple par la fonction "Threshold" de la bibliothèque OpenCv ®. La première image est une matrice binaire, ou masque binaire, de même taille que l'image de l'interférogramme ; Application d'un filtre morphologique d'ouverture sur la première image pour obtenir une deuxième image, en particulier le filtre morphologique d'ouverture étant obtenu par composition d'un filtre morphologique d'érosion et d'un filtre morphologique de dilatation. Cette étape peut être réalisée, par exemple, par la fonction MorphologyEx Open d’OpenCV®. La deuxième image correspond à l'image de l'interférogramme seuillée filtrée ; et Détection, sur la deuxième image, du contour de chaque sous-zone de la zone du vitrage couverte par l'analyseur de front d'onde.
Lorsque le nombre de contours détectés est nul, il y a détermination sur la deuxième image d'une forme polygonale correspondant à une zone prédéfinie, la forme polygonale représentant la zone donnée du vitrage.
Lorsque le nombre de contours détectés est non nul, il y a :
- sélection d’un rectangle d'aire maximale,
- récupération des coordonnées des pixels formant le contour compris dans le rectangle d'aire maximale,
- à partir des cordonnées des pixels récupérées, calcul d'une forme polygonale correspondant à une approximation du contour compris dans le rectangle d'aire maximale, la forme polygonale calculée représentant la zone donnée du vitrage.
Un troisième aspect de l’invention concerne une ligne de production de vitrages de véhicules, comportant un dispositif de maintien et de déplacement d’un vitrage, caractérisée en ce qu’elle comporte un système de mesure automatique de la qualité optique d’une zone donnée du vitrage tel que défini précédemment.
Avantageusement, le vitrage est positionné incliné sur le dispositif de maintien et de déplacement avec un angle d’inclinaison au moins égal à un angle d’installation sur le véhicule, avec une tolérance de 1° et en particulier le vitrage est bombé et comporte une surface convexe positionnée sensiblement en regard de l’émetteur ou du dispositif d’émission. Cet angle d’installation peut varier, par exemple, entre 20 et 40°.
Le temps de cycle de la ligne de production est de préférence inférieur ou égale à 20 secondes, notamment inférieur ou égale à 15 secondes et de préférence inférieur ou égal à 12 secondes. Cette contrainte du temps de cycle est liée à la vitesse de défilement des vitrages sur la ligne de contrôle (qualité) ainsi qu’à la cadence de production qui sont des données non modifiables, propres à chaque ligne de production.
La ligne de production ou le système peut connaitre voire stocker la plage de décalage en hauteur entre les zones caméras des différents modèles de vitrages produits et/ou la plage de dimension (longueur et hauteur) entre les zones caméra des différents modèles de vitrages produits et/ou l’angle d’installation véhicule des différents modèles de vitrages produits.
Par « vitrage », on entend une plaque formée à partir d’un matériau transparent tel que du verre ou encore du plastique. Avantageusement, le vitrage peut être un pare-brise, une lunette arrière ou encore un vitrage latéral d'un véhicule routier ou ferroviaire. En particulier il s’agit d’un vitrage bombé et même feuilleté comportant deux feuilles de verre et un intercalaire de feuilletage polymère, par exemple en polyvinylbutyral (PVB).
Le vitrage est de préférence un vitrage de véhicule routier ou ferroviaire ou même aéronautique et en particulier un pare-brise. La zone donnée est de préférence une fraction du vitrage (de préférence pare-brise), de préférence bombé et en périphérie, zone délimitée généralement tout ou partie par une zone opaque dans le visible voire même dans l’infrarouge. Par exemple, la zone donnée occupe moins de 10% de la surface du vitrage. La zone donnée est transparente si zone caméra visible ou peut être opaque dans le visible et transparente dans le proche infrarouge si zone LiDAR. Le faisceau (de préférence circulaire et/ou collimaté) peut être de diamètre de préférence d’au plus 250mm ou 200mm ou 150mm et de préférence d’au moins 10 ou 20mm ou 100mm.
On peut réaliser successivement (pendant le temps de cycle) une mesure automatique d’une zone donnée qui est une zone caméra dans le visible puis d’une autre zone donnée qui est une zone caméra dans le proche infrarouge ou dite zone LiDAR (notamment moins de 1000nm) ou inversement. Dans ce cas on prévoit un (petit) déplacement du rail et/ou du vitrage d’une zone à l’autre (zone caméra, zone LiDAR). Le système peut comprendre à la fois un émetteur de faisceau de rayons lumineux dans le visible et un autre émetteur dans le proche infrarouge et un capteur d’analyseur de fronts d’ondes dans le visible et un autre capteur dans le proche infrarouge ou même d’un capteur commun dans le visible et dans le proche infrarouge.
Le système peut comprendre un module de détection d’arrêt de la ligne de production, configuré pour recevoir un signal représentatif de l’arrêt de la ligne de production. Le système peut comprendre un module de détection de la présence du vitrage entre le dispositif d'émission et de réception et le dispositif de réflexion ou entre le dispositif d’émission et le dispositif de réception.
Lors de l’arrêt de la ligne de production, le vitrage peut être disposé, de manière statique, entre le dispositif d'émission et de réception et le dispositif de réflexion ou entre le dispositif d’émission et le dispositif de réception. Le système de l’invention peut être intégré de sorte à être centré horizontalement autour de la zone donnée des différents modèles de vitrages (parebrises etc). Le support est donc centré horizontalement au sein du système quel que soit son positionnement, à partir de données de la ligne de production. Autrement dit, lorsque le vitrage arrive dans le système de l’invention, ledit vitrage est positionné de sorte que le faisceau de rayons lumineux est placé le long d’un axe de référence de la zone caméra. Cet axe de référence peut être un axe de symétrie de la zone caméra. L’axe de référence peut être aussi l’axe de symétrie du vitrage ou à proximité de l’axe de symétrie du vitrage. Pour un pare-brise de véhicule routier, l’axe de référence est par exemple proche ou dans la zone (actuelle) du rétroviseur intérieur, le rétroviseur pouvant être supprimé. La zone caméra peut être à proximité d’autres capteurs (capteurs de pluie, de lumière etc).
Les vitrages (parebrises etc) peuvent être fabriqués modèles par modèles, il peut être intéressant – pour des raisons de coût temporel - d’effectuer les réglages du support une seule fois pour l’ensemble des vitrages d’un même modèle. Dans ce cas, la ligne de production envoie directement l’information concernant le modèle de vitrages en cours de production à l’unité de commande. Le réglage en hauteur et en angle du support est alors réalisé pour le modèle de vitrages en cours de production.
ÉTAT DE LA TECHNIQUE ANTÉRIEURE De nombreux mécanismes de consensus ont été proposés pour valider des transactions avant de les incorporer dans un registre distribué ( ledger ), les plus connus étant la preuve de travail ou PoW ( Proof of Work ) et la preuve d’enjeu ou PoS ( Proof of Stake ). Ces mécanismes servent généralement plusieurs objectifs : celui de vérifier l’intégrité des transactions, c’est-à-dire que celles-ci ne sont ni falsifiées ni corrompues, celui d’authentifier les entités ayant émis ces transactions, et enfin celui de garantir la correction de l’historique de ces transactions. En effet, la modification de l’historique de différentes transactions peut conduire à des situations très dommageables : double dépense, débit d’un compte en cryptomonnaie en absence de crédit suffisant, violation d’une condition d’exécution d’un contrat intelligent. La preuve de travail permet de garantir de manière vérifiable (mais au prix d’une certaine latence) un historique correct des transactions mais requiert une consommation considérable d’énergie. Qui plus est, la preuve de travail comme la preuve d’enjeu suppose de mettre en place un système de récompense des mineurs qui n’est pas approprié à certains contextes d’application.
La preuve de temps écoulé et/ou la vérification de temps écoulé est un sujet qui suscite beaucoup d’intérêt dans la mesure où il est au cœur de la sécurité et de la confiance dans la technologie des chaines de blocs. Les recherches actuelles portent sur les fonctions dites fonctions de durée vérifiables (ou de manière équivalente des fonctions de délai ou d’intervalle de temps vérifiables) ou VFD ( Verifiable Del a y Functions ). Ces fonctions font appel à un triplet d’algorithmes : un algorithme d’initialisation ( Setup ) d’un couple de paramètres d’évaluation ( ) et de vérification ( ) en fonction d’un niveau de sécurité ( ) et d’une durée donnée ( ), un algorithme d’évaluation d’une fonction ( Eval ) à partir d’une valeur d’entrée ( ) et du paramètre d’évaluation ( ), la fonction d’évaluation donnant une valeur de sortie ( ) et une preuve ( ) et enfin un algorithme de vérification ( Verify ) fournissant un résultat booléen à partir du paramètre de vérification ( ), des valeurs d’entrée et de sortie ( , ) et de la preuve ( ). Le principe d’une telle fonction de vérification de durée est qu’il n’est pas possible d’anticiper la valeur des paramètres et avant l’expiration de la durée , et que toute parallélisation de calcul pour exécuter l’algorithme d’initialisation plus rapidement conduit à un résultat d’évaluation non distinguable d’un nombre aléatoire.
On pourra trouver une présentation des fonctions de durée vérifiables dans l’article de D. Boneh et al. intitulé « Verifiable delay functions », publié dans Advances in Cryptology, , CRYPTO 2018, Springer Int’l Publishing, pp. 757-788. Les fonctions de durée vérifiables peuvent être implémentées de différentes manières.
Une première approche consiste à construire une telle fonction au moyen d’une enclave sécurisée ou TEE ( Trusted Execution Environment ). Plus précisément, une telle enclave exécute l’algorithme d’évaluation précité. Elle reçoit la valeur d’entrée ainsi qu’un couple de paramètres d’évaluation et de vérification ( , ), et fournit en sortie, d’une part, une valeur hachée de , au moyen d’une fonction de hachage dont la complexité dépend du paramètre de difficulté , et, d’autre part, une preuve obtenue comme signature de au moyen de la clé privée d’un cryptosystème asymétrique stocké dans l’enclave. L’enclave est synchronisée sur une horloge externe pour effectuer l’évaluation de la durée . Toutefois, cette horloge est un point d’attaque singulier ( single point of failure ) et peut faire l’objet d’agissements malveillants susceptibles de corrompre le résultat de l’évaluation.
Une seconde approche consiste à effectuer séquentiellement des tirages d’un nombre aléatoire , à effectuer un hachage de la valeur d’entrée concaténée avec le nombre aléatoire ainsi obtenu, soit jusqu’à ce qu’une certaine condition sur le résultat de hachage soit vérifiée, ladite condition dépendant du degré de difficulté . C’est sur ce principe que se base la preuve de travail utilisée dans les chaines de blocs Bitcoin et Ethereum, très consommatrice en énergie. D’autres fonctions d’évaluation basées sur des SNARK ( Succinct Non-Interactive ARguments of Knowledge ) récursifs (SNARK de SNARK). Celles-ci font appel à des fonctions de hachage récursives utilisant des techniques de chiffrement homomorphe, également très consommatrices en énergie.
Enfin, une troisième approche pour implémenter la fonction d’évaluation est de faire appel à une construction polynomiale consistant à calculer séquentiellement ( fois) le carré d’une fonction de hachage dans un corps de Galois. Comme la précédente, cette approche nécessite de faire d’importants calculs non parallélisables et non optimisables, ce qui conduit donc encore à une importante consommation en énergie.
L’algorithme de preuve de temps écoulé PoET ( Proof of Elapsed Time ) est un mécanisme de consensus de type Nakamoto pour chaines de blocs à accès contrôlé ( per missioned blockchains ) qui nécessite une consommation d’énergie sensiblement plus faible que dans Bitcoin. La preuve de travail (PoW) est remplacée ici par un système de loterie qui génère un temps d’attente aléatoire pour chaque mineur (ou nœud validateur) de la chaine. Pour ce faire, chaque mineur dispose d’une enclave sécurisée (TEE) qui lui fournit un temps aléatoire certifié qu’il doit attendre avant d’être autorisé à soumettre son prochain bloc au consensus. N’importe quel nœud participant de la chaine doit pouvoir vérifier que le temps d’attente a bien été généré par le tirage aléatoire certifié dans l’enclave sécurisée et que ce temps d’attente a bien été respecté par le mineur.
L’algorithme PoET a été déployé dans la chaine de blocs Hyperledger Sawtooth avec succès. Toutefois, les enclaves sécurisées (SGX) utilisent un temporisateur externe situé à l’extérieur de la zone d’exécution de confiance (TEE) et sont susceptibles de subir certaines attaques matérielles visant à corrompre les temps d’attente générés.
Un objet de la présente invention est par conséquent de proposer une méthode de preuve de temps écoulé entre transactions émises par un nœud vers un registre distribué ( ledger ) et, de manière plus générale, entre évènements intervenant dans un nœud de réseau asynchrone, qui ne présente pas les inconvénients précités, notamment qui soit relativement simple, faiblement consommatrice en énergie et robuste aux attaques matérielles.
La présente invention est définie par une méthode de preuve de temps écoulé entre évènements successifs intervenant dans un nœud d’un réseau asynchrone, ledit nœud comprenant un système embarqué partitionné en une zone de confiance et une zone non sécurisée, la zone de confiance comprenant un environnement d’exécution sécurisé ou TEE dans lequel l’intégrité et la confidentialité du code et des données sont assurées, et un composant matériel de confiance ou TPM comportant une première horloge, dit horloge de contrôle donnant le temps écoulé à partir de sa dernière initialisation et un compteur monotone indiquant le nombre d’initialisations de l’horloge de contrôle, l’environnement TEE disposant d’une seconde horloge, dite horloge système, et recevant d’une part l’horloge de contrôle du TPM et d’autre part une troisième horloge, dite horloge de précision , d’un périphérique extérieur au système embarqué, l’horloge de contrôle présentant un degré de sécurité supérieur à l’horloge système et à l’horloge de précision, l’horloge de précision présentant une précision et une stabilité supérieures à celles de l’horloge de contrôle et de l’horloge système, ladite méthode étant originale en ce que : une application résidant dans l’environnement TEE mesure le temps auquel intervient un évènement observé par le nœud, la mesure étant effectuée à l’aide de la première, de la seconde et de la troisième horloges, pour fournir une première, une seconde et une troisième mesures de temps relatives à l’évènement observé ; ladite application détermine, à partir des mesures ainsi obtenues pour l’évènement observé et de celles obtenues pour un évènement précédent, une première, une seconde et une troisième mesures de temps écoulé entre ledit évènement observé et l’évènement précédent ; ladite application vérifie la cohérence des première, seconde et troisième horloges en comparant les mesures de temps écoulé ainsi obtenues et si elles ne diffèrent pas plus d’une marge de tolérance prédéterminée, forme un message de preuve de temps écoulé entre l’évènement observé et l’évènement précédent, le message de temps écoulé comprenant la valeur du compteur monotone, les mesures de temps relatives à l’évènement observé et les dérives des seconde ( ) et troisième horloge ( ) par rapport à la première horloge sur l’intervalle de temps écoulé ; ladite application signe ledit message avec une clé privée du nœud avant de le transmettre sur le réseau asynchrone.
Avantageusement, les dérives de l’horloge de contrôle et de l’horloge système par rapport à l’horloge de précision sont intégrées dans le temps par ladite application et que, lorsque l’une d’elles excède une valeur maximale prédéterminée, celle-ci est corrigée.
La présente invention concerne également une méthode de preuve de temps écoulé entre transactions successives émises par un nœud, dit nœud client, à destination d’un registre distribué, caractérisée en ce qu’elle met en œuvre une méthode de preuve de temps écoulé entre évènements successifs telle que définie ci-dessus, l’évènement observé étant la formation d’une transaction par ledit nœud client.
Avantageusement, la transaction émise par le nœud client comprend en outre un haché du code de l’application au moment où la transaction est formée.
Selon un exemple de réalisation, la transaction émise par le nœud client comprend en outre la valeur d’un compteur de transactions, ledit compteur étant incrémenté à chaque transaction émise.
La transaction émise par le nœud client peut comprend en outre une mesure du temps auquel la transaction précédente a été émise, la mesure ayant été effectuée au moyen de l’horloge de contrôle et étant signée par une clé privée du module TPM.
Selon une variante, préalablement à l’émission des transactions successives, le nœud client émet une transaction d’enregistrement à destination du registre distribué, ladite transaction d’enregistrement comprenant une valeur initiale du compteur monotone, et indique les valeurs initiales de l’horloge de contrôle, de l’horloge système et de l’horloge de précision.
Un tel processus de contrôle de système ADAS comprend des opérations d’un processus de classification de données, lequel s’inscrit par exemple dans un processus de prédiction ou de détermination d’un niveau de performance de l’ensemble d’amortisseurs du premier véhicule 10.
Le processus de prédiction/détermination du niveau de performance de l’ensemble d’amortisseurs du premier véhicule 10 comprend avantageusement deux phases, chacune de ces phases comprenant une ou plusieurs opérations.
Selon un exemple particulier, les deuxièmes véhicules compris dans l’ensemble de deuxièmes véhicules 11 possèdent tous la même configuration ou une configuration similaire, c’est-à-dire qu’ils correspondent tous à un même type de véhicule (par exemple une même série d’un modèle particulier de véhicule) avec des composants ou organes identiques ou similaires (même version par exemple), par exemple des mêmes amortisseurs ou des amortisseurs de même type.
Le ou les capteurs peuvent être disposés à affleurement ou en retrait de la surface du dispositif dans un logement de cette dernière. En variante, le ou les capteurs peuvent être en saillie et éventuellement se rétracter lors de l'utilisation.
Le détecteur de prise en main peut être configurés pour détecter la proximité de la main, à une distance inférieure ou égale à 5 cm, mieux inférieure ou égale à 2 cm du ou de chaque capteur.