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.
Déchet médicalLes déchets médicaux représentent les déchets issus des activités de soin prodiguées dans différentes structures médicalisées, notamment dans les structures hospitalières. Comme les déchets vétérinaires qui leur sont parfois assimilés, pour des raisons de biosécurité et de d'hygiène et de santé publique, le suivi de leur production, transport, gestion et élimination nécessite des précautions écologiques et sanitaires actuelles. Ils sont soumis à des réglementations spécifiques.
Turbine à vapeurvignette|Le rotor d'une turbine à vapeur moderne utilisée dans une centrale électrique. Une turbine à vapeur est une machine qui extrait l'énergie thermique de la vapeur sous pression et l'utilise pour produire un travail mécanique de rotation de l'arbre de sortie. La version moderne fut inventée par Sir Charles Parsons en 1884. Parce que la turbine génère un mouvement de rotation, elle est particulièrement bien adaptée pour entraîner un générateur électrique ;– environ 90 % de la production d'électricité aux États-Unis (1996) était faite en utilisant des turbines à vapeur.
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).
Waste-to-energyWaste-to-energy (WtE) or energy-from-waste (EfW) is the process of generating energy in the form of electricity and/or heat from the primary treatment of waste, or the processing of waste into a fuel source. WtE is a form of energy recovery. Most WtE processes generate electricity and/or heat directly through combustion, or produce a combustible fuel commodity, such as methane, methanol, ethanol or synthetic fuels. The first incinerator or "Destructor" was built in Nottingham, UK, in 1874 by Manlove, Alliott & Co.
Cycle thermodynamiqueUn cycle thermodynamique est une suite de transformations successives qui part d'un système thermodynamique dans un état donné, le transforme et le ramène finalement à son état initial, de manière à pouvoir recommencer le cycle. Au cours du cycle, le système voit sa température, sa pression ou d'autres paramètres d'état varier, tandis qu'il échange du travail et réalise un transfert thermique avec l'extérieur. Il existe de nombreux cycles thermodynamiques, dont voici quelques-uns.
Ground source heat pumpA ground source heat pump (also geothermal heat pump) is a heating/cooling system for buildings that uses a type of heat pump to transfer heat to or from the ground, taking advantage of the relative constancy of temperatures of the earth through the seasons. Ground source heat pumps (GSHPs) – or geothermal heat pumps (GHP) as they are commonly termed in North America – are among the most energy-efficient technologies for providing HVAC and water heating, using far less energy than can be achieved by burning a fuel in a boiler/furnace or by use of resistive electric heaters.
Déchet d'activités économiquesLes déchets d'activités économiques (DAE), anciennement appelés déchets industriels, sont des déchets produits par les activités économiques (industrie, secteur manufacturier, bâtiment et travaux publics (BTP), secteur tertiaire, agriculture, etc.). Dans le cadre de la responsabilité élargie du producteur, le producteur est responsable de la gestion de ses déchets jusqu'à leur élimination ou leur valorisation finale. En France, le code de l'environnement définit les déchets d'activités économiques comme étant .
Marché de l'électricitéL'expression « marché de l'électricité » désigne, de façon générale, les différentes formes d'organisation du secteur de la production et de la commercialisation de l'électricité apparus, principalement dans les années 1990, dans la plupart des pays industrialisés, dans le cadre des processus de déréglementation. De ses débuts (fin du ) à la fin du , le secteur électrique s'est organisé en monopoles territoriaux verticalement intégrés, de la production à la distribution de détail : en un point donné du territoire un client ne pouvait avoir qu'un seul fournisseur d'électricité.
Steam wagonA steam wagon (or steam lorry, steam waggon or steamtruck) is a steam-powered truck for carrying freight. It was the earliest form of lorry (truck) and came in two basic forms: overtype and undertype, the distinction being the position of the engine relative to the boiler. Manufacturers tended to concentrate on one form or the other. Steam wagons were a widespread form of powered road traction for commercial haulage in the early part of the twentieth century, although they were a largely British phenomenon, with few manufacturers outside Great Britain.
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.
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.
