Entropie (thermodynamique)L'entropie est une grandeur physique qui caractérise le degré de désorganisation d'un système. Introduite en 1865 par Rudolf Clausius, elle est nommée à partir du grec , littéralement « action de se retourner » pris au sens de « action de se transformer ». En thermodynamique, l'entropie est une fonction d'état extensive (c'est-à-dire, proportionnelle à la quantité de matière dans le système considéré). Elle est généralement notée , et dans le Système international d'unités elle s'exprime en joules par kelvin ().
EnthalpieEn physique, la variable enthalpie est une quantité reliée à l'énergie d'un système thermodynamique. Elle est notée . Elle comprend l'énergie interne du système (notée ), à laquelle est ajouté le produit de la pression (notée ) par le volume (noté ) : . L'enthalpie est un potentiel thermodynamique qui synthétise en une seule fonction l'énergie interne du système (liée à sa température et à sa quantité de matière) et le travail de frontière (lié à sa pression) requis pour occuper son volume.
TempératureLa température est une grandeur physique mesurée à l’aide d’un thermomètre et étudiée en thermométrie. Dans la vie courante, elle est reliée aux sensations de froid et de chaud, provenant du transfert thermique entre le corps humain et son environnement. En physique, elle se définit de plusieurs manières : comme fonction croissante du degré d’agitation thermique des particules (en théorie cinétique des gaz), par l’équilibre des transferts thermiques entre plusieurs systèmes ou à partir de l’entropie (en thermodynamique et en physique statistique).
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 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.
Conversion des unitésLa conversion des unités est un ensemble d'opérations ou de tables qui permet de connaître les équivalences entre plusieurs systèmes d'unités, ou entre plusieurs multiples ou sous-multiples d'une même unité. Cet article se focalise sur les équivalences entre les unités du Système international (SI) et les unités de mesure anglo-saxonnes. Les signes suivants sont utilisés dans la suite de l'article : ≡ : définition ; = : exactement égal ; ≈ : approximativement égal. L'unité de base de longueur dans le Système international est le mètre (symbole m).
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.
Entropy (statistical thermodynamics)The concept entropy was first developed by German physicist Rudolf Clausius in the mid-nineteenth century as a thermodynamic property that predicts that certain spontaneous processes are irreversible or impossible. In statistical mechanics, entropy is formulated as a statistical property using probability theory. The statistical entropy perspective was introduced in 1870 by Austrian physicist Ludwig Boltzmann, who established a new field of physics that provided the descriptive linkage between the macroscopic observation of nature and the microscopic view based on the rigorous treatment of large ensembles of microstates that constitute thermodynamic systems.
Constante physiquevignette|Dépendances des constantes définissant les unités du SI depuis 2019. Ici, a → b signifie que a est utilisé pour définir b. En science, une constante physique est une quantité physique dont la valeur numérique est fixe. Contrairement à une constante mathématique, elle implique directement une grandeur physiquement mesurable. Les valeurs listées ci-dessous sont des valeurs dont on a remarqué qu'elles semblaient constantes et indépendantes de tous paramètres utilisés, et que la théorie suppose donc réellement constantes.
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.
Cycle frigorifiqueLe cycle frigorifique est un cycle thermodynamique. Il permet d'abaisser la température d'un milieu relativement froid (la source froide) et simultanément d'augmenter la température d'un autre milieu relativement chaud (la source chaude) au moyen d'une dépense d'énergie mécanique. Il est notamment utilisé dans les réfrigérateurs ou les pompes à chaleur.
Unité de mesureEn physique et en métrologie, une est une . Une unité de mesure peut être définie à partir de constantes fondamentales ou par un étalon, utilisé pour la mesure. Les systèmes d'unités, définis en cherchant le plus large accord dans le domaine considéré, sont rendus nécessaires par la méthode scientifique, dont l'un des fondements est la reproductibilité des expériences (donc des mesures), ainsi que par le développement des échanges d'informations commerciales ou industrielles.
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.
Entropy (classical thermodynamics)In classical thermodynamics, entropy () is a property of a thermodynamic system that expresses the direction or outcome of spontaneous changes in the system. The term was introduced by Rudolf Clausius in the mid-19th century to explain the relationship of the internal energy that is available or unavailable for transformations in form of heat and work. Entropy predicts that certain processes are irreversible or impossible, despite not violating the conservation of energy.
MKS system of unitsThe MKS system of units is a physical system of measurement that uses the metre, kilogram, and second (MKS) as base units. The modern International System of Units (SI) was originally created as a formalization of the MKS system, and although the SI has been redefined several times since then and is now based entirely on fundamental physical constants, it still closely approximates the original MKS system for most practical purposes. By the mid-19th century, there was a demand by scientists to define a coherent system of units.
Pompe à chaleurUne pompe à chaleur (PAC), aussi appelée thermopompe en français canadien, est un dispositif permettant de transférer de l'énergie thermique (anciennement « calories ») d'un milieu à basse température (source froide) vers un milieu à haute température (source chaude). Ce dispositif permet donc d'inverser le sens naturel du transfert spontané de l'énergie thermique. Selon le sens de fonctionnement du dispositif de pompage, une pompe à chaleur peut être considérée comme un système de chauffage, si l'on souhaite augmenter la température de la source chaude, ou de réfrigération, si l'on souhaite abaisser la température de la source froide.
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.
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.
