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.
Chrysler BuildingLe Chrysler Building (en français la « tour Chrysler ») est un gratte-ciel de la ville de New York, aux États-Unis. Il se dresse à l’intersection de la Lexington Avenue et de la , dans le quartier de Midtown au sud de l'arrondissement de Manhattan. D'une hauteur de jusqu'à la pointe de sa flèche, il fut la plus haute structure du monde, après la tour Eiffel (), en 1930 et 1931, jusqu'à l'achèvement de l'Empire State Building.
Building designBuilding design refers to the broadly based architectural, engineering and technical applications to the design of buildings. All building projects require the services of a building designer, typically a licensed architect. Smaller, less complicated projects often do not require a licensed professional, and the design of such projects is often undertaken by building designers, draftspersons, interior designers (for interior fit-outs or renovations), or contractors.
Constructionvignette|upright|Les grues sont essentielles pour des travaux importants tels que les gratte-ciel. La construction est le fait d'assembler différents éléments d'un édifice en utilisant des matériaux et des techniques appropriées. Le secteur économique de la construction, appelé « bâtiment et travaux publics » (BTP) dans une partie de l'Europe francophone, regroupe toutes les activités de conception et de construction des bâtiments publics et privés, industriels ou non, et des infrastructures telles que les routes ou les canalisations.
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.
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.
Évaluation formativeLes concepts d’évaluation formative et sommative ont été apportés par Michael Scriven en 1967, dans le contexte de l’évaluation de programmes éducatifs (curriculum evaluation). Pour Scriven, une évaluation formative devait permettre à un établissement scolaire d’estimer la capacité de ses programmes scolaires à atteindre leurs objectifs, de façon à guider les choix de l’école pour les améliorer progressivement, au contraire d’une évaluation sommative qui cherche à poser un jugement final sur les programmes : « marchent-ils » ou pas ? Et en conséquence, faut-il les maintenir, les étendre ou les abandonner ? Benjamin Bloom reprend dans les années suivantes cette distinction pour l’appliquer au processus d’apprentissage, notamment dans son ouvrage Handbook on formative and summative evaluation of student learning.
Évaluation sommativeLes concepts d’évaluation sommative et formative ont été apportés par Michael Scriven en 1967. Selon Scriven, une évaluation formative devait permettre à un établissement scolaire d’estimer la capacité de ses programmes scolaires à atteindre leurs objectifs, de façon à guider les choix de l’école pour les améliorer progressivement, au contraire d’une évaluation sommative qui cherche à poser un jugement final sur les programmes : « marchent-ils » ou pas ? Et en conséquence, faut-il les maintenir, les étendre ou les abandonner ? Pour Scriven, toutes les techniques d’évaluation peuvent être sommatives, mais seules certaines sont formatives.
Impact humain sur l'environnementLa fabrication, l'utilisation et le rejet des objets ont des effets considérables sur l'environnement. Les matériaux utilisés pour les fabriquer peuvent provenir de sources non renouvelables, telles que le pétrole, le gaz naturel ou les métaux rares, ce qui peut entraîner l'épuisement des ressources naturelles. La production d'objets peut également générer des émissions de gaz à effet de serre, contribuant au changement climatique.
Cratère d'impactUn cratère d'impact est une dépression de forme plus ou moins circulaire issue de la collision d'un objet sur un autre de taille suffisamment grande pour qu'il ne soit pas complètement détruit par l'impact. Quand la dépression est beaucoup moins profonde que large, on parle d'un bassin d'impact. L'expression est particulièrement utilisée en astronomie pour désigner la dépression résultant d'un impact cosmique, c'est-à-dire de la collision d'objets célestes (un astéroïde ou une comète) percutant la Terre, la Lune ou tout autre corps solide se mouvant dans l'espace et suffisamment gros pour que la puissance de l'impact ne cause pas sa destruction.
