Construction durableLécoconstruction ou construction durable est la création, la restauration, la rénovation ou la réhabilitation d'un bâtiment en lui permettant de respecter au mieux l'écologie à chaque étape de la construction, et plus tard, de son utilisation (chauffage, consommation d'énergie, rejet des divers flux : eau, déchets). Cette notion, apparue à la fin des années 1940 cherche aussi à intégrer le plus respectueusement possible le bâti dans le milieu naturel en utilisant au mieux des ressources peu transformées, locales, saines, et dans le milieu urbain, de travail ou rural en favorisant les liens sociaux.
Étude d'impactUne étude d'impact est une étude technique qui vise à apprécier les conséquences de toutes natures, notamment environnementales, d'un projet d'aménagement pour tenter d'en limiter, atténuer ou compenser les effets négatifs. La prise de conscience, dans les années 1970, de la nécessité de limiter les dommages à la nature s’est concrétisée par des lois obligeant à réduire les nuisances et pollutions, et à atténuer les impacts des grands projets (ou de projets dépassant un certain coût).
Bâtiment (construction)Un bâtiment au sens commun est une construction immobilière, réalisée par intervention humaine, destinée d'une part à servir d'abri, c'est-à-dire à protéger des intempéries des personnes, des biens et des activités, d'autre part à manifester leur permanence comme fonction sociale, politique ou culturelle. Un bâtiment est un ouvrage d'un seul tenant composé de corps de bâtiments couvrant des espaces habitables lorsqu'il est d'une taille importante.
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...
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.
Impact cosmiquevignette|Représentation d'artiste d'un astéroïde tombant sur la Terre. Un impact cosmique est la collision entre deux ou plusieurs objets célestes provoquant des effets notables. Dans la majorité des cas un petit corps du système solaire, astéroïde ou comète, entre en collision avec une planète, telle que la Terre. La fréquence des impacts cosmiques dans le système solaire a varié en fonction de l'époque : très fréquents durant la formation du système solaire il y a 4,6 milliards d'années, ils se sont progressivement raréfiés au fur et à mesure que le nombre de corps célestes en circulation diminuait.
Environmental issuesEnvironmental issues are disruptions in the usual function of ecosystems. Further, these issues can be caused by humans (human impact on the environment) or they can be natural. These issues are considered serious when the ecosystem cannot recover in the present situation, and catastrophic if the ecosystem is projected to certainly collapse. Environmental protection is the practice of protecting the natural environment on the individual, organizational or governmental levels, for the benefit of both the environment and humans.
Impact écologique de la pêcheL'impact écologique de la pêche est l'ensemble des effets de la pêche sur la faune et sur les sites d'exploitation des ressources, impliquant notamment la surpêche, la dynamique et gestion des pêcheries, ou encore les prises accessoires. Au cours du , la pêche a pris beaucoup d'ampleur, la demande mondiale en poissons et crustacés se faisant de plus en plus forte. Cela a mené à une surexploitation de certaines espèces, qui continue encore de nos jours, faute de solution idéale.
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.
Building information modelingvignette|redresse=0.6|BIM : Building Information Modeling. BIM est le sigle anglais de Building Information Modeling, de Building Information Model, ou encore de Building Information Management, et le rétroacronyme de bâti immobilier modélisé. Il désigne les outils de modélisation des informations de la construction implémentés par des applications qui permettent la modélisation des données du bâtiment, d'une structure, d'un édifice ou d'un ouvrage.
