Transistor bipolairevignette|Vue interne d'un transistor bipolaire de puissance 2N3055 conçu dans les années 1970. vignette|Transistor bipolaire monté en surface. Un transistor bipolaire est un dispositif électronique à base de semi-conducteur de la famille des transistors. Son principe de fonctionnement est basé sur deux jonctions PN, l'une en direct et l'autre en inverse. La polarisation de la jonction PN inverse par un faible courant électrique (parfois appelé effet transistor) permet de « commander » un courant beaucoup plus important, suivant le principe de l'amplification de courant.
HiSiliconHiSilicon Technology Co., Ltd ( ou plus simplement ), est une entreprise de semi-conducteurs chinoise de Shenzhen, filiale de l'entreprise de produits de télécommunication Huawei, fondée en 2004 à partir de l'ancienne division de production d'ASIC de la société, créée en 1991. Elle s'est lancée la même année dans le développement de technologies de processeurs RISC, sous licence de la firme britannique ARM. La société est basée à Shenzhen, et a également des filiales à Pékin, Shanghai, dans la Silicon Valley (aux États-Unis d'Amérique) et en Suède.
Jonction p-nvignette|230px|Jonction p-n dans du silicium. Sur ce schéma, les régions p et n sont reliées à des contacts métalliques, ce qui suffit à transformer la jonction en diode. vignette|230px|Le symbole d'une diode associé à la représentation d'une jonction p-n. En physique des semi-conducteurs, une jonction p-n désigne une zone du cristal où le dopage varie brusquement, passant d'un dopage p à un dopage n.
Circuit intégré à signaux mixtesA mixed-signal integrated circuit is any integrated circuit that has both analog circuits and digital circuits on a single semiconductor die. Their usage has grown dramatically with the increased use of cell phones, telecommunications, portable electronics, and automobiles with electronics and digital sensors. Integrated circuits (ICs) are generally classified as digital (e.g. a microprocessor) or analog (e.g. an operational amplifier). Mixed-signal ICs contain both digital and analog circuitry on the same chip, and sometimes embedded software.
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.
Power semiconductor deviceA power semiconductor device is a semiconductor device used as a switch or rectifier in power electronics (for example in a switch-mode power supply). Such a device is also called a power device or, when used in an integrated circuit, a power IC. A power semiconductor device is usually used in "commutation mode" (i.e., it is either on or off), and therefore has a design optimized for such usage; it should usually not be used in linear operation. Linear power circuits are widespread as voltage regulators, audio amplifiers, and radio frequency amplifiers.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Diodevignette|Différents types de diodes. La diode (du grec di deux, double ; odos voie, chemin) est un composant électronique. C'est un dipôle non linéaire et polarisé (ou non symétrique). Le sens de branchement d'une diode détermine le fonctionnement du circuit électronique dans lequel elle est placée. Sans précision ce mot désigne un dipôle qui ne laisse passer le courant électrique que dans un sens. Ce dipôle est appelé diode de redressement lorsqu'il est utilisé pour réaliser les redresseurs qui permettent de transformer le courant alternatif en courant continu.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
