Turbine hydrauliqueUne turbine hydraulique est une machine tournante qui produit une énergie mécanique à partir d'eau en mouvement (cours d'eau ou marée) ou potentiellement en mouvement (barrage). Elle constitue le composant essentiel des centrales hydroélectriques destinées à produire de l'électricité à partir d'un flux d'eau. Elle a été inventée par Benoît Fourneyron en 1832, qui installa sa première machine à Pont-sur-l'Ognon. vignette|droite|Turbine hydraulique et générateur électrique, vue en coupe.
Modèle mathématiquevignette|Un automate fini est un exemple de modèle mathématique. Un modèle mathématique est une traduction d'une observation dans le but de lui appliquer les outils, les techniques et les théories mathématiques, puis généralement, en sens inverse, la traduction des résultats mathématiques obtenus en prédictions ou opérations dans le monde réel. Un modèle se rapporte toujours à ce qu’on espère en déduire.
Turbine KaplanUne turbine Kaplan est une turbine hydraulique à hélice, de type « réaction » qui a été inventée en 1912 par l'ingénieur autrichien Viktor Kaplan. Elle est adaptée pour les faibles chutes de de hauteur, et les très grands débits de . La turbine Kaplan se différencie des autres turbines à hélices, par ses pales orientables, dont on peut faire varier le pas pendant le fonctionnement. Cela lui permet d'avoir un rendement énergétique élevé pour des débits d'eau variables. Son rendement atteint normalement entre 90 % et 95 %.
Turbine Francisvignette|Coupe d'une turbine Francis. Dans la volute en forme de spirale, l'eau pénètre radialement dans la turbine et en sort axialement au centre vers le bas. Une turbine Francis est une turbine hydraulique de type « à réaction ». Elle est adaptée à des hauteurs de chute moyennes (de ), pour des puissances et débits moyens ou forts (tel le barrage d'Itaipu), à savoir de quelques kilowatts à plusieurs centaines de mégawatts pour des débits de /s.
Compresseur axialLe compresseur axial est un type de compresseur mécanique dont le flux gazeux, de plus en plus comprimé, suit l'axe de rotation, et dont le fluide de sortie a un mouvement axial. Le compresseur axial génère un flux continu de gaz comprimé . Il est nécessaire d'avoir plusieurs étages de d'aubes pour obtenir des pressions élevées et des taux de compression équivalents à ceux d'un compresseur centrifuge. Un compresseur axial est composé d'éléments en rotation et d'éléments statiques: l'arbre central, guidé par des paliers et une butée, est composé d'anneaux composés eux-mêmes d'aubes rotoriques et statoriques.
Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Écoulement laminaireEn mécanique des fluides, l'écoulement laminaire est le mode d'écoulement d'un fluide où l'ensemble du fluide s'écoule plus ou moins dans la même direction, sans que les différences locales se contrarient (par opposition au régime turbulent, fait de tourbillons qui se contrarient mutuellement). L'écoulement laminaire est généralement celui qui est recherché lorsqu'on veut faire circuler un fluide dans un tuyau (car il crée moins de pertes de charge), ou faire voler un avion (car il est plus stable, et prévisible par les équations).
Blade Runner 2049Blade Runner 2049 est un film de science-fiction américain réalisé par Denis Villeneuve et sorti en 2017. Il fait suite au film Blade Runner, réalisé par Ridley Scott (producteur de cette suite), sorti en 1982 et adapté du roman Les androïdes rêvent-ils de moutons électriques ? de Philip K. Dick. L'histoire de Blade Runner 2049 se situe trente ans après les aventures de Rick Deckard et raconte les aventures d'un « blade runner » (policier chargé de traquer les réplicants, des androïdes créés à l'image de l'Homme).
Compresseur centrifugeLe terme « compresseur centrifuge » (aussi appelé « compresseur radial ») désigne un type de turbomachines à circulation radiale et à absorption de travail qui comprend des ventilateurs (soufflantes et extracteurs), et des compresseurs. Les pompes centrifuges, qui sont aussi des turbomachines, désignent des machines faisant circuler des liquides, fluides quasi-incompressibles, et ne sont donc pas des compresseurs (qui eux compriment des gaz compressibles avec changement de volume du gaz).
Économie mathématiquevignette|Les acteurs économiques (STN et actionnaires) sont classés par importance décroissante, donnée par . Un point de données situé en () correspond à une fraction des principaux acteurs économiques détenant cumulativement la fraction du contrôle, de la valeur ou des revenus d'exploitation du réseau. Les différentes courbes se réfèrent au contrôle du réseau calculé avec trois modèles (LM, TM, RM), voir l'annexe S1, section 3.1, et aux revenus d'exploitation. La ligne horizontale indique une valeur égale à .
