DamA dam is a barrier that stops or restricts the flow of surface water or underground streams. Reservoirs created by dams not only suppress floods but also provide water for activities such as irrigation, human consumption, industrial use, aquaculture, and navigability. Hydropower is often used in conjunction with dams to generate electricity. A dam can also be used to collect or store water which can be evenly distributed between locations.
ReservoirA reservoir (ˈrɛzərvwɑːr; from French réservoir ʁezɛʁvwaʁ) is an enlarged lake behind a dam. Such a dam may be either artificial, usually built to store fresh water, or it may be a natural formation. Reservoirs can be created in a number of ways, including controlling a watercourse that drains an existing body of water, interrupting a watercourse to form an embayment within it, excavating, or building any number of retaining walls or levees.
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.
Type safetyIn computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors.
Data typeIn computer science and computer programming, a data type (or simply type) is a collection or grouping of data values, usually specified by a set of possible values, a set of allowed operations on these values, and/or a representation of these values as machine types. A data type specification in a program constrains the possible values that an expression, such as a variable or a function call, might take. On literal data, it tells the compiler or interpreter how the programmer intends to use the data.
DesignA design is a concept of either an object, a process, or a system that is specific and, in most cases, detailed. Design refers to something that is or has been intentionally created by a thinking agent, though it is sometimes used to refer to the nature of something. The verb to design expresses the process of developing a design. In some cases, the direct construction of an object without an explicit prior plan may also be considered to be a design (such as in some artwork and craftwork).
Page layoutIn graphic design, page layout is the arrangement of visual elements on a page. It generally involves organizational principles of composition to achieve specific communication objectives. The high-level page layout involves deciding on the overall arrangement of text and images, and possibly on the size or shape of the medium. It requires intelligence, sentience, and creativity, and is informed by culture, psychology, and what the document authors and editors wish to communicate and emphasize.
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)".
Embankment damAn embankment dam is a large artificial dam. It is typically created by the placement and compaction of a complex semi-plastic mound of various compositions of soil or rock. It has a semi-pervious waterproof natural covering for its surface and a dense, impervious core. This makes the dam impervious to surface or seepage erosion. Such a dam is composed of fragmented independent material particles. The friction and interaction of particles binds the particles together into a stable mass rather than by the use of a cementing substance.
Dependent typeIn computer science and logic, a dependent type is a type whose definition depends on a value. It is an overlapping feature of type theory and type systems. In intuitionistic type theory, dependent types are used to encode logic's quantifiers like "for all" and "there exists". In functional programming languages like Agda, ATS, Coq, F*, Epigram, and Idris, dependent types help reduce bugs by enabling the programmer to assign types that further restrain the set of possible implementations.
Type conversionIn computer science, type conversion, type casting, type coercion, and type juggling are different ways of changing an expression from one data type to another. An example would be the conversion of an integer value into a floating point value or its textual representation as a string, and vice versa. Type conversions can take advantage of certain features of type hierarchies or data representations.
Web designWeb design encompasses many different skills and disciplines in the production and maintenance of websites. The different areas of web design include web graphic design; user interface design (UI design); authoring, including standardised code and proprietary software; user experience design (UX design); and search engine optimization. Often many individuals will work in teams covering different aspects of the design process, although some designers will cover them all.
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.
Hydraulic machineryHydraulic machines use liquid fluid power to perform work. Heavy construction vehicles are a common example. In this type of machine, hydraulic fluid is pumped to various hydraulic motors and hydraulic cylinders throughout the machine and becomes pressurized according to the resistance present. The fluid is controlled directly or automatically by control valves and distributed through hoses, tubes, or pipes.
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.
Dam failureA dam failure or dam burst is a catastrophic type of structural failure characterized by the sudden, rapid, and uncontrolled release of impounded water or the likelihood of such an uncontrolled release. Between the years 2000 and 2009 more than 200 notable dam failures happened worldwide. A dam is a barrier across flowing water that obstructs, that directs or slows down the flow, often creating a reservoir, lake or impoundments.
Non-linear editingNon-linear editing is a form of offline editing for audio, video, and . In offline editing, the original content is not modified in the course of editing. In non-linear editing, edits are specified and modified by specialized software. A pointer-based playlist, effectively an edit decision list (EDL), for video and audio, or a directed acyclic graph for still images, is used to keep track of edits. Each time the edited audio, video, or image is rendered, played back, or accessed, it is reconstructed from the original source and the specified editing steps.
Flood controlFlood control (or flood mitigation or flood protection or flood alleviation) methods are used to reduce or prevent the detrimental effects of flood waters. Flood relief methods are used to reduce the effects of flood waters or high water levels. Flooding can be caused by a mix of both natural processes, such as extreme weather upstream, and human changes to waterbodies and runoff. A distinction is made between structural and non-structural flood control measures.
