INPI-France/Brevets-Francais-2024-Chunked huggingface dataset:
Selon des aspects avantageux, mais non obligatoires de l’invention, ce coffret de protection et de raccordement incorpore une ou plusieurs des caractéristiques suivantes, prises isolément ou selon toutes combinaisons techniquement admissibles :
- Chaque passe-câble présente une forme de cône étagé non-débouchant dont chaque étage forme une zone sécable, et chaque étage est configuré pour permettre le passage d’un câble électrique d’un diamètre différent.
- La nervure et la lèvre d’étanchéité forment entre elles une gorge de la membrane d’étanchéité, la gorge de la base est formée entre deux nervures de la base, et l’une des deux nervures de la base s’étend dans la gorge de la membrane d’étanchéité.
- La membrane d’étanchéité comprend en outre une deuxième zone plane, s’étendant parallèlement à la première zone plane, les au moins deux passe-câbles s’étendant depuis la deuxième zone plane, et une paroi latérale, s’étendant entre la première zone plane et la deuxième zone plane. En outre, la nervure de la membrane d’étanchéité s’étend depuis la paroi latérale de la membrane d’étanchéité.
- La gorge de la base présente au moins une partie fine et au moins une partie large, la nervure de la membrane d’étanchéité présente au moins une partie étroite, s’étendant dans l’au moins une partie fine de la gorge de la base, et au moins une partie épaisse, s’étendant dans l’au moins une partie large de la gorge de la base.
- La membrane d’étanchéité comprend en outre une cavité interne, délimitée par la paroi latérale et la deuxième zone plane de la membrane d’étanchéité, la cavité interne étant ouverte sur le volume intérieur du coffret de protection et de raccordement.
- La lèvre d’étanchéité comprend une partie fine élastiquement déformable, la partie fine s’étendant depuis la première zone plane de manière oblique par rapport à l’axe principal.
- La membrane d’étanchéité comprend en outre au moins un œillet de passage de fil, chaque œillet de passage de fil étant configuré pour permettre le passage d’un fil électrique au travers de la membrane d’étanchéité.
- Le couvercle présente deux saillies s’étendant depuis le couvercle vers la base, dans un plan perpendiculaire à l’axe principal, et dans lequel les deux saillies du couvercle sont disposées au moins partiellement de part et d’autre de la paroi latérale de la membrane d’étanchéité.
- Chaque saillie du couvercle présente une ouverture, et le coffret de protection et de raccordement comprend en outre deux organes de fixation permettant de fixer le couvercle à la base, chaque organe de fixation s’étendant au travers de l’ouverture de l’une des saillies.
L’invention sera mieux comprise et d’autres avantages de celle-ci apparaitront plus clairement à la lumière de la description qui va suivre d’un mode de réalisation d’un coffret de protection et de raccordement, conforme à son principe, donnée uniquement à titre d’exemple et faite en référence aux dessins dans lesquels :
La est une vue en perspective d’un coffret de protection et de raccordement conforme à l’invention.
La montre des simulations du même type que celles décrites en lien avec la . Sur la , on a considéré une répartition volumique homogène de 234m Pa sur une épaisseur de 2 mm de béton. On a pris en compte les mêmes distances d du détecteur par rapport à la paroi que sur la . L’écart entre les spectres acquis en considérant des distances de 2.5 mm et de 10 mm est négligeable.
L’inventeur considère que la distance optimale entre l’objet 2 et le détecteur 10 est comprise entre 5 mm et 10 mm. Au-delà de 10 mm, on risque une perte d’efficacité, c’est-à-dire une diminution du nombre de particules β détectées. En deçà de 5 mm, la manipulation de l’écran devient complexe, ce dernier étant trop près de l’objet, avec des risques de contact entre l’écran et l’objet. Par la suite, la distance entre le détecteur et l’objet est égale à 7.5 mm.
La montre l’effet de l’obturation du détecteur par l’écran 15 sur le spectre mesuré par le détecteur. La représente des spectres mesurés expérimentalement face à une paroi contaminée en uranium. On a mesuré respectivement un spectre sans écran (écran dans la position ouverte, telle que représenté sur la ), un spectre avec écran (écran dans la position fermée). Les spectres ont été mesurés selon une même durée d’acquisition de 120 secondes. L’écran était une plaque d’aluminium d’épaisseur 4 mm. Le spectre avec écran, noté Sp bdf est considéré comme représentatif du bruit de fond γ. Le bruit de fond γ est dû aux radioéléments émetteurs γ présents dans l’objet (par exemple des radioéléments naturels) ou dans l’environnement du détecteur. La soustraction du spectre avec écran Sp bdf du spectre sans écran permet d’obtenir un spectre corrigé du bruit de fond γ. Le spectre corrigé Spβ, ou spectre β brut, est considéré comme uniquement représentatif des particules β émises par l’objet.
Parmi les radioéléments naturels potentiellement présents dans l’objet, citons par exemple 40 K, ainsi que des descendants du 232 Th et de 238 U. De tels radioéléments sont par exemple présents dans des objets en béton. Le bruit de fond γ peut également résulter de radioactivité artificielle présente dans l’environnement du détecteur.
Lorsque l’objet comporte une radioactivité naturelle, le spectre β brut Spβ comporte une composante naturelle due aux particules β émises par les radioéléments naturels. Cette composante naturelle peut, dans une première approche, être négligée car elle est généralement assez faible. Le tableau 1 montre les différents radionucléides émetteurs β d’origine naturelle et artificielle susceptible d’être rencontrés dans une paroi en béton potentiellement contaminée en uranium.
La montre le spectre β corrigé Spβ, tel que décrit en lien avec la (spectre β brut), ainsi qu’un spectre β, également corrigé du bruit de fond γ, mesuré face à une paroi de béton non contaminée (spectre de bruit de fond naturel ou spectre de bruit de fond RN, noté SpRN). La paroi de béton non contaminée était située dans la même installation que la paroi contaminée, sur laquelle le spectre β corrigé a été formée. Ainsi, le spectre β de bruit de fond RN, noté SpRN, peut être considéré comme représentatif d’une contribution naturelle β dans le spectre β corrigé. La montre un spectre β net, noté Spβ’, obtenu en soustrayant le spectre β de bruit de fond naturel SpRN du spectre β brut. Le spectre β net Spβ’est ainsi représentatif de l’activité β artificielle dans la paroi mesurée.
La représente des spectres β simulés avec le code de calcul MCNP6, dans un matériau détecteur tel que précédemment décrit (50 cm x 50 cm x 4 mm), en prenant en compte des activités massiques de 232 Th, 238 U et 40 K mesurées par spectrométrie gamma sur une paroi considérée comme non contaminée. La mesure par spectrométrie gamma a permis d’estimer des niveaux d’activités de 15 Bq/Kg pour 232 Th, 22 Bq/Kg pour 23 8 U, et 485 Bq/Kg pour 40 K. Ces activités massiques permettent de simuler la composante naturelle dans le spectre β mesuré par le détecteur. Sur la , on a représenté : la composante due à 232 Th dans le spectre β ; la composante due à 23 8 U dans le spectre β ; la composante due à 40 K dans le spectre β ; la composante due à 235 U dans le spectre β, en supposant une enrichissement naturel de l’uranium : la masse de 235 U correspond à 0.72% de la masse d’uranium ;
Sur la , on a également représenté une simulation de spectre β résultant de 234m Pa en prenant en compte une activité surfacique homogène de 0.4 Bq.cm -2 et un enrichissement de 1% en masse en 235 U (spectre UB), et en prenant en compte un enrichissement de 8.16% en masse en 235 U (spectre UH).
Dans ces simulations, la distance entre la paroi et le détecteur était considérée égale à 7.5 mm, et la densité du béton était considérée égale à 2.3 g.cm -3 .
On observe que : la composante naturelle du spectre β est dominée par 40 K, jusqu’à l’énergie 1311 keV, qui correspond à l’énergie maximale des particules β émises par 40 K ; la mesure du spectre β résultant de 234m Pa est largement supérieure à la contribution naturelle à faible enrichissement ainsi qu’à enrichissement élevé, au-delà de 1 MeV. Il est possible de modéliser la composante naturelle dans un spectre β mesuré par le détecteur, en prenant en compte des activités massiques, établies a priori ou mesurées, des principaux radioéléments émetteurs β naturels.
Par ailleurs, des simulations ont montré que la composante γ de l’activité naturelle n’est pas absorbée de façon significative par l’écran d’aluminium. Aussi, la soustraction du spectre de bruit de fond, mesuré en présence de l’écran d’aluminium, permet de s’affranchir de la composante γ de l’activité naturelle.
Les figures 8A et 8B montrent des simulations de spectres β mesurés par un détecteur tel que décrit sur la , en prenant en compte une activité surfacique homogène d’uranium, sur un élément de paroi de 50 cm de côté, en prenant en compte respectivement un enrichissement en 235 U de 1% et de 82.55% en masse. Par activité surfacique, on entend une activité répartie sur une profondeur de 10 µm. Sur chacune de ces figures, on a représenté les contributions de 234m Pa, 234 Th et 231 Th. 234m Pa et 234 Th sont des descendants de 238 U, tandis que 231 Th est un descendant de 235 U. La distance entre le détecteur et la paroi était considérée égale à 7.5 mm. Sur chacune de ces figures, l’axe des ordonnées correspond à un taux de comptage (s -1 .Bq -1 .cm²) et l’axe des abscisses correspond à un niveau d’énergie (MeV).
Les figures 8A et 8B montrent que quel que soit le niveau d’enrichissement, le spectre est dominé par la contribution de 234m Pa, cette dernière étant plus faible à fort enrichissement ( ) qu’à faible enrichissement ( ). On observe qu’en considérant une première plage d’énergie ΔE1 délimitée par une première énergie minimale E1min, supérieure ou égale à 300 keV, et qu’en sommant le spectre sur cette première plage d’énergie ΔE1, la valeur spectrale obtenue ne dépend que de l’activité de 234m Pa. Par valeur spectrale, on entend une valeur mesurée à partir du spectre. Il peut notamment s’agir d’un taux de comptage ou d’un comptage dans la plage d’énergie. La valeur spectrale obtenue sur la première plage d’énergie ΔE1 est une première valeur spectrale notée N1.
De préférence, la première plage d’énergie ΔE1 s’étend jusqu’à une première énergie maximale E1max supérieure ou égale à 2269 keV, cette dernière correspondant à l’énergie d’émission maximale d’une particule β par 234m Pa. Par exemple, la première plage d’énergie ΔE1 est [300 keV ; 2500 keV]. Une telle plage d’énergie permet de collecter la totalité du contenu spectral utile de l’activité β de 234m Pa. La première énergie maximale E1max peut être égale à 2300 keV, ou être inférieure 2000 keV ou 1500 keV ou 1000 keV. On retient que la première énergie maximale E1max est de préférence inférieure ou égale à 2500 keV, voire à 2300 keV. Ainsi, bien que la première plage d’énergie optimale soit [300 keV ; 2500 keV], une plage d’énergie plus restreinte, dans cet intervalle, peut convenir. Une plage d’énergie s’étendant à partir de 300 keV, ou à partir d’une première valeur minimale E1min supérieure ou égale à 300 keV, et inférieure ou égale à 1000 keV, ou 1500 keV peut convenir. On note qu’au-delà de 1000 keV, la valeur des canaux spectraux diminue. Il est donc préférable que la première énergie minimale E1min soit comprise entre 300 keV et 1000 keV. Il est envisageable de ne pas prendre en compte une première énergie maximale : E1max = : la plage considérée est alors [E1min, ], avec 300 keV ≤ E1min≤1000 keV.
La première valeur spectrale N1, dans la première plage d’énergie ΔE1 = [E1min, E1max] précédemment définie, est ensuite destinée à être traitée par une fonction de transfert, de façon à pouvoir estimer un niveau d’activité en 238 U. L’établissement de la fonction de transfert est décrit par la suite, en lien avec la . La prise en compte de l’enrichissement η permet ensuite de convertir l’activité en 238 U en activité en U.
La montre une évolution de l’énergie déposée dans le matériau détecteur du dispositif par des particules β en fonction de l’épaisseur de ce dernier.
La montre une évolution de l’énergie déposée dans le matériau détecteur par des particules β en fonction de l’épaisseur d’un écran d’aluminium interposé entre le matériau détecteur et l’objet
La montre un spectre de l’énergie de particules β détectées par le matériau détecteur en fonction de différentes distances entre le matériau détecteur et l’objet, la contamination en uranium étant supposée surfacique.
La montre un spectre de l’énergie de particules β détectées par le matériau détecteur en fonction de différentes distances entre le matériau détecteur et l’objet, la contamination en uranium étant supposée volumique, selon une épaisseur de 2 mm.
La montre des spectres de l’énergie de particules β détectées par le matériau détecteur en présence d’un écran d’aluminium, sans l’écran d’aluminium. On a également représenté un spectre corrigé résultant de la soustraction des spectres modélisés avec et sans écran.
La montre un spectre de l’énergie de particules β détectées par le matériau détecteur dues à la radioactivité naturelle de l’objet, ainsi que des spectres de l’énergie de particules β détectées par le matériau détecteur avec et sans soustraction du spectre de l’activité naturelle.
La montre des simulations de spectres de l’énergie de particules β détectées par le matériau détecteur dans différentes configurations.
La montre des simulations spectres de l’énergie de particules β détectées par le matériau détecteur résultant de différents radioéléments, pour un faible enrichissement de 235 U.
La montre des simulations de spectres de l’énergie de particules β détectées par le matériau détecteur résultant de différents radioéléments, pour un fort enrichissement de 235 U.
La montre un spectre de l’énergie de particules α détectées par le matériau détecteur.
La montre un spectre de l’énergie de particules β détectées par le matériau détecteur.
La montre l’évolution d’une fonction de transfert, permettant de convertir une valeur spectrale en niveau d’activité, et cela pour différentes profondeurs de contamination.
Les figures 12A, 12B et 12C montrent des cartographies expérimentales effectuées avec un dispositif selon l’invention.
La montre l’évolution d’un ratio entre une première valeur spectrale et une deuxième valeur spectrale en fonction de l’enrichissement en 235 U, en prenant en compte une contamination surfacique.
La montre l’évolution d’un ratio entre une première valeur spectrale et une deuxième valeur spectrale en fonction de l’enrichissement en 235 U, en prenant en compte une contamination volumique.
La montre les principales étapes d’un procédé de détermination de l’activité en U en mettant en œuvre l’invention.
De façon optionnelle également, le sous-module fonctionnel de transformation comporte un analyseur logiciel syntaxique et lexical.
De façon optionnelle également, le module fonctionnel de génération de requêtes exécutables par ce solveur est implémenté en langage de programmation Python et l’analyseur syntaxique et lexical comporte l’outil Python Lex-Yacc.
Il est également proposé un procédé de validation formelle d’un système physique électronique ou électromécanique définissable par modélisation selon un principe d’ingénierie des systèmes, comportant les étapes suivantes : modélisation du système physique par enregistrement, dans un espace de définition du système physique inclus dans des moyens de stockage, d’un ensemble structuré de spécifications techniques exprimées dans un langage de modélisation prédéterminé ; réception, par une plate-forme logicielle exécutée par un processeur ayant accès aux moyens de stockage, de l’ensemble structuré de spécifications techniques ; sélection, à l’aide d’une interface dédiée associée à un module fonctionnel solveur de la plate-forme logicielle, d’un solveur parmi : un éventuel premier solveur de vérification des propriétés de validation de l’ensemble structuré de spécifications techniques à partir de premiers modèles de validation, et au moins un autre solveur, non applicable aux premiers modèles de validation, pour lequel la plate-forme logicielle comporte un module fonctionnel de génération, à partir de l’ensemble structuré de spécifications techniques, de requêtes exécutables par cet autre solveur pour la vérification des propriétés de validation de l’ensemble structuré de spécifications techniques ; génération, par un module fonctionnel de la plate-forme logicielle, des premiers modèles de validation à partir de l’ensemble structuré de spécifications techniques et de propriétés de validation au moins lorsque l’éventuel premier solveur est sélectionné ; et exécution du solveur sélectionné pour la vérification des propriétés de validation de l’ensemble structuré de spécifications techniques.
Il est également proposé un programme d’ordinateur téléchargeable depuis un réseau de communication et/ou enregistré sur un support lisible par ordinateur et/ou exécutable par un processeur, caractérisé en ce qu’il comprend des instructions pour l’exécution des étapes d’un procédé de validation formelle d’un système physique selon l’invention, lorsque ledit programme est exécuté sur un ordinateur.
L’invention sera mieux comprise à l’aide de la description qui va suivre, donnée uniquement à titre d’exemple et faite en se référant aux dessins annexés dans lesquels : la représente schématiquement la structure générale d’un système informatique de validation formelle d’un système physique, selon un mode de réalisation de l’invention, la illustre les étapes successives d’un procédé de validation formelle d’un système physique, selon un mode de réalisation de l’invention, la illustre les sous-étapes successives d’une étape de transformation de l’ensemble structuré de spécifications techniques exprimées dans le langage de modélisation prédéterminé, cette étape de transformation pouvant être prévue dans l’exécution du procédé de validation formelle de la , selon une première variante, et la illustre un résultat intermédiaire possible de l’étape de transformation précitée, selon une deuxième variante.
Le système informatique 10 représenté sur la , par exemple un ordinateur, comporte un processeur 12 associé de façon classique à des moyens de stockage 14, par exemple une mémoire RAM, pour le stockage de fichiers de données et de programmes d’ordinateurs exécutables par le processeur 12.
Parmi les programmes d’ordinateurs exécutables par le processeur 12, une plate-forme logicielle 16 constituée de plusieurs modules fonctionnels, par exemple ceux identifiés par les références 18, 20, 22, 24, 26, 28 et 30 dans l’exemple non limitatif de la , est stockée dans la mémoire 14. Le système informatique 10 tel qu’illustré sur la comporte ainsi fonctionnellement plusieurs programmes d’ordinateurs que représentent les modules fonctionnels 18 à 30, ou plusieurs fonctions d’un même programme d’ordinateur que représente la plate-forme logicielle 16. On notera par ailleurs que les modules fonctionnels 18 à 30 sont présentés comme distincts, mais cette distinction est purement fonctionnelle. Ils pourraient tout aussi bien être regroupés selon toutes les combinaisons possibles en un ou plusieurs logiciels. Leurs fonctions pourraient aussi être au moins en partie micro programmées ou micro câblées dans des circuits intégrés dédiés. Ainsi, en variante, le système informatique 10 pourrait prendre la forme d’un dispositif électronique composé au moins partiellement de circuits numériques (sans programme d’ordinateur) pour la réalisation des mêmes actions.
Le système informatique 10 est conçu pour la validation formelle d’un système physique électronique ou électromécanique définissable par modélisation selon un principe d’ingénierie des systèmes. A cet effet, la mémoire 14 comporte un espace de définition du système physique par enregistrement d’un ensemble structuré de spécifications techniques 32 exprimées dans un langage de modélisation prédéterminé. Ce langage de modélisation prédéterminé est par exemple Simulink qui permet, dans l’environnement logiciel Matlab, de proposer une représentation visuelle à l’aide de blocs fonctionnels logiquement interconnectés du système physique. Ce langage de modélisation prédéterminé peut aussi être Modelica, auquel cas l’ensemble structuré de spécifications techniques 32 est représenté différemment, par exemple sous la forme d’un système d’équations.
D’une façon générale il peut être considéré que, dans ces deux cas, l’ensemble structuré de spécifications techniques 32 comporte plusieurs dictionnaires qui peuvent être extraient des représentations précitées, c’est-à-dire plusieurs collections d’objets non ordonnés ou plusieurs tableaux associatifs implémentables sous la forme de tables de hachage, comportant au moins : un dictionnaire qui contient toutes les entrées du système physique, chaque entrée prenant la forme d’une paire formée d’une clé (i.e. le nom de l’entrée) et d’une valeur associée à cette clé (i.e. le type de l’entrée) ; et un dictionnaire qui contient toutes les sorties du système physique, chaque sortie prenant la forme d’une paire formée d’une clé (i.e. le nom de la sortie) et d’une valeur associée à cette clé (i.e. le type de la sortie), chaque sortie étant en outre associée à une liste d’au moins une relation logique de cause à effet formalisant le respect d’une propriété donnée du système physique.
Comme indiqué précédemment, en méthodologie PMM chaque relation logique de chaque sortie du système physique prend la forme d’une condition PBR. Une condition PBR d’une sortie peut relier une ou plusieurs entrées à cette sortie du système. Elle peut aussi relier une ou plusieurs autres sorties à cette sortie de telle sorte que cela crée une arborescence de conditions PBR, voire même une structure plus complexe, par exemple à boucles, de conditions PBR.
Un exemple simple de dictionnaire d’entrées est exprimable sous la forme {'a' : 'Real', 'b' : 'Bool'} pour définir deux entrées a et b de types respectifs réel et booléen. Un exemple simple de dictionnaire de sorties est exprimable sous la forme {'y' : ('Real', [('PBRy1.cause', 'PBRy1.effect'), ('PBRy2.cause', 'PBRy2.effect')]), 'z' : ('Bool', [('PBRz1.cause', 'PBRz1.effect')]),} pour définir deux sorties y et z de types respectifs réel et booléen avec deux conditions PBR pour y et une condition PBR pour z.
De façon optionnelle, l’ensemble structuré de spécifications techniques 32 peut comporter au moins un dictionnaire supplémentaire, notamment pour définir des entrées ou sorties de types structurés complexes tels que des énumérations. Par exemple, pour définir un type d’énumération représentant la couleur, on peut écrire : {'Couleur' : '(Bleu) (Rouge) (Vert)'}.
Les propriétés de validation P1, …, PN que l’on souhaite vérifier par solveur sur le système physique tel que défini par l’ensemble structuré de spécifications techniques 32 sont par exemple prédéfinies et enregistrées sous la référence 34 dans la mémoire 14. Elles portent chacune sur tout ou partie des conditions PBR précitées. Comme indiqué précédemment, il peut s’agir de propriétés de cohérence, complétude et/ou atteignabilité-restriction. En termes de cohérence, celle-ci peut varier selon les conditions PBR prises en compte : de la vérification d’une cohérence globale, lorsque toutes les conditions PBR du système physique sont prises en compte simultanément, à la vérification de cohérences locales de différentes natures, lorsque seulement certaines conditions PBR sont prises en compte simultanément, telles que toutes les conditions PBR d’une même sortie, un ensemble de conditions PBR prises en compte deux à deux ou plus généralement n à n (n étant un entier supérieur à 2), etc. Le détail de ces propriétés ne fait pas l’objet de la présente invention et ne sera donc pas décrit. En variante, elles peuvent aussi être définies en ligne, c’est-à-dire avant chaque sollicitation d’un solveur, via une interface homme-machine par exemple.