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.
Chemical plantA chemical plant is an industrial process plant that manufactures (or otherwise processes) chemicals, usually on a large scale. The general objective of a chemical plant is to create new material wealth via the chemical or biological transformation and or separation of materials. Chemical plants use specialized equipment, units, and technology in the manufacturing process.
Nomenclature chimiqueLa nomenclature chimique est un terme qui désigne les différentes méthodes permettant de nommer un composé chimique ou de déduire sa structure à partir de son nom. Les méthodes décrites par l'Union internationale de chimie pure et appliquée, souvent nommées par le terme général nomenclature IUPAC, sont les méthodes les plus utilisées. On utilise souvent, mais à tort, le terme nomenclature systématique pour décrire soit la nomenclature chimique, soit la nomenclature IUPAC alors que la nomenclature systématique n'est qu'une partie de ces dernières.
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.
Spectrométrie de massethumb|right|Spectromètre de masse La spectrométrie de masse est une technique physique d'analyse permettant de détecter et d'identifier des molécules d’intérêt par mesure de leur masse, et de caractériser leur structure chimique. Son principe réside dans la séparation en phase gazeuse de molécules chargées (ions) en fonction de leur rapport masse/charge (m/z). Elle est utilisée dans pratiquement tous les domaines scientifiques : physique, astrophysique, chimie en phase gazeuse, chimie organique, dosages, biologie, médecine, archéologie.
Concentration molaireLa concentration molaire ou molarité, ou parfois taux molaire, d'une espèce chimique est sa quantité rapportée au volume total du mélange qui contient cette espèce. Elle est exprimée en moles par unité de volume. Cette notion est essentiellement utilisée pour des espèces en solution. La concentration molaire d'un soluté est notée ou .
Concentration (opération chimique)En chimie, concentrer signifie augmenter le rapport entre la quantité d'une substance et le volume du milieu qu'elle occupe. Plus spécifiquement, la concentration est la mesure de la quantité d'une matière donnée dissoute dans un volume d'une autre substance. Le terme concentration s'applique à toutes sortes de mélanges, mais est surtout utilisé lorsqu’il s'agit de solution. Il s'agit alors de la quantité de soluté dissoute dans un solvant. Pour concentrer une solution, il faut rajouter du soluté ou réduire la quantité de solvant, par exemple par évaporation sélective.
