Nuclear reactorA nuclear reactor is a device used to initiate and control a fission nuclear chain reaction or nuclear fusion reactions. Nuclear reactors are used at nuclear power plants for electricity generation and in nuclear marine propulsion. Heat from nuclear fission is passed to a working fluid (water or gas), which in turn runs through steam turbines. These either drive a ship's propellers or turn electrical generators' shafts. Nuclear generated steam in principle can be used for industrial process heat or for district heating.
Light-water reactorThe light-water reactor (LWR) is a type of thermal-neutron reactor that uses normal water, as opposed to heavy water, as both its coolant and neutron moderator; furthermore a solid form of fissile elements is used as fuel. Thermal-neutron reactors are the most common type of nuclear reactor, and light-water reactors are the most common type of thermal-neutron reactor. There are three varieties of light-water reactors: the pressurized water reactor (PWR), the boiling water reactor (BWR), and (most designs of) the supercritical water reactor (SCWR).
Pressurized water reactorA pressurized water reactor (PWR) is a type of light-water nuclear reactor. PWRs constitute the large majority of the world's nuclear power plants (with notable exceptions being the UK, Japan and Canada). In a PWR, the primary coolant (water) is pumped under high pressure to the reactor core where it is heated by the energy released by the fission of atoms. The heated, high pressure water then flows to a steam generator, where it transfers its thermal energy to lower pressure water of a secondary system where steam is generated.
Boiling water reactorA boiling water reactor (BWR) is a type of light water nuclear reactor used for the generation of electrical power. It is the second most common type of electricity-generating nuclear reactor after the pressurized water reactor (PWR), which is also a type of light water nuclear reactor. The main difference between a BWR and PWR is that in a BWR, the reactor core heats water, which turns to steam and then drives a steam turbine. In a PWR, the reactor core heats water, which does not boil.
Supercritical water reactorThe supercritical water reactor (SCWR) is a concept Generation IV reactor, designed as a light water reactor (LWR) that operates at supercritical pressure (i.e. greater than 22.1 MPa). The term critical in this context refers to the critical point of water, and must not be confused with the concept of criticality of the nuclear reactor. The water heated in the reactor core becomes a supercritical fluid above the critical temperature of 374 °C, transitioning from a fluid more resembling liquid water to a fluid more resembling saturated steam (which can be used in a steam turbine), without going through the distinct phase transition of boiling.
Small modular reactorSmall modular reactors (SMRs) are a proposed class of nuclear fission reactors, smaller than conventional nuclear reactors, which can be built in one location (such as a factory), then shipped, commissioned, and operated at a separate site. The term SMR refers to the size, capacity and modular construction only, not to the reactor type and the nuclear process which is applied. Designs range from scaled down versions of existing designs to generation IV designs.
Advanced heavy-water reactorThe advanced heavy-water reactor (AHWR) or AHWR-300 is the latest Indian design for a next-generation nuclear reactor that burns thorium in its fuel core. It is slated to form the third stage in India's three-stage fuel-cycle plan. This phase of the fuel cycle plan was supposed to be built starting with a 300MWe prototype in 2016. KAMINI is the world's first thorium-based experimental reactor. It is cooled and moderated by light water, fueled with uranium-233 metal produced by the thorium fuel cycle harnessed by the neighbouring FBTR reactor and produces 30 KW of thermal energy at full power.
Natural nuclear fission reactorA natural nuclear fission reactor is a uranium deposit where self-sustaining nuclear chain reactions occur. The conditions under which a natural nuclear reactor could exist had been predicted in 1956 by Paul Kuroda. The remnants of an extinct or fossil nuclear fission reactor, where self-sustaining nuclear reactions have occurred in the past, can be verified by analysis of isotope ratios of uranium and of the fission products (and the stable daughter nuclides of those fission products).
Nuclear reactor physicsNuclear reactor physics is the field of physics that studies and deals with the applied study and engineering applications of chain reaction to induce a controlled rate of fission in a nuclear reactor for the production of energy. Most nuclear reactors use a chain reaction to induce a controlled rate of nuclear fission in fissile material, releasing both energy and free neutrons.
Generation IV reactorGeneration IV reactors (Gen IV) are nuclear reactor design technologies that are envisioned as successors of generation III reactors. The Generation IV International Forum (GIF) - an international organization that coordinates the development of generation IV reactors - specifically selected six reactor technologies as candidates for generation IV reactors. The designs target improved safety, sustainability, efficiency, and cost.
Generation III reactorGeneration III reactors, or Gen III reactors, are a class of nuclear reactors designed to succeed Generation II reactors, incorporating evolutionary improvements in design. These include improved fuel technology, higher thermal efficiency, significantly enhanced safety systems (including passive nuclear safety), and standardized designs intended to reduce maintenance and capital costs. They are promoted by the Generation IV International Forum (GIF).
Reactor pressure vesselA reactor pressure vessel (RPV) in a nuclear power plant is the pressure vessel containing the nuclear reactor coolant, core shroud, and the reactor core. Russian Soviet era RBMK reactors have each fuel assembly enclosed in an individual 8 cm diameter pipe rather than having a pressure vessel. Whilst most power reactors do have a pressure vessel, they are generally classified by the type of coolant rather than by the configuration of the vessel used to contain the coolant.
Nuclear decommissioningNuclear decommissioning is the process leading to the irreversible complete or partial closure of a nuclear facility, usually a nuclear reactor, with the ultimate aim at termination of the operating licence. The process usually runs according to a decommissioning plan, including the whole or partial dismantling and decontamination of the facility, ideally resulting in restoration of the environment up to greenfield status. The decommissioning plan is fulfilled when the approved end state of the facility has been reached.
Nuclear marine propulsionNuclear marine propulsion is propulsion of a ship or submarine with heat provided by a nuclear reactor. The power plant heats water to produce steam for a turbine used to turn the ship's propeller through a gearbox or through an electric generator and motor. Nuclear propulsion is used primarily within naval warships such as nuclear submarines and supercarriers. A small number of experimental civil nuclear ships have been built. Compared to oil- or coal-fuelled ships, nuclear propulsion offers the advantage of very long intervals of operation before refueling.
Anti-nuclear movementThe anti-nuclear movement is a social movement that opposes various nuclear technologies. Some direct action groups, environmental movements, and professional organisations have identified themselves with the movement at the local, national, or international level. Major anti-nuclear groups include Campaign for Nuclear Disarmament, Friends of the Earth, Greenpeace, International Physicians for the Prevention of Nuclear War, Peace Action, Seneca Women's Encampment for a Future of Peace and Justice and the Nuclear Information and Resource Service.
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
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.
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.
Algebraic data typeIn computer programming, especially functional programming and type theory, an algebraic data type (ADT) is a kind of composite type, i.e., a type formed by combining other types. Two common classes of algebraic types are product types (i.e., tuples and records) and sum types (i.e., tagged or disjoint unions, coproduct types or variant types). The values of a product type typically contain several values, called fields. All values of that type have the same combination of field types.
Type theoryIn mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general, type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation, a common one is Thierry Coquand's Calculus of Inductive Constructions.
