Photoelectrolysis of waterPhotoelectrolysis of water, also known as photoelectrochemical water splitting, occurs in a photoelectrochemical cell when light is used as the energy source for the electrolysis of water, producing dihydrogen which can be used as a fuel. This process is one route to a "hydrogen economy", in which hydrogen fuel is produced efficiently and inexpensively from natural sources without using fossil fuels. In contrast, steam reforming usually or always uses a fossil fuel to obtain hydrogen.
Cellule solaire à pigment photosensibleUne cellule solaire à pigment photosensible parfois appelée cellules Grätzel (en anglais, Dye-sensitized solar cell ou DSC) est un système photoélectrochimique inspiré de la photosynthèse végétale qui, exposé à la lumière (photons), produit de l’électricité. Elle est souvent désignée par l'acronyme dérivé de son appellation en anglais : dye-sensitized solar cell, DSC, DSSc voire DYSC). Les cellules Grätzel ont été nommées ainsi en référence à son concepteur, Michael Grätzel, de l’École polytechnique fédérale de Lausanne.
Science des surfacesLa science des surfaces est une section de la science des matériaux consacrée à l'étude des phénomènes physiques et chimiques qui se produisent à l' entre deux phases ou entre une phase et le vide. Les propriétés de la matière en surface sont en effet distinctes de celles du cœur des matériaux (bulk). Par exemple, la coordinence des atomes en surface est inférieure à celle des atomes du reste du matériau ce qui induit une réactivité particulière de ces derniers.
Couche minceUne couche mince () est un revêtement dont l’épaisseur peut varier de quelques couches atomiques à une dizaine de micromètres. Ces revêtements modifient les propriétés du substrat sur lesquels ils sont déposés. Ils sont principalement utilisés : dans la fabrication de composants électroniques telles des cellules photovoltaïques en raison de leurs propriétés isolantes ou conductrices ; pour la protection d'objets afin d'améliorer les propriétés mécaniques, de résistance à l’usure, à la corrosion ou en servant de barrière thermique.
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.
Infrastructure hydrogèneLes infrastructures hydrogène sont les infrastructures de transport par pipeline de l'hydrogène, les points de production d'hydrogène et les stations à hydrogène (parfois regroupées comme une autoroute de l'hydrogène) pour la distribution ainsi que la vente de carburant hydrogène, et donc une condition préalable cruciale avant une commercialisation réussie de technologie de la pile à combustible automobile.
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.
TempératureLa température est une grandeur physique mesurée à l’aide d’un thermomètre et étudiée en thermométrie. Dans la vie courante, elle est reliée aux sensations de froid et de chaud, provenant du transfert thermique entre le corps humain et son environnement. En physique, elle se définit de plusieurs manières : comme fonction croissante du degré d’agitation thermique des particules (en théorie cinétique des gaz), par l’équilibre des transferts thermiques entre plusieurs systèmes ou à partir de l’entropie (en thermodynamique et en physique statistique).
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.
Dioxyde d'uraniumLe dioxyde d'uranium, ou oxyde d'uranium(IV), est l'oxyde d'uranium de formule chimique . C'est un solide noir dont la maille cristalline est constituée d'atomes d'uranium en sous-réseau cubique à faces centrées et d'atomes d'oxygène en sous-réseau cubique. C'est le constituant naturel de la pechblende, qui est le principal minerai d'uranium. Le minerai d'uranium est industriellement traité, à partir du trioxyde d'uranium lors des processus d'enrichissement de l'uranium et de traitement des déchets nucléaires : → + à .
