BarrageUn barrage est un ouvrage d'art hydraulique construit en travers d'un cours d'eau et destiné à en réguler le débit et/ou à stocker de l'eau, notamment pour le contrôle des crues, l'irrigation, l'industrie, l'hydroélectricité, la pisciculture et la retenue d'eau potable. vignette|Barrage Hoover, États-Unis. vignette|Barrage de Limmern (canton de Glaris, Suisse). vignette|Évacuateur de crues du barrage de Matsumoto (préfecture de Nagano, Japon). vignette|L'écologie des berges des plans d'eau artificiels peut être perturbée par des variations brutales de niveau.
Lac de barragevignette|Lac de barrage de la Plate-Taille en Belgique avec sa tour d'observation. Un lac de barrage, lac de retenue ou réservoir est un plan d'eau dont le niveau est contrôlé par un ou plusieurs ouvrages d'art et qui est utilisé à des fins utilitaires. Un lac de barrage est alimenté par le ruissellement des eaux et la confluence de cours d'eau situés en amont.
Hydraulic engineeringHydraulic engineering as a sub-discipline of civil engineering is concerned with the flow and conveyance of fluids, principally water and sewage. One feature of these systems is the extensive use of gravity as the motive force to cause the movement of the fluids. This area of civil engineering is intimately related to the design of bridges, dams, channels, canals, and levees, and to both sanitary and environmental engineering.
Petroleum reservoirA petroleum reservoir or oil and gas reservoir is a subsurface accumulation of hydrocarbons contained in porous or fractured rock formations. Such reservoirs form when kerogen (ancient plant matter) is created in surrounding rock by the presence of high heat and pressure in the Earth's crust. Petroleum reservoirs are broadly classified as conventional and unconventional reservoirs.
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.
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.
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.
Designvignette|Chaise de Charles Rennie Mackintosh, 1897. Le design, le stylisme ou la stylique est une activité de création souvent à vocation industrielle ou commerciale, pouvant s’orienter vers les milieux sociaux, politiques, scientifiques et environnementaux. Le but premier du design est d’inventer, d’améliorer ou de faciliter l’usage ou le processus d’un élément ayant à interagir avec un produit ou un service matériel ou virtuel.
Mise en pagevignette|400px|Exemple de mise en page : titres en gras, texte justifié sur trois colonnes, vignettes alignées à droite avec habillage (aperçu de la mise en page des articles et illustrations dans le Nouveau Dictionnaire Larousse de 1899). La mise en page, ou mise en pages, est l'opération de disposition graphique d'un contenu informationnel dans un espace donné (feuille de papier, planche de bande dessinée, pages web, etc.).
Copy editingCopy editing (also known as copyediting and manuscript editing) is the process of revising written material (copy) to improve readability and fitness, as well as ensuring that a text is free of grammatical and factual errors. The Chicago Manual of Style states that manuscript editing encompasses "simple mechanical corrections (mechanical editing) through sentence-level interventions (line, or stylistic, editing) to substantial remedial work on literary style and clarity, disorganized passages, baggy prose, muddled tables and figures, and the like (substantive editing)".
Barrage en remblaivignette|Long de , le barrage KA-5 est un ouvrage en enrochement de de hauteur qui ferme le bras Ouest de la rivière Caniapiscau, dans le nord du Québec. Le barrage est formé d'un noyau de moraine, de plusieurs filtres en pierre tamisée, le tout étant recouvert d'une couche de blocs d'un mètre. Son volume est . Un barrage en remblai est un barrage constitué d'un matériau meuble, qu'il soit très fin ou très grossier (enrochements). Cette famille regroupe plusieurs catégories, très différentes.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Conception de site webLa création et la conception de site web ou web design est la conception de l'interface web : l’architecture interactionnelle, l’organisation des pages, l’arborescence et la navigation dans un site web. La conception d'un design web tient compte des contraintes spécifiques du support Internet, notamment en matière d’ergonomie, d’utilisabilité et d’accessibilité. Le web design réclame donc des compétences en programmation, en ergonomie et en interactivité, ainsi qu'une bonne connaissance des contraintes techniques liées à ce domaine.
Environment AgencyThe Environment Agency (EA) is a non-departmental public body, established in 1996 and sponsored by the United Kingdom government's Department for Environment, Food and Rural Affairs, with responsibilities relating to the protection and enhancement of the environment in England (and until 2013 also Wales). Based in Bristol, the Environment Agency is responsible for flood management, regulating land and water pollution, and conservation.
Machine hydrauliquevignette|Des vérins hydrauliques sont visibles sur cette excavatrice. Les machines hydrauliques sont des machines et outils utilisant l'énergie hydraulique pour effectuer un travail. Les engins de chantier en sont un exemple courant. Dans ce type de machine, le fluide hydraulique est pompé et transmis à divers organes mécaniques comme des vérins ou des moteurs. Le fluide véhiculé par la pompe est contrôlé par l'opérateur, grâce à des distributeurs qui distribuent le fluide par des tiroirs disposés à l'intérieur, servant à diriger le fluide hydraulique dans des canalisations.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Rupture de barragevignette|Le réservoir du barrage Teton se déversant lors de sa rupture en 1976 aux États-Unis. Une rupture de barrage se produit lorsque la structure cède du fait d'événements naturels (séisme, mouvement de terrain, crue, etc.) ou de défaillances humaines (mauvaise conception, négligence, sabotage, etc). Cette rupture a pour conséquence le déversement non contrôlé de l'eau ou de la boue contenues par le barrage. Ce type de catastrophe reste peu fréquent mais chaque occurrence engendre de graves conséquences humaines, environnementales et techniques.
Montage non linéairevignette|Capture d'écran du logiciel de montage non linéaire Pitivi En vidéo et en audio, un système de montage non linéaire permet un accès direct (dit parfois aléatoire) sur les images ou les sons sources captés. C'est un montage non destructif. Le montage non linéaire pour les films et la postproduction vidéo permet d'accéder directement, grâce à un ordinateur, à toute image d'une séquence vidéo ou tout passage d'une piste numérique sans va-et-vient à travers des passages intermédiaires.
Gestion des inondationsvignette|Exemple de gestion des inondations : La conservation de zones d'expansion des crues suffisantes réduit considérablement les dommages érosifs causés par les inondations. La gestion des inondations désigne l'ensemble des méthodes utilisées pour contrôler la submersion temporaire naturelle ou artificielle d'un espace par de l’eau liquide. Ces méthodes sont principalement utilisées pour réduire ou prévenir les effets néfastes des eaux de crue et protéger les espaces naturels ou urbains de ces effets.
