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.
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.
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.
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.
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.
É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).
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.
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.
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.
