Rotation (physique)En cinématique, l'étude des corps en rotation est une branche fondamentale de la physique du solide et particulièrement de la dynamique, y compris de la dynamique des fluides, qui complète celle du mouvement de translation. L'analyse du mouvement de rotation se prolonge y compris aux échelles atomiques, avec la dynamique moléculaire et l'étude de la fonction d'onde en mécanique quantique.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Graisse (mécanique)En mécanique, une graisse est un produit pâteux plus ou moins consistant utilisé comme lubrifiant. Les graisses forment une pellicule qui diminue le frottement et favorise le glissement. La graisse est un composé semi-solide. Alors qu'une huile sera généralement liquide, la graisse conserve sa forme sans nécessairement suivre celle de son contenant. En raison de sa viscosité élevée par rapport à l'huile, la graisse est utilisée pour lubrifier des pièces de machines, d'outils, ou d'équipements soumis : à une charge élevée ; à une température élevée alors qu'une huile s'évaporerait ; à des déplacements réduits ou lents.
Austenitic stainless steelAustenitic stainless steel is one of the five classes of stainless steel by crystalline structure (along with ferritic, martensitic, duplex and precipitation hardened). Its primary crystalline structure is austenite (face-centered cubic) and it prevents steels from being hardenable by heat treatment and makes them essentially non-magnetic. This structure is achieved by adding enough austenite-stabilizing elements such as nickel, manganese and nitrogen. The Incoloy family of alloys belong to the category of super austenitic stainless steels.
LubrificationLa lubrification ou le graissage est un ensemble de techniques permettant de réduire le frottement, l'usure entre deux éléments en contact et en mouvement l'un par rapport à l'autre. Elle permet souvent d'évacuer une partie de l'énergie thermique engendrée par ce frottement, ainsi que d'éviter la corrosion... Dans ces situations, les écoulements fluides sont parallèles aux surfaces, ce qui simplifie leur description et leur calcul (théorie de la lubrification).
Lubrifiant (mécanique)vignette|Burette à lubrifiant synthétique. En mécanique, les lubrifiants ont notamment pour rôle de lubrifier, réfrigérer ou les deux à la fois ; pour réduire le frottement d'une pièce par rapport à une autre ou pour l'usinage mécanique.
Constructionvignette|upright|Les grues sont essentielles pour des travaux importants tels que les gratte-ciel. La construction est le fait d'assembler différents éléments d'un édifice en utilisant des matériaux et des techniques appropriées. Le secteur économique de la construction, appelé « bâtiment et travaux publics » (BTP) dans une partie de l'Europe francophone, regroupe toutes les activités de conception et de construction des bâtiments publics et privés, industriels ou non, et des infrastructures telles que les routes ou les canalisations.
Acier au carboneL’acier au carbone est un acier dont le principal composant d'alliage est le carbone, entre 0,12 et 2,0 %, les autres éléments d'alliages étant en quantité très faible. Plus la teneur en carbone est élevée, plus la résistance mécanique de l'acier peut être augmentée par traitement thermique, au détriment de sa ductilité. L'acier au carbone est un acier qui contient du carbone comme principal alliage. Il est solide, résistant et peu coûteux, mais il rouille facilement. L'acier inoxydable, quant à lui, contient principalement du chrome et de nickel.
