Breeder reactorA breeder reactor is a nuclear reactor that generates more fissile material than it consumes. These reactors can be fuelled with more commonly available isotopes of uranium and thorium, such as uranium-238 or thorium-232, as opposed to the rare uranium-235 which is used in conventional reactors. These materials are called fertile materials since they can be bred into fuel by these breeder reactors. Breeder reactors achieve this because their neutron economy is high enough to create more fissile fuel than they use.
CANDU reactorThe CANDU (Canada Deuterium Uranium) is a Canadian pressurized heavy-water reactor design used to generate electric power. The acronym refers to its deuterium oxide (heavy water) moderator and its use of (originally, natural) uranium fuel. CANDU reactors were first developed in the late 1950s and 1960s by a partnership between Atomic Energy of Canada Limited (AECL), the Hydro-Electric Power Commission of Ontario, Canadian General Electric, and other companies.
Molten salt reactorA molten salt reactor (MSR) is a class of nuclear fission reactor in which the primary nuclear reactor coolant and/or the fuel is a mixture of molten salt with a fissionable material. Two research MSRs operated in the United States in the mid-20th century. The 1950s Aircraft Reactor Experiment (ARE) was primarily motivated by the technology's compact size, while the 1960s Molten-Salt Reactor Experiment (MSRE) aimed to demonstrate a nuclear power plant using a thorium fuel cycle in a breeder reactor.
Rate-determining stepIn chemical kinetics, the overall rate of a reaction is often approximately determined by the slowest step, known as the rate-determining step (RDS or RD-step or r/d step) or rate-limiting step. For a given reaction mechanism, the prediction of the corresponding rate equation (for comparison with the experimental rate law) is often simplified by using this approximation of the rate-determining step. In principle, the time evolution of the reactant and product concentrations can be determined from the set of simultaneous rate equations for the individual steps of the mechanism, one for each step.
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).
Enzyme kineticsEnzyme kinetics is the study of the rates of enzyme-catalysed chemical reactions. In enzyme kinetics, the reaction rate is measured and the effects of varying the conditions of the reaction are investigated. Studying an enzyme's kinetics in this way can reveal the catalytic mechanism of this enzyme, its role in metabolism, how its activity is controlled, and how a drug or a modifier (inhibitor or activator) might affect the rate. An enzyme (E) is typically a protein molecule that promotes a reaction of another molecule, its substrate (S).
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.
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.
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.
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.
TaskbarThe Taskbar is a graphical user interface element that has been part of Microsoft Windows since Windows 95, displaying and facilitating switching between running programs. The Taskbar and the associated Start Menu were created and named in 1993 by Daniel Oran, a program manager at Microsoft who had previously collaborated on Great ape language research with the behavioral psychologist B.F. Skinner at Harvard. The Taskbar is an exemplar of a category of always-visible graphical user interface elements that provide access to fundamental operating system functions and information.
Chemical reactorA chemical reactor is an enclosed volume in which a chemical reaction takes place. In chemical engineering, it is generally understood to be a process vessel used to carry out a chemical reaction, which is one of the classic unit operations in chemical process analysis. The design of a chemical reactor deals with multiple aspects of chemical engineering. Chemical engineers design reactors to maximize net present value for the given reaction.
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.
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.
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.
B ReactorThe B Reactor at the Hanford Site, near Richland, Washington, was the first large-scale nuclear reactor ever built. The project was a key part of the Manhattan Project, the United States nuclear weapons development program during World War II. Its purpose was to convert natural (not isotopically enriched) uranium metal into plutonium-239 by neutron activation, as plutonium is simpler to chemically separate from spent fuel assemblies, for use in nuclear weapons, than it is to isotopically enrich uranium into weapon-grade material.
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.
Integral fast reactorThe integral fast reactor (IFR, originally advanced liquid-metal reactor) is a design for a nuclear reactor using fast neutrons and no neutron moderator (a "fast" reactor). IFR would breed more fuel and is distinguished by a nuclear fuel cycle that uses reprocessing via electrorefining at the reactor site. The U.S. Department of Energy began designing an IFR in 1984 and built a prototype, the Experimental Breeder Reactor II. On April 3, 1986, two tests demonstrated the safety of the IFR concept.
Continuous stirred-tank reactorThe continuous stirred-tank reactor (CSTR), also known as vat- or backmix reactor, mixed flow reactor (MFR), or a continuous-flow stirred-tank reactor (CFSTR), is a common model for a chemical reactor in chemical engineering and environmental engineering. A CSTR often refers to a model used to estimate the key unit operation variables when using a continuous agitated-tank reactor to reach a specified output. The mathematical model works for all fluids: liquids, gases, and slurries.
