ScintillateurUn scintillateur est un matériau qui émet de la lumière à la suite de l'absorption d'un rayonnement ionisant (photon ou particule chargée). Il existe deux grandes familles de scintillateurs : les scintillateurs organiques : (anthracène, naphtalène, stilbène et terphényle) que l'on retrouve sous forme de monocristaux ou en solution liquide, les scintillateurs inorganiques utilisés sous forme de monocristaux (iodure de sodium, germanate de bismuth), ou bien sous forme de poudres incorporées à un substrat.
Détecteur à scintillationUn détecteur à scintillation, également appelé compteur à scintillation ou plus souvent scintillateur, est un instrument composé d'un matériau qui émet de la lumière à la suite d'un dépôt d'énergie par interaction avec un rayonnement. Il existe deux grandes familles de scintillateurs : les scintillateurs organiques (à base de composés benzéniques : anthracène, naphtalène, stilbène, terphényle, etc.) que l'on retrouve sous forme de plastiques ou en solution liquide, et les scintillateurs inorganiques qui sont utilisés en monocristaux ou en poudre (principalement des halogénures alcalins).
Liquid scintillation countingLiquid scintillation counting is the measurement of radioactive activity of a sample material which uses the technique of mixing the active material with a liquid scintillator (e.g. zinc sulfide), and counting the resultant photon emissions. The purpose is to allow more efficient counting due to the intimate contact of the activity with the scintillator. It is generally used for alpha particle or beta particle detection.
Détection de neutronsvignette|Structure des quarks neutroniques (forme annulaire) La détection de neutrons est la détection effective de neutrons entrant dans un détecteur. Il existe deux aspects de la détection effective de neutrons : l'aspect matériel (hardware) et l'aspect logiciel (software). Le matériel de détection désigne le genre de détecteur utilisé (le plus souvent, un détecteur à scintillation) et l'électronique qui y est liée. D'autre part, le montage du matériel définit aussi les paramètres expérimentaux, tels que la distance entre source et détecteur ou l'angle solide du détecteur.
Détecteur de particulesvignette|Photographie de rayonnements α détectés dans une chambre à brouillard. Un détecteur de particules est un appareil qui permet de détecter le passage d'une particule et, généralement, d'en déduire différentes caractéristiques (en fonction du type de détecteur) telles que sa masse, son énergie, son impulsion, son spin, ou encore sa charge électrique. Cavité de Faraday Chambre à brouillard Chambre à bulles Chambre à dérive Chambre à étincelles Chambre à fils Chambre d'ionisation Chambre à plaques paral
Spectrométrie gammaLa spectrométrie gamma est une technique de mesure nucléaire permettant d'identifier certains éléments radioactifs par la mesure de l'énergie des rayonnements gamma qu'ils émettent. Elle diffère de la technique du compteur Geiger, qui ne détecte que la présence de rayonnements gamma sans fournir d'information sur la nature de la source détectée. La mesure par spectrométrie gamma permet de construire des spectres, qui sont des histogrammes donnant les quantités de photons détectés en fonction de leur énergie.
Iodure de sodiumL'iodure de sodium est un composé inorganique de formule NaI. Il est utilisé dans le domaine médical pour le traitement des déficiences en iode. En chimie, il intervient dans la réaction de Finkelstein. Il peut être utilisé pour accélérer la décomposition du peroxyde d'hydrogène. En physique des particules, il est utilisé une fois dopé avec du thallium comme détecteur de rayons gamma, ceux-ci interagissant avec la forme cristalline du composé pour produire de la lumière visible (scintillation). Sodium Caté
Manufacturing engineeringManufacturing engineering or production engineering is a branch of professional engineering that shares many common concepts and ideas with other fields of engineering such as mechanical, chemical, electrical, and industrial engineering. Manufacturing engineering requires the ability to plan the practices of manufacturing; to research and to develop tools, processes, machines and equipment; and to integrate the facilities and systems for producing quality products with the optimum expenditure of capital.
Tube photomultiplicateurUn tube photomultiplicateur (en anglais, photomultiplier tube) est un dispositif permettant la détection de photons qui se présente sous la forme d'un tube électronique. Sous l'action de la lumière, des électrons sont arrachés d'un métal par effet photoélectrique à une photocathode, le faible courant électrique ainsi généré est amplifié par une série de dynodes utilisant le phénomène d'émission secondaire pour obtenir un gain important. Ce détecteur permet de compter les photons individuellement.
IdéalEn mathématiques, et plus particulièrement en algèbre, un idéal est un sous-ensemble remarquable d'un anneau : c'est un sous-groupe du groupe additif de l'anneau qui est, de plus, stable par multiplication par les éléments de l'anneau. À certains égards, les idéaux s'apparentent donc aux sous-espaces vectoriels — qui sont des sous-groupes additifs stables par une multiplication externe ; à d'autres égards, ils se comportent comme les sous-groupes distingués — ce sont des sous-groupes additifs à partir desquels on peut construire une structure d'anneau quotient.
Fabrication assistée par ordinateurvignette|300px|Disque en alliage chrome-cobalt avec couronnes pour implants dentaires usiné à l'aide du logiciel de FAO WorkNC Dental Le but de la fabrication assistée par ordinateur ou FAO (en anglais, computer-aided manufacturing ou CAM) est d'écrire le fichier contenant le programme de pilotage d'une machine-outil à commande numérique. Ce fichier va décrire précisément les mouvements que doit exécuter la machine-outil pour réaliser la pièce demandée. On appelle également ce type de fichiers : programme ISO ou blocs ISO.
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).
Industrie manufacturièreL’industrie manufacturière est un sous-ensemble du secteur secondaire, et un sous-ensemble de l’industrie (sachant que toute l’industrie ne fait pas partie du secteur secondaire). L’industrie manufacturière regroupe les industries de transformation des biens, mais aussi la réparation et l'installation d'équipements industriels ainsi que des opérations en sous-traitance. En France, cette activité correspond actuellement à la section C de la NAF rév. 2 : 10. Industries alimentaires ; 11. Fabrication de boissons ; 12.
Idéal (théorie des ordres)En mathématiques, un idéal au sens de la théorie des ordres est un sous-ensemble particulier d'un ensemble ordonné. Bien qu'à l'origine ce terme soit issu de la notion algébrique d'idéal d'un anneau, il a été généralisé en une notion distincte. Les idéaux interviennent dans beaucoup de constructions en théorie des ordres, en particulier des treillis. Un idéal d'un ensemble ordonné (E, ≤) est une partie non vide I de E telle que : I est une section commençante, c'est-à-dire que tout minorant d'un élément de I appartient à I ; I est un ensemble ordonné filtrant, c'est-à-dire que deux éléments quelconques de I possèdent toujours un majorant commun dans I.
Gaz parfaitLe gaz parfait est un modèle thermodynamique décrivant le comportement des gaz réels à basse pression. Ce modèle a été développé du milieu du au milieu du et formalisé au . Il est fondé sur l'observation expérimentale selon laquelle tous les gaz tendent vers ce comportement à pression suffisamment basse, quelle que soit la nature chimique du gaz, ce qu'exprime la loi d'Avogadro, énoncée en 1811 : la relation entre la pression, le volume et la température est, dans ces conditions, indépendante de la nature du gaz.
Idéal premierEn algèbre commutative, un idéal premier d'un anneau commutatif unitaire est un idéal tel que le quotient de l'anneau par cet idéal est un anneau intègre. Ce concept généralise la notion de nombre premier à des anneaux à la structure moins simple d'accès que l'anneau des entiers relatifs. Ils jouent un rôle particulièrement important en théorie algébrique des nombres. thumb|Richard Dedekind (1831-1916), formalisateur du concept d'idéal.
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 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).
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.
