Cette thèse aborde la congestion des transports urbains. Mêlant données de trafic et enquêtes de terrain, nous étudions trois infrastructures centrales pour la ville de Paris : le boulevard Périphérique, la ligne 1 du métro et le tramway des Maréchaux. Nous calculons tout d'abord le coût "économique" de l'externalité de congestion sur les routes (pertes de temps dues au fait que les conducteurs n'internalisent pas le coût social de leur décisions). Dans le cas du boulevard Périphérique, ce coût atteignait 160 M euros en 2007, soit un montant 2,5 fois inférieur aux estimations des approches "non économiques". Nous analysons ensuite les "préférences déclarées" des usagers de la ligne 1 du métro sur la valeur qu'ils accordent au confort des déplacements (espace dans les wagons). Souvent occultée des analyses, l'évaluation contingente souligne que la congestion des métros est un phénomène important : 75 % des individus sont disposés à rallonger d'au moins 5 minutes leur voyage pour bénéficier du confort des heures creuses durant les pointes. Nous présentons également l'analyse coût-bénéfice du tramway des Maréchaux. Les gains des usagers du tramway sont inférieurs aux pertes des automobilistes sur les Maréchaux. L'externalité de congestion occupe une place centrale dans les calculs : les gains de décongestion du métro sont conséquents, mais moindres que les coûts de congestion additionnelle sur le Périphérique. La VAN du tramway est négative et questionne sa rentabilité sociale. Nous discutons finalement le renchérissement, observé depuis 2000, des coûts de transport individuels intéressant Paris et les dynamiques territoriales en cours.

Les structures de conversion multiniveaux permettent de convertir en moyenne tension et forte puissance. Celles-ci sont construites à partir de cellules de commutations et permettent d'augmenter le courant et la tension en entrée ou en sortie. Ces structures sont appelées multiniveaux car les formes d'ondes des tensions en sortie permettent d'avoir plus de deux niveaux de tension différents. Les différentes structures peuvent être classées dans différentes catégories tel que la mise en série de pont en H, les convertisseurs multicellulaires série ou parallèle ou encore les structures utilisant le fractionnement du bus continu. Toutes ces structures ont des propriétés et applications différentes, même si certaines structures ont des propriétés communes. Il est aussi possible de créer de nouvelles structures en mixant les différentes structures de bases des différentes familles de convertisseurs multiniveaux ou en assemblant les structures de base de la conversion statique. Même si l'utilisation de structure de conversion multiniveaux permet de convertir à forte puissance, celle-ci n'est pas toujours aisée. En effet l'augmentation du nombre de niveaux ou de la tension d'entrée implique également une augmentation du nombre de composants semi-conducteurs. Ceci peut être un frein à l'utilisation de convertisseur multiniveaux. Pour cela une nouvelle structure utilisant des composants partagés entre les différentes phases est proposée afin de limiter leur nombre. Un autre problème important lié aux convertisseurs multiniveaux est l'équilibrage des tensions des condensateurs du bus continu si celui-ci est composé de plus de deux condensateurs mis en série. Pour cela plusieurs solutions sont possibles : soit en utilisant une commande spécifique utilisant la modulation vectorielle, soit en utilisant des structures auxiliaires qui ont pour but d'équilibrer les différentes tensions des condensateurs. Dans une dernière partie ont été proposées de nouvelles structures qui permettent à la fois d'augmenter le courant de sortie et la tension en entrée en utilisant les principes des structures de base des convertisseurs multicellulaires série et parallèle. De plus, ces structures ont des propriétés intéressantes sur les formes d'ondes de sortie. De ces structures a été conçu un prototype permettant de valider les résultats de simulation. Une commande numérique implantée sur FPGA a été réalisée et a permis d'avoir des résultats expérimentaux intéressants.

Afin de pouvoir répondre au mieux aux différents appels d'offres, les constructeurs de grappe de calcul ont besoin d'outils et de méthodes permettant d'aider au mieux la prise de décisions en terme de design architectural. Nos travaux se sont donc intéressés à l'estimation des temps de calcul et à l'étude de la congestion sur le réseau InfiniBand. Ces deux problèmes sont souvent abordés de manière globale. Néanmoins, une approche globale ne permet pas de comprendre les raisons des pertes de performance liées aux choix architecturaux. Notre approche s'est donc orientée vers une étude plus fine. Pour évaluer les temps de calcul, la démarche proposée s'appuie sur une analyse statique ou semistatique du code source afin de le découper en blocs, avant d'effectuer un micro-benchmarking de ces blocs sur l'architecture cible. Pour l'estimation des temps de communication, un modèle de répartition de bande passante pour le réseau InfiniBand a été développé, permettant ainsi de prédire l'impact lié aux communications concurrentes. Ce modèle a ensuite été intégré dans un simulateur pour être validé sur un ensemble de graphes de communication synthétiques et sur l'application Socorro.

L'électronique de puissance a un rôle de plus en plus grandissant dans les systèmes de transports : voitures électriques et hybrides, trains et avions. Pour ces applications, la sécurité est un point critique et par conséquent la fiabilité du système de puissance doit être optimisée. La connaissance du temps de fonctionnement avant défaillance est une donnée recherchée par les concepteurs de ces systèmes. Dans cette optique, un indicateur de défaillance précoce permettrait de prédire la défaillance des systèmes avant que celle-ci soit effective. Dans cette thèse, nous nous sommes intéressés à la caractérisation électromécanique des puces de puissance IGBT et MOSFET. L'exploitation de cette caractérisation devrait permettre, à plus long terme, de mettre en évidence un indicateur de l'état mécanique des assemblages de puissance à des fins de fiabilité prédictive.

En C, une stratégie classique pour implémenter les codes de gestion d'erreur est de faire suivre chaque opération qui peut générer une erreur d'une structure conditionnelle qui teste si l'opération a renvoyé une erreur. Ce stratégie basique, cependant, est sujette à erreurs, et il est courant d'oublier des opérations de nettoyage requises, ainsi que d'oublier de mettre à jour des codes de gestion d'erreur existants lorsque la fonction est étendue avec de nouvelles opérations. De plus, une partie importante du code doit souvent être dupliquée. Un style de programmation, <EM> stratégie goto </EM>, qui peut réduire en partie certaines de ces difficultés. Pour améliorer la structure des codes de gestion d'erreur dans les logiciels système, nous définissions un algorithme qui permet de transformer les codes de gestion d'erreur implémentés suivant la stratégie basique en codes de gestion d'erreur qui utilisent la <EM> stratégie goto</EM>. Même lorsque les codes de gestion d'erreurs sont structurés, la gestion et la libération des ressources allouées restent un problème lorsqu'il s'agit d'assurer la robustesse du code système. Dans cette thèse, nous proposons un algorithme <EM> microscopique </EM> de détection d'omission de libération de ressource, basé sur une analyse principalement intra-procédurale, qui prend en compte les flux et les chemins du code et qui cible et exploite les propriétés des codes de gestion d'erreur. Notre algorithme est résistant aux faux positifs dans l'ensemble des acquisitions de ressources et des opérations de libération, ce qui produit un faible taux de faux positifs dans les rapports renvoyés par l'outil tout en passant à l'échelle.

L’amélioration des performances des robots est un enjeu important dans le domaine industriel. Les objectifs visés sont l’augmentation de l’espace de travail, de la capacité de charge transportable, de la vitesse de travail et de la précision du robot. Pour atteindre ces objectifs, il faut en général augmenter la rigidité, diminuer la masse et augmenter la capacité d’amortissement du robot. Les robots actuels sont généralement fabriqués en métaux : aluminium ou acier, ce qui limite leurs performances en raison des faibles capacités d’amortissement des vibrations de ces matériaux. Les matériaux composites présentent l’avantage de combiner des matériaux différents, ce qui conduit à une variété de leurs performances. Parmi les types de renforts, les fibres de carbone présentent un module d’élasticité élevé permettant la conception de pièces de grandes rigidités statiques mais elles possèdent une faible capacité d’amortissement. Les fibres végétales, par contre, possèdent une faible densité, de bonnes propriétés spécifiques et des capacités d’amortissement élevées. Cette thèse porte sur l’amélioration des performances d’un robot parallèle 3CRS en utilisant des matériaux composites pour reconcevoir des pièces initialement fabriquées en aluminium. La thèse commence d’abord par une caractérisation des comportements statiques et dynamiques du robot initial constitué de bras en aluminium. Ensuite, la forme des segments des bras robotiques est optimisée par rapport aux sollicitations mécaniques sur le robot. Un nouveau composite stratifié hybride renforcé par des fibres de carbone et des fibres de lin est alors proposé. Cette combinaison permet d’allier les avantages des deux types de fibres dans un composite pour le dimensionnement des composants sous sollicitation élevée. La structure de ce nouveau composite a été optimisée puis un segment est fabriqué pour valider la conception. Finalement, l’étude du nouveau robot avec des bras en matériaux composites a été réalisée, les résultats montrent que la rigidité du robot augmente, sa masse diminue légèrement et sa capacité d’amortissement augmente considérablement par rapport au robot initial. Donc, l’application du composite stratifié hybride peut améliorer les performances statiques et dynamiques et augmenter significativement la précision en fonctionnement du robot 3CRS. / Improvement of the robot’s performances is a major challenge in the industrial field. In general, improvement objectives are increasing workspace, transportable capacity, speed and precision of the robot. To achieve these objectives, it must increase rigidity, reduce weight and increase damping capacity of the robot. Currently, the robots are generally made of metals: aluminum or steel, which limits their performances due to low damping capacity of these materials.Composite materials present an advantage to combine different materials, which leads to a variety of composite material properties. Among the types of reinforcements, carbon fibers show high modulus that enables robotic parts with high static rigidities to be designed. However, carbon fibers have generally a low damping capacity. Natural fibers have low density, good specific properties and high damping capacity.This thesis focuses on the improvement of the performances of the 3CRS parallel robot by using the composite material to redesign robot parts initially made of aluminum. The thesis begins with static and dynamic characterizations of the original robot. Then, the shape of segments of the robotic arms is optimized with respect to applying force on the robot. A hybrid laminated composite reinforced with carbon fibers and flax fibers is proposed for the use. This combination enables to combine the advantages of two fiber types in a composite for using in high loaded components. The structure of the new hybrid laminated composite is optimized and a composite segment is then fabricated in order to validate the design. Finally, the analysis of the new robot with composite arms is executed. The result shows that the new robot has a slightly higher rigidity, lighter mass and considerably greater damping capacity in comparison with the original robot. Therefore, the application of the hybrid composite could improve the static and dynamic performances and increases considerably the accuracy in operation of the robot 3CRS.

Les dispositifs DBD se répandent dans un grand nombre d’applications industrielles. Utilisés depuis plus de 150 ans pour la production d’ozone afin de décontaminer l’eau à grande échelle, ils ont depuis la fin du XXème siècle investi les domaines du traitement de surface polymère, du dépôt de couche mince sur substrat et de l’émission lumineuse pour la décontamination ainsi que la médecine. Ces dispositifs sont mis en oeuvre avec un générateur électrique dont les caractéristiques impactent fortement la qualité de la décharge. Ce travail s’inscrit en partie dans le cadre du développement d’une application de traitement de surface à pression atmosphérique. Il aborde la problématique de l’augmentation de la vitesse de dépôt de couche mince au travers des paramètres de l’alimentation électrique. Plus précisément, ce travail s’intéresse aux apports d’une alimentation en courant rectangulaire et aborde également les problématiques liées à la conception et à la fabrication de ce convertisseur. En particulier, une grande attention est portée sur l’étude du transformateur élévateur, car au travers de ses éléments parasites capacitifs, ce dernier peut limiter le transfert de puissance entre la source électrique et le dispositif DBD. Un deuxième aspect de cette étude consiste à entrevoir l’intérêt que revêtent deux convertisseurs statiques dédiés à l’alimentation de dispositifs DBD. Le premier consiste en une alimentation résonante en régime de conduction discontinue dont la particularité est de posséder trois degrés de liberté (fréquence, tension d’entrée et largeur d’impulsion), ce qui lui confère un intérêt exploratoire. Le second convertisseur consiste en une alimentation résonante haute tension et haute fréquence permettant l’éviction du transformateur élévateur, et mettant en oeuvre des interrupteurs au nitrure de gallium (GaN) afin d’atteindre une fréquence de fonctionnement supérieure au mega-Hertz avec un faible niveau de pertes. / DBD devices are widely used in industrial applications. 150 years ago, they were only employed in ozoners for water decontamination. In recent decades, the progress of knowledge and technology allowed to use them in many other applications like surface treatment, medical applications and light emission. Actually, these devices are supplied with an electrical source which parameters can strongly impact the discharge behaviour. An important part of this work comes within the framework of the development of an atmospheric pressure surface treatment involving DBDs. The issue of the influence of the generator's electrical parameters on the treatment speed is discussed. In particular, this work focuses on the merits of a rectangular shaped current source concerning the behavior of an atmospheric pressure discharge in nitrogen ; the problems related to the design and the fabrication of such a converter are highlighted. The design of the high voltage transformer is then described in detail since its lumped elements play an important role as they can strongly limit the power transfer between the electrical source and the DBD device. A second aspect of this work is to establish the interests of two particular power converters. The first one is a resonant converter operating in a discontinuous conduction mode ; its merits is to exhibit three degrees of freedom (input voltage, frequency, current pulse width) instead of two, which is a tremendous asset for exploring purposes. The second one is a high-frequency resonant converter where a resonant inductance and the DBD device structural capacitances are used instead of a high voltage transformer to perform the voltage amplification, which circumvents the issue related to the transformer parasitic elements. This converter is based on GaN HEMT switches in order to reach a low semiconductor losses level and a fairly high operating frequency (above the mega-Hertz).

Cette thèse porte sur le développement d'une structure d'alimentation sans transformateur pour des décharges à barrière diélectrique (DBD). Une DBD est une charge permettant d'obtenir des plasmas froids à la pression atmosphérique. Ce dispositif est fortement capacitif et son alimentation doit délivrer plusieurs kilovolts pour allumer et entretenir la décharge. Cette haute tension est classiquement obtenue à l'aide d'un transformateur élévateur. Dans une première partie, nous montrons que les éléments parasites du transformateur impactent fortement le transfert d'énergie vers la décharge. C'est pourquoi dans une seconde partie, nous proposons une nouvelle topologie d'alimentation sans transformateur élévateur. Les caractéristiques fondamentales et le dimensionnement de notre alimentation sont obtenus par une analyse théorique. Dans cette topologie, les interrupteurs sont directement connectés à la DBD ; ils doivent donc supporter des tensions de plusieurs kilovolts. Il y a encore quelques années, il n'existait pas de semi-conducteur capable de supporter ce niveau de tension, à moins d'utiliser des interrupteurs fonctionnant à très basse fréquence. De récents progrès sur les matériaux semi-conducteurs ont permis d'élaborer des transistors et des diodes à base de carbure de silicium (SiC) capables de supporter des tensions allant jusqu'à 10 kV. Ce niveau de tension est tout à fait compatible avec la topologie d'alimentation proposée ici.Nous consacrerons la troisième partie du manuscrit à la mise en œuvre de notre convertisseur. Ce dernier, conçu à base de semi-conducteurs SiC, est fonctionnel et permet d'allumer une décharge. Cependant le fonctionnement initialement prévu est fortement affecté par la présence des capacités parasites notamment celles des interrupteurs. Nous détaillerons le rôle de chacune d'entre elles. Nous proposerons enfin des solutions permettant d'améliorer le transfert de puissance : mise en série de semi-conducteurs basses tensions, utilisation sur DBD de forte puissance... / This thesis focuses on the development of a dielectric barrier discharge (DBD) transformerless power supply. A DBD can produce cold plasma at atmospheric pressure. This device is a capacitive load, which must be supplied by a high voltage alternative source. This high voltage is classically obtained by amplifying a low level voltage with a step up transformer. In the first part, we show that the parasitic elements of the transformer limit the power transfer to the DBD load. This is why, in a second part, we propose a new topology without step-up transformer. A theoretical study of the converter allows to size our power supply and to deduce the fundamental characteristics of the latter. In our topology, the power switches are directly connected to the high voltage. A few years ago, it was inconceivable to connect directly a transistor to a high level of voltage (5kV), unless using very low frequency switches. Recent progress on semiconductor devices led to the development of transistors and diodes based on silicon carbide (SiC), which are able to hold up to 10kV. This voltage level is compatible with our topology.In the third part, we focus on the realization of our transformerless power supply and its operation. Our power supply based on 10 kV SiC semiconductors can ignite the discharge; however the parasitic capacitance and particularly those of the switches affect the power transfer. The role of each one of them is analyzed in detail.In the last part we propose solutions to improve the power delivered by this supply: series connection of lower voltage switches, supplying a high power DBD...

L'analyse statique de programme a pour but de prouver automatiquement qu'un programme vérifie certaines propriétés. L'interprétation abstraite est un cadre théorique permettant de calculer des invariants de programme. Ces invariants sont des propriétés sur les variables du programme vraies pour toute exécution. La précision des invariants calculés dépend de nombreux paramètres, en particulier du domaine abstrait et de l'ordre d'itération utilisés pendant le calcul d'invariants. Dans cette thèse, nous proposons plusieurs extensions de cette méthode qui améliorent la précision de l'analyse.Habituellement, l'interprétation abstraite consiste en un calcul de point fixe d'un opérateur obtenu après convergence d'une séquence ascendante, utilisant un opérateur appelé élargissement. Le point fixe obtenu est alors un invariant. Il est ensuite possible d'améliorer cet invariant via une séquence descendante sans élargissement. Nous proposons une méthode pour améliorer un point fixe après la séquence descendante, en recommençant une nouvelle séquence depuis une valeur initiale choisie judiscieusement. L'interprétation abstraite peut égalementêtre rendue plus précise en distinguant tous les chemins d'exécution du programme, au prix d'une explosion exponentielle de la complexité. Le problème de satisfiabilité modulo théorie (SMT), dont les techniques de résolution ont été grandement améliorée cette décennie, permettent de représenter ces ensembles de chemins implicitement. Nous proposons d'utiliser cette représentation implicite à base de SMT et de les appliquer à des ordres d'itération de l'état de l'art pour obtenir des analyses plus précises.Nous proposons ensuite de coupler SMT et interprétation abstraite au sein de nouveaux algorithmes appelés Modular Path Focusing et Property-Guided Path Focusing, qui calculent des résumés de boucles et de fonctions de façon modulaire, guidés par des traces d'erreur. Notre technique a différents usages: elle permet de montrer qu'un état d'erreur est inatteignable, mais également d'inférer des préconditions aux boucles et aux fonctions.Nous appliquons nos méthodes d'analyse statique à l'estimation du temps d'exécution pire cas (WCET). Dans un premier temps, nous présentons la façon d'exprimer ce problème via optimisation modulo théorie, et pourquoi un encodage naturel du problème en SMT génère des formules trop difficiles pour l'ensemble des solveurs actuels. Nous proposons un moyen simple et efficace de réduire considérablement le temps de calcul des solveurs SMT en ajoutant aux formules certaines propriétés impliquées obtenues par analyse statique. Enfin, nous présentons l'implémentation de Pagai, un nouvel analyseur statique pour LLVM, qui calcule des invariants numériques grâce aux différentes méthodes décrites dans cette thèse. Nous avons comparé les différentes techniques implémentées sur des programmes open-source et des benchmarks utilisés par la communauté. / Static program analysis aims at automatically determining whether a program satisfies some particular properties. For this purpose, abstract interpretation is a framework that enables the computation of invariants, i.e. properties on the variables that always hold for any program execution. The precision of these invariants depends on many parameters, in particular the abstract domain, and the iteration strategy for computing these invariants. In this thesis, we propose several improvements on the abstract interpretation framework that enhance the overall precision of the analysis.Usually, abstract interpretation consists in computing an ascending sequence with widening, which converges towards a fixpoint which is a program invariant; then computing a descending sequence of correct solutions without widening. We describe and experiment with a method to improve a fixpoint after its computation, by starting again a new ascending/descending sequence with a smarter starting value. Abstract interpretation can also be made more precise by distinguishing paths inside loops, at the expense of possibly exponential complexity. Satisfiability modulo theories (SMT), whose efficiency has been considerably improved in the last decade, allows sparse representations of paths and sets of paths. We propose to combine this SMT representation of paths with various state-of-the-art iteration strategies to further improve the overall precision of the analysis.We propose a second coupling between abstract interpretation and SMT in a program verification framework called Modular Path Focusing, that computes function and loop summaries by abstract interpretation in a modular fashion, guided by error paths obtained with SMT. Our framework can be used for various purposes: it can prove the unreachability of certain error program states, but can also synthesize function/loop preconditions for which these error states are unreachable.We then describe an application of static analysis and SMT to the estimation of program worst-case execution time (WCET). We first present how to express WCET as an optimization modulo theory problem, and show that natural encodings into SMT yield formulas intractable for all current production-grade solvers. We propose an efficient way to considerably reduce the computation time of the SMT-solvers by conjoining to the formulas well chosen summaries of program portions obtained by static analysis.We finally describe the design and the implementation of Pagai,a new static analyzer working over the LLVM compiler infrastructure,which computes numerical inductive invariants using the various techniques described in this thesis.Because of the non-monotonicity of the results of abstract interpretation with widening operators, it is difficult to conclude that some abstraction is more precise than another based on theoretical local precision results. We thus conducted extensive comparisons between our new techniques and previous ones, on a variety of open-source packages and benchmarks used in the community.

La contribution des sources d'énergie renouvelables dans le mix de la production d'électricité augmente largement. De ce fait, l'intégration des technologies de stockage d'énergie dans le réseau électrique devient inévitable afin de remédier aux inconvénients des sources renouvelables. Ainsi, l'objectif de cette thèse est d'évaluer la rentabilité, d'optimiser et d'étudier le comportement dynamique d'un cycle adiabatique de stockage d'énergie par air comprimé fonctionnant à pression fixe (IA-CAES). Ce système est caractérisé d'une part par la récupération de la chaleur de compression et d'autre part par le stockage d'air comprimé sous pression fixe dans des réservoirs hydropneumatiques. Ceux-ci permettent d'améliorer l'efficacité et la densité énergétiques du système de stockage et d'éviter l'utilisation de sources d'énergie fossiles.Tout d'abord, un modèle statique est développé pour achever des analyses énergétiques et exergétique du système IA-CAES. Un modèle exergoéconomique est également réalisé dans le but d'optimiser la rentabilité du système de stockage en utilisant un algorithme génétique. Ainsi, une fonction objective, qui prend en compte le coût d'investissement et le coût d'exploitation, est définie pour être minimisée. L'efficacité du système est de 55,1% dans le cas de base, elle est améliorée à 56,6% après optimisation avec une diminution du capital investi de 5,6%.D'autre part, un modèle dynamique est développé pour étudier la flexibilité du système de stockage et sa capacité à répondre aux besoins du réseau électrique (réserves primaires et secondaires) en évaluant la durée des phases transitoires. Les résultats montrent que le système de stockage a besoin d’un temps supérieur à 2 min avant de pouvoir consommer tout l'excès d'énergie disponible sur le réseau électrique et supérieur à 5 min avant d'être capable de produire toute l'énergie requise par le réseau électrique. Des suggestions sont analysées dans l'objectif d'améliorer la flexibilité du système de stockage tel que le fonctionnement du système en mode de veille avec des vitesses réduites. Il permet de réduire les pertes d'énergie de 68% en mode de stockage et de 27% en mode de production par rapport au mode de veille en vitesses nominales. / The contribution of the renewable energy sources in the electricity generation mix is greatly increasing. Thereby, the integration of the energy storage technologies into the electrical grid is becoming crucial to reduce the drawbacks of the renewable energy sources. Then, the objective of this thesis is to evaluate the cost-effectiveness, to optimize and to study the transient behavior of a novel isobaric adiabatic compressed air energy storage (IA-CAES) system. This plant is characterized by the recovery of the compression heat and the storage of the compressed air under fixed pressure in hydro-pneumatic tanks. These allow improving the efficiency and the energy density of the storage system and avoiding the use of fossil fuel sources.Firstly, a steady state model is developed to perform energy and exergy analyses of the IA-CAES system. An exergoeconomic model is also carried out in order to optimize the cost-effectiveness of the storage system by using a genetic algorithm. So, an objective function, which includes the investment cost and the operating cost, is defined to be minimized. The system efficiency is 55.1% in the base case, it is improved to 56.6% after optimization with a decrease in the capital investment by 5.6%.Secondly, a dynamic model is developed to study the flexibility of the storage system and its ability to meet the electrical grid requirements (primary and secondary reserves) by evaluating the duration of the transient states. The results show that the storage system needs more than 2 min before being able to consume all the excess energy available on the electrical grid and more than 5 min before being able to produce all the energy required by the electrical grid. Suggestions are analyzed to improve the flexibility of the storage system such as the operation of the storage system in standby mode with low speeds. It allows reducing the energy losses by 68% during the storage mode and by 27% during the production mode compared to the standby mode in nominal speeds.