Épitaxie par jet moléculaireL'épitaxie par jets moléculaires (ou MBE pour Molecular Beam Epitaxy) est une technique consistant à envoyer un ou plusieurs jets moléculaires vers un substrat préalablement choisi pour réaliser une croissance épitaxiale. Elle permet de faire croître des échantillons nanostructurés de plusieurs à une vitesse d'environ une monocouche atomique par seconde.
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.
ÉpitaxieL'épitaxie est une technique de croissance orientée, l'un par rapport à l'autre, de deux cristaux possédant un certain nombre d'éléments de symétrie communs dans leurs réseaux cristallins. On distingue l'homo-épitaxie, qui consiste à faire croître un cristal sur un cristal de nature chimique identique, et l'hétéro-épitaxie, dans laquelle les deux cristaux sont de natures chimiques différentes. Étymologiquement, « épi » en grec signifie « sur » et « taxis », « arrangement ».
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Épitaxie en phase vapeur aux organométalliquesL'épitaxie en phase vapeur aux organométalliques (EPVOM, aussi connue sous les acronymes anglophones MOVPE — metalorganic vapor phase epitaxy ou MOCVD — metalorganic chemical vapor deposition, terme plus général) est une technique de croissance cristalline dans laquelle les éléments à déposer, sous forme d'organométalliques ou d'hydrures, sont amenés vers le substrat monocristallin par un gaz vecteur. Cette technique de croissance est particulièrement prisée dans l'industrie des semi-conducteurs III-V en raison de la bonne reproductibilité et des fortes vitesses de croissance accessibles.
Porteur de chargeUn porteur de charge est, en sciences physiques, une particule ou une quasi-particule qui porte une charge électrique. En se déplaçant, les porteurs de charge créent un courant électrique, comme les ions dans les solutions liquides et les électrons dans les solides. En électronique cette notion est incontournable, les deux porteurs de charge considérés sont les électrons, portant une charge −e, les trous, peuvent se déplacer assez librement dans le réseau cristallin.
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.
Threshold voltageThe threshold voltage, commonly abbreviated as Vth or VGS(th), of a field-effect transistor (FET) is the minimum gate-to-source voltage (VGS) that is needed to create a conducting path between the source and drain terminals. It is an important scaling factor to maintain power efficiency. When referring to a junction field-effect transistor (JFET), the threshold voltage is often called pinch-off voltage instead.
Union typeIn computer science, a union is a value that may have any of several representations or formats within the same position in memory; that consists of a variable that may hold such a data structure. Some programming languages support special data types, called union types, to describe such values and variables. In other words, a union type definition will specify which of a number of permitted primitive types may be stored in its instances, e.g., "float or long integer".
HétérojonctionUne hétérojonction est une jonction entre deux semi-conducteurs dont les bandes interdites (gap, en langue anglaise) sont différentes. Les hétérojonctions ont une importance considérable en physique des semi-conducteurs et en optique. Une hétérojonction est une jonction formée par deux semi-conducteurs différents ou par un métal et un semi-conducteur. Quand les deux semi-conducteurs ont le même type de conductivité, on parle d'hétérojonction isotype. Lorsque le type de conductivité diffère, on parle d'hétérojonction anisotype.
