Réacteur à lit de bouletsUn réacteur (modulaire) à lit de boulets (de l'anglais pebble bed (modular) reactor abrégé PBR ou PBMR) est une technologie de réacteur nucléaire à très haute température. Elle comprend aussi les réacteurs nucléaires haute température, avec par exemple le thorium high-temperature nuclear reactor (THTR-300) construit en 1983 à Hamm-Uentrop (Allemagne) et définitivement arrêté en 1989. Pour modérer la réaction en chaîne, il utilise du graphite pyrolitique à la place de l'eau.
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.
Réacteur nucléaire de rechercheUn réacteur nucléaire de recherche sert principalement de source de neutrons pour la recherche et développement de la filière électronucléaire par l'étude du comportement des matériaux et des combustibles nucléaires face à des sollicitations neutroniques, thermohydrauliques ou chimiques représentatives du fonctionnement en vraie grandeur d'un réacteur industriel. Un réacteur de recherche peut servir aussi à la formation des personnels de l'industrie électronucléaire, à la médecine nucléaire pour la production de radioisotopes médicaux, ou à l'industrie nucléaire militaire.
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).
Ingénierie des systèmesL'ingénierie des systèmes ou ingénierie système est une approche scientifique interdisciplinaire, dont le but est de formaliser et d'appréhender la conception et la validation de systèmes complexes. L'ingénierie des systèmes a pour objectif de maîtriser et de contrôler la conception de systèmes dont la complexité ne permet pas le pilotage simple. Par système, on entend un ensemble d'éléments humains ou matériels en interdépendance les uns les autres et qui inter-opèrent à l'intérieur de frontières ouvertes ou non sur l'environnement.
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.
Mécanisme réactionnelEn chimie, un mécanisme réactionnel est l'enchainement d'étapes, de réactions élémentaires, par lequel un changement chimique a lieu. Bien que, pour la plupart des réactions, seul le bilan global (transformation des réactifs en produits) soit observable directement, des expériences permettent de déterminer la séquence possible des étapes du mécanisme réactionnel associé. Un mécanisme réactionnel décrit en détail ce qui se passe à chaque étape d'une transformation chimique.
Concentration molaireLa concentration molaire ou molarité, ou parfois taux molaire, d'une espèce chimique est sa quantité rapportée au volume total du mélange qui contient cette espèce. Elle est exprimée en moles par unité de volume. Cette notion est essentiellement utilisée pour des espèces en solution. La concentration molaire d'un soluté est notée ou .
Réacteur à neutrons rapidesUn réacteur à neutrons rapides (RNR, en anglais ) est un réacteur nucléaire qui utilise des neutrons rapides, par opposition aux neutrons thermiques. Sous la forme de réacteurs électrogènes basés sur la production de vapeur, le caloporteur utilisé est le sodium liquide, permettant aux neutrons de garder une énergie importante. Depuis 2001, la recherche sur les réacteurs à neutrons rapides est coordonnée dans le cadre du Forum international Génération IV.
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.
Gestionnaire de fenêtresUn système de fenêtrage ou « gestionnaire de fenêtres » (« window manager » en anglais) est un logiciel chargé de l'affichage et du placement des fenêtres d'applications. Les plus connus sont ceux utilisés par le système de fenêtrage X (sur les systèmes Unix, Linux et BSD). Il en existe aussi sous Windows (comme LiteStep) et sous OS/2 (le Presentation Manager pouvant être remplacé), mais ces cas sont beaucoup moins répandus du fait, entre autres, de la gratuité de X et de ses spécifications ouvertes.
