Sonde ionique focaliséeLa sonde ionique focalisée, plus connue sous le nom du sigle anglais FIB (Focused ion beam), est un instrument scientifique qui ressemble au microscope électronique à balayage (MEB). Mais là où le MEB utilise un faisceau d'électrons focalisés pour faire l'image d'un échantillon, la "FIB" utilise un faisceau d'ions focalisés, généralement du gallium. Il est en effet facile de construire une source à métal liquide (LMIS, de l'anglais liquid metal ion source). Contrairement aux MEB, les FIB sont destructives.
Spallation des rayons cosmiquesLa spallation des rayons cosmiques est un mécanisme de nucléosynthèse où la grande énergie cinétique des rayons cosmiques (essentiellement des protons) brise des nucléides croisant leur trajectoire et en forment de nouveaux (généralement de masse atomique plus petite). La présence des éléments légers tels que le lithium (dont un petit pourcentage s'est formé au cours de la nucléosynthèse primordiale), le béryllium et le bore, fut longtemps une énigme pour les astrophysiciens étant donné que la nucléosynthèse primordiale et les réactions nucléaires du cœur des étoiles sont plus propices à les détruire qu'à les synthétiser.
Actionneur de plasmaUn actionneur de plasma ou actionneur plasma est un type d'actionneur formé d'un système ou appareillage constitué de deux électrodes non superposées (« électrodes asymétriques ») et séparées par un film isolant. L'application d'une radiofréquence de haute tension aux électrodes génère un plasma faiblement ionisé et de faible température. Si le système n'est pas dans le vide, les charges se déplacent dans le champ électrique et induisent un flux des molécules du fluide ambiant (air par exemple).
Implantation ioniqueL'implantation ionique est un procédé d'ingénierie des matériaux. Comme son nom l'indique, il est utilisé pour implanter les ions d'un matériau dans un autre solide, changeant de ce fait les propriétés physiques de ce solide. L'implantation ionique est utilisée dans la fabrication des dispositifs à semi-conducteurs, pour le traitement de surface des métaux, ainsi que pour la recherche en science des matériaux. Les ions permettent à la fois de changer les propriétés chimiques de la cible, mais également les propriétés structurelles car la structure cristalline de la cible peut être abîmée ou même détruite.
Eau lourdeL'eau lourde ou oxyde de deutérium DO (ou HO) est constituée des mêmes éléments chimiques que l'eau ordinaire (ou HO), mais ses atomes d'hydrogène sont des isotopes lourds, du deutérium (le noyau de deutérium comporte un neutron en plus du proton présent dans tout atome d’hydrogène). C'est Gilbert Lewis qui isola le premier échantillon d'eau lourde pure, en 1933. L'eau semi-lourde, ou eau deutérée, est l'oxyde mixte HDO (ou HHO). Dans les océans, les mers et les eaux de surface, elle est bien plus abondante que l'eau lourde.
Activation neutroniqueL’activation neutronique est le processus par lequel un flux neutronique induit de la radioactivité dans les matériaux qu'il traverse (phénomène de radioactivation). Tout matériau traversé par un flux de neutrons subit progressivement une transmutation par capture neutronique qui rend une partie de ses noyaux radioactifs, et la durée de vie de cette radioactivité impose généralement de le gérer par la suite comme déchet radioactif (le plus souvent comme déchet de faible activité).
Program analysisIn computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what it is supposed to do.
TritiumLe tritium (/tʁi.sjɔm/ ou /tʁi.tjɔm/), noté H ou T, est l'isotope de l'hydrogène dont le nombre de masse est égal à 3 : son noyau atomique, appelé triton, compte et avec un spin 1/2+ pour une masse atomique de . Il est caractérisé par un excès de masse de et une énergie de liaison nucléaire par nucléon de . Il a été mis en évidence en 1934 par Ernest Rutherford, dans la réaction de fusion nucléaire . À la différence du protium H et du deutérium H, ce nucléide est radioactif et se désintègre en (He) avec une demi-vie de .
Analyse statique de programmesEn informatique, la notion d’analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d'un programme lors de son exécution sans réellement l'exécuter. C'est cette dernière restriction qui distingue l'analyse statique des analyses dynamiques (comme le débugage ou le profiling) qui s'attachent, elles, au suivi de l’exécution du programme. L’analyse statique est utilisée pour repérer des erreurs formelles de programmation ou de conception et pour déterminer la facilité ou la difficulté à maintenir le code.
