Mécanique des fluidesLa mécanique des fluides est un domaine de la physique consacré à l’étude du comportement des fluides (liquides, gaz et plasmas) et des forces internes associées. C’est une branche de la mécanique des milieux continus qui modélise la matière à l’aide de particules assez petites pour relever de l’analyse mathématique, mais assez grandes par rapport aux molécules pour être décrites par des fonctions continues. Elle comprend deux sous-domaines : la statique des fluides, qui est l’étude des fluides au repos, et la dynamique des fluides, qui est l’étude des fluides en mouvement.
Théorème de Vaschy-BuckinghamEn mathématiques, le théorème de Vaschy-Buckingham, ou théorème Pi, est un des théorèmes de base de l'analyse dimensionnelle. Ce théorème établit que si une équation physique met en jeu n variables physiques, celles-ci dépendant de k unités fondamentales, alors il existe une équation équivalente mettant en jeu variables sans dimension construites à partir des variables originelles. Bien que nommé d'après les physiciens Aimé Vaschy et Edgar Buckingham, ce théorème a d'abord été démontré par le mathématicien français Joseph Bertrand en 1878.
Dynamique des fluidesLa dynamique des fluides (hydrodynamique ou aérodynamique), est l'étude des mouvements des fluides, qu'ils soient liquides ou gazeux. Elle fait partie de la mécanique des fluides avec l'hydrostatique (statique des fluides). La résolution d'un problème de dynamique des fluides demande de calculer diverses propriétés des fluides comme la vitesse, la viscosité, la densité, la pression et la température en tant que fonctions de l'espace et du temps.
Mécanique (technique)La mécanique en tant que technique ou activité industrielle, est l'ensemble des activités, méthodes et techniques liées à la conception de structures (charpentes, coques, bâtis), machines ou de mécanismes. Ces activités regroupent l'étude, la conception, la fabrication, la maintenance et la déconstruction de toute structure ou dispositif (moteurs, véhicules) produisant ou transmettant un mouvement, une force, ou une déformation.
Grandeur sans dimensionUne grandeur sans dimension ou adimensionnelle est une grandeur physique dont la dimension vaut , ce qui revient à dire que tous ses exposants dimensionnels sont nuls : Une grandeur adimensionelle peut être obtenue à partir d'une combinaison de grandeurs dimensionnées, dont l'analyse dimensionnelle permet de vérifier la dimension. Une grandeur adimensionelle peut cependant posséder une unité, comme par exemple les angles dont l'unité est le radian. D'autres exemples de grandeurs adimensionnées sont l'indice de réfraction ou la densité.
Théorème des accroissements finisEn analyse, le théorème des accroissements finis (en abrégé : TAF) est à la fois une généralisation et un corollaire du théorème de Rolle. Pour toute fonction dérivable d'une variable réelle, son taux d'accroissement entre deux valeurs est réalisable comme pente d'une des tangentes à son graphe. Graphiquement, le théorème des accroissements finis indique que, pour toute droite sécante en deux points à une courbe différentiable, il existe, entre ces deux points, une tangente parallèle à la sécante.
Mécanique (science)vignette|Gyroscope. Le gyroscope tient en équilibre sur la pointe fixe par le jeu des forces mécaniques (en particulier le couple de rappel) engendrées par la rotation rapide du disque au centre. La mécanique (du grec ancien , « l'art mécanique ») est une branche de la physique dont l'objet est l'étude du mouvement, des déformations ou des états d'équilibre des systèmes physiques. Cette science vise ainsi à décrire les mouvements de différentes sortes de corps, depuis les particules subatomiques avec la mécanique quantique, jusqu'aux galaxies avec la mécanique céleste.
Théorème fondamental de l'analyseEn mathématiques, le théorème fondamental de l'analyse (ou théorème fondamental du calcul différentiel et intégral) établit que les deux opérations de base de l'analyse, la dérivation et l'intégration, sont, dans une certaine mesure, réciproques l'une de l'autre. Il est constitué de deux familles d'énoncés (plus ou moins généraux selon les versions, et dépendant de la théorie de l'intégration choisie) : premier théorème : certaines fonctions sont « la dérivée de leur intégrale » ; second théorème : certaines fonctions sont « l'intégrale de leur dérivée ».
Analyse dimensionnellethumb|Préparation d'une maquette dans un bassin d'essai. L'analyse dimensionnelle est une méthode pratique permettant de vérifier l'homogénéité d'une formule physique à travers ses équations aux dimensions, c'est-à-dire la décomposition des grandeurs physiques qu'elle met en jeu en un produit de grandeurs de base : longueur, durée, masse, intensité électrique, irréductibles les unes aux autres.
Capacité thermique massiqueLa capacité thermique massique (symbole usuel c), anciennement appelée chaleur massique ou chaleur spécifique, est la capacité thermique d'un matériau rapportée à sa masse. C'est une grandeur qui reflète la capacité d'un matériau à accumuler de l'énergie sous forme thermique, pour une masse donnée, quand sa température augmente. Une grande capacité thermique signifie qu'une grande quantité d'énergie peut être stockée, moyennant une augmentation relativement faible de la température.
Capacité thermique molaireLa capacité thermique molaire est donnée par la quantité d'énergie apportée par échange thermique pour élever d'une unité la température d'une mole d'une substance. Dans le Système international l'unité est donc le joule par mole kelvin (). La détermination des valeurs des capacités thermiques des substances relève de la calorimétrie. Remarques : on définit également des capacités thermiques massiques (valeurs rapportées à l'unité de matière, c'est-à-dire une mole) ; il convient de distinguer les capacités à volume constant et les capacités à pression constante (la différence étant particulièrement importante pour les gaz).
Nombre de ReynoldsEn mécanique des fluides, le , noté , est un nombre sans dimension caractéristique de la transition laminaire-turbulent. Il est mis en évidence en par Osborne Reynolds. Le nombre de Reynold est applicable à tout écoulement de fluide visqueux, et prévoit son régime. Pour des petites valeurs de , le régime est dominé par la viscosité et l'écoulement est laminaire. Pour les grandes valeurs de , le régime est dominé par l'inertie et l'écoulement est turbulent.
Standard MLStandard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers. Standard ML is a modern dialect of ML, the language used in the Logic for Computable Functions (LCF) theorem-proving project. It is distinctive among widely used languages in that it has a formal specification, given as typing rules and operational semantics in The Definition of Standard ML.
ML (langage)ML (contraction de Meta Language) est un langage de programmation généraliste fonctionnel. ML fut initialement développé par Robin Milner et d'autres personnes dans les années 1970 à l'université d'Édimbourg, pour le système de preuves formelles (LCF). R. Milner rencontrait des difficultés avec le système de typage de Lisp qui permettait de « prouver » des assertions fausses. ML est un langage fonctionnel impur : il est possible de programmer en impératif et, en conséquence, les fonctions peuvent être sujettes à des effets secondaires non désirés (dits « de bord »), contrairement à des langages purement fonctionnels comme Haskell.
Geothermal powerGeothermal power is electrical power generated from geothermal energy. Technologies in use include dry steam power stations, flash steam power stations and binary cycle power stations. Geothermal electricity generation is currently used in 26 countries, while geothermal heating is in use in 70 countries. As of 2019, worldwide geothermal power capacity amounts to 15.4 gigawatts (GW), of which 23.9 percent or 3.68 GW are installed in the United States.
WattLe watt, de symbole W, est l'unité dérivée de puissance ou de flux énergétique (dont le flux thermique). Un watt équivaut à un joule par seconde. Le nom « watt » rend hommage à l'ingénieur écossais James Watt (1736-1819), qui a contribué au développement de la machine à vapeur. Comme tous les noms d'unités du Système international, est un nom commun, il s'écrit donc en minuscule (et prend en français la marque du pluriel) ; mais comme il provient d'un nom propre, le symbole associé W s'écrit avec une majuscule.
