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.
Capacité portantevignette|Mesure de portance d'un sol, essai à la dynaplaque Maxidyn. La capacité portante d'un sol se caractérise par sa résistance au tassement en fonction de la cohésion et des frottements internes. La contrainte admissible se mesure en (ou anciennement en kgf/cm ou en bar). C'est une pression et le kN/m est aussi un kilopascal (kPa). La capacité portante d'un sol est une performance technique spécifique qu'il est indispensable de connaître pour établir le système de fondation d'un ouvrage.
Géomécaniquethumb|alt= id PB géomec|Les problèmes géomécaniques La géomécanique est l’outil mathématique de la géotechnique ; elle synthétise la mécanique des sols, la mécanique des roches, l’hydraulique souterraine et une partie de la sismique. Lors d’études géotechniques pour aménager et/ou exploiter la subsurface terrestre : projeter, construire et entretenir un ouvrage ; assurer la stabilité d’un talus de remblais ou de déblais, d’une excavation souterraine, d’un soutènement, estimer celle d’un versant naturel ; éviter la rupture et limiter le tassement d’une fondation d’ouvrage ; estimer le débit d’un puits, d’un drain, d’une fouille à épuiser.
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.
Deep foundationA deep foundation is a type of foundation that transfers building loads to the earth farther down from the surface than a shallow foundation does to a subsurface layer or a range of depths. A pile or piling is a vertical structural element of a deep foundation, driven or drilled deep into the ground at the building site. There are many reasons that a geotechnical engineer would recommend a deep foundation over a shallow foundation, such as for a skyscraper.
Mécanique newtonienneLa mécanique newtonienne est une branche de la physique. Depuis les travaux d'Albert Einstein, elle est souvent qualifiée de mécanique classique. La mécanique classique ou mécanique newtonienne est une théorie physique qui décrit le mouvement des objets macroscopiques lorsque leur vitesse est faible par rapport à celle de la lumière. Avant de devenir une science à part entière, la mécanique a longtemps été une section des mathématiques. De nombreux mathématiciens y ont apporté une contribution souvent décisive, parmi eux des grands noms tels qu'Euler, Cauchy, Lagrange.
GéotechniqueDans le groupe des géosciences, la géotechnique est la technoscience consacrée à l’étude pratique de la subsurface terrestre sur laquelle notre action directe est possible pour son aménagement et/ou son exploitation, lors d’opérations de BTP (génie civil, bâtiment, carrières), de gestion des eaux souterraines (exploitation, drainage) et de prévention des risques naturels.
Mécanique quantiqueLa mécanique quantique est la branche de la physique théorique qui a succédé à la théorie des quanta et à la mécanique ondulatoire pour étudier et décrire les phénomènes fondamentaux à l'œuvre dans les systèmes physiques, plus particulièrement à l'échelle atomique et subatomique. Elle fut développée dans les années 1920 par une dizaine de physiciens européens, pour résoudre des problèmes que la physique classique échouait à expliquer, comme le rayonnement du corps noir, l'effet photo-électrique, ou l'existence des raies spectrales.
Mécanique hamiltonienneLa mécanique hamiltonienne est une reformulation de la mécanique newtonienne. Son formalisme a facilité l'élaboration théorique de la mécanique quantique. Elle a été formulée par William Rowan Hamilton en 1833 à partir des équations de Lagrange, qui reformulaient déjà la mécanique classique en 1788. En mécanique lagrangienne, les équations du mouvement d'un système à N degrés de liberté dépendent des coordonnées généralisées et des vitesses correspondantes , où .
Mécanique (technique)La mécanique en tant que technique ou activité industrielle, est l'ensemble des activités, méthodes et techniques liées à la conception de structures (charpentes, coques, bâtis), machines ou de mécanismes. Ces activités regroupent l'étude, la conception, la fabrication, la maintenance et la déconstruction de toute structure ou dispositif (moteurs, véhicules) produisant ou transmettant un mouvement, une force, ou une déformation.
Équations de Lagrangevignette|Joseph-Louis Lagrange Les équations de Lagrange, découvertes en 1788 par le mathématicien Joseph-Louis Lagrange, sont une reformulation de la mécanique classique. Il s'agit d'une reformulation de l'équation de Newton, qui ne fait pas intervenir les forces de réaction. Pour cela, on exprime les contraintes que subit la particule étudiée sous la forme d'équations du type : Il n'y a qu'une équation si le mouvement est contraint à une surface, deux s'il est contraint à une courbe.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Mécanique (science)vignette|Gyroscope. Le gyroscope tient en équilibre sur la pointe fixe par le jeu des forces mécaniques (en particulier le couple de rappel) engendrées par la rotation rapide du disque au centre. La mécanique (du grec ancien , « l'art mécanique ») est une branche de la physique dont l'objet est l'étude du mouvement, des déformations ou des états d'équilibre des systèmes physiques. Cette science vise ainsi à décrire les mouvements de différentes sortes de corps, depuis les particules subatomiques avec la mécanique quantique, jusqu'aux galaxies avec la mécanique céleste.
Sol (pédologie)vignette|Le sol recèle un trésor vivant insoupçonné qui représente 50 % de la biodiversité spécifique sur la terre. En région tempérée, chaque mètre carré (sur de profondeur) abrite en moyenne animales (dont un millier d'espèces d'invertébrés constitués de près de 50 % d'acariens) comprenant, en les distinguant par leur taille, la microfaune, la mésofaune et la macrofaune. Une cuillère à café de sol, soit environ un gramme, héberge en moyenne 100 arthropodes, à , des millions de protozoaires et près d'un milliard de cellules bactériennes, issues de plus de 1 million d'espèces.
Théorie des types homotopiquesvignette| Couverture de la Théorie des types homotopiques : Fondations univalentes des mathématiques. Dans la logique mathématique et de l’informatique, la théorie des types homotopiques (en anglais : Homotopy Type Theory HoTT) fait référence à différentes lignes de développement de la théorie des types intuitionnistes, basée sur l’interprétation des types comme des objets auxquels l’intuition de la théorie de l’homotopie s’applique.
Effective stressThe effective stress can be defined as the stress, depending on the applied tension and pore pressure , which controls the strain or strength behaviour of soil and rock (or a generic porous body) for whatever pore pressure value or, in other terms, the stress which applied over a dry porous body (i.e. at ) provides the same strain or strength behaviour which is observed at ≠ 0. In the case of granular media it can be viewed as a force that keeps a collection of particles rigid.
Statistical mechanicsIn physics, statistical mechanics is a mathematical framework that applies statistical methods and probability theory to large assemblies of microscopic entities. It does not assume or postulate any natural laws, but explains the macroscopic behavior of nature from the behavior of such ensembles. Sometimes called statistical physics or statistical thermodynamics, its applications include many problems in the fields of physics, biology, chemistry, and neuroscience.
Liquéfaction du solthumb|Immeubles partiellement enfouis et ayant basculé à la faveur d'une liquéfaction du sol lors du séisme de 1964 à Niigata, au Japon. thumb|upright|Immeuble endommagé à la suite de la liquéfaction du sol lors du séisme de 2011 en Nouvelle-Zélande. La liquéfaction du sol est un phénomène sismique géologique, généralement brutal et temporaire, par lequel un sol saturé en eau perd une partie ou la totalité de sa portance, causant ainsi l'enfoncement et l'effondrement des constructions.
PH du soldroite|vignette|343x343px| Variation globale du pH du sol. Rouge = sol acide. Jaune = sol neutre. Bleu = sol alcalin. Noir = pas de données. Le pH du sol est une mesure de l'acidité ou de la basicité (alcalinité) d'un sol. Le pH est défini comme le logarithme négatif (base 10) de l'activité des ions hydronium ( ou, plus précisément, ) dans une solution. Dans les sols, il est mesuré dans une boue de sol mélangée à de l'eau (ou une solution saline, telle que 0,01 M CaCl2), et se situe normalement entre 3 et 10, 7 étant neutre.
