Electron ionizationElectron ionization (EI, formerly known as electron impact ionization and electron bombardment ionization) is an ionization method in which energetic electrons interact with solid or gas phase atoms or molecules to produce ions. EI was one of the first ionization techniques developed for mass spectrometry. However, this method is still a popular ionization technique. This technique is considered a hard (high fragmentation) ionization method, since it uses highly energetic electrons to produce ions.
IonisationL'ionisation est l'action qui consiste à ajouter ou enlever des charges à un atome ou une molécule électriquement neutre, qui devient ainsi un ion (chargé positivement ou négativement). Elle peut être due à : des causes physiques telles qu'un niveau élevé du potentiel électrique, la présence de radiations ou une température élevée ; des causes chimiques telles qu'une dissolution dans un solvant polaire ; la structure même de la matière, dans les sels fondus, les liquides ioniques et les cristaux ioniques.
ÉlectrodeUne électrode est un conducteur électronique, ou ionique ( verre) captant ou libérant des électrons. Les électrodes interviennent dans les systèmes générateurs de courant (comme les piles ou les accumulateurs électriques) et dans les électrolyses, dont le système est récepteur de courant. On parle aussi d'électrodes pour désigner des composants de certains appareils électriques comme les lampes radio, tube à rayons X, diodes à semi-conducteur. C'est également le cas dans le soudage à l'arc électrique.
Ionisation par électronébuliseurthumb|Électronébuliseur L'ionisation par électronébuliseur ou ESI (de l'anglais en) est la dispersion d’un liquide sous forme de gouttelettes chargées électriquement. L'ionisation par électronébuliseur combine deux processus : formation des gouttelettes chargement des gouttelettes. La nébulisation des solutions par ESI est obtenue par une méthode électrostatique, i.e. en appliquant une différence de potentiel élevée (entre ±3 et ±5 kV) entre l’extrémité de l’émetteur (tube capillaire en acier inoxydable, jonction liquide) et un orifice situé à proximité.
Chemical ionizationChemical ionization (CI) is a soft ionization technique used in mass spectrometry. This was first introduced by Burnaby Munson and Frank H. Field in 1966. This technique is a branch of gaseous ion-molecule chemistry. Reagent gas molecules (often methane or ammonia) are ionized by electron ionization to form reagent ions, which subsequently react with analyte molecules in the gas phase to create analyte ions for analysis by mass spectrometry.
Électrode de référenceUne électrode de référence est une électrode qui maintient un potentiel pratiquement invariant dans les conditions prévalant dans une mesure électrochimique. Elle permet l'observation, la mesure ou le contrôle du potentiel de l'indicateur (ou de l'essai) ou de l'électrode de travail.On l'utilise en électrochimie pour étudier les propriétés d'oxydoréduction et en chimie analytique pour mesurer les concentrations d'espèces dissoutes dans une solution. Le potentiel de l'électrode de référence ne doit en aucun cas varier pendant la mesure.
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).
Ion sourceAn ion source is a device that creates atomic and molecular ions. Ion sources are used to form ions for mass spectrometers, optical emission spectrometers, particle accelerators, ion implanters and ion engines. Electron ionization Electron ionization is widely used in mass spectrometry, particularly for organic molecules. The gas phase reaction producing electron ionization is M{} + e^- -> M^{+\bullet}{} + 2e^- where M is the atom or molecule being ionized, e^- is the electron, and M^{+\bullet} is the resulting ion.
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.
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.
Électrode standard à hydrogènevignette|Construction d'une électrode à hydrogène standard : 1. Électrodes en platine avec revêtement en poudre de platine, 2. Alimentation en hydrogène, 3. Solution acide (H = ), 4. Piège à eau pour empêcher l'accès à l'oxygène dans l'air, 5. Connexion à la deuxième électrode de l'élément galvanique à former, dont le potentiel est mesuré. L'électrode standard à hydrogène (ESH) est l'électrode de référence absolue. Elle ne peut être réalisée en pratique. La réalisation pratique de l'ESH est l'électrode normale à hydrogène ou ENH.
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.
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 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).
Standard electrode potentialIn electrochemistry, standard electrode potential , or , is a measure of the reducing power of any element or compound. The IUPAC "Gold Book" defines it as: "the value of the standard emf (electromotive force) of a cell in which molecular hydrogen under standard pressure is oxidized to solvated protons at the left-hand electrode". The basis for an electrochemical cell, such as the galvanic cell, is always a redox reaction which can be broken down into two half-reactions: oxidation at anode (loss of electron) and reduction at cathode (gain of electron).
Méthode des éléments finisEn analyse numérique, la méthode des éléments finis (MEF, ou FEM pour finite element method en anglais) est utilisée pour résoudre numériquement des équations aux dérivées partielles. Celles-ci peuvent par exemple représenter analytiquement le comportement dynamique de certains systèmes physiques (mécaniques, thermodynamiques, acoustiques).
Magnitude absolueEn astronomie, la magnitude absolue indique la luminosité intrinsèque d'un objet céleste, au contraire de la magnitude apparente qui dépend de la distance à l'astre et de l'extinction dans la ligne de visée. Pour un objet situé à l'extérieur du Système solaire, elle est définie par la magnitude apparente qu'aurait cet astre s'il était placé à une distance de référence fixée à 10 parsecs (environ 32,6 années-lumière) en l'absence d'extinction interstellaire.
Magnitude apparentevignette|Image de la nébuleuse de la Tarentule prise par le télescope VISTA de l'ESO. La nébuleuse a une magnitude apparente de 8 et est entourée d'objets célestes aux magnitudes diverses. La magnitude apparente est une mesure de l'irradiance d'un objet céleste observé depuis la Terre. Utilisée quasi exclusivement en astronomie, la magnitude correspondait historiquement à un classement des étoiles, les plus brillantes étant de « première magnitude », les deuxièmes et troisièmes magnitudes étant plus faibles, jusqu'à la sixième magnitude, étoiles à peine visibles à l'œil nu.
BéhaviorismeLe béhaviorisme ou comportementalisme est un paradigme de la psychologie scientifique selon lequel le comportement observable est essentiellement conditionné soit par les mécanismes de réponse réflexe à un stimulus donné, soit par l'histoire des interactions de l'individu avec son environnement, notamment les punitions et renforcements par le passé. L'approche béhavioriste vise à mettre au jour des relations statistiquement significatives entre les variables de l'environnement et les mesures du comportement étudié sans faire appel au psychisme comme mécanisme explicatif.
Microsystème électromécaniquevignette|Un accéléromètre MEMS. vignette|Un capteur de pression MEMS (sur une pièce qui donne l'échelle). Un microsystème électromécanique est un microsystème fabriqué à partir de matériaux semi-conducteurs. Il comprend un ou plusieurs éléments mécaniques et utilise l’électricité comme source d’énergie, en vue de réaliser une fonction de capteur ou d’actionneur, avec au moins une structure présentant des dimensions micrométriques ; la fonction du système étant en partie assurée par la forme de cette structure.
