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.
Thermal energy storageThermal energy storage (TES) is achieved with widely different technologies. Depending on the specific technology, it allows excess thermal energy to be stored and used hours, days, months later, at scales ranging from the individual process, building, multiuser-building, district, town, or region. Usage examples are the balancing of energy demand between daytime and nighttime, storing summer heat for winter heating, or winter cold for summer air conditioning (Seasonal thermal energy storage).
TranslationEn géométrie, une translation est une transformation géométrique qui correspond à l'idée intuitive de « glissement » d'un objet, sans rotation, retournement ni déformation de cet objet. En géométrie classique, la notion de translation est très fortement liée à celle de vecteur, qu'elle suit ou précède. Ainsi trouve-t-on la translation de vecteur définie comme une transformation qui, à tout point M, associe le point M' tel que : On dit alors que M’ est le translaté de M. C'est l'image de M par cette translation.
Centrale thermiqueUne centrale thermique est une centrale électrique qui fonctionne à partir d'une source de chaleur selon le principe des machines thermiques. Cette transformation se fait soit directement, par détente des gaz de combustion, soit indirectement, par exemple à travers un cycle eau-vapeur. Les installations à cogénération utilisent en outre une partie de la chaleur résiduelle pour d'autres applications, telles que les réseaux de chaleur.
