Edge-localized modeAn edge-localized mode (ELM) is a plasma instability occurring in the edge region of a tokamak plasma due to periodic relaxations of the edge transport barrier in high-confinement mode. Each ELM burst is associated with expulsion of particles and energy from the confined plasma into the scrape-off layer. This phenomenon was first observed in the ASDEX tokamak in 1981. Diamagnetic effects in the model equations expand the size of the parameter space in which solutions of repeated sawteeth can be recovered compared to a resistive MHD model.
Plasma stabilityThe stability of a plasma is an important consideration in the study of plasma physics. When a system containing a plasma is at equilibrium, it is possible for certain parts of the plasma to be disturbed by small perturbative forces acting on it. The stability of the system determines if the perturbations will grow, oscillate, or be damped out. In many cases, a plasma can be treated as a fluid and its stability analyzed with magnetohydrodynamics (MHD).
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.
Phénomène de transfertUn phénomène de transfert (ou phénomène de transport) est un phénomène irréversible durant lequel une grandeur physique est transportée par le biais de molécules. C'est un phénomène transversal présent dans tous les domaines de la science et en ingénierie. Tous les phénomènes de transport ont pour origine l'inhomogénéité d'une grandeur intensive. C'est la tendance spontanée des systèmes physiques et chimiques à rendre uniformes ces grandeurs qui provoquent le transport.
ConvectionLa convection est l'ensemble des mouvements internes (verticaux ou horizontaux) qui animent un fluide et qui impliquent alors le transport des propriétés des particules de ce fluide au cours de son déplacement. Elle peut être due à des différences de température, une agitation mécanique, un pompage etc. Ce transfert implique l'échange de chaleur entre une surface et un fluide mobile à son contact, ou le déplacement de chaleur au sein d'un fluide par le mouvement d'ensemble de ses molécules d'un point à un autre.
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.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Transfert thermiquevignette|alt=Autour d'un feu, des mains reçoivent sa chaleur par rayonnement (sur le côté), par convection (au-dessus de ses flammes) et par conduction (à travers un ustensile en métal).|Les modes de transfert thermique ( en anglais pour « rayonnement »). Un transfert thermique, appelé plus communément chaleur, est l'un des modes d'échange d'énergie interne entre deux systèmes, l'autre étant le travail : c'est un transfert d'énergie thermique qui s'effectue hors de l'équilibre thermodynamique.
Reconnexion magnétiquedroite|vignette|380px|Reconnexion magnétique: Ce schéma est une coupe à travers quatre domaines magnétiques séparés par une interface propice à un phénomène de reconnexion. Deux séparatrices (voir texte) divisent l'espace en quatre domaines magnétiques avec un point critique (de stagnation) au centre de la figure. Les larges flèches jaunes indiquent le mouvement général du plasma. Les lignes magnétiques et le plasma qui les porte s'écoulent vers le centre à partir du haut (lignes rouges) et du bas (lignes bleues) de l'image, reconnectent au niveau de la zone critique, puis s'évacuent vers l'extérieur à gauche et à droite.
Éjection de masse coronale350px|vignette|droite|Éjection de masse coronale produite le 31 août 2012. Une éjection de masse coronale (en abrégé EMC ; en anglais coronal mass ejection, CME) est une bulle de plasma produite dans la couronne d'une étoile (par exemple la couronne solaire). Elle est souvent liée à une éruption solaire ou à l'apparition d'une protubérance solaire, mais ce n'est pas systématique. Les EMC sont des phénomènes à grande échelle : leur taille peut atteindre plusieurs dizaines de rayons solaires.
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.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
Fusion par confinement magnétiqueLa fusion par confinement magnétique (FCM) est une méthode de confinement utilisée pour porter une quantité de combustible aux conditions de température et de pression désirées pour la fusion nucléaire. De puissants champs électromagnétiques sont employés pour atteindre ces conditions. Le combustible doit au préalable être converti en plasma, celui-ci se laisse ensuite influencer par les champs magnétiques. Il s'agit de la méthode utilisée dans les tokamaks toriques et sphériques, les stellarators et les machines à piège à miroirs magnétiques.
Plasma-facing materialIn nuclear fusion power research, the plasma-facing material (or materials) (PFM) is any material used to construct the plasma-facing components (PFC), those components exposed to the plasma within which nuclear fusion occurs, and particularly the material used for the lining the first wall or divertor region of the reactor vessel. Plasma-facing materials for fusion reactor designs must support the overall steps for energy generation, these include: Generating heat through fusion, Capturing heat in the first wall, Transferring heat at a faster rate than capturing heat.
Material derivativeIn continuum mechanics, the material derivative describes the time rate of change of some physical quantity (like heat or momentum) of a material element that is subjected to a space-and-time-dependent macroscopic velocity field. The material derivative can serve as a link between Eulerian and Lagrangian descriptions of continuum deformation. For example, in fluid dynamics, the velocity field is the flow velocity, and the quantity of interest might be the temperature of the fluid.
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).
Neutral-beam injectionNeutral-beam injection (NBI) is one method used to heat plasma inside a fusion device consisting in a beam of high-energy neutral particles that can enter the magnetic confinement field. When these neutral particles are ionized by collision with the plasma particles, they are kept in the plasma by the confining magnetic field and can transfer most of their energy by further collisions with the plasma. By tangential injection in the torus, neutral beams also provide momentum to the plasma and current drive, one essential feature for long pulses of burning plasmas.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Tokamakthumb|Vue intérieure du tore du Tokamak à configuration variable (TCV), dont les parois sont recouvertes de tuiles de graphite. Un tokamak est un dispositif de confinement magnétique expérimental explorant la physique des plasmas et les possibilités de produire de l'énergie par fusion nucléaire. Il existe deux types de tokamaks aux caractéristiques sensiblement différentes, les tokamaks traditionnels toriques (objet de cet article) et les tokamaks sphériques.
OrmeLes ormes sont des arbres du genre Ulmus, famille des Ulmaceae ou Ulmacées atteignant une trentaine de mètres (et rarement ). L'orme est un arbre de haute futaie, et fournit un excellent bois d'œuvre, pratiquement comparable au bois de chêne. Il a pratiquement disparu d'Europe de l'Ouest en raison de sa graphiose. Le développement de cultivars résistants fait l'objet de recherches intenses depuis les années 1960. Le mot Orme présente une altération au de l'ancien français olme, lui-même issu d’ulmus, nom latin de la plante.
