INPI-France/Brevets-Francais-2024-Chunked huggingface dataset:
En relation avec l’exemple décrit dans les figures 1 et 2, l’unité de traitement 502 est configurée pour générer une représentation numérique d’un premier transducteur fini minimal à partir du Grafcet 202 et une autre représentation numérique d’un deuxième transducteur fini minimal à partir du Grafcet 204. Le produit cartésien des deux transducteurs finis minimaux est alors un transducteur minimal pour toute la logique automate 200.
A titre d’exemple, la mémoire non-volatile 504 est en outre configurée pour stocker un premier fichier informatique, par exemple stocké suite à la conversion de la logique automate en au moins un transducteur fini minimal. A titre d’exemple, le premier fichier informatique comprend un sous ensemble des états des transducteurs finis. Dans un autre exemple, le premier fichier comprend au moins un sous ensemble des états d’au moins un des transducteurs finis. Les états compris dans le premier fichier sont par exemple des états, identifiés au préalable comme des états étant sensibles, ou encore non associés à une propriété de sûreté, c’est à dire des états dans lequel la sureté du système industriel est compromise en cas d’action malveillante.
Dans l’exemple de la , si au moins un des pistons P1, P2 ou P3 reste en position avant, le système industriel est par exemple compromis, et il s’agit donc bien d’un état sensible. En effet, le passage des autres caisses sera bloqué.
Dans un autre exemple, dans lequel une partie opérationnelle comprend par exemple le remplissage d’une cuve, un état sensible est par exemple celui dans lequel une vanne de remplissage de la cuve est ouverte. En effet, si la cuve est remplie et que la vanne reste ouverte, la sureté du système est compromise.
Dans encore un autre exemple, un état dans lequel un disjoncteur n’est pas disjoncté est un état sensible. En effet si le disjoncteur reste opérationnel en présence d’un défaut électrique, le système est par exemple en danger.
A titre d’exemple, le premier fichier est également configuré pour stocker les états identifiés au préalable comme n’étant pas sensibles, ou associés à une propriété de sureté. Par exemple, les états dans lesquels les pistons P1 et/ou P2 et/ou P3 sont en position arrière sont des états assurant la sûreté du système.
De même, dans l’exemple de la cuve, un état dans lequel la vanne de la cuve est fermée est un état sûr, et il en est de même, dans l’exemple du disjoncteur, pour un état dans lequel le disjoncteur est disjoncté.
La illustre un exemple de recherche de transitions critiques entre deux états d’un transducteur fini.
A titre d’exemple, la mémoire 504 stocke un fichier informatique 600 correspondant à un exemple du premier fichier informatique décrit en relation avec la . Le fichier informatique 600 comprend par un sous-ensemble 602 d’états E1 à En et un sous-ensemble 604 d’états EN1 à ENm. Les états E1 à En et EN1 à ENm d’un transducteur fini minimal, ou d’un ensemble de transducteurs finis minimaux. A titre d’exemple, les états E1 à En sont des états identifiés comme n’étant pas sensibles et les états EN1 à ENm sont des états identifiés comme étant sensibles.
Selon un mode de réalisation, des transitions dites critiques sont identifiées. Les transitions critiques sont par exemple des transitions qui, lorsqu’elles sont forcées ou lorsqu’elles sont empêchées, compromettent la sûreté du système industriel. A titre d’exemple, une transition critique 606 est par exemple une transition partant d’un état source ENj appartenant au sous ensemble 604, et donc sensible, et allant vers un état destination Ei appartenant au sous-ensemble 602. Les transitions critiques identifiées sont par exemple identifiées par l’unité de traitement 502 puis écrites dans un deuxième fichier informatique stocké dans la mémoire 504. Les transitions critiques se distinguent en deux types. Un premier type de transitions critiques sont les transitions allant d’un état sensible vers un état non sensible. En effet, un blocage de l’information, par exemple une attaque malveillante par blocage, peut empêcher la transition de s’effectuer et le système reste dans l’état sensible alors qu’il devrait passer à l’état non sensible. Un deuxième type de transitions critiques sont, à l’inverse, les transitions allant d’un état non sensible vers un état sensible. En effet, la modification d’une donnée, par exemple lors d’une attaque par injection, peut entrainer ce type de transition, menant le système dans un état sensible alors qu’il devrait rester dans un état non sensible.
Plus généralement, dans l’état source d’une transition critique, une éventuelle attaque par blocage d’information laisserait le système dans un état sensible. Dans l’état de destination d’une transition critique, une éventuelle attaque par injection retournerait le système vers un état sensible.
Dans l’exemple décrit en relation avec les figures 1 et 2, la transition allant d’un état source dans lequel le piston P1 est reculé vers un état destination dans lequel le piston P1 est avancé est par exemple une transition critique.
La représente des exemples d’attaques sur le comportement d’une logique automate.
Un premier type d’attaque, illustré par le schéma 700, est l’attaque par blocage d’information. Lors d’une attaque par blocage de l’information, le rafraichissement de la valeur d’une variable, ou d’un ensemble de variables, est empêché. Ce type d’attaque entraîne l’inhibition d’une transition. Si la transition inhibée est une transition identifiée comme critique, le système reste dans un état dans lequel la sureté et la sécurité sont compromises.
Dans le cas de la , le dispositif 110 comprend une unité de calcul 114, une interface utilisateur 116 et un dispositif de communication 118.
L’unité de calcul 114 est un circuit électronique conçu pour manipuler et/ou transformer des données représentées par des quantités électroniques ou physiques dans des registres du dispositif 110 et/ou des mémoires en d'autres données similaires correspondant à des données physiques dans les mémoires de registres ou d'autres types de dispositifs d'affichage, de dispositifs de transmission ou de dispositifs de mémorisation.
En tant qu’exemples spécifiques, l’unité de calcul 114 comprend un processeur monocœur ou multicœurs (tel qu’une unité de traitement centrale (CPU), une unité de traitement graphique (GPU), un microcontrôleur et un processeur de signal numérique (DSP)), un circuit logique programmable (comme un circuit intégré spécifique à une application (ASIC), un réseau de portes programmables in situ (FPGA), un dispositif logique programmable (PLD) et des réseaux logiques programmables (PLA)), une machine à états, une porte logique et des composants matériels discrets.
L’unité de calcul 114 comprend une unité de traitement de données 120 adaptée pour traiter des données, notamment en effectuant des calculs, des mémoires 122 adaptées à stocker des données et un lecteur 124 adapté à lire un support lisible par ordinateur.
L'interface utilisateur 116 comprend un dispositif d'entrée 126 et un dispositif de sortie 128.
Le dispositif d’entrée 126 est un dispositif permettant à l'utilisateur du système de saisir sur le dispositif 110 des informations ou des commandes.
Sur la , le dispositif d’entrée 126 est un clavier. En variante, le dispositif d’entrée 126 est un périphérique de pointage (tel qu'une souris, un pavé tactile et une tablette graphique), un dispositif de reconnaissance vocale, un oculomètre ou un dispositif haptique (analyse des mouvements).
Le dispositif de sortie 128 est une interface utilisateur graphique, c’est-à-dire une unité d’affichage conçue pour fournir des informations à l’utilisateur du dispositif 110.
Sur la , le dispositif de sortie 128 est un écran d’affichage permettant une présentation visuelle de la sortie. Dans d'autres modes de réalisation, le dispositif de sortie est une imprimante, une unité d'affichage augmenté et/ou virtuel, un haut-parleur ou un autre dispositif générateur de son pour présenter la sortie sous forme sonore, une unité produisant des vibrations et/ou des odeurs ou une unité adaptée à produire un signal électrique.
Dans un mode de réalisation spécifique, le dispositif d'entrée 126 et le dispositif de sortie 128 sont le même composant formant des interfaces homme-machine, tel qu'un écran interactif.
Le dispositif de communication 118 permet une communication unidirectionnelle ou bidirectionnelle entre les composants du dispositif 110. Par exemple, le dispositif de communication 118 est un système de communication par bus ou une interface d'entrée / sortie.
La présence du dispositif de communication 118 permet que, dans certains modes de réalisation, les composants du dispositif 110 soient distants les uns des autres.
Le produit programme informatique 112 comprend un support lisible par ordinateur 132.
Le support lisible par ordinateur 132 est un dispositif tangible lisible par le lecteur 124 de l’unité de calcul 114.
Notamment, le support lisible par ordinateur 132 n'est pas un signal transitoire en soi, tels que des ondes radio ou d'autres ondes électromagnétiques à propagation libre, telles que des impulsions lumineuses ou des signaux électroniques.
Un tel support de stockage lisible par ordinateur 132 est, par exemple, un dispositif de stockage électronique, un dispositif de stockage magnétique, un dispositif de stockage optique, un dispositif de stockage électromagnétique, un dispositif de stockage à semi-conducteur ou toute combinaison de ceux-ci.
Dans encore un mode de réalisation de l’invention alternatif ou cumulatif, l’unité de calcul pourra être agencée pour générer une séquence initiale de type binaire pseudo-aléatoire et pour générer ladite séquence de données modulante en insérant les données de la séquence initiale dans une séquence nulle de taille supérieure à la séquence initiale, chaque donnée de la séquence initiale étant insérée dans la séquence nulle à une position dépendante de sa position dans la séquence initiale. De façon similaire au mode précédent, cette opération permet ainsi d’obtenir une séquence modulante qui améliore sensiblement les propriétés de corrélation de la séquence initiale et dont le rapport cyclique est diminué. En effet, le maximum de la fonction d’autocorrélation de la séquence ainsi obtenue, c’est-à-dire pour un décalage temporel nul, reste inchangé et correspond au nombre de valeurs hautes dans la séquence initial, tandis que sa valeur, pour tous les autres décalages temporels, est sensiblement diminuée au regard de la valeur de la fonction d’autocorrélation de la séquence initiale. Le maximum de la fonction de corrélation peut ainsi être discriminé par l’unité de calcul avec une plus grande précision. D’autre part, compte tenu de la diminution du rapport cyclique de la séquence de données, la puissance pic des impulsions du faisceau lumineux modulé émis peut alors être augmentée, de façon équivalente au mode précédent.
On pourra indifféremment employer une seule de ces méthodes, ou combiner plusieurs de ces méthodes, voire combiner toutes ces méthodes, pour générer la séquence modulante à partir de la séquence initiale, sans sortir du cadre de la présente invention.
, une représentation schématique d’un mode de réalisation de la lunette de l’invention,
La figure 3A représente une vue en perspective d’une lunette de visée ou d’observation 10 selon l’invention. On note l’axe de visée ou d’observation de la lunette 10. On note , la dimension de la lunette selon l’axe (appelée « encombrement » par la suite).
La figure 3B est une représentation schématique selon un plan des éléments compris dans la structure mécanique SM de la lunette selon l’invention. La lunette 10 comporte essentiellement deux sous-ensembles principaux qui sont une caméra CI et un dispositif de visualisation DV dont la structure est détaillée plus précisément dans la .
Le dispositif de visualisation DV comprend un premier micro-afficheur MA1, un premier oculaire OC1 associé au premier afficheur MA1 et un premier guide de lumière à expansion de pupille PE1. L’ensemble des composants optiques et électroniques est intégrée dans la structure mécanique étanche SM qui les protège de l’environnement extérieur et des chocs.
Cette structure SM comporte une interface mécanique IF de fixation permettant de la fixer sur une arme équipée d’une interface standard. Cette interface est, par exemple, un rail « Picatinny » ou son équivalent.
La structure SM comporte également un ensemble IC de boutons et d’organes de commandes permettant notamment les commandes Marche / Arrêt des différentes fonctions de l’équipement, les réglages de luminosité du premier micro-afficheur vidéo MA1, les réglages électroniques et mécaniques de simbleautage, les réglages électroniques de superposition des différentes images générées sur le paysage extérieur. Il peut être disposé sur un des deux flancs latéraux de la lunette. A titre d’exemple non limitatif, sur la , l’ensemble comporte trois boutons disposés sur le flanc latéral gauche de la lunette, d’autres boutons étant disposés sur le flanc droit de la lunette.
Selon le mode de réalisation de l’invention illustré dans la figure 3B, la caméra CI est une caméra thermique, comprenant d’un objectif infrarouge OI fonctionnant dans la bande spectrale située entre 8µm et 12µm et un capteur infrarouge CPT sensible dans la même bande spectrale ou entre 3 et 5 .
Alternativement, selon un autre mode de réalisation, la caméra est une caméra à bas niveau de lumière mettant en œuvre un capteur CPT « CMOS » à bas bruit, « CMOS » étant l’acronyme de « Complementary Metal Oxide Semi-conductor » ou un capteur « EB-CMOS », acronyme de «Electro-Bombarded CMOS » ou encore tout autre caméra à bas niveau de lumière numérique.
La caméra peut également être une caméra « SWIR », acronyme de « Short Wave InfraRed » fonctionnant dans la bande spectrale entre 1µm et 2µm, captant la lumière nocturne issue de la luminescence nocturne ou « night glow » et offrant aussi des capacités de décamouflage.
La caméra CI comporte une électronique d’alimentation, de pilotage du capteur et de traitement d’image ainsi qu’un boitier d’alimentation (non représentés) recevant plusieurs piles ou un bloc de batteries rechargeables de façon à lui assurer son autonomie qui est par exemple disposé à l’arrière de la lunette, côté œil de l’observateur.
Le dispositif de visualisation DV comprend le premier micro-afficheur vidéo MA1, le premier oculaire OC1 formant une image du premier micro-afficheur vidéo à l’infini et l’électronique nécessaire à l’alimentation et au pilotage du premier micro-afficheur.
Le premier micro-afficheur MA1 affiche un réticule vidéo de visée, éventuellement enrichi d’éléments de correction de hausse ou de symboles ou de graduations stadimétriques. Il affiche également une image du paysage extérieur acquise par la caméra, dit premier objet. Selon un autre mode de réalisation, le premier micro-afficheur MA1 n’affiche que l’image du paysage extérieur acquise par la caméra.
Le premier micro-afficheur vidéo MA1 est à titre d’exemple, un afficheur « OLED », acronyme signifiant « Organic Light Emmitting Diode », « LCD », acronyme signifiant « Liquid Crystal Display », ou « LCOS », acronyme signifiant « Liquid Crystal On Silicon».
Le dispositif de visualisation DV comprend en outre le premier guide de lumière à expansion de pupille PE1 agencé optiquement en aval du premier oculaire et adapté pour étendre une pupille du premier oculaire dans deux directions de l’espace et pour superposer la première image sur le paysage extérieur.
La tige 25 de l’arbre de sortie 20 est configurée pour transmettre, autrement dit transmet, un couple de fonctionnement de l’actionneur électromécanique 11 au tube d’enroulement 4 au travers de l’élément de liaison 31, lors de l’activation électrique de l’actionneur électromécanique 11.
Ici, la tige 25 présente une première extrémité 25c et une deuxième extrémité 25d. La deuxième extrémité 25d est opposée à la première extrémité 25c.
Avantageusement, la tige 25 est filetée au moins partiellement.
Ici, la tige 25 comprend une première partie filetée 25a et une deuxième partie non filetée 25b. La première partie filetée 25a est disposée au voisinage de la première extrémité 25c de la tige 25. En outre, la deuxième partie non filetée 25b est disposée au voisinage de la deuxième extrémité 25d de la tige 25.
En variante, non représentée, la tige 5 comprend uniquement la première partie filetée 25a.
Avantageusement, l’actionneur électromécanique 11 comprend, en outre, au moins un écrou 43.
Ici, l’actionneur électromécanique 11 comprend un seul écrou 43.
En variante, non représentée, l’actionneur électromécanique 11 comprend l’écrou 43 et un autre écrou formant un contre-écrou.
Avantageusement, suite à l’insertion de chacune des première et deuxième parties 31a, 31b de l’élément de liaison 31 sur la tige 25, l’écrou 43 est vissé, autrement dit est configuré pour être vissé, sur la première partie filetée 25a de la tige 25, en particulier dans la configuration assemblée du dispositif d’entraînement motorisé 5.
Ainsi, les première et deuxième parties 31a, 31b de l’élément de liaison 31 sont maintenues en position sur la tige 25 de l’arbre de sortie 20 par vissage de l’écrou 43 sur la première partie filetée 25a de la tige 25.
Avantageusement, l’actionneur électromécanique 11 comprend au moins une rondelle 46. La ou chaque rondelle 46 comprend un deuxième trou central 47. En outre, la tige 25 est insérée, autrement dit est configurée pour être insérée, dans le deuxième trou central 47 de la ou chaque rondelle 46, en particulier dans la configuration assemblée du dispositif d’entraînement motorisé 5.
Ici, l’actionneur électromécanique 11 comprend deux rondelles 46. Une première rondelle 46 est disposée entre les première et deuxième parties 31a, 31b de l’élément de liaison 31. En outre, une deuxième rondelle 46 est disposée entre la première partie 31a de l’élément de liaison 31 et la deuxième extrémité 25d de la tige 25.
Ici, la tige 25 présente une section carrée. En outre, le premier trou central 37 de chacune des première et deuxième parties 31a, 31b de l’élément de liaison 31 et le deuxième trou central 47 de chaque rondelle 46 présentent une section carrée. Cette forme facilite la transmission d’un couple de mise en rotation du tube d’enroulement 4, entre la tige 25 et l’élément de liaison 31.
La forme de la tige, du premier trou central de chacune des première et deuxième parties de l’élément de liaison et du deuxième trou central de chaque rondelle n’est pas limitative et peut être différente. Elle peut être, par exemple, circulaire.
En variante, non représentée, les première et deuxième parties 31a, 31b de l’élément de liaison 31 sont maintenues en position sur la tige 25 de l’arbre de sortie 20 au moyen d’une vis vissée dans un alésage central de la tige 25, d’un élément d’encliquetage élastique assemblé sur la tige 25 ou d’un circlips assemblé sur la tige 25.
Grâce à la présente invention, le dispositif d’entraînement motorisé permet de simplifier l’assemblage de l’actionneur électromécanique et de l’élément de liaison à l’intérieur du tube d’enroulement, de maximiser le diamètre extérieur du carter de l’actionneur électromécanique par rapport au diamètre intérieur du tube d’enroulement, tout en minimisant le coût d’obtention du dispositif d’entraînement motorisé.
Matériaux – couche mince de catalyseur Un catalyseur est un matériau dont la présence permet de provoquer une réaction (électrochimique d’oxydo-reduction) d’intérêt pour la mesure d’un composé ionique dans un milieu d’analyse particulier. Au sens de l’invention la couche mince de catalyseur peut être constituée d’un métal, celui-ci peut notamment être choisi parmi le platine, le tungstène, le titane, le cuivre, le nickel, l’aluminium ou encore l’or, l’argent, le rhodium, l’osmium, le palladium et le ruthénium, ou d’un alliage métallique comportant par exemple au moins un métal choisi dans la liste exposée. Avantageusement le métal ou l’alliage métallique est choisi par ceux d’entre eux qui sont susceptibles de s’oxyder naturellement en étant exposé à l’air ambiant ou au lieu d’analyse ou sous un flux de plasma d’oxygène. Dans ce cas, il se crée une couche d’oxyde d’épaisseur typique comprise entre quelques nanomètres et quelques dizaines de nanomètres. La couche mince de catalyseur comprise dans la surface réactive est alors toute ou en partie une couche d’oxyde.
Exemple d’utilisation de catalyseur La publication « Detection of Nitrate/Nitrite Using BDD Electrodes Coated with Metal Nano-Catalysts” (ZRIBI, B. et SCORSONE, E. Multidisciplinary Digital Publishing Institute Proceedings, 2017, vol. 1, no 4, p. 452) illustre les performances comparées de plusieurs catalyseurs qui sont susceptibles d’être utilisés dans le cadre de l’invention.
A titre d’exemple, on peut aussi citer quelques couches minces de catalyseur en fonction de l’espèce que l’on souhaite détecter : Oxygène dissous : TiO2, Pt, Au-Pd, Cu-Pd, Au-Cu, Nitrate : CuO, Au-Pt, Au-Ru, Phosphate : NiOOH, pH (H+) : TiO2, WO3, IrOx.
Le choix du catalyseur est fait à la fois avec des considérations de performances, mais aussi de coût. Un même catalyseur peut être utilisé pour cibler des espèces chimiques différentes.
Matériaux – support Parmi les matériaux semi-conducteurs utilisables pour le support on peut notamment citer le silicium. Parmi les matériaux conducteurs on peut citer les métaux et alliages métalliques conducteurs, il peut notamment s’agir de niobium, de tungstène, de titane, de cuivre, d’acier, d’aluminium, d’or ou d’argent.
Selon un mode de réalisation spécifique le support comporte une couche unique de matériau, de préférence de matériau conducteur.
Matériaux – couche mince intermédiaire La couche mince est généralement constituée d’un matériau qui n’affecte sensiblement pas la conductivité électrique entre le support et la couche mince avec laquelle il est en contact. Il peut notamment s’agir d’un métal tel que le titane et ses alliages, le cuivre et ses alliages, le tungstène, les alliages de fer, le niobium…
Principalement pour favoriser l’accroche entre les différentes couches minces, on peut intercaler une couche mince spécifique entre deux couches fonctionnelles (parmi couche carbone, couche catalyseur et support).
La couche mince intermédiaire peut être un matériau indépendant ou un mélange des matériaux qui entourent la couche intermédiaire.
A titre d’exemple, on peut citer Le titane est souvent utilisé comme couche mince d’accroche au carbone DLC, Le niobium est le matériau préféré comme support à la croissance du carbone BDD.
Matériaux – couche de protection
La couche de protection peut notamment être choisie parmi des matériaux étanches, réputés inaltérables et présentant une accroche forte sur la surface des électrodes. Il peut notamment s’agir d’une résine de type polyuréthane, silicone, epoxy…
Une couche intermédiaire entre la couche de protection et l’électrode de travail peut également être présente, elle est alors choisie pour ses propriétés de résistance vis-à-vis de l’activité électrolytique de l’électrode.
De manière avantageuse, les oxydes métalliques (SiO2, Alumine, …) qui peuvent apporter à la fois des qualités d’accroche, d’étanchéité, d’isolation électrique et d’inertie chimique seront choisis pour cette couche de protection. La couche de protection d’oxyde peut être réalisée par PVD ou par un procédé sol-gel.
Procédé de préparation - électrode de travail L’invention porte également sur un procédé de préparation d’une électrode telle que précédemment définie, sur un support, caractérisé en ce qu’il comporte :
- Une étape de dépôt d’une couche mince de catalyseur,
- l'au moins une cavité présente au moins une paroi de mise en position par complémentarité de forme au regard de la forme extérieure d’un élément de moteur électrique linéaire, de préférence au regard de la forme extérieure d’un ou d’un couple élément(s) de stator, et/ou par ajustement serré entre la cavité et l’élément de moteur électrique ;
– l’au moins une cavité présente au moins une paroi de mise en position présentant une surépaisseur ;