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.
Spectroscopie infrarouge à transformée de FourierLa spectroscopie infrarouge à transformée de Fourier ou spectroscopie IRTF (ou encore FTIR, de l'anglais Fourier Transform InfraRed spectroscopy) est une technique utilisée pour obtenir le spectre d'absorption, d'émission, la photoconductivité ou la diffusion Raman dans l'infrarouge d'un échantillon solide, liquide ou gazeux. Un spectromètre FTIR permet de collecter simultanément les données spectrales sur un spectre large.
OptiqueL'optique est la branche de la physique qui traite de la lumière, de son comportement et de ses propriétés, du rayonnement électromagnétique à la vision en passant par les systèmes utilisant ou émettant de la lumière. Du fait de ses propriétés ondulatoires, le domaine de la lumière peut couvrir le lointain UV jusqu'au lointain IR en passant par les longueurs d'onde visibles. Ces propriétés recouvrent alors le domaine des ondes radio, micro-ondes, des rayons X et des radiations électromagnétiques.
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.
Transformation de LaplaceEn mathématiques, la transformation de Laplace est une transformation intégrale qui à une fonction f — définie sur les réels positifs et à valeurs réelles — associe une nouvelle fonction F — définie sur les complexes et à valeurs complexes — dite transformée de Laplace de f. L'intérêt de la transformation de Laplace vient de la conjonction des deux faits suivants : De nombreuses opérations courantes sur la fonction originale f se traduisent par une opération algébrique sur la transformée F.
Battement (acoustique)En physique, le battement est une modulation périodique d'un signal constitué de la superposition de deux signaux de fréquences proches. Le terme est issu de l'acoustique ; en acoustique musicale, le battement est audible lorsque deux cordes ou tuyaux vibrent à des fréquences dont la différence est entre 0,5 et environ. Les battements peuvent être perçus facilement en accordant un instrument capable de notes tenues.
InterférenceEn mécanique ondulatoire, les interférences sont la combinaison de deux ondes susceptibles d'interagir. Ce phénomène apparaît souvent en optique avec les ondes lumineuses, mais il s'obtient également avec des ondes électromagnétiques d'autres longueurs d'onde, ou avec d'autres types d'ondes comme des ondes sonores. À savoir aussi, le phénomène d'interférence se produit uniquement lors de la combinaison de deux ondes de même fréquence. L' onde se modélise par une fonction , étant la position dans l'espace et t étant le temps.
