Enthalpie de fusionL'enthalpie de fusion (symbole : ) est l'énergie absorbée sous forme de chaleur par un corps lorsqu'il passe de l'état solide à l'état liquide à température et pression constantes. Au point de fusion d'un corps pur, elle est plus communément appelée chaleur latente de fusion car c'est sous forme de chaleur que cette énergie est absorbée et cette absorption se fait sans élévation de la température. Elle sert en quelque sorte à désorganiser les liaisons intermoléculaires qui maintiennent les molécules ensemble et non à « chauffer » au sens commun du terme.
État standardL'état standard d'une substance est défini comme un état particulier de la substance servant de référence pour les bases de données physico-chimiques. Il correspond généralement au corps pur sous un état particulier, parfois virtuel, à une température particulière et sous la pression standard : p° = 1 bar = 105 Pa. Pour l'état gazeux, il s'agit de l'état de gaz parfait, état légèrement différent de l'état réel.
Chaleur (thermodynamique)vignette|Le Soleil et la Terre constituent un exemple continu de processus de chauffage. Une partie du rayonnement thermique du Soleil frappe et chauffe la Terre. Par rapport au Soleil, la Terre a une température beaucoup plus basse et renvoie donc beaucoup moins de rayonnement thermique au Soleil. La chaleur dans ce processus peut être quantifiée par la quantité nette et la direction (Soleil vers Terre) d'énergie échangée lors du transfert thermique au cours d'une période de temps donnée.
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.
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.
CaloducCaloduc, du latin calor « chaleur » et de ductus « conduite », désigne des éléments conducteurs de chaleur. Appelé heat pipe en anglais (signifiant littéralement « tuyau de chaleur »), un caloduc est destiné à transporter la chaleur grâce au principe du transfert thermique par transition de phase d'un fluide (chaleur latente). Un caloduc se présente sous la forme d’une enceinte hermétique renfermant un fluide à l'état d'équilibre liquide-vapeur, généralement en absence de tout autre gaz.
Substructural type systemSubstructural type systems are a family of type systems analogous to substructural logics where one or more of the structural rules are absent or only allowed under controlled circumstances. Such systems are useful for constraining access to system resources such as , locks, and memory by keeping track of changes of state that occur and preventing invalid states. Several type systems have emerged by discarding some of the structural rules of exchange, weakening, and contraction: Ordered type systems (discard exchange, weakening and contraction): Every variable is used exactly once in the order it was introduced.
Échangeur de chaleurUn échangeur de chaleur est un dispositif permettant de transférer de l'énergie thermique d'un fluide vers un autre sans les mélanger. Le flux thermique y traverse la surface d'échange qui sépare les fluides. L'intérêt du dispositif réside dans la séparation des deux circuits et dans l'absence d'autres échanges que la chaleur, qui maintient les caractéristiques physico-chimiques (pression, concentration en éléments chimiques...) de chaque fluide inchangées hormis leur température ou leur état.
Système FLe est un formalisme logique qui permet d'exprimer de façon très riche et très rigoureuse des fonctions et d'y démontrer formellement des propriétés difficiles. Plus précisément, le (également connu sous le nom de lambda-calcul polymorphe ou de lambda-calcul du second ordre) est une extension du lambda-calcul simplement typé introduite indépendamment par le logicien Jean-Yves Girard et par l'informaticien John C. Reynolds. Ce système se distingue du lambda-calcul simplement typé par l'existence d'une quantification universelle sur les types qui permet d'exprimer du polymorphisme.
Entropie de ShannonEn théorie de l'information, l'entropie de Shannon, ou plus simplement entropie, est une fonction mathématique qui, intuitivement, correspond à la quantité d'information contenue ou délivrée par une source d'information. Cette source peut être un texte écrit dans une langue donnée, un signal électrique ou encore un fichier informatique quelconque (suite d'octets). Elle a été introduite par Claude Shannon. Du point de vue d'un récepteur, plus la source émet d'informations différentes, plus l'entropie (ou incertitude sur ce que la source émet) est grande.
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.
Capacité thermiqueLa capacité thermique (anciennement capacité calorifique) d'un corps est une grandeur qui mesure la chaleur qu'il faut lui transférer pour augmenter sa température d'un kelvin. Inversement, elle permet de quantifier la possibilité qu'a ce corps d'absorber ou de restituer de la chaleur au cours d'une transformation pendant laquelle sa température varie. Elle s'exprime en joules par kelvin (). C'est une grandeur extensive : plus la quantité de matière est importante, plus la capacité thermique est grande.
