Fabrication des dispositifs à semi-conducteursthumb|upright=1.5|Évolution de la finesse de gravure des processeurs entre 1970 et 2017 La fabrication des dispositifs à semi-conducteur englobe les différentes opérations permettant l'élaboration de composants électroniques basés sur des matériaux semi-conducteurs. Entrent dans cette catégorie de composants à semi-conducteur, les composants discrets qui n'ont qu'une seule fonction comme les diodes et les transistors, et les circuits intégrés plus complexes, intégrant plusieurs composants, jusqu'à des milliards, dans le même boîtier.
Microsystème électromécaniquevignette|Un accéléromètre MEMS. vignette|Un capteur de pression MEMS (sur une pièce qui donne l'échelle). Un microsystème électromécanique est un microsystème fabriqué à partir de matériaux semi-conducteurs. Il comprend un ou plusieurs éléments mécaniques et utilise l’électricité comme source d’énergie, en vue de réaliser une fonction de capteur ou d’actionneur, avec au moins une structure présentant des dimensions micrométriques ; la fonction du système étant en partie assurée par la forme de cette structure.
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.
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.
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.
Silicium polycristallinLe silicium polycristallin, aussi couramment appelé polysilicium ou poly-Si est une forme particulière du silicium, qui se différencie du silicium monocristallin et du silicium amorphe. Contrairement au premier (composé d'un seul cristal) et au second (n'ayant aucune ou une très faible cohérence cristallographique), le silicium polycristallin est constitué de multiples petits cristaux de tailles et de formes variées, qui lui confèrent des propriétés différentes des deux autres formes.
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.
MiroirUn miroir est un objet possédant une surface suffisamment polie pour qu'une s'y forme par réflexion et qui est conçu à cet effet. C'est souvent une couche métallique fine, qui, pour être protégée, est placée sous une plaque de verre pour les miroirs domestiques (les miroirs utilisés dans les instruments d'optiques comportent la face métallique au-dessus, le verre n'étant qu'un support de qualité mécanique stable). En termes de miroiterie, le miroir est une glace de petit volume, c'est-à-dire de petites dimensions.
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.
Semiconductor fabrication plantIn the microelectronics industry, a semiconductor fabrication plant (commonly called a fab; sometimes foundry) is a factory for semiconductor device fabrication. Fabs require many expensive devices to function. Estimates put the cost of building a new fab over one billion U.S. dollars with values as high as 3–4billionnotbeinguncommon.TSMCinvested9.3 billion in its Fab15 300 mm wafer manufacturing facility in Taiwan. The same company estimations suggest that their future fab might cost $20 billion. 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).
MicromachineryMicromachines are mechanical objects that are fabricated in the same general manner as integrated circuits. They are generally considered to be between 100 nanometres to 100 micrometres in size, though that is debatable. The applications of micromachines include accelerometers that detect when a car has hit an object and trigger an airbag. Complex systems of gears and levers are another application. The fabrication of these devices is usually done by two techniques, surface micromachining and bulk micromachining.
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.
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.
65 nmthumb|Processeur XCPU Falcon gravé en 65 nm désigne le procédé de fabrication des semi-conducteurs qui succède au procédé de fabrication par CMOS. Les premiers processeurs possédant cette technologie sont apparus sur le marché en 2006. Les processeurs Xenon de la génération "Falcon" sont gravés en technologie 65 nm, ainsi que les POWER6 et les Itanium 4 cores sortis en 2008. C'est également avec cette finesse qu'étaient gravés les CPU et GPU de certains modèles de PlayStation 3.
Miroir sphériqueUn miroir sphérique est un miroir dont la forme est une calotte sphérique, c'est-à-dire une sphère tronquée par un plan. L'ouverture du miroir est donc un disque, et son axe optique est la droite normale à l'ouverture et passant par son centre. Il existe des miroirs sphériques convexes et concaves. Le miroir sphérique est astigmatique, c'est-à-dire que des rayons issus d'un même point source ne convergent pas. Il n'est stigmatique que pour son centre qui est sa propre image.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Microfabricationalt=Micro-sculpture - Microlight3D|vignette|La « plus petite sculpture du monde », micro-autoportrait de l'artiste plasticien Michel Paysant imprimé en 3D avec une machine utilisant la technique de polymérisation à deux photons. La microfabrication est l'ensemble des techniques de fabrication permettant de produire des dispositifs avec des structures de l'ordre du micromètre et en dessous.
VLC media playerVLC media player (VLC) est un lecteur multimédia, libre et gratuit issu du projet VideoLAN. Ce logiciel multiplateforme, créé et maintenu en France, fonctionne entre autres sous Windows, GNU/Linux, BSD, macOS, iOS, Android, soit en tout près de . Il est distribué sous GPL et disponible dans . Un des grands atouts de VLC est qu'il intègre les codecs nécessaires à la lecture de la plupart des formats audio et vidéo. Cela lui permet de lire, mais aussi de convertir, un format dans un autre ; il peut par exemple extraire le son d'une vidéo.
RefletUn reflet est, en physique, l' virtuelle formée par la réflexion spéculaire d'un objet sur une surface. La nature spéculaire de la réflexion est liée aux caractéristiques du corps réfléchissant. Les formes les plus connues s'obtiennent par réflexion sur une surface métallique (miroir), le verre ou l'eau. L'image virtuelle est inversée et se trouve de manière symétrique à l'objet par rapport au plan de réflexion (lois de Descartes). Un reflet est aussi une nuance de lumière ou de couleur apparaissant sur un fond ou un motif.
