INPI-France/Brevets-Francais-2024-Chunked huggingface dataset:
Selon un mode de mise en œuvre du procédé d’électroformage, le processeur hôte envoie directement des commandes d’écriture et de lecture successives pour réaliser les opérations décrites en relation aux figures 2 à 4. Ainsi, pour réaliser l’équivalent des étapes 310 à 330, le processeur hôte envoie une instruction d’écriture au dispositif mémoire, avec un signal de contrôle du bus du dispositif mémoire lui indiquant qu’on est en mode « électroformage », en positionnant la valeur « 1 » sur le bus de données, et en positionnant l’adresse initiale sur le bus d’adresses. Sur réception de cette commande d’écriture, le dispositif mémoire, via son contrôleur mémoire, va lancer l’exécution du calcul de l’ECC par l’encodeur et va commander ensuite l’écriture à proprement parler du mot de code (avec des valeurs à 1) en activant les dispositifs de contrôle lignes/colonnes à partir de l’adresse reçue, et en activant les dispositifs d’écriture qui reçoivent pour consigne d’écriture le mot de code issu de l’encodeur.
Pour réaliser l’équivalent de l’étape 331, ou 410, le processeur hôte envoie une instruction de lecture au dispositif mémoire avec un signal de contrôle du bus du dispositif mémoire lui indiquant qu’on est en mode lecture, en positionnant l’adresse initiale sur le bus d’adresses et en attendant la donnée lue qui sera réceptionnée sur le bus de données. Sur réception de cette commande de lecture, le dispositif mémoire, via son contrôleur mémoire, va lancer l’exécution de la lecture à proprement parler du mot de code en activant les dispositifs de contrôle lignes/colonnes à partir de l’adresse reçue, puis transmettre le mot de code lu au décodeur. Le décodeur identifie s’il y a des erreurs dans la partie données du mot de code grâce aux bits d’ECC. S’il y a une erreur (ou plusieurs), le décodeur le signale au contrôleur mémoire, par exemple en écrivant dans un registre interne du contrôleur mémoire. En outre, s’il y a une erreur, le décodeur corrige les données si cela est possible. Si la correction de la donnée était possible ou s’il n’y avait pas d’erreurs, le décodeur fournit les données sur le bus de données via le bloc d’entrée-sortie. Le processeur hôte récupère les données présentes sur le bus et vérifie si ces données sont toutes égales à la valeur « 1 » qui doit correspondre à la valeur attendue après une étape d’électroformage.
Le processeur vérifie également qu’il n’y a pas eu de corrections d’erreurs réalisées par le décodeur (via, par exemple, la consultation du registre interne du contrôleur mémoire qui peut être rendu accessible au processeur hôte) avant de valider la bonne réalisation de l’électroformage à l’adresse courante.
Dans tous les exemples de réalisation précédemment décrits, il a été pris pour postulat que l’étape d’électroformage consiste à réaliser une opération de SET conduisant à écrire la mémoire résistive sélectionnée à un état de basse impédance LRS.
Il a également été considéré que les valeurs des données sortant de l’encodeur sont transmises au dispositif d’écriture et écrites dans la mémoire sélectionnée sans opération d’inversion de la valeur dans cette chaîne. Ainsi l’homme de l’art comprendrait qu’il faut adapter en conséquence la valeur de données indiquée par le processeur lors d’une requête d’écriture si par exemple un inverseur était placé en sortie du bloc encodeur, entre ce dernier et le dispositif d’écriture. Ainsi, l’homme de l’art pourra bien entendu envisager des adaptations du procédé et du dispositif précédemment décrits, pour conserver l’avantage de la présente invention, à savoir de ne pas avoir besoin d’un dispositif d’écriture des bits d’ECC spécifique (qui impliquerait alors d’avoir un bypass de l’encodeur pour les bits ECC en mode d’électroformage).
Dans la présente invention, le dispositif d’écriture pour les bits de données et d’ECC est directement relié à l’encodeur et reçoit comme consigne de valeurs d’écriture directement les valeurs issues de l’encodeur, sans qu’il y ait besoin de différencier ce mode de fonctionnement selon que l’on est en électroformage ou en écriture « standard ». Cet avantage de simplicité du dispositif mémoire est obtenu grâce à un encodeur mettant en œuvre un code correcteur d’erreur linéaire et invariant à l’inversion comme cela a été expliqué précédemment
Dans les exemples précédemment décrits, l’électroformage est normalement réalisé avec une unique écriture, en mode électroformage, pour faire passer chaque cellule mémoire dans l’état LRS. C’est notamment le cas pour les mémoires résistives du type CBRAM et OxRAM. Il est possible que pour d’autres types de mémoires résistives, il soit nécessaire de faire plusieurs opérations d’écriture pour bien réaliser l’opération d’électroformage. Dans le cas par exemple des mémoires PCM, il est nécessaire avant leur utilisation standard, de faire plusieurs cycles de SET et RESET dans des conditions d’écriture particulières (en tension/courant). Ainsi, dans ce cas, les logigrammes d’électroformage décrits précédemment doivent être adaptés pour réaliser, non pas une opération d’écriture, mais une série d’écriture pour écrire successivement « 1 » (faire un SET) puis « 0 » (faire un RESET), et recommencer plusieurs fois. A l’issue, de cette répétition d’écritures SET/RESET, on pourra de même vérifier que l’état d’écriture à « 0 » et/ou à « 1 » est correct. Là aussi, l’intérêt d’utiliser un encodeur mettant en œuvre un code correcteur d’erreur linéaire et invariant à l’inversion permet « naturellement », sans matériel, ni logiciel supplémentaire, de réaliser l’électroformage des bits ECC en même temps que l’électroformage des bits de données, ce qui permet d’être plus rapide au final, et d’éviter des « stress » inutiles aux cellules mémoire (qui seraient liés à des conditions de tension/courant néfastes pour les cellules si répétées plusieurs/trop de fois).
Dans les exemples décrits précédemment, l’étape d’électroformage unique réalisée vise à faire passer chaque résistor d’un état technologique initial (appelé « pristine » en anglais) qui présente une haute impédance « très HRS » à un état basse impédance LRS. En outre, nous avons pris pour convention que l’opération de SET est réalisée par demande d’écriture d’une valeur « 1 » dans la mémoire. Dans le cas où une convention inverse serait prise, à savoir écriture d’une valeur de « 0 » pour réaliser une opération de mise en état LRS (passage de HRS à LRS) et d’une valeur de « 1 » pour réaliser l’opération inverse de mise à l’état HRS, alors il est possible d’utiliser un encodeur mettant en œuvre un code correcteur linéaire « simple », sans qu’il soit nécessaire que le code correcteur linéaire soit également invariant à l’inversion.
On notera néanmoins, qu’au-delà d’une réalisation de l’étape d’électroformage au moyen d’un dispositif mémoire ne nécessitant pas d’avoir un encodeur qui puisse être contourné (« bypass » pour que le contrôleur mémoire puisse commander directement), il est intéressant de pouvoir réaliser des écritures de vérification de la matrice mémoire consistant à écrire un « 1 » dans toutes les cellules, puis un « 0 » dans toutes les cellules, y compris dans les cellules ECC, pas uniquement dans les cellules de données. Ces écritures de vérification permettent notamment de s’assurer qu’il n’y a pas de résistor défaillant entraînant toujours une lecture d’un « 1 » ou d’un « 0 ». Pour pouvoir réaliser ces vérifications, sans surcoût de matériel « hardware » embarqué dans le dispositif mémoire, et depuis le processeur hôte, il est nécessaire d’utiliser un encodeur qui mette en œuvre un code correcteur d’erreur linéaire et invariant à l’inversion. Ainsi, l’utilisation d’un tel encodeur permet en pratique de simplifier le dispositif mémoire, pour la réalisation des étapes d’électroformage et/ou pour la réalisation des étapes de test « tout à 1 » et « tout à 0 ».
Sans limitation, un ECC connu est le code SEC-DED (acronyme de l’anglicisme « Single Error Correction Double Error Detection ») qui permet la correction des erreurs sur un seul bit (SEC) et la détection des erreurs sur deux bits (DED). L’homme du métier pourra se reporter à différents documents disponibles de la littérature qui décrivent des types de code correcteur d’erreurs et des mécanismes de correction et détection d’erreurs par un ECC dans une mémoire résistive.
Architecture de commande virtualisée d’un aéronef et procédé associé La présente invention concerne une architecture de commande d’au moins un élément fonctionnel d’un aéronef pilotable entre une pluralité de configurations, l’architecture comprenant :
- au moins une interface homme-machine comportant un afficheur et une unité de gestion d’affichage sur l’afficheur, l’unité de gestion d’affichage étant configurée pour générer une commande principale en fonction d’une action d’un opérateur visant à passer l’au moins un élément fonctionnel dans une configuration cible ;
- au moins un module de contrôle de l’au moins un élément fonctionnel apte à piloter l’au moins un élément fonctionnel entre ses configurations ;
- au moins un module d’interfaçage configuré pour transmettre la commande principale à l’au moins un module de contrôle.
Une telle architecture de commande virtualisée permet à un pilote, par exemple, au moyen d’un écran tactile de contrôler un élément fonctionnel de l’aéronef.
- une contrainte relative à un regroupement interdit entre des éléments E du réseau R.
De préférence, les contraintes utilisateur sont choisies par l’utilisateur en fonction de ses propres connaissances sur le fonctionnement du réseau R, mais aussi en fonction de connaissances externes disponibles, telles que des rapports d’incidents, des événements particuliers qui conduiraient à des saturations ou fermetures de certains nœuds du réseau R.
Dans un exemple de mise en œuvre, des contraintes utilisateurs sont déjà prédéfinies, et l’utilisateur vient adapter ces contraintes (par exemple via un curseur) de façon spécifique pour le réseau R considéré.
Un exemple de contraintes utilisateur pour un réseau de transport R (métro) est illustré par la . Dans cet exemple, l’interface utilisateur 12 permet à l’utilisateur d’indiquer visuellement les contraintes de regroupement à destination de l’algorithme. Dans cet exemple, l’opérateur peut facilement proposer des groupements de stations de comportement identique (stations entourées en traits pleins), ou à l’opposé indiquer un souhait de séparation (stations entourées en pointillés).
La phase de configuration 100 comprend une étape 140 de regroupement, par l’outil de regroupement 14, des éléments E du réseau R dans des groupes en fonction des données de flux et des contraintes utilisateur. Les groupes d’éléments E obtenus permettent de caractériser les flux entre les éléments E du réseau R.
En particulier, les éléments E sont assimilés, pour le regroupement, à des nœuds d’un graphe et les flux entre les éléments E à des arêtes du graphe. Le graphe est dynamique, c’est-à-dire que ses arêtes évoluent en fonction du temps, à partir de l’évolution des données de flux. Un tel graphe est aussi discrétisé dans le temps, pour pouvoir agréger les transactions individuelles sous forme d’un comptage par intervalle. Un tel graphe est potentiellement bipartite, dans le cas où les nœuds du réseau R sont répartis en deux groupes différentiés (par exemple, un groupe de stations d’entrée, et un groupe de stations de sortie).
Chaque groupe est tel que les nœuds correspondants aux éléments E du groupe se connectent entre eux de façon similaire et se connectent de façon dissimilaire aux nœuds correspondants aux éléments E des autres groupes. Par le terme « similaire », il est entendu que les connexions sont proches mais pas forcément rigoureusement identiques.
Dans un exemple de mise en œuvre, ce graphe dynamique discrétisé est représenté sous la forme d’une suite de matrices d’adjacence pondérées. Une matrice d’adjacence pour un graphe fini à n sommets est une matrice de dimension n × n dont l'élément non diagonal a ij est le nombre d'arêtes liant le sommet i au sommet j. L'élément diagonal a ii est le nombre de boucles au sommet i (pour des graphes simples, ce nombre est donc égal à 0 ou 1). Ainsi, dans cet exemple, les entrées de l’outil de regroupement 14 sont des matrices d’adjacence et les sorties de l’outil de regroupement 14 sont des matrices réorganisées dont les lignes et les colonnes ont été permutées par rapport aux matrices d’adjacence d’entrée de sorte à faire apparaître des groupes.
Dans cet exemple, les nœuds du graphe dynamique sont les nœuds du réseau R, et les arêtes du graphe dynamique à chaque instant correspondent à une agrégation des interactions entre deux nœuds sur une période de temps donnée. Dans un réseau R de transport, par exemple, les nœuds du graphe dynamique sont les stations du réseau R et les arêtes à un instant donné correspondent au nombre de trajets effectué entre deux stations données sur une période de temps fixée.
Par exemple, l’outil de regroupement 14 met en œuvre un modèle mathématique paramétrique décrivant la façon dont sont générés les flux dans le réseau R ainsi qu’un algorithme d’apprentissage associé. Ces paramètres (par ex. : distributions des niveaux, connectivités, dynamique des transitions, ...) sont appris par l’algorithme à partir des données.
Par exemple, l’outil de regroupement 14 met en œuvre un algorithme de type espérance-maximisation, ce qui permet la prise en compte des contraintes utilisateur. Un algorithme espérance-maximisation (en anglais expectation-maximization algorithm , souvent abrégé EM) est un algorithme itératif qui permet de trouver les paramètres du maximum de vraisemblance d'un modèle probabiliste lorsque ce dernier dépend de variables latentes non observables.
Dans un exemple, il est attribué un indicateur d’importance aux contraintes utilisateurs. Les contraintes utilisateurs sont alors prises en compte pour le regroupement selon l’indicateur d’importance. Par exemple, l’outil de regroupement 14 fera en sorte de plus respecter une contrainte avec un indicateur d’importance fort qu’une contrainte avec un indicateur d’importance faible.
De préférence, la phase de configuration 100 comprend une étape 150 d’affichage, via l’interface utilisateur 12, d’une représentation des groupes d’éléments E obtenus. La représentation affichée est, ainsi, propre à être visualisée par un utilisateur du dispositif 10. La représentation affichée permet notamment d’aider à la gestion des flux entre les éléments E, par exemple de détecter des situations anormales.
De préférence, lors de chaque étape d’affichage 150, il est aussi affiché un indicateur relatif à la prise en compte des contraintes utilisateur dans les regroupements effectués. Ainsi, si les ou des contraintes ne sont pas respectées, cela permet d’indiquer des éventuelles anomalies dans les données de flux.
Ainsi, l’utilisateur dispose de deux sources d’information :
Les flux réels, synthétisés sous forme d’une vue temps-réel du réseau R, et Les éléments E de synthèse issus de l’analyse automatique : la partition des nœuds du réseau R à chaque instant de la période d’étude du graphe et le cas échéant des paramètres du modèle estimés par l'algorithme sur les données.
Selon l’invention, la pluralité de nervures de renforcement est formée à proximité d’au moins l’une des deux extrémités du conduit pour liquide ou fluide.
Selon un aspect de l’invention, la pluralité de nervures de renforcement est distribuée angulairement autour de la première extrémité et/ou la seconde extrémité du conduit pour liquide ou fluide.
Selon l’invention, la pluralité de nervures de renforcement converge vers la première extrémité et/ou la seconde extrémité du conduit pour liquide ou fluide en direction de l’axe Y.
Selon une caractéristique de l’invention, le premier conduit externe et le second conduit externe sont emmanchés à force respectivement dans la première extrémité et la seconde extrémité.
L’invention se rapporte également à un actionneur électromécanique comprenant un corps de vanne selon l’une des caractéristiques précitées, un volet mobile monté sur un arbre, un moteur électrique et un mécanisme d’engrenage monté cinématiquement entre le moteur et le volet.
la est une représentation schématique d’une vue isométrique depuis un côté du corps de vanne ;
la est une représentation schématique d’une vue isométrique depuis un côté opposé du corps de vanne ;
la est une représentation schématique en coupe du corps de vanne ;
la représente un actionneur comprenant un corps de vanne selon l’invention.
Il est à noter que les figures divulguent l’invention d’une manière suffisamment détaillée pour sa mise en œuvre, lesdites figures aidant à mieux définir l’invention au besoin. L’invention ne devrait cependant pas être limitée au mode de réalisation divulgué dans la description.
Comme illustré sur la , un corps de vanne est divulgué sous un aspect de la présente invention. L’invention concerne plus particulièrement un corps de vanne 100 pour un actionneur électromécanique. Le corps de vanne 100 comprend un conduit de gaz 102 qui s’étend à travers le corps de vanne 100 suivant un axe X. Le gaz peut être un gaz recyclé, un gaz d’échappement ou un gaz purifié. Le corps de vanne 100 est pourvu d’un conduit pour liquide ou fluide 120 qui s’étend à travers le corps de vanne 100 suivant un axe Y. Le conduit pour liquide ou fluide 120 comporte deux extrémités 108a et 108b des deux côtés ou sur des côtés opposés du corps de vanne 100.
Dans un agencement tel qu’illustré sur les figures, le conduit pour liquide ou fluide 120 est moulé avec le corps de vanne 100. Le conduit pour liquide ou fluide 120 est moulé de manière à s’étendre le long de l’axe Y, les deux extrémités susmentionnées 108a et 108b étant coaxiales. Le conduit pour liquide ou fluide 120 est un élément creux. Au moins une extrémité 108a ou 108b du conduit pour liquide ou fluide 120 comprend un élément de renfort 122. Une pluralité de nervures de renforcement 122 est formée à côté d’au moins l’une de la première extrémité 108a et la seconde extrémité 108b du conduit pour liquide ou fluide 120. Comme représenté sur les figures 1 et 2, l’élément de renfort est une pluralité de nervures de renforcement 122 qui s’étend radialement vers l’extérieur à partir de l’une de la première extrémité 108a et la seconde extrémité 108b du conduit pour liquide ou fluide 120.
Chaque nervure de la pluralité de nervures de renforcement 122 ou 122 est moulée sous pression de telle sorte qu’elle raccorde l’extrémité 108 du conduit pour liquide ou fluide 120 à divers composants du corps de vanne sur au moins un des deux côtés à proximité des extrémités 108a et/ou 108b. La pluralité de nervures 122 est agencée de telle sorte qu’elle raccorde l’extrémité 108b du conduit pour liquide ou fluide 120 à divers composants du corps de vanne 100 comme illustré sur la .
Par exemple, au moins deux nervures 122a et 122e s’étendent à partir de l’extrémité 108b jusqu’au conduit de gaz 102. Au moins une nervure 122b s’étend à partir de l’extrémité 108b jusqu’à un logement d’arbre 136 perpendiculaire au conduit de gaz 102. Au moins deux nervures 122c et 122f s’étendent à partir de l’extrémité 108b jusqu’à un logement de moteur 130 dans le corps de vanne 100. Au moins une nervure 122d s’étend à partir de l’extrémité 108b jusqu’au logement de mécanisme d’engrenage 132.
De façon similaire, la pluralité de nervures 122 est agencée de telle sorte qu’elle raccorde l’extrémité 108a du conduit pour liquide ou fluide 120 à divers composants du corps de vanne 100 comme illustré sur la .
De manière préférée, la réaction de réduction électrochimique de dioxyde de carbone à l’état liquide ou supercritique du procédé selon la présente invention est effectuée à une température comprise entre 30°C et 60°C, préférentiellement comprise entre 35°C et 55°C, plus préférentiellement comprise entre 40°C et 50°C, telle que 44°C plus ou moins 3°C.
De manière préférée, la réaction de réduction électrochimique de dioxyde de carbone à l’état liquide ou supercritique du procédé selon la présente invention est effectuée à une température supérieure ou égale à 0°C et à une pression supérieure ou égale à 50 bars.
De manière plus préférée, la réaction de réduction électrochimique de dioxyde de carbone à l’état liquide ou supercritique du procédé selon la présente invention est effectuée à une température supérieure ou égale à 20°C, voire supérieure ou égale à 30°C, et à une pression supérieure ou égale à 70 bars, voire supérieure ou égale à 80 bars.
De manière encore plus préférée, la réaction de réduction électrochimique de dioxyde de carbone à l’état liquide ou supercritique du procédé selon la présente invention est effectuée à une température supérieure ou égale à 35°C, voire supérieure ou égale à 40°C, et à une pression supérieure ou égale à 90 bars, voire supérieure ou égale à 100 bars.
Dans un mode de réalisation particulier, la réaction de réduction électrochimique de dioxyde de carbone à l’état liquide ou supercritique du procédé selon la présente invention est effectuée à un pH supérieur ou égal à 2, supérieur ou égal à 4, supérieur ou égal à 5, supérieur ou égal à 6, supérieur ou égal à 7, supérieur ou égal à 8, supérieur ou égal à 9, supérieur ou égal à 10, supérieur ou égal à 11 ou encore supérieur ou égal à 12.
Dans un mode de réalisation particulier, réaction de réduction électrochimique de dioxyde de carbone peut se faire en régime milli-fluidique ou micro-fluidique. Les conditions de mise en œuvre du procédé de réduction peuvent ainsi être agencées de manière à ce qu’un film de dioxyde de carbone d’une épaisseur inférieure ou égale à 5 millimètres, inférieure ou égale à 4 millimètres, inférieure ou égale à 3 millimètres, inférieure ou égale à 2 millimètres, inférieure ou égale à 1 millimètre, préférentiellement inférieure ou égale à 500 microns, inférieure ou égale à 400 microns, inférieure ou égale à 300 microns, inférieure ou égale à 200 microns, inférieure ou égale à 150 microns, ou encore inférieure ou égale à 100 microns, soit généré. Cette approche (régime milli-fluidique ou micro fluidique) implique une faible distance entre les électrodes et potentiellement un écoulement continu des fluides (CO 2 , eau...). L’approche micro-fluidique/milli-fluidique implique que les électrodes soient séparées par de petites distances, généralement inferieures ou de l’ordre du millimètre.
Dans un mode de réalisation particulier, la réaction de réduction électrochimique de dioxyde de carbone à l’état liquide ou supercritique du procédé selon la présente invention est conduite dans un cadre de production industriel, c’est-à-dire avec des quantités de produit(s) obtenus supérieures ou égales à 10 kg, supérieures ou égales à 25 kg, supérieures ou égales à 50 kg, supérieures ou égales à 100 kg, supérieures ou égales à 500 kg, supérieures ou égales à 1000 kg, supérieures ou égales à 5000 kg, ou encore supérieures ou égales à 10000 kg, par jour.
Dans un mode de réalisation particulier, le procédé de réduction électrochimique de dioxyde de carbone à l’état liquide ou supercritique du procédé selon la présente invention se fait en présence d’eau, en particulier en l’absence de membrane échangeuse d’ions. Ainsi, l’absence de membrane ainsi que l’absence d’électrolyte(s) rend le procédé selon la présente invention particulièrement attrayant en termes d’industrialisation.
En outre, dans cette configuration, il est avantageux d’utiliser un réacteur en (flux) continu, par exemple un réacteur à plat ou tubulaire. En effet, ce type de réacteur permet une industrialisation aisée en toute sécurité en évitant la génération de surpressions incontrôlées.
Dans le cas de la présence d’une membrane, la présence d’eau du côté anodique en particulier permet la réduction du monoxyde de carbone du côté cathodique. La solution anodique peut comprendre une quantité d’eau ou d’un équivalent de donneur de protons, supérieure ou égale à 10% en masse, supérieure ou égale à 25% en masse, supérieure ou égale à 50% en masse, supérieure ou égale à 75% en masse, supérieure ou égale à 80% en masse, supérieure ou égale à 90% en masse ou encore supérieure ou égale à 95% en masse d’eau par rapport à la masse totale de la solution anodique.