Variété projectiveEn géométrie algébrique, les variétés projectives forment une classe importante de variétés. Elles vérifient des propriétés de compacité et des propriétés de finitude. C'est l'objet central de la géométrie algébrique globale. Sur un corps algébriquement clos, les points d'une variété projective sont les points d'un ensemble algébrique projectif. On fixe un corps (commutatif) k. Algèbre homogène. Soit B le quotient de par un idéal homogène ( idéal engendré par des polynômes homogènes).
Autoroutevignette|alt=Une autoroute en Allemagne|L’autoroute allemande caractérisée par une vitesse libre sur les deux tiers de son kilomètrage (A20), dotée d'un terre-plein central enherbé à deux glissières de sécurité, de deux bandes d’arrêt d’urgence, et de larges talus enherbés limités par une clôture limitant le risque de collisions accidentelles avec de grands animaux. vignette|Autoroute en Autriche permettant un passage rapide des Alpes, par des ponts et tunnels.
Carrefour giratoirevignette|Carrefour giratoire à Leyde, aux Pays-Bas. thumb|right|400px|Vocabulaire du carrefour giratoire1. Îlot central 2. Îlot séparateur ou refuge 3. Chaussée annulaire 4. Bande franchissable (tablier pour camions) 5. Ligne de cédez le passage 6. Passage piéton accessible 7. Environnement paysagé Un carrefour giratoire, ou plus communément un giratoire, est un carrefour particulier formé d'un anneau central où le trafic routier est autorisé à circuler dans une seule direction autour de l'îlot central, et où la priorité est donnée aux véhicules circulant sur l'anneau.
Théorie des trois phases du traficLa théorie des trois phases du trafic est une théorie alternative de la modélisation du trafic routier mise au point par Boris Kerner entre 1996 et 2002. Elle se concentre principalement sur l'explication physique de la dégradation des conditions de trafic et des embouteillages résultant sur les autoroutes. À la différence des théories classiques basées sur le diagramme fondamental du trafic qui distinguent deux phases ou régimes (trafic fluide et les congestions), la théorie de Kerner propose trois phases.
Chow varietyIn mathematics, particularly in the field of algebraic geometry, a Chow variety is an algebraic variety whose points correspond to effective algebraic cycles of fixed dimension and degree on a given projective space. More precisely, the Chow variety is the fine moduli variety parametrizing all effective algebraic cycles of dimension and degree in . The Chow variety may be constructed via a Chow embedding into a sufficiently large projective space.
Fatigue (matériau)vignette|Photomicrographie de la progression des fissures dans un matériau dues à la fatigue. Image tirée de . La fatigue est l'endommagement local d'une pièce sous l'effet d'efforts variables : forces appliquées, vibrations, rafales de vent Alors que la pièce est conçue pour résister à des efforts donnés, la variation de l'effort, même à des niveaux bien plus faibles que ceux pouvant provoquer sa rupture, peut à la longue provoquer sa rupture. Les essais de fatigue permettent de déterminer la résistance des matériaux à de telles faibles charges répétées.
Courbe elliptiqueEn mathématiques, une courbe elliptique est un cas particulier de courbe algébrique, munie entre autres propriétés d'une addition géométrique sur ses points. Les courbes elliptiques ont de nombreuses applications dans des domaines très différents des mathématiques : elles interviennent ainsi en mécanique classique dans la description du mouvement des toupies, en théorie des nombres dans la démonstration du dernier théorème de Fermat, en cryptologie dans le problème de la factorisation des entiers ou pour fabriquer des codes performants.
Variété de drapeaux généraliséeEn mathématiques, une variété de drapeaux généralisée ou tordue est un espace homogène d'un groupe (algébrique ou de Lie) qui généralise les espaces projectifs, les grassmanniennes, les quadriques projectives et l'espace de tous les drapeaux de signature donnée d'un espace vectoriel. La plupart des espaces homogènes de points ou de figures de la géométrie classique sont des variétés de drapeaux généralisées ou des espaces symétriques ou des variétés symétriques (analogues en géométrie algébrique des espaces symétriques), ou leur sont liés.
Simulation informatiquevignette|upright=1|Une simulation informatique, sur une étendue de , de l'évolution du typhon Mawar produite par le Modèle météorologique Weather Research and Forecasting La simulation informatique ou numérique est l'exécution d'un programme informatique sur un ordinateur ou réseau en vue de simuler un phénomène physique réel et complexe (par exemple : chute d’un corps sur un support mou, résistance d’une plateforme pétrolière à la houle, fatigue d’un matériau sous sollicitation vibratoire, usure d’un roulem
Vérification formelleIn the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
