Bulle de savonUne bulle de savon est un mince film d'eau retenu par une pellicule de molécules savonneuses, formant une sphère, dont la surface est chatoyante. Cette bulle, remplie d'air, reste stable quelques instants, durant lesquels elle est capable de flotter dans l'atmosphère, mais elle est sensible au contact avec des corps solides. Image:Soap bubbles in Algerian grassland.jpg|Un petit garçon faisant des bulles de savon dans une prairie d'Algérie Image:Boy Blowing Bubbles Edouard Manet.
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.
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.
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).
Combined forced and natural convectionIn fluid thermodynamics, combined forced convection and natural convection, or mixed convection, occurs when natural convection and forced convection mechanisms act together to transfer heat. This is also defined as situations where both pressure forces and buoyant forces interact. How much each form of convection contributes to the heat transfer is largely determined by the flow, temperature, geometry, and orientation. The nature of the fluid is also influential, since the Grashof number increases in a fluid as temperature increases, but is maximized at some point for a gas.
Forced convectionForced convection is a mechanism, or type of transport, in which fluid motion is generated by an external source (like a pump, fan, suction device, etc.). Alongside natural convection, thermal radiation, and thermal conduction it is one of the methods of heat transfer and allows significant amounts of heat energy to be transported very efficiently. This mechanism is found very commonly in everyday life, including central heating, air conditioning, steam turbines, and in many other machines.
Hydrogène liquideL'hydrogène liquide est le dihydrogène refroidi en dessous de son point de condensation, soit () à pression atmosphérique (). Il a alors une masse volumique de . Il est généralement désigné par l'acronyme LH2 pour les applications astronautiques. C'est en effet l'un des combustibles liquides les plus utilisés au décollage, par exemple par la navette spatiale américaine, le lanceur Delta ou le lanceur Ariane 5. Le chimiste et physicien écossais James Dewar fut le premier à parvenir, en 1899, à liquéfier l'hydrogène, en combinant le refroidissement mécanique du gaz avec une détente adiabatique.
