CavitationLa cavitation (du latin la, « trou ») est la naissance et l'oscillation radiale de bulles de gaz ou de vapeur dans un liquide soumis à une dépression. Si cette dépression est suffisamment élevée, la pression peut devenir inférieure à la pression de vapeur saturante, et une bulle de vapeur est susceptible de se former. La dépression peut avoir pour origine : l'écoulement du fluide ; une onde acoustique entraînant des variations de la densité du liquide ; une onde lumineuse entraînant des variations de la densité du liquide.
VérinUn 'vérin' est une machine convertissant une énergie quelconque en énergie mécanique de translation. Le vérin appartient à la famille des actionneurs, car il génère un mouvement. On parle de « vérin » lorsque la course est limitée (on parle de « moteur » lorsque la course de l‘actionneur n'est pas limitée). Un vérin est le plus souvent pneumatique ou hydraulique. On parle cependant de « vérin électrique » pour désigner l'ensemble moteur électrique, vis-écrou.
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.
Fluide hydrauliqueUn fluide hydraulique (ou huile hydraulique) est un . C'est une huile minérale incompressible capable de transmettre rapidement l'énergie de la pompe aux récepteurs. Cette propriété en fait un vecteur de force : il s'agit donc d'un fluide fonctionnel. De plus, parce que c'est un fluide visqueux, le fluide hydraulique assure la lubrification des composants métalliques (pompe hydraulique, distributeurs, vérins).
Machine hydrauliquevignette|Des vérins hydrauliques sont visibles sur cette excavatrice. Les machines hydrauliques sont des machines et outils utilisant l'énergie hydraulique pour effectuer un travail. Les engins de chantier en sont un exemple courant. Dans ce type de machine, le fluide hydraulique est pompé et transmis à divers organes mécaniques comme des vérins ou des moteurs. Le fluide véhiculé par la pompe est contrôlé par l'opérateur, grâce à des distributeurs qui distribuent le fluide par des tiroirs disposés à l'intérieur, servant à diriger le fluide hydraulique dans des canalisations.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Moteur hydraulique hydrostatiquethumb|Moteur hydraulique à pistons radiaux, de marque Staffa. Un moteur hydraulique est un moteur isotherme qui transforme une puissance hydraulique ou hydrostatique (pression × débit) en puissance mécanique (force × vitesse, ou couple x vitesse angulaire). Son utilisation se fait dans le cadre d'une transmission hydrostatique. Comme pour la plupart des moteurs, on peut inverser le sens de la transformation énergétique : une puissance mécanique est transformée en puissance hydraulique. Il s'agit alors de pompes.
Pompage-turbinagethumb|Installation de pompage-turbinage du , près de Herdecke, en Allemagne. Elle a été inaugurée en 1930. Le pompage-turbinage est une technique de stockage de l'énergie électrique qui consiste à remonter de l'eau d'un cours d'eau ou d'un bassin, pour la stocker dans des bassins d'accumulation, lorsque la production d'électricité est supérieure à la demande — c'est le pompage —, puis de turbiner l'eau ainsi mise en réserve pour produire de l'énergie électrique lorsque la demande est forte — c'est le turbinage.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
