Synchrotron light sourceA synchrotron light source is a source of electromagnetic radiation (EM) usually produced by a storage ring, for scientific and technical purposes. First observed in synchrotrons, synchrotron light is now produced by storage rings and other specialized particle accelerators, typically accelerating electrons. Once the high-energy electron beam has been generated, it is directed into auxiliary components such as bending magnets and insertion devices (undulators or wigglers) in storage rings and free electron lasers.
SynchrotronUn synchrotron est un instrument électromagnétique de grande taille destiné à l'accélération à haute énergie de particules élémentaires. Le plus grand accélérateur de type synchrotron est le Grand collisionneur de hadrons (LHC) de 27 kilomètres de circonférence, proche de Genève en Suisse, construit en 2008 par l'Organisation européenne pour la recherche nucléaire (CERN). Le principe du synchrotron a été presenté pendant la seconde guerre mondiale, en 1943, par le Oliphant à Birmingham.
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.
Rayonnement synchrotronLe rayonnement synchrotron, ou rayonnement de courbure, est un rayonnement électromagnétique émis par une particule chargée qui se déplace dans un champ magnétique et dont la trajectoire est déviée par ce champ magnétique. Ce rayonnement est émis en particulier par des électrons qui tournent dans un anneau de stockage. Puisque ces particules modifient régulièrement leur course, leur vitesse change régulièrement, elles émettent alors de l'énergie (sous forme de photons) qui correspond à l’accélération subie.
Tube à rayons XLes tubes à rayons X sont des dispositifs permettant de produire des rayons X, en général pour trois types d'applications : radiographie et tomographie (, science des matériaux) ; Cristallographie aux rayons X (diffraction de rayons X, voir aussi l'article Diffractomètre) ; analyse chimique élémentaire par spectrométrie de fluorescence des rayons X. Il existe plusieurs types de tubes. Quel que soit le type de tube, la génération des rayons X se fait selon le même principe.
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.
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.
Radiologie médicalevignette|right|Radiographie montrant une fracture distale de l'avant bras. thumb| Macintyre's X-Ray Film (1896) La radiologie dans le domaine médical, désigne l'ensemble des modalités diagnostiques et thérapeutiques utilisant les rayons X, ou plus généralement utilisant des rayonnements. Mais la radiologie, dans son sens plus commun, désigne la spécialité médicale exercée par un médecin radiologue en France, ou radiologiste au Canada. Un établissement de santé peut donc abriter un service de radiologie.
Binaire XUne binaire X est formée d'une étoile « normale » orbitant autour d'une étoile à neutrons ou d'un trou noir avec une courte période. Le rayonnement X provient de l'énorme quantité d'énergie dégagée par l'accrétion de la matière de l'étoile autour de l'objet compact. Un scénario simplifié de la formation d'une binaire X massive est le suivant (Tauris & van den Heuvel 2003) : deux étoiles massives (> 12 masses solaires) arrivent sur la séquence principale ; une dizaine de millions d'années plus tard environ, la plus massive est passée la première au stade de supergéante rouge et son enveloppe remplit le lobe de Roche, commençant le transfert de masse vers le compagnon.
European Synchrotron Radiation FacilityL'European Synchrotron Radiation Facility, en abrégé ESRF (en français « Installation européenne de rayonnement synchrotron »), société civile de droit français créée le 12 janvier 1989, est un des plus importants synchrotrons actuellement en fonctionnement dans le monde avec l'APS du Laboratoire national d'Argonne aux États-Unis, dans la préfecture de Hyōgo au Japon, et le Grand collisionneur de hadrons (LHC) du CERN proche de Genève.
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.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
É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.
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).
Relativistic beamingRelativistic beaming (also known as Doppler beaming, Doppler boosting, or the headlight effect) is the process by which relativistic effects modify the apparent luminosity of emitting matter that is moving at speeds close to the speed of light. In an astronomical context, relativistic beaming commonly occurs in two oppositely-directed relativistic jets of plasma that originate from a central compact object that is accreting matter.
Mécanique quantique relativisteEn physique théorique, la mécanique quantique relativiste est une théorie qui tente d’unifier les postulats de la mécanique quantique non-relativiste et le principe de relativité restreinte afin de décrire la dynamique quantique d'une particule relativiste, i.e. dont la vitesse classique n'est pas très petite devant la vitesse de la lumière dans le vide. Les équations d'ondes relativistes qui généralisent l'équation de Schrödinger sont : l'équation de Klein-Gordon, qui décrit une particule massive de spin 0 ; l'équation de Dirac, qui décrit une particule massive de spin 1/2.
