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.
Blocage de modeLe blocage de mode ou verrouillage de mode désigne une technique de synchronisation de la phase des modes laser destinée à produire de courtes et intenses impulsions lumineuses. Le blocage de mode est réalisé à l'aide de différents éléments optiques : colorant à absorbant saturable, modulateur acousto-optique, cellule de Pockels... La principale application du blocage de mode est la réalisation de laser femtoseconde. Les premiers lasers à colorant délivrant de courtes impulsions sont apparus dans les années 1970, mais les impulsions qu'ils délivrent ne sont pas suffisamment stables .
Automodulation de phaseL'automodulation de phase (self-phase modulation, souvent abrégé en SPM en anglais) est un effet optique non linéaire d'interaction lumière-matière (gaz, solide, liquide). Une impulsion ultra-courte, lorsqu'elle voyage dans un milieu matériel, induit une variation de l'indice de réfraction de ce milieu par effet Kerr. Cette variation induit à son tour un décalage de phase dans l'impulsion, ce qui conduit à une modification du spectre en fréquence de l'impulsion.
Analyse des donnéesL’analyse des données (aussi appelée analyse exploratoire des données ou AED) est une famille de méthodes statistiques dont les principales caractéristiques sont d'être multidimensionnelles et descriptives. Dans l'acception française, la terminologie « analyse des données » désigne donc un sous-ensemble de ce qui est appelé plus généralement la statistique multivariée. Certaines méthodes, pour la plupart géométriques, aident à faire ressortir les relations pouvant exister entre les différentes données et à en tirer une information statistique qui permet de décrire de façon plus succincte les principales informations contenues dans ces données.
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.
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.
Joint European TorusJET est un acronyme de l'anglais Joint European Torus (littéralement Tore commun européen) désignant le plus grand tokamak existant, situé au Culham Science Center, à Abingdon, près d'Oxford au Royaume-Uni, jusqu'à la construction d'ITER. Sa construction a débuté en 1979 et il a produit son premier plasma en 1983. Il résulte d'une collaboration entre les différents laboratoires nationaux européens, dans le cadre de l'Euratom. Il réalise la fusion nucléaire entre le deutérium et le tritium qui semblent les matériaux les plus appropriés pour les futurs réacteurs nucléaires.
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).
Analyse dynamique de programmesthumb|Logo de Valgrind. Outil permettant de profiler du code. L'analyse dynamique de programme (dynamic program analysis ou DPA), est une forme d'analyse de programme qui nécessite leur exécution. Elle permet d'étudier le comportement d'un programme informatique et les effets de son exécution sur son environnement. Appliquée dans un environnement physique ou virtuel, elle est souvent utilisée pour profiler des programmes. Que ce soit pour retirer des informations sur le temps d'utilisation du processeur, l'utilisation de la mémoire ou encore l'énergie dépensée par le programme.
Couplage croiséEn chimie organique, un couplage croisé est une réaction de couplage entre deux fragments moléculaires par formation d'une liaison carbone-carbone sous l'effet d'un catalyseur organométallique. Par exemple, un composé , où R est un fragment organique et M un métal du groupe principal, réagit avec un halogénure organique , où X est un halogène, pour former un produit . Les chimistes Richard Heck, Ei-ichi Negishi et Akira Suzuki ont reçu le prix Nobel de chimie 2010 pour avoir développé des réactions de couplage catalysées au palladium.
