Relaxation continueEn informatique théorique et en recherche opérationnelle, la relaxation continue est une méthode qui consiste à interpréter de façon continue un problème combinatoire ou discret. Cette méthode est utilisée afin d'obtenir des informations sur le problème discret initial et parfois même pour obtenir sa solution. Les problèmes discrets ou combinatoires sont en effet très difficiles à traiter en raison de l'explosion combinatoire et il est courant de les traiter par une méthode de séparation et évaluation (branch and bound en anglais) : la relaxation continue fait partie des algorithmes d'évaluation nécessaire à la mise en œuvre de cette méthode.
Biomass to liquidBiomass to liquid (BtL or BMtL) is a multi-step process of producing synthetic hydrocarbon fuels made from biomass via a thermochemical route. According to a study done by the U.S. Department of Agriculture and the Department of Energy, the United States can produce at least 1.3 billion tons of cellulosic biomass each year without decreasing the amount of biomass needed for food, animal feed, or exports. The Fischer–Tropsch process is used to produce synfuels from gasified biomass.
Optimisation SDPEn mathématiques et en informatique théorique, l'optimisation SDP ou semi-définie positive, est un type d'optimisation convexe, qui étend l'optimisation linéaire. Dans un problème d'optimisation SDP, l'inconnue est une matrice symétrique que l'on impose d'être semi-définie positive. Comme en optimisation linéaire, le critère à minimiser est linéaire et l'inconnue doit également satisfaire une contrainte affine. L'optimisation SDP se généralise par l'optimisation conique, qui s'intéresse aux problèmes de minimisation d'une fonction linéaire sur l'intersection d'un cône et d'un sous-espace affine.
Méthode d'EulerEn mathématiques, la méthode d'Euler, nommée ainsi en l'honneur du mathématicien Leonhard Euler (1707 — 1783), est une procédure numérique pour résoudre par approximation des équations différentielles du premier ordre avec une condition initiale. C'est la plus simple des méthodes de résolution numérique des équations différentielles. thumb|Illustration de la méthode d'Euler explicite : l'avancée se fait par approximation sur la tangente au point initial.
Culture énergétiquevignette|upright=1.5|Plantation dans le cadre du programme de cultures énergétiques du département de l'Environnement, de l'Alimentation et des Affaires rurales (DEFRA) au Royaume-Uni. Une culture énergétique est une espèce végétale cultivée pour produire de la biomasse destinée à une valorisation énergétique, afin de produire de l'électricité ou de la chaleur. Ces plantes peuvent être ligneuses ou herbacées, ces dernières étant souvent des graminées (famille des Poaceae).
Stratégie d'évaluation (informatique)Un langage de programmation utilise une stratégie d'évaluation pour déterminer « quand » évaluer les arguments à l'appel d'une fonction (ou encore, opération, méthode) et « comment » passer les arguments à la fonction. Par exemple, dans l'appel par valeur, les arguments doivent être évalués avant d'être passés à la fonction. La stratégie d'évaluation d'un langage de programmation est spécifiée par la définition du langage même. En pratique, la plupart des langages de programmation (Java, C...
BioraffinerieLes bioraffineries ou agroraffineries sont des installations industrielles qui transforment (bioraffinage) les productions agricoles végétales et la biomasse en biocarburant, agrocarburant destinés à produire de la chaleur et de la puissance (agroénergie), ainsi qu'en produits chimiques à valeur ajoutée, biomatériaux voire en produits destinés à l'alimentation humaine, animale, etc.. Le concept de bioraffinerie est basé sur une recherche de valorisation optimisée de toutes les composantes des agro-ressources transformées (les coproduits pouvant parfois avoir plus de valeur que le produit principal).
Second-generation biofuelsSecond-generation biofuels, also known as advanced biofuels, are fuels that can be manufactured from various types of non-food biomass. Biomass in this context means plant materials and animal waste used especially as a source of fuel. First-generation biofuels are made from sugar-starch feedstocks (e.g., sugarcane and corn) and edible oil feedstocks (e.g., rapeseed and soybean oil), which are generally converted into bioethanol and biodiesel, respectively.
Évaluation paresseuseL’évaluation paresseuse (), appelée aussi appel par nécessité ou évaluation retardée est une technique d'implémentation des programmes récursifs pour laquelle l'évaluation d'un paramètre de fonction ne se fait pas avant que les résultats de cette évaluation ne soient réellement nécessaires. Ces résultats, une fois calculés, sont préservés pour des réutilisations ultérieures. Dans un langage comme Haskell, l'évaluation est paresseuse par défaut.
Méthode itérativeEn analyse numérique, une méthode itérative est un procédé algorithmique utilisé pour résoudre un problème, par exemple la recherche d’une solution d’un système d'équations ou d’un problème d’optimisation. En débutant par le choix d’un point initial considéré comme une première ébauche de solution, la méthode procède par itérations au cours desquelles elle détermine une succession de solutions approximatives raffinées qui se rapprochent graduellement de la solution cherchée. Les points générés sont appelés des itérés.
