Confort thermiquethumb|Bivouac dans un sac de couchage très isolant. Malgré le froid, le dormeur dort confortablement. La notion de confort thermique est le plus souvent appliquée à l'être humain, bien qu'elle puisse s'appliquer à tout être vivant. En effet, la vie - et spécialement l'activité métabolique assurant les fonctions vitales - n'est possible que dans une certaine plage de température, qui varie d'une espèce à l'autre. Il existe cependant des conditions d'ambiance optimales qui seront ressenties par l'individu comme celle d'un état de confort thermique.
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.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
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.
Économies d'énergieLes économies d'énergie sont les gains obtenus en réduisant la consommation d'énergie ou les pertes sur l'énergie produite. Les économies d'énergie sont devenues un objectif important des pays fortement consommateurs d'énergie vers la fin du , notamment après le choc pétrolier de 1973 puis à partir des années 1990, afin de répondre à plusieurs inquiétudes : la crainte d'un épuisement des ressources naturelles, particulièrement des combustibles fossiles ; le réchauffement climatique résultant des émissions de gaz à effet de serre ; les problèmes politiques et de sécurité d'approvisionnement dus à l'inégale répartition des ressources sur la planète ; le coût de l'énergie que la combinaison de ces phénomènes peut faire augmenter.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
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.
Efficacité énergétique (économie)En économie, l’efficacité énergétique ou efficience énergétique désigne l'état de fonctionnement d'un système pour lequel la consommation d’énergie est minimisée pour un service rendu identique. C'est un cas particulier de la notion d’efficience. Elle concerne notamment les transports motorisés, les métiers du bâtiment et l'industrie (ces derniers étant responsables respectivement d'environ 40 % et 25 % de la consommation énergétique totale de l'Union européenne).
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).
Qualité de l'air intérieurLa qualité de l'air intérieur (QAI) recouvre l'étude des paramètres de confort (température, hygrométrie) et de la composition de l'air dans les environnements clos (bâtiments, mais aussi dans les transports en commun, par exemple), dans le but d'assurer la santé des usagers. La pollution intérieure est une notion un peu plus restreinte qui désigne classiquement les composés chimiques (hors ) susceptibles d'être présents dans l'air intérieur, ainsi que les fumées et poussières.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Energy subsidyEnergy subsidies are measures that keep prices for customers below market levels, or for suppliers above market levels, or reduce costs for customers and suppliers. Energy subsidies may be direct cash transfers to suppliers, customers, or related bodies, as well as indirect support mechanisms, such as tax exemptions and rebates, price controls, trade restrictions, and limits on market access. The International Renewable Energy Agency tracked some $634 billion in energy-sector subsidies in 2020, and found that around 70% were fossil fuel subsidies.
Ressources et consommation énergétiques mondialesLes réserves mondiales prouvées d'énergie fossile pouvaient être estimées en 2020, selon l'Agence fédérale allemande pour les sciences de la Terre et les matières premières, à , dont 55 % de charbon, 25 % de pétrole et 19 % de gaz naturel. Ces réserves assurent de production au rythme actuel ; cette durée est très variable selon le type d'énergie : pour le pétrole, pour le gaz naturel, pour le charbon. Pour l'uranium, avec les techniques actuelles, elle serait de 90 à selon les estimations, et sa durée d'utilisation pourrait se compter en siècles en ayant recours à la surgénération.
ThermostatUn thermostat est un dispositif permettant de maintenir un système (appareil, machine, moteur) à une température relativement stable. Warren S. Johnson dépose un brevet concernant le thermostat en 1883. Le thermostat a été développé en 1886 par Albert Butz, qui a donné naissance à la société Honeywell. Il permettait de commander une trappe d'arrivée d'air sur une chaudière à charbon pour « réguler » sa température.
Thermal management (electronics)All electronic devices and circuitry generate excess heat and thus require thermal management to improve reliability and prevent premature failure. The amount of heat output is equal to the power input, if there are no other energy interactions. There are several techniques for cooling including various styles of heat sinks, thermoelectric coolers, forced air systems and fans, heat pipes, and others. In cases of extreme low environmental temperatures, it may actually be necessary to heat the electronic components to achieve satisfactory operation.
Rendement (physique)En physique, le rendement est défini comme une grandeur sans dimension qui caractérise l'efficacité d'une transformation, physique ou chimique. En physique, la grandeur caractérise généralement la conversion d'une forme d'énergie en une autre. Pour un système réalisant une conversion d'énergie (transformateur, moteur, pompe à chaleur), le rendement est défini par certains auteurs comme étant le rapport entre l'énergie recueillie en sortie et l'énergie fournie en entrée, qui confond alors les termes d'efficacité thermodynamique et de rendement thermodynamique.
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.
Rayonnement thermiqueLe rayonnement thermique est un rayonnement électromagnétique généré par l'agitation thermique de particules dans la matière quel que soit l'état de celle-ci : solide, liquide ou gaz. Le spectre de ce rayonnement s'étend du domaine micro-ondes à l'ultra-violet. L'expression est également utilisée pour des phénomènes beaucoup plus énergétiques tels que rencontrés dans les plasmas, qui sont la source de rayonnement X. Ce phénomène conduit au rayonnement du corps noir lorsque l'interaction matière - rayonnement est réversible et importante.
Résistance thermiqueLa résistance thermique quantifie l'opposition à un flux thermique entre deux isothermes entre lesquels s'effectue un transfert thermique de sorte que : où est le flux thermique en watts (W) et est la différence de température en kelvins (K). La résistance thermique s'exprime en kelvins par watt (K/W). La résistance thermique surfacique (en mètres carrés-kelvins par watt, K·m·W-1, est son équivalent rapporté à la densité de flux thermique (en watts par mètre carré, W/m) : Cette dernière est davantage utilisée dans le cas des surfaces planes notamment dans le domaine de la thermique du bâtiment.
