Cellule photoélectrochimiqueUne cellule photoélectrochimique utilise la lumière et des réactions chimiques pour produire de l'électricité. C'est un composant électronique qui, exposé à la lumière (photon), décompose l'eau en oxygène et hydrogène. On peut ensuite utiliser cet hydrogène dans des piles à combustible ou des moteurs à hydrogène. Une telle cellule photoélectrochimique est formée d'une électrode photosensible immergée dans un électrolyte ou dans de l'eau.
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.
Semi-conducteurUn semi-conducteur est un matériau qui a les caractéristiques électriques d'un isolant, mais pour lequel la probabilité qu'un électron puisse contribuer à un courant électrique, quoique faible, est suffisamment importante. En d'autres termes, la conductivité électrique d'un semi-conducteur est intermédiaire entre celle des métaux et celle des isolants. Le comportement électrique des semi-conducteurs est généralement modélisé, en physique de l'état solide, à l'aide de la théorie des bandes d'énergie.
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.
Metal–semiconductor junctionIn solid-state physics, a metal–semiconductor (M–S) junction is a type of electrical junction in which a metal comes in close contact with a semiconductor material. It is the oldest practical semiconductor device. M–S junctions can either be rectifying or non-rectifying. The rectifying metal–semiconductor junction forms a Schottky barrier, making a device known as a Schottky diode, while the non-rectifying junction is called an ohmic contact.
Photosynthèse artificielleLa photosynthèse artificielle est un procédé chimique qui imite la photosynthèse naturelle des plantes afin de transformer l'énergie solaire en énergie chimique. Photosynthèse La photosynthèse existe chez les végétaux chlorophylliens et chez certaines bactéries (cyanophycées). Elle consiste en une suite de réactions biochimiques provoquées par la lumière, le type d'énergie faisant réagir des molécules minérales simples (CO2, H2O...). Ces réactions entraînent la production de molécules organiques glucidiques de masse molaire relativement faible.
Statistical model validationIn statistics, model validation is the task of evaluating whether a chosen statistical model is appropriate or not. Oftentimes in statistical inference, inferences from models that appear to fit their data may be flukes, resulting in a misunderstanding by researchers of the actual relevance of their model. To combat this, model validation is used to test whether a statistical model can hold up to permutations in the data.
Validation croiséeLa validation croisée () est, en apprentissage automatique, une méthode d’estimation de fiabilité d’un modèle fondée sur une technique d’échantillonnage. Supposons posséder un modèle statistique avec un ou plusieurs paramètres inconnus, et un ensemble de données d'apprentissage sur lequel on peut apprendre (ou « entraîner ») le modèle. Le processus d'apprentissage optimise les paramètres du modèle afin que celui-ci corresponde le mieux possible aux données d'apprentissage.
Contact ohmiquevignette|481x481px|Schéma de bandes du métal et du semi-conducteur en interaction où Φm
Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
Craquage de l'eau par photocatalyseLe craquage de l'eau par photocatalyse est l'utilisation de photons suffisamment énergétiques pour craquer les molécules d'eau en les clivant de manière électrochimique afin de produire hydrogène et oxygène , selon une réaction chimique qui s'écrit simplement : 2 + 4 hν ⟶ 2 + , l'énergie minimale des photons incidents étant . Une telle réaction a été décrite pour la première fois en 1972 pour des longueurs d'onde inférieures à .
Travail de sortieEn physique, en mécanique quantique, le travail de sortie ou travail d'extraction est l'énergie minimum, mesurée en électron-volts, nécessaire pour arracher un électron depuis le niveau de Fermi d'un métal jusqu'à un point situé à l'infini en dehors du métal (niveau du vide). Le travail de sortie est approximativement la moitié de l'énergie d'ionisation d'un atome libre du même métal. L'effet photoélectrique consiste en une libération d'un électron lorsqu'un photon doté d'une énergie supérieure au travail de sortie arrive sur le métal.
StatistiqueLa statistique est la discipline qui étudie des phénomènes à travers la collecte de données, leur traitement, leur analyse, l'interprétation des résultats et leur présentation afin de rendre ces données compréhensibles par tous. C'est à la fois une branche des mathématiques appliquées, une méthode et un ensemble de techniques. ce qui permet de différencier ses applications mathématiques avec une statistique (avec une minuscule). Le pluriel est également souvent utilisé pour la désigner : « les statistiques ».
Inférence statistiquevignette|Illustration des 4 principales étapes de l'inférence statistique L'inférence statistique est l'ensemble des techniques permettant d'induire les caractéristiques d'un groupe général (la population) à partir de celles d'un groupe particulier (l'échantillon), en fournissant une mesure de la certitude de la prédiction : la probabilité d'erreur. Strictement, l'inférence s'applique à l'ensemble des membres (pris comme un tout) de la population représentée par l'échantillon, et non pas à tel ou tel membre particulier de cette population.
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.
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.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Solar fuelA solar fuel is a synthetic chemical fuel produced from solar energy. Solar fuels can be produced through photochemical (i.e. activation of certain chemical reactions by photons), photobiological (i.e., artificial photosynthesis), and electrochemical reactions (i.e. using the electricity from solar panels to drive a chemical reaction). Solar fuels can also be produced by thermochemical reactions (i.e., through the use of solar heat supplied by concentrated solar thermal energy to drive a chemical reaction).
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
Regression validationIn statistics, regression validation is the process of deciding whether the numerical results quantifying hypothesized relationships between variables, obtained from regression analysis, are acceptable as descriptions of the data. The validation process can involve analyzing the goodness of fit of the regression, analyzing whether the regression residuals are random, and checking whether the model's predictive performance deteriorates substantially when applied to data that were not used in model estimation.
