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.
Pression de vapeurLa pression de vapeur est la pression partielle de la vapeur d'un corps présent également sous forme liquide ou solide. Lorsque le système est à l'équilibre (les proportions relatives de gaz et liquide ou solide ne varient pas), la pression de vapeur est dite « saturante ». Lorsque le système est hors équilibre : si la pression de vapeur est inférieure à la pression de vapeur saturante, une portion de liquide ou de solide passe sous forme gazeuse (évaporation, vaporisation ou sublimation) ; si la pression de vapeur est supérieure à la pression de vapeur saturante, une portion de la vapeur passe sous forme liquide ou solide (liquéfaction, condensation).
Écoulement polyphasiqueUn écoulement polyphasique est un écoulement d'un fluide comportant plusieurs phases. On pourra par exemple étudier le comportement d'un fluide comportant des bulles de gaz, ou encore étudier le comportement de deux fluides non miscibles dans une canalisation. Équation générale : il est possible de réécrire l'équation du mouvement de base de tout fluide (équation de Navier-Stokes) pour un fluide polyphasique.
Lateral earth pressureLateral earth pressure is the pressure that soil exerts in the horizontal direction. The lateral earth pressure is important because it affects the consolidation behavior and strength of the soil and because it is considered in the design of geotechnical engineering structures such as retaining walls, basements, tunnels, deep foundations and braced excavations. The earth pressure problem dates from the beginning of the 18th century, when Gautier listed five areas requiring research, one of which was the dimensions of gravity-retaining walls needed to hold back soil.
Consolidation (sol)La consolidation est, selon K. von Terzaghi, . Le plus souvent c'est par tassement, sous l'action à long terme des charges statiques, que s'effectue cette compaction avec expulsion de l'eau interstitielle. L'étude du phénomène de consolidation est essentielle dans la compréhension des phénomènes de tassement en construction. Elle est une composante de la mécanique des fondations. Il existe différentes méthodes pour prédire l'amplitude du tassement par consolidation.
