Pebble-bed reactorThe pebble-bed reactor (PBR) is a design for a graphite-moderated, gas-cooled nuclear reactor. It is a type of very-high-temperature reactor (VHTR), one of the six classes of nuclear reactors in the Generation IV initiative. The basic design of pebble-bed reactors features spherical fuel elements called pebbles. These tennis ball-sized pebbles (approx. in diameter) are made of pyrolytic graphite (which acts as the moderator), and they contain thousands of micro-fuel particles called tristructural-isotropic (TRISO) particles.
Windows shellThe Windows shell is the graphical user interface for the Microsoft Windows operating system. Its readily identifiable elements consist of the desktop, the taskbar, the Start menu, the task switcher and the AutoPlay feature. On some versions of Windows, it also includes Flip 3D and the charms. In Windows 10, the Windows Shell Experience Host interface drives visuals like the Start Menu, Action Center, Taskbar, and Task View/Timeline.
Research reactorResearch reactors are nuclear fission-based nuclear reactors that serve primarily as a neutron source. They are also called non-power reactors, in contrast to power reactors that are used for electricity production, heat generation, or maritime propulsion. The neutrons produced by a research reactor are used for neutron scattering, non-destructive testing, analysis and testing of materials, production of radioisotopes, research and public outreach and education.
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.
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).
Systems engineeringSystems engineering is an interdisciplinary field of engineering and engineering management that focuses on how to design, integrate, and manage complex systems over their life cycles. At its core, systems engineering utilizes systems thinking principles to organize this body of knowledge. The individual outcome of such efforts, an engineered system, can be defined as a combination of components that work in synergy to collectively perform a useful function.
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.
Reaction mechanismIn chemistry, a reaction mechanism is the step by step sequence of elementary reactions by which overall chemical reaction occurs. A chemical mechanism is a theoretical conjecture that tries to describe in detail what takes place at each stage of an overall chemical reaction. The detailed steps of a reaction are not observable in most cases. The conjectured mechanism is chosen because it is thermodynamically feasible and has experimental support in isolated intermediates (see next section) or other quantitative and qualitative characteristics of the reaction.
Molar concentrationMolar concentration (also called molarity, amount concentration or substance concentration) is a measure of the concentration of a chemical species, in particular of a solute in a solution, in terms of amount of substance per unit volume of solution. In chemistry, the most commonly used unit for molarity is the number of moles per liter, having the unit symbol mol/L or mol/dm3 in SI unit. A solution with a concentration of 1 mol/L is said to be 1 molar, commonly designated as 1 M.
Fast-neutron reactorA fast-neutron reactor (FNR) or fast-spectrum reactor or simply a fast reactor is a category of nuclear reactor in which the fission chain reaction is sustained by fast neutrons (carrying energies above 1 MeV or greater, on average), as opposed to slow thermal neutrons used in thermal-neutron reactors. Such a fast reactor needs no neutron moderator, but requires fuel that is relatively rich in fissile material when compared to that required for a thermal-neutron reactor.
Type constructorIn the area of mathematical logic and computer science known as type theory, a type constructor is a feature of a typed formal language that builds new types from old ones. Basic types are considered to be built using nullary type constructors. Some type constructors take another type as an argument, e.g., the constructors for product types, function types, power types and list types. New types can be defined by recursively composing type constructors.
Window managerA window manager is system software that controls the placement and appearance of windows within a windowing system in a graphical user interface. Most window managers are designed to help provide a desktop environment. They work in conjunction with the underlying graphical system that provides required functionality—support for graphics hardware, pointing devices, and a keyboard—and are often written and created using a widget toolkit. Few window managers are designed with a clear distinction between the windowing system and the window manager.
