Dopage (semi-conducteur)Dans le domaine des semi-conducteurs, le dopage est l'action d'ajouter des impuretés en petites quantités à une substance pure afin de modifier ses propriétés de conductivité. Les propriétés des semi-conducteurs sont en grande partie régies par la quantité de porteurs de charge qu'ils contiennent. Ces porteurs sont les électrons ou les trous. Le dopage d'un matériau consiste à introduire, dans sa matrice, des atomes d'un autre matériau. Ces atomes vont se substituer à certains atomes initiaux et ainsi introduire davantage d'électrons ou de trous.
Transistorvignette|Quelques modèles de transistors. Le transistor est un composant électronique à semi-conducteur permettant de contrôler ou d'amplifier des tensions et des courants électriques. C'est le composant actif le plus important des circuits électroniques aussi bien en basse qu'en haute tension : circuits logiques (il permet, assemblé avec d'autres, d'effectuer des opérations logiques pour des programmes informatiques), amplificateur, stabilisateur de tension, modulation de signal Les transistors revêtent une importance particulière dans les circuits intégrés, ce qui rend possible la microélectronique.
Énergie solaire thermiqueupright|vignette|Un champ de capteurs solaires au Danemark au sein d'une centrale de chauffage solaire, permettant de récupérer l'énergie thermique du rayonnement solaire. L'énergie solaire thermique est l'énergie thermique du rayonnement solaire. Elle est captée dans le but d'échauffer un fluide (liquide ou gaz). L'énergie reçue par le fluide peut être ensuite utilisée directement (eau chaude sanitaire, chauffage) ou indirectement (production de vapeur d'eau pour entraîner des alternateurs et ainsi obtenir de l'énergie électrique, production de froid).
Arséniure de galliumL'arséniure de gallium est un composé chimique de formule brute GaAs appartenant à la famille des semiconducteurs -. C'est un matériau semi-conducteur à gap direct présentant une structure cristalline cubique de type sphalérite (blende). Il est utilisé notamment pour réaliser des composants micro-ondes, des circuits intégrés monolithiques hyperfréquences, des composants opto-électroniques, des diodes électroluminescentes dans l'infrarouge, des diodes laser, des cellules photovoltaïques et des fenêtres optiques.
Centrale thermiqueUne centrale thermique est une centrale électrique qui fonctionne à partir d'une source de chaleur selon le principe des machines thermiques. Cette transformation se fait soit directement, par détente des gaz de combustion, soit indirectement, par exemple à travers un cycle eau-vapeur. Les installations à cogénération utilisent en outre une partie de la chaleur résiduelle pour d'autres applications, telles que les réseaux de chaleur.
Cellule CIGSLe sigle CIGS (pour les éléments chimiques cuivre, indium, gallium et sélénium) désigne à la fois : une technique d'élaboration des cellules photovoltaïques en couches minces et de haute performance. le matériau semiconducteur fait d'un alliage permettant de réaliser ces cellules. Dans le CIGS, la concentration d'indium et de gallium peut varier entre du séléniure de cuivre et d'indium (CIS) pur, et du séléniure de cuivre et de gallium (CGS) pur. C’est un semi-conducteur à structure de chalcopyrite.
Rendement (physique)En physique, le rendement est défini comme une grandeur sans dimension qui caractérise l'efficacité d'une transformation, physique ou chimique. En physique, la grandeur caractérise généralement la conversion d'une forme d'énergie en une autre. Pour un système réalisant une conversion d'énergie (transformateur, moteur, pompe à chaleur), le rendement est défini par certains auteurs comme étant le rapport entre l'énergie recueillie en sortie et l'énergie fournie en entrée, qui confond alors les termes d'efficacité thermodynamique et de rendement thermodynamique.
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.
Thermal energy storageThermal energy storage (TES) is achieved with widely different technologies. Depending on the specific technology, it allows excess thermal energy to be stored and used hours, days, months later, at scales ranging from the individual process, building, multiuser-building, district, town, or region. Usage examples are the balancing of energy demand between daytime and nighttime, storing summer heat for winter heating, or winter cold for summer air conditioning (Seasonal thermal energy storage).
Capteur solaire thermiqueUn capteur solaire thermique (ou capteur solaire, ou capteur hélio-thermique, ou encore panneau solaire) est un dispositif conçu pour recueillir l'énergie solaire transmise par rayonnement et la transférer à un fluide caloporteur (gaz ou liquide) sous forme de chaleur. Cette énergie thermique peut ensuite être utilisée pour le chauffage de bâtiments, pour la production d'eau chaude sanitaire ou encore dans divers procédés industriels. Cette technologie est différente de celle des panneaux photovoltaïques, qui transforment la lumière (les photons) en électricité.
PhotoluminescenceLa photoluminescence (PL) est un processus par lequel une substance absorbe des photons puis ré-émet des photons. Dans le cas d'un semi-conducteur, le principe est d'exciter des électrons de la bande de valence avec un photon d'une énergie supérieure à l'énergie de gap du composé, de telle sorte qu'ils se retrouvent dans la bande de conduction. L'excitation fait donc passer les électrons vers un état d'énergie supérieure avant qu'ils ne reviennent vers un niveau énergétique plus bas avec émission d'un photon.
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.
Composant semi-conducteurvignette|Aperçu de quelques dispositifs semi-conducteurs encapsulés Un composant semi-conducteur est un composant électronique dont le fonctionnement repose sur les propriétés électroniques d'un matériau semi-conducteur (principalement le silicium, le germanium et l'arséniure de gallium, ainsi que des semi-conducteurs organiques). Sa conductivité se situe entre les conducteurs et les isolants. Les composants semi-conducteurs ont remplacé les tubes à vide dans la plupart des applications.
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.
Magnetic semiconductorMagnetic semiconductors are semiconductor materials that exhibit both ferromagnetism (or a similar response) and useful semiconductor properties. If implemented in devices, these materials could provide a new type of control of conduction. Whereas traditional electronics are based on control of charge carriers (n- or p-type), practical magnetic semiconductors would also allow control of quantum spin state (up or down).
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
MODFETLe MODFET (modulated-doping field effect transistor) ou transistor à effet de champ à dopage modulé est un type de transistor à effet de champ (FET). Il est connu aussi sous le nom de HEMT (High Electron Mobility Transistor), ou transistor à électron à haute mobilité. Comme les autres FET, les MODFET sont utilisés dans les circuits intégrés comme interrupteur numérique. vignette|Structure de bande d'un transistor HEMT n-AlGaAs/GaAs montrant la présence d'une zone de gaz d'électrons 2D.
Énergie thermique des mersthumb|upright=1.5|Différences de température des océans entre la surface et une profondeur de . L'énergie thermique des mers (ETM) ou énergie maréthermique est produite en exploitant la différence de température entre les eaux superficielles et les eaux profondes des océans. Un acronyme souvent rencontré est OTEC, pour . L'Union européenne utilise le terme énergie hydrothermique pour .
Crystalline siliconCrystalline silicon or (c-Si) Is the crystalline forms of silicon, either polycrystalline silicon (poly-Si, consisting of small crystals), or monocrystalline silicon (mono-Si, a continuous crystal). Crystalline silicon is the dominant semiconducting material used in photovoltaic technology for the production of solar cells. These cells are assembled into solar panels as part of a photovoltaic system to generate solar power from sunlight. In electronics, crystalline silicon is typically the monocrystalline form of silicon, and is used for producing microchips.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
