Démonstration automatique de théorèmesLa démonstration automatique de théorèmes (DAT) est l'activité d'un logiciel qui démontre une proposition qu'on lui soumet, sans l'aide de l'utilisateur. Les démonstrateurs automatiques de théorème ont résolu des conjectures intéressantes difficiles à établir, certaines ayant échappé aux mathématiciens pendant longtemps ; c'est le cas, par exemple, de la , démontrée en 1996 par le logiciel EQP.
Exponential stabilityIn control theory, a continuous linear time-invariant system (LTI) is exponentially stable if and only if the system has eigenvalues (i.e., the poles of input-to-output systems) with strictly negative real parts. (i.e., in the left half of the complex plane). A discrete-time input-to-output LTI system is exponentially stable if and only if the poles of its transfer function lie strictly within the unit circle centered on the origin of the complex plane. Systems that are not LTI are exponentially stable if their convergence is bounded by exponential decay.
Véhicule-réseauvignette|Une borne de recharge rapide pour véhicule électrique compatible avec le véhicule-réseau. Le véhicule-réseau (vehicle-to-grid, V2G) est un concept d'exploitation des véhicules électriques à prise, tels que les véhicules électriques à batterie (BEV) et les hybrides rechargeables (PHEV), et ceux à pile à combustible à l'hydrogène (FCEV), qui sont connectés au réseau électrique pour vendre des services de réponse à la demande, soit en renvoyant de l'électricité au réseau, soit en réduisant leur taux de charge.
Régulateur PIDLe régulateur PID, appelé aussi correcteur PID (proportionnel, intégral, dérivé) est un système de contrôle permettant d’améliorer les performances d'un asservissement, c'est-à-dire un système ou procédé en boucle fermée. C’est le régulateur le plus utilisé dans l’industrie où ses qualités de correction s'appliquent à de multiples grandeurs physiques. Le premier régulateur proportionnel à avoir été utilisé est probablement le régulateur à boules qui utilise des masses tournantes pour réguler une vitesse de rotation.
Secondary schoolA secondary school or a high school describes an institution that provides secondary education and also usually includes the building where this takes place. Some secondary schools provide both lower secondary education (ages 11 to 14) and upper secondary education (ages 14 to 18), i.e., both levels 2 and 3 of the ISCED scale, but these can also be provided in separate schools. In the US, most local secondary education systems have separate middle schools and high schools.
Fusible (électricité)Le coupe-circuit à fusible (souvent simplifié en fusible) est, en électricité et en électronique, un organe de sécurité dont le rôle est d'ouvrir un circuit électrique lorsque le courant électrique dans celui-ci atteint, ou dépasse, une valeur d'intensité donnée pendant un certain temps. Son nom vient du fait qu'il y a fusion d'un matériau conducteur sous l'effet de son élévation de température provoquée par la surintensité.
Ligne de transmissionUne ligne de transmission est un ensemble de deux conducteurs acheminant de concert un signal électrique, d'une source (ou émetteur) vers une charge (ou récepteur). On doit considérer une paire de conducteurs comme une ligne de transmission chaque fois que sa longueur est du même ordre de grandeur, ou plus, que la longueur d'onde de la fréquence la plus élevée du signal à transmettre. La charge étant connectée à l'extrémité de la ligne, la ligne permet de retrouver, sur son entrée, à son autre extrémité, la même résistance que la charge, cela quelle que soit la longueur de la ligne.
OnduleurUn onduleur est un dispositif d'électronique de puissance permettant de générer des tensions et des courants alternatifs à partir d'une source d'énergie électrique continue. Son fonctionnement est à dissocier des autres convertisseurs comme les convertisseurs AC/AC, les redresseurs (AC/DC) ou encore les convertisseurs DC/DC. Cependant un onduleur peut être associé à d'autres convertisseurs pour en changer la fonction. Le nom anglais de l'onduleur, « inverter », vient du fait qu'historiquement l'onduleur avait la fonction inverse d'un redresseur.
Educational stageEducational stages are subdivisions of formal learning, typically covering early childhood education, primary education, secondary education and tertiary education. The United Nations Educational, Scientific and Cultural Organization (UNESCO) recognizes nine levels of education in its International Standard Classification of Education (ISCED) system (from Level 0 (pre-primary education) through Level 8 (doctoral)). UNESCO's International Bureau of Education maintains a database of country-specific education systems and their stages.
Non-local variableIn programming language theory, a non-local variable is a variable that is not defined in the local scope. While the term can refer to global variables, it is primarily used in the context of nested and anonymous functions where some variables can be in neither the local nor the global scope. In Lua they are called the upvalues of the function. In the Python 3 example that follows there is a nested function inner defined in the scope of another function outer.
