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.
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 ).
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.
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.
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).
Diffractionthumb|Phénomène d'interférences dû à la diffraction d'une onde à travers deux ouvertures. La diffraction est le comportement des ondes lorsqu'elles rencontrent un obstacle ou une ouverture ; le phénomène peut être interprété par la diffusion d’une onde par les points de l'objet. La diffraction se manifeste par des phénomènes d'interférence. La diffraction s’observe avec la lumière, mais de manière générale avec toutes les ondes : le son, les vagues, les ondes radio, Elle permet de mettre en évidence le caractère ondulatoire d'un phénomène et même de corps matériels tels que des électrons, neutrons, atomes froids.
Superconducting magnetA superconducting magnet is an electromagnet made from coils of superconducting wire. They must be cooled to cryogenic temperatures during operation. In its superconducting state the wire has no electrical resistance and therefore can conduct much larger electric currents than ordinary wire, creating intense magnetic fields. Superconducting magnets can produce stronger magnetic fields than all but the strongest non-superconducting electromagnets, and large superconducting magnets can be cheaper to operate because no energy is dissipated as heat in the windings.
Superconducting wireSuperconducting wires are electrical wires made of superconductive material. When cooled below their transition temperatures, they have zero electrical resistance. Most commonly, conventional superconductors such as niobium–titanium are used, but high-temperature superconductors such as YBCO are entering the market. Superconducting wire's advantages over copper or aluminum include higher maximum current densities and zero power dissipation.
Diffraction de FraunhoferEn optique et électromagnétisme, la 'diffraction de Fraunhofer, encore nommée diffraction en champ lointain' ou approximation de Fraunhofer, est l'observation en champ lointain de la figure de diffraction par un objet diffractant. Cette observation peut aussi se faire dans le plan focal image d'une lentille convergente. Elle s'oppose à la diffraction de Fresnel qui décrit le même phénomène de diffraction mais en champ proche.
Diffraction de FresnelEn optique et électromagnétisme, la diffraction de Fresnel, encore nommée diffraction en champ proche ou approximation de Fresnel, est une description en champ proche du phénomène physique de diffraction qui apparaît lorsqu'une onde diffracte à travers une ouverture ou autour d'un objet. Elle s'oppose à la diffraction de Fraunhofer qui décrit le même phénomène de diffraction mais en champ lointain.
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.
Spectroscopie de perte d'énergie des électronsLa spectroscopie de perte d’énergie des électrons (electron energy loss spectroscopy, EELS) est une technique d'analyse dans laquelle le matériau à analyser est exposé à un faisceau d'électrons dont l'énergie cinétique est située dans une plage relativement étroite. Certains de ces électrons seront soumis à des interactions inélastiques avec l'échantillon, ce qui signifie qu'ils perdront de l'énergie et que leurs trajectoires subiront une déflexion faible et aléatoire.
Joint de grainsUn joint de grains est l'interface entre deux cristaux de même structure cristalline et de même composition, mais d’orientation différente. vignette|Microstructure de VT22 () après trempe. L'échelle est en micromètres. vignette|Schéma d'un joint de grain, dont les atomes communs à deux cristaux (orange et bleu) sont représentés en vert. Les joints de grains peuvent se former dans deux cas de figure : lors de la solidification du matériau et par recristallisation, durant certains traitements thermomécaniques.
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.
Lithographie à faisceau d'électronsL'utilisation d'un faisceau d'électrons pour tracer des motifs sur une surface est connue sous le nom de lithographie par faisceau d'électrons. On parle également de lithographie électronique. Par rapport à la photolithographie, l'avantage de cette technique est qu'elle permet de repousser les limites de la diffraction de la lumière et de dessiner des motifs avec une résolution pouvant aller jusqu'au nanomètre. Cette forme de lithographie a trouvé diverses formes d'application dans la recherche et l'industrie des semi-conducteurs et dans ce qu'il est convenu d'appeler les nanotechnologies.
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 « ∃! ».
SupraconductivitéLa supraconductivité, ou supraconduction, est un phénomène physique caractérisé par l'absence de résistance électrique et l'expulsion du champ magnétique — l'effet Meissner — à l'intérieur de certains matériaux dits supraconducteurs. La supraconductivité découverte historiquement en premier, et que l'on nomme communément supraconductivité conventionnelle, se manifeste à des températures très basses, proches du zéro absolu (). La supraconductivité permet notamment de transporter de l'électricité sans perte d'énergie.
Diffraction des électronsLa diffraction des électrons est une technique utilisée pour l'étude de la matière qui consiste à bombarder d'électrons un échantillon et à observer la figure de diffraction résultante. Ce phénomène se produit en raison de la dualité onde-particule, qui fait qu'une particule matérielle (dans le cas de l'électron incident) peut être décrite comme une onde. Ainsi, un électron peut être considéré comme une onde, comme pour le son ou les vagues à la surface de l'eau. Cette technique est similaire à la diffraction X et à la diffraction de neutrons.
MicroscopieLa microscopie est un ensemble de techniques d' des objets de petites dimensions. Quelle que soit la technique employée, l'appareil utilisé pour rendre possible cette observation est appelé un . Des mots grecs anciens mikros et skopein signifiant respectivement « petit » et « examiner », la microscopie désigne étymologiquement l'observation d'objets invisibles à l'œil nu. On distingue principalement trois types de microscopies : la microscopie optique, la microscopie électronique et la microscopie à sonde locale.
