Conductivité thermiqueLa conductivité thermique (ou conductibilité thermique) d'un matériau est une grandeur physique qui caractérise sa capacité à diffuser la chaleur dans les milieux sans déplacement macroscopique de matière. C'est le rapport de l'énergie thermique (quantité de chaleur) transférée par unité de temps (donc homogène à une puissance, en watts) et de surface au gradient de température. Notée λ (anciennement K voire k), la conductivité thermique intervient notamment dans la loi de Fourier.
Pression de vapeurLa pression de vapeur est la pression partielle de la vapeur d'un corps présent également sous forme liquide ou solide. Lorsque le système est à l'équilibre (les proportions relatives de gaz et liquide ou solide ne varient pas), la pression de vapeur est dite « saturante ». Lorsque le système est hors équilibre : si la pression de vapeur est inférieure à la pression de vapeur saturante, une portion de liquide ou de solide passe sous forme gazeuse (évaporation, vaporisation ou sublimation) ; si la pression de vapeur est supérieure à la pression de vapeur saturante, une portion de la vapeur passe sous forme liquide ou solide (liquéfaction, condensation).
Anglais britanniqueL'expression « anglais britannique » (en anglais : British English) est employée de façon plus ou moins précise pour différencier les variétés de la langue anglaise employées au Royaume-Uni des autres variétés de l'anglais à travers le monde. Ce terme comprend toutes les variétés présentes au Royaume-Uni, c'est-à-dire en Angleterre, en Écosse, en Irlande du Nord et au Pays de Galles. Parfois, le terme est employé de façon plus large par certaines personnes qui comptent également la République d'Irlande.
Anglais américainLa dénomination anglais américain (American English, étiquette IETF en-US) désigne l'ensemble des dialectes et des accents de la langue anglaise parlée aux États-Unis d'Amérique. Les différences entre General American (l'anglais normalisé aux États-Unis) et Received Pronunciation (l'anglais normalisé au Royaume-Uni) à avoir été les plus étudiées sont les différences phonologiques et, en moindre mesure, les différences de vocabulaire et de pragmatique. Il existe aussi des différences grammaticales.
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.
AnglaisLanglais (English ; prononcé : ) est une langue indo-européenne germanique originaire d'Angleterre qui tire ses racines de langues du nord de l'Europe (terre d'origine des Angles, des Saxons et des Frisons) dont le vocabulaire a été enrichi et la syntaxe et la grammaire modifiées par le français anglo-normand, apporté par les Normands, puis par le français avec les Plantagenêt. La langue anglaise est ainsi composée d'environ 29 % de mots d'origine normande et française et plus des deux tiers de son vocabulaire proviennent du français ou du latin.
Récupérateur de chaleur sur air viciéalt=|vignette|Principe de fonctionnement. Un récupérateur de chaleur sur air vicié est un type d'échangeur de chaleur air/air utilisé dans les bâtiments équipés d'une ventilation double-flux pour prélever l'énergie thermique contenue dans l'air extrait et la transférer à l'air neuf insufflé dans le bâtiment. Le récupérateur sur air vicié peut atteindre de très bons rendements (> 85 %) et induire une réduction importante des besoins de chauffage du bâtiment (> 80 % pour des bâtiments très bien isolés, des bâtiments passifs ou des bâtiments à énergie positive).
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.
Anglais internationalAnglais international (en anglais international English) est l'expression employée pour décrire la langue anglaise pratiquée par de nombreux locuteurs, non nécessairement anglophones, à travers le monde. Cette expression désigne aussi les variantes de l'anglais parlées à travers le monde ou encore une variante qui serait voulue comme anglais de référence. Il s'agit d'un exemple de langue anglaise simplifiée construite spontanément et ne violant pas les règles de l'anglais classique.
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.
