Sustainable designEnvironmentally sustainable design (also called environmentally conscious design, eco-design, etc.) is the philosophy of designing physical objects, the built environment, and services to comply with the principles of ecological sustainability and also aimed at improving the health and comfort of occupants in a building. Sustainable design seeks to reduce negative impacts on the environment, the health and well-being of building occupants, thereby improving building performance.
Développement durablevignette|Diagramme de Venn du développement durable, à l'intersection de trois préoccupations, dites « les trois piliers du développement durable ».Les descriptions des intersections partielles peuvent varier. Le développement durable (, parfois traduit par développement soutenable) est une conception du développement qui s'inscrit dans une perspective de long terme et en intégrant les contraintes environnementales et sociales à l'économie.
Sustainable livingSustainable living describes a lifestyle that attempts to reduce the use of Earth's natural resources by an individual or society. Its practitioners often attempt to reduce their ecological footprint (including their carbon footprint) by altering their home designs and methods of transportation, energy consumption and diet. Its proponents aim to conduct their lives in ways that are consistent with sustainability, naturally balanced, and respectful of humanity's symbiotic relationship with the Earth's natural ecology.
Sustainable productsSustainable products are those products that provide environmental, social and economic benefits while protecting public health and environment over their whole life cycle, from the extraction of raw materials until the final disposal. According to Belz, Frank-Martin., the definition of sustainable product has six characteristics: Customer satisfaction: any products or services that do not meet customer needs will not survive in the market in a long term.
ÉcoconceptionL’écoconception est un terme désignant la volonté de concevoir des produits respectant les principes du développement durable et de l'environnement, en recourant , dans un contexte qui évoluerait alors vers une économie circulaire. La définition officielle qui fait foi pour l'ADEME est la suivante : À partir de celle-ci, on peut en effet décliner d'autres formulations ou déclinaisons.
Analyse du cycle de vieL'analyse du cycle de vie (ACV) est une méthode d'évaluation normalisée (ISO 14040 et 14044) permettant de réaliser un bilan environnemental multicritère et multi-étape d'un système (produit, service, entreprise ou procédé) sur l'ensemble de son cycle de vie. Son but est de connaître et pouvoir comparer les impacts environnementaux d'un système tout au long de son cycle de vie, de l'extraction des matières premières nécessaires à sa fabrication à son traitement en fin de vie (mise en décharge, recyclage...
Gestion différenciéethumb|300px|right|Une simple fauche annuelle et tardive au bord du chemin, et bisannuelle aux abords de l'ourlet conserve un aspect naturel aux chemins. Un brossage mécanique des bordures peut remplacer l'usage de désherbants (Parc urbain de Gdansk, Pologne) thumb|right|300px|L' U.S.
Regenerative designRegenerative design is an approach to designing systems or solutions that aims to work with or mimic natural ecosystem processes for returning energy from less usable to more usable forms. Regenerative design uses whole systems thinking to create resilient and equitable systems that integrate the needs of society with the integrity of nature. Regenerative design is an active topic of discussion in engineering, landscape design, food systems, and community development.
Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
Ingénierie des systèmesL'ingénierie des systèmes ou ingénierie système est une approche scientifique interdisciplinaire, dont le but est de formaliser et d'appréhender la conception et la validation de systèmes complexes. L'ingénierie des systèmes a pour objectif de maîtriser et de contrôler la conception de systèmes dont la complexité ne permet pas le pilotage simple. Par système, on entend un ensemble d'éléments humains ou matériels en interdépendance les uns les autres et qui inter-opèrent à l'intérieur de frontières ouvertes ou non sur l'environnement.
Réseau électrique intelligentUn réseau électrique intelligent, ou smart grid en anglais, est un réseau de distribution d'électricité qui favorise la circulation d’information entre les fournisseurs et les consommateurs afin d’ajuster le flux d’électricité en temps réel et d'en permettre une gestion plus efficace. Ce type de réseaux intelligents utilise des techniques informatiques pour optimiser la production, la distribution, la consommation et éventuellement le stockage de l'énergie afin de mieux coordonner l'ensemble des mailles du réseau électrique, du producteur au consommateur final.
Génie industrielSelon l'American Institute of Industrial Engineers, « Le génie industriel englobe la conception, l'amélioration et l'installation de systèmes intégrés. Il utilise les connaissances provenant des sciences mathématiques, physiques et sociales, ainsi que les principes et méthodes propres au “génie” ou, à l'art de l'ingénieur, dans le but de spécifier, prédire et évaluer les résultats découlant de ces systèmes. » On peut résumer tous les domaines qui touchent au génie industriel par la phrase : « Optimisation des performances globales de l'entreprise.
Renewable energy commercializationRenewable energy commercialization involves the deployment of three generations of renewable energy technologies dating back more than 100 years. First-generation technologies, which are already mature and economically competitive, include biomass, hydroelectricity, geothermal power and heat. Second-generation technologies are market-ready and are being deployed at the present time; they include solar heating, photovoltaics, wind power, solar thermal power stations, and modern forms of bioenergy.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
InnovationLinnovation est la recherche constante d'améliorations de l'existant, par contraste avec linvention, qui vise à créer du nouveau. Dans le domaine économique, l'innovation se traduit par la conception d'un nouveau produit, service, processus de fabrication ou d'organisation pouvant être directement mis en œuvre dans l'appareil productif et répondant aux besoins du consommateur. Elle se distingue ainsi de l'invention ou de la découverte par le fait qu'elle peut être immédiatement mise en œuvre par les entreprises, dans le but d'obtenir un avantage compétitif.
Interactions homme-machinethumb|Personne plongée dans la réalité virtuelle grâce à un visiocasque et un gant électronique. thumb|L'interface homme-machine d'un des ordinateurs de bord des missions Apollo. L'interaction Homme-machine (ou interaction humain-machine), appelée IHM, s’intéresse à la conception et au développement de systèmes interactifs en prenant en compte ses impacts sociétaux et éthiques. Les humains interagissent avec les ordinateurs qui les entourent et cette interaction nécessite des interfaces qui facilitent la communication entre l'humain et la machine.
Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
Sustainable urbanismSustainable urbanism is both the study of cities and the practices to build them (urbanism), that focuses on promoting their long term viability by reducing consumption, waste and harmful impacts on people and place while enhancing the overall well-being of both people and place. Well-being includes the physical, ecological, economic, social, health and equity factors, among others, that comprise cities and their populations.
Économie circulaireL'économie circulaire est un nouveau modèle économique à vision systémique. Les notions d'économie verte, d’économie de l'usage ou de l'économie de la fonctionnalité, de l'économie de la performance et de l'écologie industrielle font partie de l'économie circulaire. Une telle économie fonctionne en boucle, abolissant ainsi la notion de « déchet ». Son objectif est de produire des biens et services tout en limitant fortement la consommation et le gaspillage des matières premières, et des sources d'énergies non renouvelables.
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
