Réacteur nucléaireUn réacteur nucléaire est un ensemble de dispositifs comprenant du combustible nucléaire, qui constitue le « cœur » du réacteur, dans lequel une réaction en chaîne peut être initiée et contrôlée par des agents humains ou par des systèmes automatiques, suivant des protocoles et au moyen de dispositifs propres à la fission nucléaire. La chaleur ainsi produite est ensuite évacuée et éventuellement convertie en énergie électrique.
Réacteur à eau légèreUn réacteur à eau légère (REL) ou light water reactor (LWR) est un réacteur nucléaire qui utilise de l'eau, aussi appelée eau légère, comme fluide caloporteur et modérateur. Cela le distingue du réacteur à eau lourde et du réacteur modéré au graphite. Il s'agit de réacteurs à neutrons thermiques. Les réacteurs à eau légère les plus courants sont les réacteurs à eau pressurisée (REP) et les réacteurs à eau bouillante (REB). D'autres types de réacteurs sont refroidis à l'eau légère, notamment les RBMK russes et des réacteurs militaires de production de plutonium.
Réacteur à eau pressuriséeLe réacteur à eau pressurisée (acronyme REP), également appelé réacteur à eau sous pression ou PWR pour pressurized water reactor en anglais, est la filière de réacteurs nucléaires la plus répandue dans le monde : en , les deux tiers des 444 réacteurs nucléaires de puissance en fonctionnement dans le monde sont de technologie REP, ainsi que les navires et sous-marins nucléaires. Ce réacteur se compose de trois circuits, qui lui permettent d'utiliser l'énergie fournie par la fission des atomes d'uranium contenus dans son « cœur nucléaire ».
Réacteur à eau bouillanteUn réacteur à eau bouillante ou REB (en anglais BWR pour boiling water reactor) est un type de réacteur nucléaire de puissance actuellement utilisé dans certaines centrales nucléaires électrogènes américaines, japonaises, allemandes, suédoises, finlandaises, russes, et suisses notamment. Il s'agit d'un réacteur à neutrons thermiques dans lequel le modérateur est l'eau ordinaire. Dans le jargon de l'industrie nucléaire, on parle de « filière des réacteurs à eau bouillante » pour désigner la chaîne d'activités industrielles liées à l'exploitation de ces réacteurs.
Réacteur nucléaire à eau supercritiquethumb|Schéma d'un réacteur nucléaire à eau supercritique. Le réacteur nucléaire à eau supercritique (RESC) (en anglais, SuperCritical Water Reactor : SCWR) est un concept de réacteur nucléaire avec un caloporteur à base d'eau mais dans un état supercritique. Il est évalué puis retenu dans le cadre du Forum International Génération IV. L'eau permettant le refroidissement du réacteur est dans un état supercritique (à la fois gazeux et liquide), c’est-à-dire à une température supérieure à 374 °C et sous une pression supérieure à 221 bar.
Petit réacteur modulaireUn petit réacteur modulaire (PRM) (en anglais : small modular reactor, abrégé en SMR) est un réacteur nucléaire à fission, de taille et puissance plus faibles que celles des réacteurs conventionnels, fabriqué en usine et transporté sur le site d'implantation pour y être installé. Les réacteurs modulaires permettent de réduire les travaux sur site, d'accroître l'efficacité du confinement et la sûreté des matériaux nucléaires. Les PRM (d'une puissance de ) sont proposés comme une alternative à moindre coût, ou comme complément, aux réacteurs nucléaires conventionnels.
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.
Démantèlement nucléaireLe démantèlement nucléaire, selon l'Agence internationale de l'énergie atomique (AIEA), doit s'appliquer à tout site nucléaire arrivé en fin de vie afin de ne créer aucun risque inacceptable auprès des populations et de l'environnement, et permettre la réutilisation du site pour d'autres usages. L'abandon pur et simple du site après usage n'est pas considéré comme une solution acceptable car il pourrait se dégrader et occasionner un risque pour son environnement.
Propulsion nucléaire navaleLa propulsion nucléaire navale ou propulsion nucléaire maritime est un type de propulsion des sous-marins et navires de surface, équipés d'un ou plusieurs réacteurs nucléaires produisant de la chaleur transformant de l'eau en vapeur pour activer une turbine ou un ensemble électrique. La technologie américaine fut la première à aboutir et fut partagée avec le Royaume-Uni. L'URSS et la France réalisèrent des développements séparés. L'Allemagne de l’Ouest et le Japon développèrent des prototypes uniques de cargo sans lendemain.
Mouvement antinucléairethumb|« Nucléaire ? Non merci ! », Autocollant de 1975 contre l'énergie nucléaire. Le mouvement antinucléaire ou lobby antinucléaire désigne l'ensemble des personnes et organisations (associations, syndicats, partis politiques) qui s'opposent de façon générale (philosophiquement, idéologiquement ou politiquement) à l'utilisation civile ou militaire de l'énergie nucléaire sous quelque forme que ce soit. C'est donc par définition un lobby.
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).
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.
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).
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
