Logique intuitionnisteLa logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve constructive. Une proposition telle que « la constante d'Euler-Mascheroni est rationnelle ou la constante d'Euler-Mascheroni n'est pas rationnelle » n'est pas démontrée de manière constructive (intuitionniste) dans le cadre de nos connaissances mathématiques actuelles, car la tautologie classique « P ou non P » (tiers exclu) n'appartient pas à la logique intuitionniste.
Série 4000vignette|Schéma équivalent du circuit de protection des entrées des portes logiques CMOS 4000B de Fairchild. La série 4000 est la classification utilisée pour référencer les circuits intégrés standards qui implémentent une variété de fonctions logiques utilisant la technologie CMOS. Cette série fut introduite par RCA sous le nom CD4000 COS/MOS en 1968, avec une alimentation basse tension et une alternative plus souple aux circuits intégrés 7400 utilisant une technologie logique TTL.
Courant alternatifLe courant alternatif (qui peut être abrégé par CA) est un courant électrique périodique qui change de sens deux fois par période et qui transporte des quantités d'électricité alternativement égales dans un sens et dans l'autre. Un courant alternatif a donc une composante continue (valeur moyenne) nulle. Un courant alternatif est caractérisé par sa fréquence, mesurée en hertz (Hz). La fréquence correspond au nombre de périodes du signal en une seconde (une oscillation = une période).
Logique paracohérenteEn logique mathématique, une logique paracohérente (aussi appelé logique paraconsistante) est un système logique qui tolère les contradictions, contrairement au système de la logique classique. Les logiques tolérantes aux incohérences sont étudiées depuis au moins 1910, avec des esquisses remontant sans doute au temps d'Aristote. Le terme paracohérent - (à côté du cohérent, paraconsistent en anglais) - n'a été employé qu'après 1976 par le philosophe péruvien .
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.
Energy consumptionEnergy consumption is the amount of energy used. In the body, energy consumption is part of energy homeostasis. It derived from food energy. Energy consumption in the body is a product of the basal metabolic rate and the physical activity level. The physical activity level are defined for a non-pregnant, non-lactating adult as that person's total energy expenditure (TEE) in a 24-hour period, divided by his or her basal metabolic rate (BMR): Topics related to energy consumption in a demographic sense are: Wo
Voltage dropIn electronics, voltage drop is the decrease of electric potential along the path of a current flowing in a circuit. Voltage drops in the internal resistance of the source, across conductors, across contacts, and across connectors are undesirable because some of the energy supplied is dissipated. The voltage drop across the load is proportional to the power available to be converted in that load to some other useful form of energy. For example, an electric space heater may have a resistance of ten ohms, and the wires that supply it may have a resistance of 0.
Porte logiquevignette|Composants TTL Une porte logique (gate) est un circuit électronique réalisant des opérations logiques (booléennes) sur une séquence de bits. Cette séquence est donnée par un signal d'entrée modulé en créneau (signal carré), et cadencé de façon précise par un circuit d'horloge, ou quartz. Les opérations logiques sont réalisées électriquement par une combinaison de bascules ou inverseurs, à base de transistors. Étant donné les capacités d'intégration en électronique, un circuit intégré comporte généralement plusieurs portes à la fois.
Courant continuLe courant continu ou CC (DC pour direct current en anglais) est un courant électrique dont l'intensité est indépendante du temps (constante). C'est, par exemple, le type de courant délivré par les piles ou les accumulateurs. Par extension, on nomme courant continu un courant périodique dont l'intensité est toujours assez proche de sa valeur moyenne ou dont la composante continue (sa valeur moyenne) est d'importance primordiale, ou encore un courant électrique qui circule continuellement (ou très majoritairement) dans le même sens (dit aussi unidirectionnel).
Ressources et consommation énergétiques mondialesLes réserves mondiales prouvées d'énergie fossile pouvaient être estimées en 2020, selon l'Agence fédérale allemande pour les sciences de la Terre et les matières premières, à , dont 55 % de charbon, 25 % de pétrole et 19 % de gaz naturel. Ces réserves assurent de production au rythme actuel ; cette durée est très variable selon le type d'énergie : pour le pétrole, pour le gaz naturel, pour le charbon. Pour l'uranium, avec les techniques actuelles, elle serait de 90 à selon les estimations, et sa durée d'utilisation pourrait se compter en siècles en ayant recours à la surgénération.
BiCMOSBiCMOS (contraction de Bipolar-CMOS) est le nom d'une technique de circuit intégré alliant les avantages du CMOS et du bipolaire en un seul circuit intégré. Plus récemment, les processus bipolaires ont été étendus pour inclure des dispositifs à haute mobilité utilisant des jonctions silicium-germanium. Les transistors bipolaires offrent une grande vitesse, un gain élevé et une faible impédance de sortie avec une consommation d'énergie relativement élevée par composant.
Tube fluorescentUn tube fluorescent est une lampe électrique de forme tubulaire, de la famille des lampes à décharge à basse pression. Il contient du mercure à l'état gazeux, dont les atomes sont ionisés sous l'effet d'un courant électrique appliqué entre les électrodes placées à chaque extrémité du tube ; ils émettent alors par luminescence un rayonnement essentiellement ultraviolet, qui est converti en lumière visible par la poudre fluorescente déposée sur les parois du tube. La couleur de la lumière émise dépend de la nature de la poudre fluorescente utilisée.
