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.
SchemeScheme (prononciation : ) est un langage de programmation dérivé du langage fonctionnel Lisp, créé dans les années 1970 au Massachusetts Institute of Technology (MIT) par Gerald Jay Sussman et Guy L. Steele. Le but des créateurs du langage était d'épurer le Lisp en conservant les aspects essentiels, la flexibilité et la puissance expressive. Scheme a donc une syntaxe extrêmement simple, avec un nombre très limité de mots-clés. Comme en Lisp, la notation préfixée permet de s'affranchir d'une précédence des opérateurs.
Stratégie de régulationUne stratégie (ou topologie) de régulation est, pour un procédé industriel, l'organisation du système de contrôle-commande en vue de maintenir une grandeur physique dans une plage de tolérance donnée. Le choix de stratégie est très important dans les industries de transformation (par exemple les industries chimiques, papetières, agroalimentaires) en raison de la variabilité d'un nombre élevé de grandeurs physiques incidentes (dites « perturbations ») qui y sont présentes.
Pic de HubbertLe pic de Hubbert ou courbe de Hubbert, est une courbe en cloche proposée dans les années 1940 par le géophysicien Marion King Hubbert, qui modélise la production d'une matière première donnée, en particulier celle du pétrole. Cette courbe devint célèbre quand Hubbert en fit la présentation officielle à l'American Petroleum Institute en 1956, avec les deux points importants suivants : cette courbe en cloche passe par un maximum, indiquant que la production décline forcément par la suite ; elle est relativement symétrique par rapport à ce maximum.
Énergie griseL’énergie grise, ou énergie intrinsèque, est la quantité d'énergie consommée lors du cycle de vie d'un matériau ou d'un produit : la production, l'extraction, la transformation, la fabrication, le transport, la mise en œuvre, l'entretien et enfin le recyclage, à l'exception notable de l'utilisation. L'énergie grise est en effet une énergie cachée, indirecte, au contraire de l'énergie liée à l'utilisation, que le consommateur connaît, ou peut connaître aisément.
Racket (langage)Racket est un langage de programmation de la famille Lisp. Il fait partie du projet Racket (autrefois PLT Scheme), qui regroupe plusieurs variantes du langage Scheme ainsi qu'une série d'outils pour les utiliser. L'un de ses objectifs est de servir de plate-forme pour la création, la conception et l'implémentation. Initialement, DrScheme a été conçu comme un environnement de développement à but pédagogique, pour servir de support au cours d'introduction à l'informatique de l'université Rice.
Test de validationUn test de validation est un type de test informatique qui permet de vérifier si toutes les exigences client, décrites dans le document de spécification du logiciel, sont respectées. Les tests de validation se décomposent généralement en plusieurs phases : Validation fonctionnelle : les tests fonctionnels assurent que les différents modules ou composants implémentent correctement les exigences client. Ces tests peuvent être de type valide, invalide, inopportuns, etc.
RaretéLa rareté (du latin : raritas) exprime la difficulté de trouver une chose particulière, du fait qu'elle se manifeste d'une manière peu fréquente ou qu'elle existe en faibles quantités ou sous forme d'exemplaires en nombre limité. La notion abstraite de "rareté" , traduite sur un plan concret, donne lieu à qualification toujours relative : le qualificatif doit s'appliquer à un élément spécifique : une maladie rare, des plantes rares... l'objet qualifié doit correspondre à un besoin et donc faire l'objet d'une demande ou d'un désir.
Oil depletionOil depletion is the decline in oil production of a well, oil field, or geographic area. The Hubbert peak theory makes predictions of production rates based on prior discovery rates and anticipated production rates. Hubbert curves predict that the production curves of non-renewing resources approximate a bell curve. Thus, according to this theory, when the peak of production is passed, production rates enter an irreversible decline.
Constrained optimizationIn mathematical optimization, constrained optimization (in some contexts called constraint optimization) is the process of optimizing an objective function with respect to some variables in the presence of constraints on those variables. The objective function is either a cost function or energy function, which is to be minimized, or a reward function or utility function, which is to be maximized.