NeigeLa neige () est une forme de précipitations atmosphériques constituée de particules de glace ramifiées, de structure et d'aspect très variables qui sont la plupart du temps cristallisées et agglomérées en flocons contenant de l'air. Mais cette glace peut aussi être sous forme de grains (neige en grains, neige roulée) ou mouillée. Lorsqu'il y a suffisamment de froid et d'humidité dans l'atmosphère, la neige se forme naturellement par condensation solide de la vapeur d'eau à saturation autour des noyaux de congélation.
AvalancheUne avalanche () de neige est d'abord un phénomène physique : une masse de neige qui se détache puis dévale un versant de montagne sous l'effet de la pesanteur, ou, formulé autrement, le mouvement rapide sur une grande pente d'un volume de neige, à la suite d'une rupture d'équilibre dans le manteau neigeux initial. Une avalanche de neige est aussi un aléa avec la possibilité qu'une telle menace (déclenchement, écoulement, impact) se réalise dans un lieu donné à un instant donné.
Dépôt physique par phase vapeurvignette|Montage expérimental d’une évaporation par dépôt chimique vapeur Le dépôt physique en phase vapeur (ou PVD pour l'anglais physical vapor deposition) est un ensemble de méthodes de dépôt sous vide de films minces : Évaporation directe : Évaporation sous vide (ou évaporation) Évaporation par faisceau d'électron en phase vapeur (angl. electron beam evaporation) Pulvérisation cathodique (sputtering) : les particules de métal sont séparées de leur substrat par bombardement ionique.
Évaporation sous videLévaporation sous vide est une technique de dépôt de couche mince (généralement métallique), utilisée notamment dans la fabrication micro-électronique. Le matériau à déposer est évaporé sous vide dans une enceinte hermétique, le vide permettant aux particules d'atteindre directement le support où elles se recondensent à l'état solide. L'évaporation sous vide repose sur deux processus élémentaires : l'évaporation d'une source chauffée et la condensation à l’état solide de la matière évaporée sur le substrat.
Dépôt chimique en phase vapeurvignette|Schéma d'un CVD Le dépôt chimique en phase vapeur (ou CVD pour l'anglais chemical vapor deposition) est une méthode de dépôt sous vide de films minces, à partir de précurseurs gazeux. La CVD est un procédé utilisé pour produire des matériaux solides de haute performance, et de grande pureté. Ce procédé est souvent utilisé dans l'industrie du semi-conducteur pour produire des couches minces. Dans un procédé CVD typique, le substrat est exposé à un ou plusieurs précurseurs en phase gazeuse, qui réagissent et/ou se décomposent à la surface du substrat pour générer le dépôt désiré.
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).
Dépôt sous videvignette|Chambre à vide de l'Observatoire du Mont Mégantic utilisée pour la re-aluminisation des miroirs de télescopes. Le dépôt sous vide est une technique de fabrication de couche mince : on cherche à déposer une couche de métal (la plupart du temps) sur une lame de substrat solide (verre ou silicium par exemple). On y utilise le principe physique qui veut que, à très basse pression, les molécules (généralement monoatomiques) de vapeur d'un métal se déplacent avec très peu de risque de collision avec d'autres molécules : le gaz métallique se trouve projeté sur le substrat sans être freiné par les phénomènes de diffusion, et sans risque d'oxydation.
Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
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).
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
