Réseau électrique intelligentUn réseau électrique intelligent, ou smart grid en anglais, est un réseau de distribution d'électricité qui favorise la circulation d’information entre les fournisseurs et les consommateurs afin d’ajuster le flux d’électricité en temps réel et d'en permettre une gestion plus efficace. Ce type de réseaux intelligents utilise des techniques informatiques pour optimiser la production, la distribution, la consommation et éventuellement le stockage de l'énergie afin de mieux coordonner l'ensemble des mailles du réseau électrique, du producteur au consommateur final.
Équation de BurgersL'équation de Burgers est une équation aux dérivées partielles issue de la mécanique des fluides. Elle apparaît dans divers domaines des mathématiques appliquées, comme la modélisation de la dynamique des gaz, de l'acoustique ou du trafic routier. Elle doit son nom à Johannes Martinus Burgers qui l'a discutée en 1948. Elle apparaît dans des travaux antérieurs du mathématicien Andrew Forsyth et d'Harry Bateman.
Formule d'EulerLa formule d'Euler est une égalité mathématique, attribuée au mathématicien suisse Leonhard Euler. Elle s'écrit, pour tout nombre réel x, et se généralise aux x complexes. Ici, le nombre e est la base des logarithmes naturels, i est l'unité imaginaire, sin et cos sont des fonctions trigonométriques. Cette formule peut être interprétée en disant que la fonction x ↦ e, appelée fonction cis, décrit le cercle unité dans le plan complexe lorsque x varie dans l'ensemble des nombres réels.
Numerical linear algebraNumerical linear algebra, sometimes called applied linear algebra, is the study of how matrix operations can be used to create computer algorithms which efficiently and accurately provide approximate answers to questions in continuous mathematics. It is a subfield of numerical analysis, and a type of linear algebra. Computers use floating-point arithmetic and cannot exactly represent irrational data, so when a computer algorithm is applied to a matrix of data, it can sometimes increase the difference between a number stored in the computer and the true number that it is an approximation of.
Generalized algebraic data typeIn functional programming, a generalized algebraic data type (GADT, also first-class phantom type, guarded recursive datatype, or equality-qualified type) is a generalization of parametric algebraic data types. In a GADT, the product constructors (called data constructors in Haskell) can provide an explicit instantiation of the ADT as the type instantiation of their return value. This allows defining functions with a more advanced type behaviour.
Substructural type systemSubstructural type systems are a family of type systems analogous to substructural logics where one or more of the structural rules are absent or only allowed under controlled circumstances. Such systems are useful for constraining access to system resources such as , locks, and memory by keeping track of changes of state that occur and preventing invalid states. Several type systems have emerged by discarding some of the structural rules of exchange, weakening, and contraction: Ordered type systems (discard exchange, weakening and contraction): Every variable is used exactly once in the order it was introduced.
Conservation de la charge électriqueLa conservation de la charge électrique est un principe physique. Il exprime que la charge électrique d'un système isolé est un invariant. La charge électrique ne peut donc être qu'échangée avec un autre système mais ni créée ni annihilée. On dit qu'il s'agit d'une grandeur conservative. Ainsi, lors d'une réaction chimique, la somme totale des charges des espèces mises en jeu est conservée entre les réactifs et les produits. Lors d'une collision entre atomes, ions ou molécules, d'une désintégration radioactive, ou d'un échange énergie-matière, il en est de même.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Conservation de la masseLa conservation de la masse (ou de Lavoisier) est une loi fondamentale de la chimie et de la physique. Elle indique non seulement qu'au cours de toute expérience, y compris si elle implique une transformation chimique, la masse se conserve, mais aussi que le nombre d'éléments de chaque espèce chimique se conserve (cette loi ne s'applique pas à l'échelle nucléaire : voir défaut de masse). Comme toute loi de conservation elle s'exprime par une équation de conservation.
Arithmétique multiprécisionL'arithmétique multiprécision désigne l'ensemble des techniques mises en œuvre pour manipuler dans un programme informatique des nombres (entiers, rationnels, ou flottants principalement) de taille arbitraire. Il s'agit d'une branche de l'arithmétique des ordinateurs. On oppose l'arithmétique multi-précision à l'arithmétique en simple ou double précision, comme celle spécifiée par le standard IEEE 754 pour les nombres flottants.
