Théorie de jaugeEn physique théorique, une théorie de jauge est une théorie des champs basée sur un groupe de symétrie locale, appelé groupe de jauge, définissant une « invariance de jauge ». Le prototype le plus simple de théorie de jauge est l'électrodynamique classique de Maxwell. L'expression « invariance de jauge » a été introduite en 1918 par le mathématicien et physicien Hermann Weyl. La première théorie des champs à avoir une symétrie de jauge était la formulation de l'électrodynamisme de Maxwell en 1864 dans .
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.
Jet (astrophysique)Un jet astrophysique (ci-après « jet ») est un phénomène très souvent observé en astronomie, lorsque des nuages de matière se forment le long de l’axe de rotation d’un objet compact. Alors que les jets sont toujours le sujet de recherches en cours pour comprendre leur formation et leur fonctionnement, les deux hypothèses les plus probables de leur origine sont les interactions dynamiques à l’intérieur d’un disque d'accrétion, ou un procédé en lien avec un objet central très dense (tel qu’un trou noir ou une étoile à neutrons).
AnalysisAnalysis (: analyses) is the process of breaking a complex topic or substance into smaller parts in order to gain a better understanding of it. The technique has been applied in the study of mathematics and logic since before Aristotle (384–322 B.C.), though analysis as a formal concept is a relatively recent development. The word comes from the Ancient Greek ἀνάλυσις (analysis, "a breaking-up" or "an untying;" from ana- "up, throughout" and lysis "a loosening"). From it also comes the word's plural, analyses.
Centre galactiquevignette|droite|Centre galactique, image infrarouge. Le centre galactique est le centre de rotation du disque de la Voie lactée, galaxie comprenant la planète Terre. Il est situé à une distance de , soit , du Soleil dans la région lumineuse la plus étendue de la Voie lactée, dans la direction de la constellation zodiacale du Sagittaire. En raison de la présence de poussières sur la ligne de visée, responsables d'environ 30 magnitudes d'atténuation de la luminosité dans le spectre visible, le centre galactique n'est pas observable en longueurs d'onde visibles, ultraviolettes et rayons X.
Scalar field theoryIn theoretical physics, scalar field theory can refer to a relativistically invariant classical or quantum theory of scalar fields. A scalar field is invariant under any Lorentz transformation. The only fundamental scalar quantum field that has been observed in nature is the Higgs field. However, scalar quantum fields feature in the effective field theory descriptions of many physical phenomena. An example is the pion, which is actually a pseudoscalar.
Grammaire contextuelleUne grammaire contextuelle est une grammaire formelle dans laquelle les substitutions d'un symbole non terminal sont soumises à la présence d'un contexte gauche et d'un contexte droit. Elles sont plus générales que les grammaires algébriques. Les langages formels engendrés par les grammaires contextuelles sont les langages contextuels. Ils sont reconnus par les automates linéairement bornés. Les grammaires contextuelles ont été décrites par Noam Chomsky. Ce sont les grammaires de type 1 dans la hiérarchie de Chomsky.
Formation des structuresLa formation des structures est le processus primordial de genèse des structures de l'observable actuel à partir d'un état dense, chaud et surtout quasiment uniforme. Comprendre ce passage de l'homogène et uniforme à une grande diversité de structures est un enjeu fondamental en cosmologie.
Jauge de LorenzLa jauge de Lorenz est une condition que l'on peut introduire en électromagnétisme ; cette condition tient son nom du physicien danois Ludvig Lorenz (elle est souvent attribuée au physicien Hendrik Lorentz, probablement en raison de son invariance sous les transformations de Lorentz). L'introduction de la condition impose un lien entre le potentiel scalaire et le potentiel vecteur associés aux champs électrique et magnétique ; les composantes du potentiel vecteur et le potentiel scalaire forment alors le quadrivecteur potentiel.
Champ magnétique terrestreLe champ magnétique terrestre, aussi appelé bouclier terrestre, est un champ magnétique présent dans un vaste espace autour de la Terre (de manière non uniforme du fait de son interaction avec le vent solaire) ainsi que dans la croûte et le manteau. Il a son origine dans le noyau externe, par un mécanisme de dynamo auto-excitée. Dynamo terrestre Selon les études de John Tarduno de l'université de Rochester (États-Unis), la Terre possédait déjà un champ magnétique il y a 3,45 milliards d'années.
Maser astronomiqueLe maser astrophysique existe dans l'univers sous la forme occasionnelle d'une source spontanée d'un rayonnement à émission stimulée, détectable dans le spectromètre par la présence d'une raie spectrale, la fréquence dans la plupart des cas se situant dans la région des micro-ondes du spectre électromagnétique. Cette sorte d'émission peut se produire dans le contexte d'une comète, d'un nuage moléculaire, dans une atmosphère planétaire, stellaire, ou bien encore selon d'autres conditions au sein de l'espace interstellaire.
Dynamo theoryIn physics, the dynamo theory proposes a mechanism by which a celestial body such as Earth or a star generates a magnetic field. The dynamo theory describes the process through which a rotating, convecting, and electrically conducting fluid can maintain a magnetic field over astronomical time scales. A dynamo is thought to be the source of the Earth's magnetic field and the magnetic fields of Mercury and the Jovian planets.
