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).
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Modèle de l'électron libreEn physique du solide, le modèle de l'électron libre est un modèle qui sert à étudier le comportement des électrons de valence dans la structure cristalline d'un solide métallique. Ce modèle, principalement développé par Arnold Sommerfeld, associe le modèle de Drude aux statistiques de Fermi-Dirac (mécanique quantique). Électron Particule dans réseau à une dimension 2.4 Modèle de sommerfeld ou de l'électron libre dans un puits de potentiel, sur le site garmanage.com Catégorie:Physique du solide Catégorie:É
Gaz de FermiUn gaz de Fermi idéal est un état de la matière constitué d'un ensemble de nombreux fermions sans interaction. Les fermions sont des particules ayant un spin demi-entier (1/2, 3/2), comme les électrons, les protons et les neutrons ; la propriété essentielle des fermions est de ne pas pouvoir occuper en même temps le même état quantique, en raison du principe d'exclusion de Pauli.
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.
Quasi-particuleLes quasi-particules, ou quasiparticules, sont des entités conçues comme des particules et facilitant la description des systèmes de particules, particulièrement en physique de la matière condensée. Parmi les plus connues, on distingue les trous d'électrons qui peuvent être vus comme un "manque d'électron", et les phonons, qui décrivent des "paquets de vibration". Les solides sont formés de trois types de particules : les électrons, les protons et les neutrons.
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.
Densité d'états électroniquesEn physique du solide et physique de la matière condensée, la densité d'états électroniques, en anglais Density of States ou DOS, quantifie le nombre d'états électroniques susceptibles d’être occupés, et possédant une énergie donnée dans le matériau considéré. Elle est généralement notée par l'une des lettres g, ρ, D, n ou N. Plus précisément, on définit la densité d'états par le fait que est le nombre d'états électroniques disponibles, avec une énergie comprise entre et , par unité de volume du solide ou par maille élémentaire du cristal étudié.
ResonatorA resonator is a device or system that exhibits resonance or resonant behavior. That is, it naturally oscillates with greater amplitude at some frequencies, called resonant frequencies, than at other frequencies. The oscillations in a resonator can be either electromagnetic or mechanical (including acoustic). Resonators are used to either generate waves of specific frequencies or to select specific frequencies from a signal. Musical instruments use acoustic resonators that produce sound waves of specific tones.
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 ).
