FrottementEn physique, le frottement (ou friction) est une interaction qui s'oppose au mouvement relatif entre deux systèmes en contact. Le frottement peut être étudié au même titre que les autres types de force ou de couple. Son action est caractérisée par une norme et une orientation, ce qui en fait un vecteur. L'orientation de la force (ou du couple) de frottement créé sur un corps est opposée au déplacement relatif de ce corps par rapport à son environnement. La science qui étudie le frottement entre solides est la tribologie.
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.
Fluid bearingFluid bearings are bearings in which the load is supported by a thin layer of rapidly moving pressurized liquid or gas between the bearing surfaces. Since there is no contact between the moving parts, there is no sliding friction, allowing fluid bearings to have lower friction, wear and vibration than many other types of bearings. Thus, it is possible for some fluid bearings to have near-zero wear if operated correctly. They can be broadly classified into two types: fluid dynamic bearings (also known as hydrodynamic bearings) and hydrostatic bearings.
Mécanique des contactsLa mécanique des contacts traite des calculs impliquant des corps élastiques, visco-élastiques ou plastiques lors de contacts statiques ou dynamiques. La mécanique des contacts est l’un des fondements de l’ingénierie mécanique et est indispensable pour la conception de projets sûrs et énergiquement efficaces. Elle peut être appliquée dans différents domaines tel que le contact roue-rail, les embrayages, les freins, les pneumatiques, les paliers et roulements, les moteurs à combustion, les liaisons mécaniques, les joints, les machines de production, le soudage par ultrasons, les contacts électriques et bien d'autres.
Tribologievignette|upright=1.5|Les premières études empiriques sur les forces de friction sont attribuées à Léonard de Vinci. La tribologie (du grec ancien , « frottement » et , « science, étude ») est la science qui étudie les phénomènes susceptibles de se produire entre deux systèmes matériels en contact, immobiles ou animés de mouvements relatifs. Ce terme recouvre, entre autres, tous les domaines du frottement, de l’usure, de l'étude des interfaces et de la lubrification.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
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.
Système nominatif de typesUn système nominatif de types est une classe majeure de système de types en programmation informatique. C'est avec lui qu'on détermine la compatibilité et l'équivalence de types par la déclaration explicite et/ou le nommage des types. On utilise les systèmes nominatifs pour déterminer si des types sont équivalents ou pour savoir si un type est un sous-type d'un autre. Ce système est en contraste avec le système structurel, où les comparaisons sont fondées sur la structure des types en question et donc ces types ne nécessitent pas de déclarations explicites.
