INPI-France/Brevets-Francais-2024-Chunked huggingface dataset:
Selon un aspect, il est proposé à cet égard un procédé de vérification d’une exécution d’un programme logiciel compilé stocké dans une mémoire programme d’un processeur et exécuté par le processeur, le procédé comprenant au moins une opération d’écriture, ladite au moins une opération d’écriture compilée comprenant : - une affectation d’une adresse de destination dans un registre du processeur ; - une écriture d’une donnée à l’emplacement pointé par l’adresse de destination contenue dans le registre ; dans lequel une opération de vérification compilée comprend : - une réaffectation de la même adresse de destination dans le même registre ; - une lecture de la donnée contenue à l’emplacement pointé par l’adresse de destination contenue dans le registre après la réaffectation ; - une comparaison entre la donnée lue et la donnée écrite.
En particulier, les étapes de l’opération d’écriture et les étapes de l’opération de vérifications sont des instructions compilées, c’est-à-dire des instructions de langage machine, typiquement générée automatiquement par un compilateur à partir d’un code en langage de programmation.
Ainsi, dans le procédé selon cet aspect, le compilateur est « forcé » à effectuer ladite réaffectation de l’adresse de destination dans le registre, et, en conséquence, une injection de faute dans le contenu dudit registre après la première affectation de l’adresse de destination pourra impacter l’opération d’écriture, mais sera « effacée » pour la lecture de l’opération de vérification. L’opération de vérification est alors capable d’identifier et de détecter le dysfonctionnement.
Selon un mode de mise en œuvre, la réaffectation de l’opération de vérification est effectuée pour toutes les affectations immédiates de données dans des registres, telles que des adresses de destination d’opérations d’écriture, faites lors de l’exécution de ladite au moins une opération d’écriture, une affectation immédiate étant une écriture dans un registre d’une donnée présente à une adresse définie par un décalage ajouté à une valeur d’une adresse absolue.
En effet, le cas d’une injection de faute sur une valeur d’adresse qui se répercute lors de la vérification de l’écriture, est particulièrement problématique lorsque l’injection de faute touche à l’adresse absolue mise dans des registres pour effectuer des affectations immédiates. En effet, lors d’une affectation immédiate, l’adresse définie par un décalage sur une adresse absolue est typiquement stockée temporairement dans un registre, pour pouvoir accéder à la donnée présente à cette adresse.
Ce mode de mise en œuvre permet ainsi une prévention généralisée sur toutes les affectations immédiates mises en œuvre pour la ou les opération(s) d’écriture.
Selon un mode de mise en œuvre, l’exécution dudit programme logiciel comprend une compilation d’un code de langage de programmation en instructions de langage machine, et au moins une instruction de langage machine dédiée à la mise en œuvre de ladite réaffectation est imposée lors de la compilation par un mnemonic dans le code de langage de programmation.
En d’autres termes, dans le langage de programmation, le mnemonic impose lors de la compilation la génération d’une ou plusieurs instruction(s) en langage machine (par exemple des instructions en assembleur de rechargements de registres) dédiée(s) à la mise en œuvre de ladite réaffectation.
Le compilateur, dans son contexte de compilation, est ainsi forcé à « oublier » qu’un registre donné contient (théoriquement) la même valeur que celle nécessaire pour effectuer la vérification du registre.
Une instruction en langage machine générée à la compilation est usuellement désignée par un « mnemonic », ou un « opcode » (contraction de « code opération ») qui lui sont associés. Le « mnemonic » est une représentation symbolique plus facile à lire et à identifier par un humain que l’« opcode » numérique d’une instruction dans le langage machine du type assembleur qui résulte de la compilation du code en langage de programmation. Dans le langage de programmation, de haut niveau, on appelle également « mnemonic » un code prévu pour imposer une génération des instructions « opcode » du langage machine correspondantes lors de la compilation.
Ainsi, dans ce mode de mise en œuvre, la compilation bénéficie avantageusement d’un mnemonic imposant ladite réaffectation.
Selon un mode de mise en œuvre, ladite au moins une opération d’écriture et l’opération de vérification sont mise en œuvre dans l’exécution d’une même fonction du programme logiciel.
Selon un mode de mise en œuvre, l’exécution de ladite même fonction du programme logiciel comprend une compilation de code mettant en œuvre une optimisation des ressources comprenant une réutilisation du contenu affecté dans ledit registre pour des instructions distinctes de ladite même fonction.
En effet, l’optimisation d’une fonction à la compilation peut engendrer, d’une façon a priori inattendue lors de la programmation, la répercussion sur l’adresse vérifiée d’une faute injectée sur l’adresse écrite. D’autre part, ne pas utiliser une fonction distincte pour effectuer la vérification est avantageux en soi.
Selon un mode de mise en œuvre, ladite comparaison de l’opération de vérification comprend une génération d’un message d’erreur si la donnée lue et la donnée écrite ne sont pas identiques.
Selon un autre aspect, il est également proposé un produit programme d’ordinateur comprenant des instructions qui, lorsque le programme est exécuté par un ordinateur, conduisent celui-ci à mettre en œuvre le procédé tel que défini ci-avant.
De manière similaire, le signal de sortie du dispositif de compensation 7 présente, pour la fréquence fondamentale, un déphasage configuré pour générer une puissance réactive inverse (en opposition de phase) à la puissance réactive du signal perturbateur de la charge 2.
De cette manière, la puissance réactive consommée par la charge 2 est complétement compensée, dans la limite du dimensionnement du dispositif 7, du côté réseau électrique donné 1.
Il est à noter que tout courant perturbateur à fréquence inclut dans la bande de fréquences de la boucle de contrôle du courant injecté, allant de 0 Hz à 2500 Hz, peut être compensé/filtré par le dispositif 7, comme décrit dans la . Des harmoniques non conventionnels peuvent être inclus.
L’élément de stockage d’énergie capacitif 3 L’élément de stockage d’énergie capacitif 3 comprend le ou les condensateurs connectés en amont à l’entrée DC de l’onduleur et en aval à la sortie DC de l’unité de puissance à génération d’énergie renouvelable 100. La tension continue appliquée au bornes de l’élément de stockage d’énergie capacitif 3 V dc est à maintenir constante par l’unité de contrôle-commande 12. Cette tension peut être supérieure à 1000 V lors de l’emploi de l’onduleur Ond-Cr à composants rapide (supérieur à 80 kHz), ce qui favorise la dynamique globale du filtre actif.
Il est à noter que pour la même puissance de dimensionnement que l’Ond-Cr, des limitations de nature industrielles sont imposées à l’onduleur classique en silicium, en fréquence de commutation à 16 kHz et en tension DC à 800 V.
Un dispositif de production d’énergie renouvelable assure la production de la puissance maximale active de l’unité de puissance à génération d’énergie renouvelable 100, tout en offrant la possibilité de compenser la totalité ou une partie de la puissance réactive et/ou du courant déséquilibré. Ce mode de fonctionnement prévoit, en option, une gestion de la charge/décharge du système de stockage d’énergie (batteries ou autres technologies de stockage d’énergie).
Dans ce mode de réalisation, le dispositif fonctionne en tant que système d’énergie renouvelable. Le dispositif injecte dans ce cas uniquement la puissance maximale de l’unité de puissance à génération d’énergie renouvelable 100, avec la possibilité de compenser de la puissance réactive et du déséquilibre du courant.
Dans ce mode de réalisation, le filtre 11 de sortie peut être un LCL ou L-Ond-Cr avec L-Ond-Cr inférieure ou égale à L f1 +L f2 du filtre LCL.
Dans ce mode de réalisation, le fonctionnement en filtre actif peut être une option.
Le dispositif de production d’énergie renouvelable peut être associé au filtre actif parallèle, la gestion de la charge/décharge du système de stockage d’énergie (batteries ou autres technologies de stockage d’énergie) est une option.
Dans un autre aspect de l’invention, il est proposé un dispositif de compensation 7 de courant du type filtre actif parallèle, apte à être connecté :
à son entrée, en aval d’au moins une unité de puissance à génération d’énergie renouvelable 100 couplée à un élément de stockage d’énergie capacitif 3, et en parallèle, à sa sortie, en amont à un point de raccordement C entre d’une part un réseau électrique donné 1, et d’autre part des charges 2 électriques non linéaires et linéaires,
le dispositif de compensation de courant 7 présentant :
une unité de conversion 8 de puissance, comportant au moins un onduleur de puissance à structure tension 9 à commutation rapide à composants en carbure de silicium SiC ou en nitrure de gallium GaN,
l’unité de conversion 8 générant un courant alternatif à la fréquence 50 Hz, couvrant le courant actif maximal généré par l’unité de puissance à génération d’énergie renouvelable 100 ;
une unité de filtrage 10 de sortie, comportant un filtre 11 de sortie pour chacune des phases et un neutre, et connecté : d’une part en aval de l’onduleur 9, et d’autre part en parallèle au point de raccordement C entre le réseau électrique donné 1 et les charges 2 électriques non linéaires et linéaires, le filtre 11 de sortie étant dimensionné pour bloquer les composantes harmoniques dues à la commutation rapide de l’onduleur 9 ;
Il comporte ici une machine électrique 100, un moteur à combustion interne (non représenté) et un réducteur de vitesse 200.
La machine électrique 100 pourrait être du type à flux radial. Toutefois, de préférence, elle est du type à flux axial.
La machine électrique 100 ici employée comporte un carter 120 creux en deux parties boulonnées l’une sur l’autre, qui délimitent un logement à l’intérieur duquel se trouvent ici un rotor 130 et deux stators 140 disposés de part et d’autre du rotor 130.
Les stators 140 sont montés de manière fixe dans le carter 120. Ils présentent chacun une forme de disque percé en son centre et centré sur l’axe A1 du rotor 130 (ci-après appelé axe de rotation A1). Chacun de ces stators porte des enroulements de fils électriques qui permettent, lorsqu’ils sont alimentés en courant électrique, de générer un flux magnétique qui traverse le rotor 130 selon une direction sensiblement parallèle à l’axe de rotation A1. C’est la raison pour laquelle ce type de machine électrique est qualifié de machine à flux axial.
Le rotor 130 présente également une forme de disque percé en son centre. Il présente une épaisseur telle qu’un entrefer est ménagé entre chacune de ses deux faces circulaires et le stator 140 qui lui fait face.
En pratique, il comporte un moyeu central 131 ( ) et une frette périphérique 132 ( ) qui maintiennent entre eux des aimants (monoblocs ou formés d’une pluralité d’aimants unitaires) régulièrement répartis autour de l’axe de rotation A1.
Comme le montre la , le moyeu central 131 est boulonné sur un arbre de sortie 110 qui s’étend axialement selon l’axe de rotation A1.
Grâce à cette architecture, lorsque les stators 140 sont alimentés en courant électrique, ils forcent l’arbre de sortie 110 à pivoter autour de cet axe de rotation A1.
Ainsi la machine électrique est-elle en mesure de générer un couple moteur (lorsqu’elle est en mode moteur). A l’inverse, lorsque son arbre de sortie 110 est entrainé en rotation, elle peut se comporter en alternateur apte à générer un courant électrique (on parle de mode génératrice).
L’arbre de sortie 110 pourrait être réalisé d’une seule pièce monobloc.
Toutefois, de manière préférentielle, il comporte au moins deux parties boulonnées l’une sur l’autre, dont une partie principale 115 (à gauche sur la ) et une bague 116 (à droite). Ces deux parties présentent, sur leurs faces extérieures, des brides pour leur fixation par des boulons 118.
Comme le montre également la , le rotor 130 est monté sur la partie principale 115 de l’arbre de sortie 110 et est fixé à celle-ci via les boulons 118.
Des roulements à billes 150 sont prévus autour de chacune de deux parties 115, 116 pour guider le pivotement de l’arbre de sortie 110 autour de l’axe de rotation A1.
Ici, la bague 116 est creuse. Elle présente plus précisément une forme globale de tube. Elle forme ainsi une extrémité creuse 111 pour l’arbre de sortie 110.
A ce stade de la description, on pourra noter que le carter 120 illustré sur la délimite une chambre hermétique dans une partie de laquelle circule un fluide de refroidissement des parties statiques de la machine électrique 100 et de lubrification des parties mobiles du réducteur de vitesse 200.
Le carter 120 présente alors un conduit qui permet de faire communiquer une arrivée de fluide sous pression avec l’intérieur de l’arbre de sortie 110, lequel présente à cet effet un perçage central traversant. Le carter 120 présente également deux passages pour des conducteurs électriques permettant d’alimenter les stators. - Réducteur
Dans le troisième mode de réalisation représenté sur les figures 5 à 7, la partie de raccordement électrique 320 de la borne femelle 300 est formée par une bande métallique qui s’étend à partir de la base de la pince 317 en U dont les branches 316 délimitent l’alvéole de réception 310. Cette bande métallique présente, à partir de là où elle est raccordée à la pince 317, une portion 327 inclinée par rapport à l’axe X d’extension de l’alvéole de réception 310 suivie d’une première bosse 328 dont la concavité est tournée en direction de l’embouchure de l’alvéole de réception 310 (c’est-à-dire tournée vers l’intérieur de la borne femelle 300) et dans laquelle sont ménagées les ouvertures d’accès aux premier et deuxième logements électriques 322, 323. En aval de la première bosse 328, la bande métallique s’étend globalement parallèlement à l’axe X d’extension de l’alvéole de réception 310 avant de former une deuxième bosse 324 dont la concavité est tournée à l’opposé de l’alvéole de réception 310 (c’est-à-dire tournée vers l’extérieur de la borne femelle 300). Chacun des premier et deuxième logements électriques 322, 323 est ainsi délimité par la première bosse 328, la deuxième bosse 324 et la partie de la bande métallique s’étendant entre lesdites première et deuxième bosses 328, 324. C’est contre la deuxième bosse 324 qu’est destiné à être établi au moins un contact électrique entre l’âme dénudée du conducteur électrique, introduit au travers de l’ouverture d’accès, et la bande métallique. Ce contact électrique est réalisé grâce à la lame ressort 330. Cette lame ressort 330 s’étend, longitudinalement, contre la portion 327 de la bande métallique par laquelle la partie de raccordement électrique 320 est rattachée à la partie fonctionnelle comportant l’alvéole de réception 310, ainsi qu’au droit de la partie de la bande métallique située entre la première bosse 328 et la deuxième bosse 324 (voir ). L’âme dénudée du conducteur électrique insérée dans l’un des logements électriques 322, 323 via l’ouverture d’accès correspondante, est serré par la lame ressort 330 contre la deuxième bosse 324 de la bande métallique, laquelle forme la paroi conductrice 321 précédemment décrite. La bande métallique comporte aussi des moyens pour relier la lame ressort 330 à la bande métallique. Ces moyens sont ici formés par des pattes repliées 331 à laquelle la lame ressort 330 peut par exemple être rivetée, ou sous forme de picots autour desquels viennent s’ancrer des ouvertures correspondantes de la lame ressort.
Dans le quatrième mode de réalisation de la borne femelle 400 représenté sur les figures 12 et 13, la partie de raccordement électrique 420 est en tout point similaire à celle de la borne femelle 300 selon le troisième mode de réalisation si ce n’est que la partie de l’élément conducteur délimitant l’alvéole de réception 410 et la partie de l’élément conducteur formant la portion 427 au-delà de laquelle sont formées les bosses 428, 424, sont raccordées l’une à l’autre par l’intermédiaire d’une allonge 440. Cette allonge 440 est d’une seule pièce avec les parties de l’élément conducteur formant respectivement l’alvéole de réception 410 et la partie de raccordement électrique 420. L’allonge 440 s’étend perpendiculairement à l’axe X d’extension de l’alvéole de réception 410, globalement à mi-hauteur de l’alvéole de réception 410, voire, comme le montre bien la , à une hauteur choisie pour être plus proche de l’embouchure d’entrée dans l’alvéole de réception 410 que d’une extrémité arrière 412 dudit alvéole de réception 410. Comme le montre la , cette allonge 440 est en outre coudée latéralement pour réduire, autant que possible, la distance séparant le logement électrique 422 et l’alvéole de réception 410 et donc réduire l’encombrement latéral de la borne femelle 400.
Dans les troisième et quatrième modes de réalisation de la borne femelle 300 ; 400, l’élément conducteur comprenant la partie fonctionnelle formant l’alvéole de réception 310 ; 410 et la partie de raccordement électrique 320 ; 420 est une pièce monobloc.
Dans le cinquième mode de réalisation de la borne femelle 600 représenté sur la , l’alvéole de réception 610 est formé par une première pièce de l’élément conducteur et la partie de raccordement électrique 620 est formée par une deuxième pièce de l’élément conducteur, dissociée de la première pièce. La partie de raccordement électrique 620 est en tout point similaire à la partie de raccordement électrique 320 de la borne femelle 300 selon le troisième mode de réalisation, mais la bande métallique est terminée, au-delà de la deuxième bosse 624 par un alvéole secondaire 640 de raccordement. Cet alvéole secondaire 640 est destiné à recevoir par engagement à force non démontable une broche secondaire 642 portée par la pièce de l’élément conducteur dans laquelle est formé l’alvéole de réception 610.
Les cinq modes de réalisation du mécanisme de prise de courant 1000 ; 2000 ; 3000 ; 4000 ; 6000 conforme à l’invention, comprennent des socles isolants 10 ; 20 ; 30 ; 40 ; 60, renfermant les bornes femelles 100 ; 200 ; 300 ; 400 ; 600 venant d’être décrites dans le détail, qui sont assez semblables et qui diffèrent les uns des autres essentiellement par leur paroi de fond 11 ; 21 ; 31 ; 41 ; 61 respective.
Comme le montrent les figures 2, 4, 7, 13 et 14, la paroi de fond 11 ; 21 ; 31 ; 41 ; 61 du socle isolant 10 ; 20 ; 30 ; 40 ; 60 s’étend, au moins au niveau de la partie de raccordement électrique 120 ; 220 ; 320 ; 420 ; 620 de la borne, et globalement le long de la face arrière de la borne femelle 100 ; 200 ; 300 ; 400 ; 600 reçue dans ledit socle isolant 10 ; 20 ; 30 ; 40 ; 60.
Quel que soit la forme de la paroi de fond 11 ; 21 ; 31 ; 41 ; 61 du socle isolant 10 ; 20 ; 30 ; 40 ; 60, l’entrée ou ouverture d’insertion, délimitée par le bord 13 ; 23 ; 33 ; 43 ; 63, est ménagée dans la paroi de fond 11 ; 21 ; 31 ; 41 ; 61 du socle isolant, au droit de l’ouverture d’accès dans le logement électrique 122 ; 222 ; 322 ; 422 ; 622 de ladite borne femelle 100 ; 200 ; 300 ; 400 ; 600 correspondante, de manière à permettre l’insertion de l’âme dénudée du conducteur électrique 2 dans le logement électrique, au travers du socle isolant 10 ; 20 ; 30 ; 40 ; 60.
Comme le montrent les figures 2, 4, 7, 13 et 14, le bord 13 ; 23 ; 33 ; 43 ; 63 délimitant l’ouverture d’insertion, du côté de la face extérieure du socle isolant 10 ; 20 ; 30 ; 40 ; 60, est au moins en partie inclus dans un troisième plan P3 parallèle au deuxième plan P2 et séparé de ce deuxième plan P2 par l’épaisseur de la paroi de fond 11 ; 21 ; 31. 41 ; 61 au niveau de laquelle est ménagée l’ouverture d’insertion.
Plus précisément, comme le montrent les figures 4, 7, 13 et 16, dans les deuxième, troisième et quatrième modes de réalisation du mécanisme de prise de courant 2000 ; 3000 ; 4000, l’épaisseur de la paroi de fond 21 ; 31 ; 41 du socle 20 ; 30 ; 40, est telle que l’ouverture d’insertion forme un véritable conduit de guidage 229 ; 329 ; 429 pour insérer le conducteur électrique 2 dans le logement électrique 222 ; 322 ; 422 de la borne femelle 100 ; 200 ; 300 ; 400 correspondante. Le conduit de guidage 229 ; 329 ; 429 facilite l’insertion du conducteur électrique dans la borne femelle, sans gêner la courbure naturelle du conducteur.
En considérant que l’extrémité du conducteur électrique 2 devant servir à alimenter la borne femelle est dénudée sur une longueur standardisée qui est fonction de la section du conducteur électrique, la distance séparant les deuxième et troisième plans P2, P3, qui correspond à l’épaisseur de la paroi de fond au droit de l’ouverture d’accès au logement électrique des bornes femelles, est elle aussi standardisée pour garantir qu’une partie de la gaine isolante du conducteur électrique pénètre dans la paroi de fond (voir ). Cela assure la sécurité électrique de l’installateur et protège l’âme dénudée qui est entièrement logée dans le socle isolant.
Comme le montrent les figures 4, 7, 13 et 16, le conduit de guidage 229 ; 329 ; 429 est cylindrique, et conformé pour présenter une première section du côté de la face extérieure de la paroi de fond 21 ; 31 ; 41 du socle isolant 20 ; 30 ; 40, suivie d’une deuxième section inférieure à la première section, du côté de la face intérieure de la paroi de fond 21 ; 31 ; 41 du socle isolant 20 ; 30 ; 40. La première section est globalement identique, au jeu près, à la section du conducteur électrique (gaine isolante et âme dénudée) devant servant à alimenter la borne femelle 200 ; 300 ; 400 (voir ), tandis que la deuxième section est globalement identique, au jeu près, à la section de l’âme conductrice du conducteur électrique (voir ). Puisque l’extrémité du conducteur électrique est en théorie dénudée sur une longueur standardisée en fonction de la section du conducteur électrique, le conduit de guidage 229 ; 329 ; 429 ainsi conformé avec ses deux sections permet d’indiquer à l’installateur le correct enfoncement du conducteur électrique dans la borne puisque l’enfoncement optimal est atteint lorsque la gaine isolante entourant l’âme conductrice du conducteur électrique arrive en butée contre la deuxième section du conduit de guidage 229 ; 329 ; 429 (voir ). Une variante de forme du conduit de guidage est présentée à la fin de cette description.
Bien entendu, une deuxième entrée ou ouverture d’insertion, délimitée par un bord 34 ; 44 (seulement visible sur les figures 9, 10 et 11), est prévue dans la paroi de fond 31 ; 41 du socle isolant 30 ; 40 en regard de la deuxième ouverture d’accès dans le deuxième logement électrique de la borne femelle (aussi appelé logement électrique de repiquage), pour pouvoir insérer dans ce deuxième logement électrique l’âme dénudée du conducteur de repiquage. Cette deuxième ouverture d’insertion présente les mêmes propriétés que la première ouverture d’insertion. En particulier, le bord 34 ; 44 délimitant la deuxième ouverture d’insertion, du côté de la face extérieure de la paroi de fond 31 ; 41 du socle isolant 30 ; 40, est au moins en partie inclus dans le troisième plan P3 (voir ). En outre, la deuxième ouverture d’insertion forme elle aussi un conduit de guidage pour rejoindre l’ouverture d’accès du logement électrique de repiquage de la borne femelle correspondante.