Pression partielleLa pression partielle d'un composant dans un mélange de gaz parfaits est définie comme la pression qui serait exercée par les molécules de ce composant s'il occupait seul, tout le volume offert au mélange, à la température de celui-ci. Elle correspond donc à la contribution de ce composant à la pression totale du mélange. La pression partielle d'un composant est une mesure de l'activité thermodynamique des molécules de ce gaz.
Terre rareLes terres rares, de symbole REE (pour l'anglais rare-earth element), sont un groupe de métaux aux propriétés voisines comprenant le scandium Sc, l'yttrium Y et les quinze lanthanides. Ces métaux sont, contrairement à ce que suggère leur appellation, assez répandus dans la croûte terrestre, à l'égal de certains métaux usuels. L'abondance du cérium est ainsi d'environ , alors que celle du thulium et du lutécium n'est que de . Sous forme élémentaire, les terres rares ont un aspect métallique et sont assez tendres, malléables et ductiles.
Pressure measurementPressure measurement is the measurement of an applied force by a fluid (liquid or gas) on a surface. Pressure is typically measured in units of force per unit of surface area. Many techniques have been developed for the measurement of pressure and vacuum. Instruments used to measure and display pressure mechanically are called pressure gauges, vacuum gauges or compound gauges (vacuum & pressure). The widely used Bourdon gauge is a mechanical device, which both measures and indicates and is probably the best known type of gauge.
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.
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).
Grenat de fer et d'yttriumLe grenat de fer et d'yttrium, ou YIG pour Yttrium Iron Garnet, est un composé chimique de formule , c'est-à-dire . Il est également connu sous les noms de grenat de ferrite et d'yttrium, d'oxyde de fer et d'yttrium et d'oxyde d'yttrium et de fer, ces deux dernières appellations étant généralement associées aux formes pulvérulentes. C'est un grenat de synthèse qui n'a pas été observé dans le milieu naturel. Il s'agit d'un isolant ferrimagnétique ayant une température de Curie de .
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).
Reversible process (thermodynamics)In thermodynamics, a reversible process is a process, involving a system and its surroundings, whose direction can be reversed by infinitesimal changes in some properties of the surroundings, such as pressure or temperature. Throughout an entire reversible process, the system is in thermodynamic equilibrium, both physical and chemical, and nearly in pressure and temperature equilibrium with its surroundings. This prevents unbalanced forces and acceleration of moving system boundaries, which in turn avoids friction and other dissipation.
PolyamorphismeEn science des matériaux, le polyamorphisme est la possibilité pour une substance d'exister sous différentes formes amorphes. C'est l'analogue du polymorphisme des matériaux cristallins. Bien que l'arrangement atomique d'un matériau amorphe ne possède pas d'ordre à grande distance certaines propriétés de différents polyamorphes, telles que la densité, peuvent être différentes.
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).
