Poison à neutronsUn poison neutronique (également appelé « absorbeur de neutrons » ou « poison nucléaire ») est une substance ayant une grande section d'absorption de neutrons, et qui a de ce fait un impact significatif dans le bilan neutronique d'un réacteur nucléaire. Dans les réacteurs nucléaires, l'absorption des neutrons a notamment un effet d'empoisonnement du réacteur. Cet empoisonnement est principalement dû à la capture de neutrons par des produits de fission de demi-vie courte dont le principal est le xénon 135 ou par des produits de fission de demi-vie plus longue ou stable comme le samarium 149 et le gadolinium 157.
Pile à combustible à oxyde solideLes piles à combustibles à oxydes solides (ou SOFC selon l'acronyme anglais de Solid oxide fuel cells) sont prévues essentiellement pour les applications stationnaires avec une puissance de sortie allant de 1 kW à 2 MW. Elles fonctionnent à très hautes températures, typiquement entre et (723 et 1273 K). Leurs rejets gazeux peuvent être utilisés pour alimenter une turbine à gaz secondaire afin d'accroître le rendement électrique.
Fuel efficiencyFuel efficiency is a form of thermal efficiency, meaning the ratio of effort to result of a process that converts chemical potential energy contained in a carrier (fuel) into kinetic energy or work. Overall fuel efficiency may vary per device, which in turn may vary per application, and this spectrum of variance is often illustrated as a continuous . Non-transportation applications, such as industry, benefit from increased fuel efficiency, especially fossil fuel power plants or industries dealing with combustion, such as ammonia production during the Haber process.
Équations de Navier-Stokesthumb|Léonard de Vinci : écoulement dans une fontaine En mécanique des fluides, les équations de Navier-Stokes sont des équations aux dérivées partielles non linéaires qui décrivent le mouvement des fluides newtoniens (donc des gaz et de la majeure partie des liquides). La résolution de ces équations modélisant un fluide comme un milieu continu à une seule phase est difficile, et l'existence mathématique de solutions des équations de Navier-Stokes n'est pas démontrée.
Source de courantUne source de courant est un dispositif pouvant produire un courant électrique constant fonctionnant sur une plage de tension donnée. vignette|Source de courant parfaite (rouge) ; source de courant idéale sur une plage de tension (vert) ; source de courant avec résistance en parallèle (turquoise). Ce dispositif produit un courant stable I quelle que soit la tension à ses bornes. Une source de courant réelle a une résistance interne en parallèle de très grande valeur (infinie dans le cas d'une source idéale).
Fioul lourdLes fiouls lourds (abrégés en FOL, ou HFO, de l'anglais heavy fuel-oil) ou mazouts lourds sont des combustibles à haute viscosité. Ce sont un mélange complexes d'hydrocarbures pétroliers : produits intermédiaires de distillats et de résidus de distillation en raffinerie ou d'une unité de craquage. Le mazout lourd mis sur le marché comme « carburant final » est habituellement un mélange de mazouts lourds et d’hydrocarbures de meilleure qualité employés comme diluants.
Program analysisIn computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what it is supposed to do.
Fioulthumb|Un réservoir de fioul en Australie. Le fioul ou mazout est un combustible dérivé du pétrole, utilisé notamment dans les chaudières. Il est classé dans les ressources énergétiques fossiles. Il présente des rendements élevés mais, compte tenu de sa très large utilisation pour la production d'énergie thermique (pour le chauffage en chaudière) et mécanique (moteurs dits thermiques), il contribue notablement à la pollution de l'air par l'émission de particules fines cancérigènes et au réchauffement climatique par l'émission de .
Analyse statique de programmesEn informatique, la notion d’analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d'un programme lors de son exécution sans réellement l'exécuter. C'est cette dernière restriction qui distingue l'analyse statique des analyses dynamiques (comme le débugage ou le profiling) qui s'attachent, elles, au suivi de l’exécution du programme. L’analyse statique est utilisée pour repérer des erreurs formelles de programmation ou de conception et pour déterminer la facilité ou la difficulté à maintenir le code.
Convection thermiqueLa convection (thermique) désigne le transfert d'énergie thermique au sein d'un fluide en mouvement ou entre un fluide en mouvement et une paroi solide. Ce transfert d'énergie est réalisé par deux modes de transfert élémentaire combinés que sont l'advection et la diffusion. La convection constitue, avec la conduction et le rayonnement, l'un des trois modes d'échange de chaleur entre deux systèmes, et diffère de ces derniers par la méthode de transfert.
