Auger electron spectroscopyAuger electron spectroscopy (AES; pronounced oʒe in French) is a common analytical technique used specifically in the study of surfaces and, more generally, in the area of materials science. It is a form of electron spectroscopy that relies on the Auger effect, based on the analysis of energetic electrons emitted from an excited atom after a series of internal relaxation events. The Auger effect was discovered independently by both Lise Meitner and Pierre Auger in the 1920s.
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.
ÉlectronL'électron, un des composants de l'atome avec les neutrons et les protons, est une particule élémentaire qui possède une charge élémentaire de signe négatif. Il est fondamental en chimie, car il participe à presque tous les types de réactions chimiques et constitue un élément primordial des liaisons présentes dans les molécules. En physique, l'électron intervient dans une multitude de rayonnements et d'effets.
Spectroscopie photoélectroniqueLa spectroscopie photoélectronique (photoelectron spectroscopy, PES) ou spectroscopie de photoémission (photoemission spectroscopy) est un ensemble de méthodes spectroscopiques basées sur la détection d'électrons émis par des molécules après le bombardement de celle-ci par une onde électromagnétique monochromatique. Cette spectroscopie fait partie des méthodes de spectroscopie électronique. Elle est utilisée pour mesurer l'énergie de liaison des électrons dans la matière, c'est-à-dire à sonder les états occupés.
Effet Augerthumb|280px|Deux vues de l'effet Auger : (a) illustre séquentiellement les étapes impliquées dans la désexcitation Auger. Un électron incident (ou un photon) crée un trou de cœur dans le niveau 1s. Un électron du niveau 2s remplit le trou 1s et l'énergie de transition est transmise à un électron 2p qui est émis. Le niveau atomique final a ainsi deux trous, un sur l'orbitale 2s et un autre sur l'orbitale 2p. (b) illustre le même processus en utilisant la notation spectroscopique KL1L2,3.
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.
SpectroscopieLa spectroscopie, ou spectrométrie, est l'étude expérimentale du spectre d'un phénomène physique, c'est-à-dire de sa décomposition sur une échelle d'énergie, ou toute autre grandeur se ramenant à une énergie (fréquence, longueur d'onde). Historiquement, ce terme s'appliquait à la décomposition, par exemple par un prisme, de la lumière visible émise (spectrométrie d'émission) ou absorbée (spectrométrie d'absorption) par l'objet à étudier.
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).
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 ).
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.
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.
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.
Science des surfacesLa science des surfaces est une section de la science des matériaux consacrée à l'étude des phénomènes physiques et chimiques qui se produisent à l' entre deux phases ou entre une phase et le vide. Les propriétés de la matière en surface sont en effet distinctes de celles du cœur des matériaux (bulk). Par exemple, la coordinence des atomes en surface est inférieure à celle des atomes du reste du matériau ce qui induit une réactivité particulière de ces derniers.
Spectroscopie atomiqueLa spectroscopie atomique est une méthode de spectroscopie dont le but est d'analyser quantitativement ou qualitativement environ 70 éléments (métaux, métalloïdes et non-métaux). Il existe plusieurs grandes familles de spectroscopie atomique : la spectroscopie de masse atomique, la spectroscopie optique atomique et la spectroscopie des rayons X. L'atomisation est la dissociation d’une espèce chimique en atomes libres. La spectroscopie de masse atomique et la spectroscopie optique atomique ont besoin d’une étape d’atomisation de l’échantillon pour permettre son analyse.
Fonte (métallurgie)thumb|Lampe à gaz en fonte à Vienne. La fonte, en métallurgie, est un alliage de fer et de carbone dont la teneur en carbone est supérieure à 2 %. Le carbone, qui est en sursaturation dans les fontes, peut précipiter sous forme de graphite ou de cémentite Fe3C. Les fontes se distinguent des autres alliages de fer par leur excellente coulabilité. Plusieurs classifications des fontes existent, mais la plus utilisée, basée sur le faciès de rupture d'un témoin, définit deux catégories : les fontes blanches, à cassure blanche, constituées de fer et de cémentite et les fontes grises, à cassure grise, constituées de fer et de graphite.
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.
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 « ∃! ».
FerLe fer est l'élément chimique de numéro atomique 26, de symbole Fe. Le corps simple est le métal et le matériau ferromagnétique le plus courant dans la vie quotidienne, le plus souvent sous forme d'alliages divers. Le fer pur est un métal de transition ductile, mais l'adjonction de très faibles quantités d'éléments additionnels modifie considérablement ses propriétés mécaniques. Allié au carbone et avec d'autres éléments d'addition il forme les aciers, dont la sensibilité aux traitements thermomécaniques permet de diversifier encore plus les propriétés du matériau.
Alliagethumb|Du bronze liquide versé dans des moules. En métallurgie, un alliage est un mélange de plusieurs éléments chimiques, dont le principal constituant est un métal, et dont les caractéristiques sont celles d'un matériau métallique . Les caractéristiques mécaniques des métaux purs sont la plupart du temps relativement faibles. Le fait d'ajouter d'autres éléments permet de « durcir » le métal en augmentant ses caractéristiques mécaniques.
Spectrométrie d'absorption atomiquethumb|un spectromètre d'absorption atomique. En chimie analytique, la spectrométrie d'absorption atomique (Atomic absorption spectroscopy en anglais ou SAA) est une technique de spectroscopie atomique servant à déterminer la concentration des éléments métalliques (métaux alcalins, alcalino-terreux, métaux de transition) ainsi que les métalloïdes dans un échantillon. Ceux-ci sont atomisés à l'aide d'une flamme alimentée d'un mélange de gaz ou d'un four électromagnétique.
