Régulateur de tensionUn régulateur de tension, est un organe électrotechnique ou un composant électronique qui maintient à sa sortie, dans certaines limites, une tension constante, indépendamment de la charge et de la tension d'entrée. Jusque dans les années 1970, les automobiles utilisaient un régulateur électromécanique pour réguler la tension de sortie de leur dynamo ou de leur alternateur. Ces régulateurs utilisent plusieurs relais commutant des résistances afin de faire varier le courant d'excitation de l'alternateur et rendre ainsi sa tension de sortie indépendante du régime de rotation du moteur et de la consommation électrique.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Système-mondeLe système-monde est une théorie marxiste des relations internationales qui s'inscrit dans le post-marxisme économique. Le concept est inspiré de celui d'économie-monde de Fernand Braudel. Développé par Immanuel Wallerstein, Giovanni Arrighi et Samir Amin, la théorie du système-monde se fonde sur des conclusions de l'école de la dépendance pour décrire le système sur lequel se fonde l'impérialisme. Selon ce concept, le sous-développement des pays du Sud serait dû à leur place dans la structure de l'ordre économique international.
World-systemA world-system is a socioeconomic system, under systems theory, that encompasses part or all of the globe, detailing the aggregate structural result of the sum of the interactions between polities. World-systems are usually larger than single states, but do not have to be global. The Westphalian System is the preeminent world-system operating in the contemporary world, denoting the system of sovereign states and nation-states produced by the Westphalian Treaties in 1648.
Interférence inter-symboleEn télécommunications, une interférence inter-symbole (en anglais, intersymbol interference ou ISI) est une forme de distorsion d'un signal qui a pour effet que le symbole transmis précédemment affecte le symbole actuellement reçu. C'est en principe un effet non désiré car l'effet du symbole précédent agit comme du bruit, ce qui rend la communication moins fiable. Il existe des solutions pour réduire les interférences inter-symboles par exemple l'algorithme de Viterbi, l'OFDM et l'OFDMA.
Oscillation de relaxationLes oscillations de relaxation sont des oscillations non linéaires, obtenues par augmentation continue d'une contrainte, puis relâchement subit de celle-ci. Lorsque la contrainte devient trop forte, la partie résistante cède brusquement, une partie de l'énergie est évacuée, la contrainte croît à nouveau et le cycle recommence. On peut illustrer cela par un filet d'eau qui remplit un récipient articulé autour d'un axe horizontal. Lorsque le récipient est plein, il devient instable et se vide d'un coup puis revient en place.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Signalisation différentielleLa signalisation différentielle, ou transmission différentielle, est une méthode de transmission de signal électrique dans laquelle l'information est la différence entre les signaux transmis sur deux lignes. La transmission différentielle s'utilise aussi bien avec un signal analogique, comme en téléphonie, qu'avec un signal logique, comme en informatique. Elle permet de diminuer la sensibilité aux interférences. Au lieu de transmettre le signal comme tension par rapport à la masse, on utilise deux conducteurs, l'un convoyant le signal, et l'autre son inverse.
Maximum power point trackerUn Maximum Power Point Tracking (abrégé MPPT, litt. suivi du point maximal de puissance - SPMP), régulateur MPP ou un tracker MPP est un principe permettant de suivre, comme son nom l'indique, le point de puissance maximale d'un générateur électrique non linéaire. Les systèmes MPPT sont généralement associés avec les générateurs photovoltaïques ou encore avec les générateurs éoliens. Afin de simplifier la compréhension, l'explication qui suit est appliquée à un système de panneaux photovoltaïques.
Modulation par déplacement de fréquenceLa modulation par déplacement de fréquence (MDF), plus connue sous sa dénomination anglophone frequency-shift keying (FSK) est un mode de modulation de fréquence numérique dans lequel la fréquence du signal modulé varie entre des fréquences prédéterminées. Généralement, la fréquence instantanée peut prendre deux valeurs discrètes appelées mark et space. Il s'agit d'une forme non-cohérente de FSK. Dans les formes cohérentes de FSK, il n'y a pas de discontinuité de phase dans le signal de sortie.
