Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
Conversion d'électricité en gazLa conversion d'électricité en gaz (, P2G ou PtG) est un procédé de transformation de l’énergie électrique en énergie chimique. La principale application de ce procédé est la valorisation de l'électricité excédentaire (quand la production dépasse la demande ou les capacités de flexibilité du système électrique) sous une forme stockable à moyen et long terme. La conversion repose sur l'électrolyse d'eau par de l'électricité pour produire du dihydrogène, ou sur la réaction de méthanation pour produire du méthane (parfois dit Hithane) via la réaction de Sabatier avec le dioxyde de carbone.
Tokamakthumb|Vue intérieure du tore du Tokamak à configuration variable (TCV), dont les parois sont recouvertes de tuiles de graphite. Un tokamak est un dispositif de confinement magnétique expérimental explorant la physique des plasmas et les possibilités de produire de l'énergie par fusion nucléaire. Il existe deux types de tokamaks aux caractéristiques sensiblement différentes, les tokamaks traditionnels toriques (objet de cet article) et les tokamaks sphériques.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Level of measurementLevel of measurement or scale of measure is a classification that describes the nature of information within the values assigned to variables. Psychologist Stanley Smith Stevens developed the best-known classification with four levels, or scales, of measurement: nominal, ordinal, interval, and ratio. This framework of distinguishing levels of measurement originated in psychology and has since had a complex history, being adopted and extended in some disciplines and by some scholars, and criticized or rejected by others.
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
Générateur de neutronsvignette|Un physicien nucléaire de l'INL se prépare à réaliser une expérience à l'aide d'un générateur de neutrons. Un générateur de neutrons est une machine source de neutrons, permettant de produire un faisceau de neutrons monoénergétiques. Il se distingue des sources isotopiques de neutrons par sa capacité à produire des neutrons « à la demande » dans diverses configurations : faisceaux pulsés, énergies différentes Les générateurs de neutrons sont principalement utilisés comme amorces dans les armes nucléaires et servent également à analyser la matière par les différents rayonnements induits par les neutrons lorsqu'ils rencontrent des atomes (prospection minière, détection d'explosifs.
HydrogèneLhydrogène est l'élément chimique de numéro atomique 1, de symbole H. L'hydrogène présent sur Terre est presque entièrement constitué de l'isotope H (ou protium, comportant un proton et zéro neutron) et d'environ 0,01 % de deutérium H (un proton, un neutron). Ces deux isotopes de l'hydrogène sont stables. Un troisième isotope, le tritium H (un proton, deux neutrons), instable, est produit dans les réactions de fission nucléaire (réacteurs nucléaires ou bombes).
Réponse impulsionnellevignette|300px|right|Réponses impulsionnelles d'un système audio simple (de haut en bas) : impulsion originale à l'entrée, réponse après amplification des hautes fréquences et réponse après amplification des basses fréquences. En traitement du signal, la réponse impulsionnelle d'un processus est le signal de sortie qui est obtenu lorsque l'entrée reçoit une impulsion, c'est-à-dire une variation soudaine et brève du signal.
État plasmathumb|upright|Le soleil est une boule de plasma. thumb|Lampe à plasma.|168x168px thumb|upright|Les flammes de haute température sont des plasmas. L'état plasma est un état de la matière, tout comme l'état solide, l'état liquide ou l'état gazeux, bien qu'il n'y ait pas de transition brusque pour passer d'un de ces états au plasma ou réciproquement. Il est visible sur Terre, à l'état naturel, le plus souvent à des températures élevées favorables aux ionisations, signifiant l’arrachement d'électrons aux atomes.
