Équilibre thermodynamiquevignette|200px|Exemple d'équilibre thermodynamique de deux systèmes, en l'occurrence deux phases : l'équilibre liquide-vapeur du brome. En thermodynamique, un équilibre thermodynamique correspond à l'état d'un système ne subissant aucune évolution à l'échelle macroscopique. Les grandeurs intensives caractérisant ce système (notamment la pression, la température et les potentiels chimiques) sont alors homogènes dans l'espace et constantes dans le temps.
Thermodynamic databases for pure substancesThermodynamic databases contain information about thermodynamic properties for substances, the most important being enthalpy, entropy, and Gibbs free energy. Numerical values of these thermodynamic properties are collected as tables or are calculated from thermodynamic datafiles. Data is expressed as temperature-dependent values for one mole of substance at the standard pressure of 101.325 kPa (1 atm), or 100 kPa (1 bar). Both of these definitions for the standard condition for pressure are in use.
Système d'unités atomiquesLes unités atomiques (ua) forment un système d'unités très utilisé pour simplifier les calculs formels ou numériques en physique quantique, notamment en physique atomique. Elles consistent à poser égales à 1 la constante de Planck réduite , la masse de l'électron au repos , et la constante de la loi de Coulomb multipliée par (où -e est la charge de l'électron). Dans un système d'unités atomiques, on a donc : où est la charge de l'électron.
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.
Processus thermodynamiqueUn processus thermodynamique, ou une transformation thermodynamique, est une transformation (ou une série de transformations) chimique ou physique d’un système partant d’un état d’équilibre initial pour aboutir à un état d’équilibre final.
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.
Potentiel thermodynamiqueEn thermodynamique, un potentiel thermodynamique est une fonction d'état particulière qui permet de prédire l'évolution et l'équilibre d'un système thermodynamique, et à partir de laquelle on peut déduire toutes les propriétés (comme les capacités thermiques, le coefficient de dilatation, le coefficient de compressibilité) du système à l'équilibre. Les divers potentiels thermodynamiques correspondent aux divers jeux de variables d'état utilisés dans l'étude des processus thermodynamiques.
ThermodynamiqueLa thermodynamique est la branche de la physique qui traite de la dépendance des propriétés physiques des corps à la température, des phénomènes où interviennent des échanges thermiques, et des transformations de l'énergie entre différentes formes. La thermodynamique peut être abordée selon deux approches différentes et complémentaires : phénoménologique et statistique. La thermodynamique phénoménologique ou classique a été l'objet de nombreuses avancées dès le .
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
Température thermodynamiqueLa température thermodynamique est une formalisation de la notion expérimentale de température et constitue l’une des grandeurs principales de la thermodynamique. Elle est intrinsèquement liée à l'entropie. Usuellement notée , la température thermodynamique se mesure en kelvins (symbole K). Encore souvent qualifiée de « température absolue », elle constitue une mesure absolue parce qu’elle traduit directement le phénomène physique fondamental qui la sous-tend : l’agitation des constituant la matière (translation, vibration, rotation, niveaux d'énergie électronique).
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.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Google (moteur de recherche)Google est un moteur de recherche gratuit et libre d'accès sur le World Wide Web, ayant donné son nom à la société Google. C'est aujourd'hui le moteur de recherche et le site web le plus visité au monde : 90 % des internautes l'utilisaient en 2018. Le nom Google vient du mot Gogol, nom donné au nombre . Ce nombre a été choisi pour évoquer la capacité de Google à traiter une très grande quantité de données.
Search engineA search engine is a software system that finds web pages that match a web search. They search the World Wide Web in a systematic way for particular information specified in a textual web search query. The search results are generally presented in a line of results, often referred to as search engine results pages (SERPs). The information may be a mix of hyperlinks to web pages, images, videos, infographics, articles, and other types of files. Some search engines also mine data available in databases or open directories.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Système d'unités naturellesUn système d'unités naturelles, noté SUN, est un système d'unités basé uniquement sur des constantes physiques universelles. Par exemple, la charge élémentaire e est une unité naturelle de charge électrique, et la vitesse de la lumière c est une unité naturelle de vitesse. Un système d'unités purement naturel a toutes ses unités définies de cette façon, ce qui implique que la valeur numérique des constantes physiques sélectionnées, exprimées dans ces unités, vaut exactement 1.
Préparateur automobileUn préparateur automobile est une entreprise transformant des véhicules produits par des constructeurs automobiles. Les préparateurs conçoivent parfois des versions à part entière (avec parfois des véhicules immatriculés sous la marque du préparateur), en améliorant les performances (moteur, freinage, trains roulants, aérodynamique), en modifiant le design intérieur et/ou extérieur, en remplaçant des éléments de série par du très haut de gamme ou des pièces produites artisanalement.
Moteur à combustion et explosionLe terme moteur à combustion et explosion désigne tout type de moteur à combustion interne à pistons alternatifs ou rotatifs, à allumage commandé ou non dans lequel les gaz brûlent avec un front de flamme dont la vitesse est, normalement, inférieure à celle du son. Le premier moteur à combustion à un cylindre a été réalisé par Eugenio Barsanti et Felice Matteucci en 1854. Le premier moteur à combustion à deux temps est réalisé par Étienne Lenoir en 1859.
Grandeur physiqueOn appelle grandeur physique, ou simplement grandeur, toute propriété d'un phénomène physique, d'un corps ou d'une substance, qui peut être mesurée ou calculée, et dont les valeurs possibles s'expriment à l'aide d'un nombre (réel ou complexe) et d'une référence (comme une unité de mesure, une échelle de valeurs ou une échelle ordinale). La précision de la mesure est indiquée par l'incertitude de mesure.
