DéchetUn déchet est un objet en fin de vie ou une substance ayant subi une altération physique ou chimique, qui ne présente alors plus d'utilité ou est destiné à l'élimination. Le mot vient de l'ancien français déchiet ou déchié, soit « la quantité perdue dans l'usage d'un produit », ce qui en reste après son utilisation. Le déchet est de plus en plus considéré, au début du , comme un héritage problématique de la révolution industrielle et de l'urbanisation.
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.
Waste hierarchyWaste hierarchy is a tool used in the evaluation of processes that protect the environment alongside resource and energy consumption from most favourable to least favourable actions. The hierarchy establishes preferred program priorities based on sustainability. To be sustainable, waste management cannot be solved only with technical end-of-pipe solutions and an integrated approach is necessary. The waste management hierarchy indicates an order of preference for action to reduce and manage waste, and is usually presented diagrammatically in the form of a pyramid.
Prévention des déchetsLa prévention des déchets est l'ensemble des mesures et des actions prises en amont (notamment au niveau de la conception, de la production, de la distribution et de la consommation d'un bien) visant à réduire l'ensemble des impacts environnementaux et à faciliter la gestion ultérieure des déchets. Elle implique notamment la réduction des déchets produits, la réduction de leur dangerosité ou toxicité et l'amélioration de leur caractère réutilisable ou valorisable.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
Déchets d'équipements électriques et électroniquesLes déchets d'équipements électriques et électroniques (DEEE, D3E) ou PEEFV sont une catégorie de déchets constituée des équipements en fin de vie, fonctionnant à l'électricité ou via des champs électromagnétiques, ainsi que les équipements de production, de transfert et de mesure de ces courants et champs (ce sont surtout des ordinateurs, imprimantes, téléphones portables, appareils photos numériques, réfrigérateurs, jeux électroniques, télévisions).
Interface utilisateurL’interface utilisateur est un dispositif matériel ou logiciel qui permet à un usager d'interagir avec un produit informatique. C'est une interface informatique qui coordonne les interactions homme-machine, en permettant à l'usager humain de contrôler le produit et d'échanger des informations avec le produit. Parmi les exemples d’interface utilisateur figurent les aspects interactifs des systèmes d’exploitation informatiques, des logiciels informatiques, des smartphones et, dans le domaine du design industriel, les commandes des opérateurs de machines lourdes et les commandes de processus.
Vérification formelleIn the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
Interface graphiquethumb|Quelques widgets typiques. En informatique, une interface graphique (en anglais GUI pour graphical user interface) ou un environnement graphique est un dispositif de dialogue homme-machine, dans lequel les objets à manipuler sont dessinés sous forme de pictogrammes à l'écran, de sorte que l'usager peut les utiliser en imitant la manipulation physique de ces objets avec un dispositif de pointage, le plus souvent une souris. Ce type d'interface a été créé en 1973 sur le Xerox Alto par les ingénieurs du Xerox PARC pour remplacer les interfaces en ligne de commande.
Déchet toxiqueUn déchet toxique est un type de déchet qui peut s'avérer nuisible à la santé des êtres vivants, par exemple en pouvant causer la mort, des blessures, des cancers ou d'autres maladies, ou des malformations congénitales aux êtres vivants, et qui peut contaminer l'eau (nappes, cours d'eau, lacs, zones humides), les sédiments, les sols ou l'atmosphère.
