Ingénierie des systèmesL'ingénierie des systèmes ou ingénierie système est une approche scientifique interdisciplinaire, dont le but est de formaliser et d'appréhender la conception et la validation de systèmes complexes. L'ingénierie des systèmes a pour objectif de maîtriser et de contrôler la conception de systèmes dont la complexité ne permet pas le pilotage simple. Par système, on entend un ensemble d'éléments humains ou matériels en interdépendance les uns les autres et qui inter-opèrent à l'intérieur de frontières ouvertes ou non sur l'environnement.
Physique de la matière condenséeLa physique de la matière condensée est la branche de la physique qui étudie les propriétés microscopiques et macroscopiques de la matière dans un état dit « condensé ». Ce terme doit être entendu par opposition à d'autres états de la matière, plus dilués, tels que l’état gazeux et les plasmas, ou encore par opposition à l’étude des atomes ou molécules isolés ou peu nombreux. Son objet d’étude consiste donc principalement dans les solides, ce qui explique que cette branche de la physique a longtemps été désignée par le terme de « physique des solides ».
ÉlectrodynamiqueL’électrodynamique est la discipline physique qui étudie et traite des actions dynamiques entre les courants électriques. On distingue l’électrodynamique classique et l’électrodynamique quantique. Tout phénomène d'électrodynamique classique est décrit par les équations de Maxwell. En 1820, André-Marie Ampère, après avoir été informé de l'expérience de Hans Christian Ørsted mettant en évidence l’interaction entre un courant électrique et un aimant, formalise mathématiquement, pour la première fois, les forces d'interaction entre aimants et courants et les forces mutuelles entre courants.
Gauge covariant derivativeIn physics, the gauge covariant derivative is a means of expressing how fields vary from place to place, in a way that respects how the coordinate systems used to describe a physical phenomenon can themselves change from place to place. The gauge covariant derivative is used in many areas of physics, including quantum field theory and fluid dynamics and in a very special way general relativity. If a physical theory is independent of the choice of local frames, the group of local frame changes, the gauge transformations, act on the fields in the theory while leaving unchanged the physical content of the theory.
Langage intermédiaireEn informatique, un langage intermédiaire (parfois abrégé en IL, de l'anglais Intermediate Language) est le langage d'une machine abstraite conçu pour l'analyse d'un programme informatique. Le terme vient de son utilisation dans les compilateurs, où un compilateur transcrit d'abord le code source d'un programme en une forme plus adaptée pour les transformations d'amélioration de code, comme un état intermédiaire avant de générer du code objet ou du langage machine pour une machine cible, c’est-à-dire la machine sur laquelle sera exécutée le programme.
Boson de jaugeEn physique des particules, un boson de jauge est une particule élémentaire de la classe des bosons qui agit comme porteur d'une interaction élémentaire. Plus spécifiquement, les particules élémentaires dont les interactions sont décrites par une théorie de jauge exercent l'une sur l'autre des forces par échange de bosons de jauge, généralement sous forme de particules virtuelles. Le modèle standard décrit trois sortes de bosons de jauge : les photons, les bosons W et Z et les gluons.
Systems modelingSystems modeling or system modeling is the interdisciplinary study of the use of models to conceptualize and construct systems in business and IT development. A common type of systems modeling is function modeling, with specific techniques such as the Functional Flow Block Diagram and IDEF0. These models can be extended using functional decomposition, and can be linked to requirements models for further systems partition.
Langage de description de matérielUn langage de description de matériel, ou du matériel (ou HDL pour hardware description language en anglais) est un langage informatique permettant la description d'un circuit électronique au niveau des transferts de registres (RTL). Celui-ci peut décrire les fonctions réalisées par le circuit (description comportementale) ou les portes logiques utilisées par le circuit (description structurelle). Il est possible d'observer le fonctionnement d'un circuit électronique modélisé dans un langage de description grâce à la simulation.
ResonatorA resonator is a device or system that exhibits resonance or resonant behavior. That is, it naturally oscillates with greater amplitude at some frequencies, called resonant frequencies, than at other frequencies. The oscillations in a resonator can be either electromagnetic or mechanical (including acoustic). Resonators are used to either generate waves of specific frequencies or to select specific frequencies from a signal. Musical instruments use acoustic resonators that produce sound waves of specific tones.
Precision tests of QEDQuantum electrodynamics (QED), a relativistic quantum field theory of electrodynamics, is among the most stringently tested theories in physics. The most precise and specific tests of QED consist of measurements of the electromagnetic fine-structure constant, α, in various physical systems. Checking the consistency of such measurements tests the theory. Tests of a theory are normally carried out by comparing experimental results to theoretical predictions.
RenormalisationEn théorie quantique des champs (ou QFT), en mécanique statistique des champs, dans la théorie des structures géométriques autosimilaires, une renormalisation est une manière, variable dans sa nature, de prendre la limite du continu quand certaines constructions statistiques et quantiques deviennent indéfinies. La renormalisation détermine la façon de relier les paramètres de la théorie quand ces paramètres à grande échelle diffèrent de leur valeur à petite échelle.
Théorie effectiveLa théorie quantique des champs fournit une procédure systématique permettant de calculer de façon perturbative toutes les observables d'une théorie (c'est-à-dire les fonctions de corrélation entre les différents opérateurs quantifiés de la théorie) étant donné son Lagrangien microscopique. Les degrés de liberté de la théorie étant classés selon leur masse, il apparaît que pour des énergies d'observation faibles, la contribution dominante aux observables provient des excitations les plus légères (on dit que seuls ces degrés de liberté sont visibles) et que la contribution des excitations plus massives joue le rôle de correction au résultat fourni par les excitations visibles.
