Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Méthode des éléments finis : approche globale

Concepts associés (23)

Méthode de Galerkine

En mathématiques, dans le domaine de l'analyse numérique, les méthodes de Galerkine sont une classe de méthodes permettant de transformer un problème continu (par exemple une équation différentielle) en un problème discret. Cette approche est attribuée aux ingénieurs russes Ivan Boubnov (1911) et Boris Galerkine (1913). Cette méthode est couramment utilisée dans la méthode des éléments finis. On part de la formulation faible du problème. La solution appartient à un espace fonctionnel satisfaisant des propriétés de régularité bien définies.

Hauteur d'échelle

La hauteur d'échelle est l'altitude dont il faut monter, à une position donnée dans une atmosphère, pour réduire la pression d'un facteur e (environ 2,718), autrement dit pour la multiplier par 1/e (env 0,3679). La hauteur d'échelle est donc une grandeur locale qui est définie en tout point. Pour un objet céleste donné, il n'existe pas de limite précise entre son atmosphère et l'espace situé au-delà. La hauteur d'échelle sert donc à déterminer une caractéristique de l'atmosphère considérée, laquelle permet de comparer différentes atmosphères entre elles.

Intuitionistic type theory

Intuitionistic 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.