Spectroscopie des rayons XLa spectroscopie des rayons X rassemble plusieurs techniques de caractérisation spectroscopique de matériaux par excitation par rayons X. Trois familles de techniques sont le plus souvent utilisées. Selon les phénomènes mis en jeu, on distingue trois classes : L'analyse se fait par l'une des deux méthodes suivantes : analyse dispersive en énergie (Energy-dispersive x-ray analysis (EDXA) en anglais) ; analyse dispersive en longueur d'onde (Wavelength dispersive x-ray analysis (WDXA) en anglais).
Rayon Xvignette|upright|Une des premières radiographies, prise par Wilhelm Röntgen. alt=Rayon X des poumons humains|vignette|189x189px|Rayon X des poumons humains. Les rayons X sont une forme de rayonnement électromagnétique à haute fréquence constitué de photons dont l'énergie varie d'une centaine d'eV (électron-volt), à plusieurs MeV. Ce rayonnement a été découvert en 1895 par le physicien allemand Wilhelm Röntgen, qui a reçu pour cela le premier prix Nobel de physique ; il lui donna le nom habituel de l'inconnue en mathématiques, X.
Spectrométrie de fluorescence des rayons Xthumb|Analyseur portatif (Olympus Delta Professional XRF donnant la quantité de contaminants métalliques ou métalloïdes dans le sol. contaminants préoccupants recherchés sont ici le plomb, le mercure, le cadmium et l'arsenic. La spectrométrie de fluorescence des rayons X (SFX ou FX, ou en anglais XRF pour X-ray fluorescence) est une technique d'analyse chimique utilisant une propriété physique de la matière, la fluorescence de rayons X.
Microscope électronique en transmission à balayagevignette|Exemple de Microscope électronique en transmission à balayage VG501 Un microscope électronique en transmission à balayage (METB ou en anglais STEM pour scanning transmission electron microscope) est un type de microscope électronique dont le principe de fonctionnement allie certains aspects du microscope électronique à balayage et du microscope électronique en transmission. Une source d'électrons focalise un faisceau d'électrons qui traverse l'échantillon.
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).
Générateur de rayons XUn générateur de rayons X est un appareil qui est utilisé pour produire des rayons X. Ces appareils sont utilisés dans les domaines de la radiologie humaine, dentaire et industrielle et possèdent des spécifications très variables en fonction de leur application. Un générateur de rayons X est constitué d'un générateur haute tension (entre et plusieurs MV dans les accélérateurs linéaires) qui alimente un tube à rayons X.
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.
Spectrométrie photoélectronique Xvignette|upright=1.4|Machine XPS avec un analyseur de masse (A), des lentilles électromagnétiques (B), une chambre d'ultra-vide (C), une source de rayon X (D) et une pompe à vide (E) La spectrométrie photoélectronique X, ou spectrométrie de photoélectrons induits par rayons X (en anglais, X-Ray photoelectron spectrometry : XPS) est une méthode de spectrométrie photoélectronique qui implique la mesure des spectres de photoélectrons induits par des photons de rayon X.
Astronomie en rayons Xvignette|redresse=2|Les rayons X couvrent le domaine allant d'environ , auquel l'atmosphère est opaque. L’astronomie en (souvent abrégée en ) est la branche de l'astronomie qui consiste à étudier l'émission des objets célestes en . Puisque le est absorbé par l'atmosphère de la Terre, les instruments doivent être envoyés à haute altitude à l'aide de ballons et désormais de fusées. L' fait donc aujourd'hui partie de la recherche spatiale, les détecteurs étant placés à bord de satellites.
Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
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.
Détecteur de rayons XLes détecteurs de rayons X sont des dispositifs capables de détecter la présence de rayons X. La technologie de détection des rayons X a fortement progressé depuis leur découverte, passant du simple film photographique à des dispositifs électroniques pouvant donner le flux de rayons X et leur énergie. Les rayons X sont des rayonnements ionisants : ils éjectent des électrons de la matière par effet photoélectrique ou effet Compton. C'est ce phénomène qui est utilisé pour la détection.
Unicité (mathématiques)En mathématiques, l'unicité d'un objet satisfaisant certaines propriétés est le fait que tout objet satisfaisant les mêmes propriétés lui est égal. Autrement dit, il ne peut exister deux objets différents satisfaisant ces mêmes propriétés. Cependant, une démonstration de l'unicité ne suffit pas a priori pour en déduire l'existence de l'objet. La conjonction de l'existence et de l'unicité est usuellement notée à l'aide du quantificateur « ∃! ».
Microscopie électronique à balayagethumb|right|Premier microscope électronique à balayage par M von Ardenne thumb|right|Microscope électronique à balayage JEOL JSM-6340F thumb|upright=1.5|Principe de fonctionnement du Microscope Électronique à Balayage La microscopie électronique à balayage (MEB) ou scanning electron microscope (SEM) en anglais est une technique de microscopie électronique capable de produire des images en haute résolution de la surface d’un échantillon en utilisant le principe des interactions électrons-matière.
Rayon X caractéristiqueUn rayons X caractéristique est émis chaque fois qu'un électron placé sur une couche externe d'un atome comblent un vide d'une couche interne. Les rayons X ainsi libérés sont « caractéristiques » de chaque élément. Les rayons X caractéristiques ont été découverts par Charles Glover Barkla en 1909. Il a ensuite remporté le prix Nobel de physique pour sa découverte en 1917. Les rayons X caractéristiques sont produits lorsqu'un élément est bombardé par des particules de haute énergie, qui peuvent être des photons, des électrons ou des ions (par exemple des protons).
Microscope électroniquethumb|Microscope électronique construit par Ernst Ruska en 1933.thumb|Collection de microscopes électroniques anciens (National Museum of Health & Medicine). Un microscope électronique (ME) est un type de microscope qui utilise un faisceau d'électrons pour illuminer un échantillon et en créer une très agrandie. Il est inventé en 1931 par des ingénieurs allemands. Les microscopes électroniques ont un pouvoir de résolution supérieur aux microscopes optiques qui utilisent des rayonnements électromagnétiques visibles.
Microscopie électronique en transmissionvignette|upright=1.5|Principe de fonctionnement du microscope électronique en transmission. vignette|Un microscope électronique en transmission (1976). La microscopie électronique en transmission (MET, ou TEM pour l'anglais transmission electron microscopy) est une technique de microscopie où un faisceau d'électrons est « transmis » à travers un échantillon très mince. Les effets d'interaction entre les électrons et l'échantillon donnent naissance à une image, dont la résolution peut atteindre 0,08 nanomètre (voire ).
Cryomicroscopie électroniquevignette|Un microscope électronique en transmission (2003). La cryomicroscopie électronique (cryo-ME) correspond à une technique particulière de préparation d’échantillons biologiques utilisée en microscopie électronique en transmission. Développée au début des années 1980, cette technique permet de réduire les dommages d’irradiation causés par le faisceau d’électrons. Elle permet également de préserver la morphologie et la structure des échantillons.
Télescope à rayons Xvignette|upright=1.5|Schéma du télescope spatial Chandra. Un télescope à est un télescope conçu pour l'astronomie des . Ces derniers doivent être mis en orbite hors de l'atmosphère terrestre, qui est opaque aux . Ils sont donc montés à bord de fusées-sondes ou des satellites artificiels. Au début des années 2000, les télescopes à peuvent observer avec une certaine précision des rayonnements allant jusqu'à une énergie d'environ 15 keV.
Least-squares spectral analysisLeast-squares spectral analysis (LSSA) is a method of estimating a frequency spectrum based on a least-squares fit of sinusoids to data samples, similar to Fourier analysis. Fourier analysis, the most used spectral method in science, generally boosts long-periodic noise in the long and gapped records; LSSA mitigates such problems. Unlike in Fourier analysis, data need not be equally spaced to use LSSA.