Programmation par contraintesLa programmation par contraintes (PPC, ou CP pour constraint programming en anglais) est un paradigme de programmation apparu dans les années 1970 et 1980 permettant de résoudre des problèmes combinatoires de grande taille tels que les problèmes de planification et d'ordonnancement. En programmation par contraintes, on sépare la partie modélisation à l'aide de problèmes de satisfaction de contraintes (ou CSP pour Constraint Satisfaction Problem), de la partie résolution dont la particularité réside dans l'utilisation active des contraintes du problème pour réduire la taille de l'espace des solutions à parcourir (on parle de propagation de contraintes).
Réacteur (chimie)En chimie, un réacteur est une enceinte ou récipient apte à la réalisation et l'optimisation de réactions chimiques et généralement de procédés de transformation de la matière (génie des procédés). Le but recherché dans un réacteur est l'homogénéité du milieu réactionnel du point de vue de la température et du mélange des réactifs. Par exemple : cuve : réacteur ouvert à l'atmosphère permettant de faire une transformation chimique ; bioréacteur : réacteur permettant de faire une transformation biologique.
Continuous stirred-tank reactorThe continuous stirred-tank reactor (CSTR), also known as vat- or backmix reactor, mixed flow reactor (MFR), or a continuous-flow stirred-tank reactor (CFSTR), is a common model for a chemical reactor in chemical engineering and environmental engineering. A CSTR often refers to a model used to estimate the key unit operation variables when using a continuous agitated-tank reactor to reach a specified output. The mathematical model works for all fluids: liquids, gases, and slurries.
Problème de satisfaction de contraintesLes problèmes de satisfaction de contraintes ou CSP (Constraint Satisfaction Problem) sont des problèmes mathématiques où l'on cherche des états ou des objets satisfaisant un certain nombre de contraintes ou de critères. Les CSP font l'objet de recherches intenses à la fois en intelligence artificielle et en recherche opérationnelle. De nombreux CSP nécessitent la combinaison d'heuristiques et de méthodes d'optimisation combinatoire pour être résolus en un temps raisonnable.
Constraint logic programmingConstraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program that contains constraints in the body of clauses. An example of a clause including a constraint is . In this clause, is a constraint; A(X,Y), B(X), and C(Y) are literals as in regular logic programming. This clause states one condition under which the statement A(X,Y) holds: X+Y is greater than zero and both B(X) and C(Y) are true.
Plug flow reactor modelThe plug flow reactor model (PFR, sometimes called continuous tubular reactor, CTR, or piston flow reactors) is a model used to describe chemical reactions in continuous, flowing systems of cylindrical geometry. The PFR model is used to predict the behavior of chemical reactors of such design, so that key reactor variables, such as the dimensions of the reactor, can be estimated.
Contrainte (mathématiques)En mathématiques, une contrainte est une condition que doit satisfaire la solution d'un problème d'optimisation. On distingue deux types de contraintes : les contraintes d'égalité et les contraintes en inégalité. L'ensemble des solutions satisfaisant toutes les contraintes est appelé l'ensemble admissible. On considère un problème d'optimisation classique : avec et et désigne le vecteur . Dans cet exemple, la première ligne montre la fonction à minimiser (appelée fonction objectif ou fonction-coût) mais aussi l'ensemble où la solution doit être recherché, ici C.
Ordre des motsEn syntaxe, l’ordre des mots se réfère premièrement à la succession de ces unités dans le syntagme et des syntagmes dans la phrase simple, ainsi que dans la proposition faisant partie d’une phrase complexe. Dans un sens plus large, il concerne aussi l’ordre des propositions dans la phrase complexe. Certains auteurs mentionnent que, s’agissant de mots à fonction syntaxique, la question de leur ordre regarde non seulement la façon dont ils se succèdent, mais aussi la position plus ou moins éloignée des uns par rapport aux autres, l’ordre des mots ayant par conséquent une composante succession et une composante proximité/éloignement.
Optimisation combinatoireL’optimisation combinatoire, (sous-ensemble à nombre de solutions finies de l'optimisation discrète), est une branche de l'optimisation en mathématiques appliquées et en informatique, également liée à la recherche opérationnelle, l'algorithmique et la théorie de la complexité. Dans sa forme la plus générale, un problème d'optimisation combinatoire (sous-ensemble à nombre de solutions finies de l'optimisation discrète) consiste à trouver dans un ensemble discret un parmi les meilleurs sous-ensembles (ou solutions) réalisables, la notion de meilleure solution étant définie par une fonction objectif.
Optimisation (mathématiques)L'optimisation est une branche des mathématiques cherchant à modéliser, à analyser et à résoudre analytiquement ou numériquement les problèmes qui consistent à minimiser ou maximiser une fonction sur un ensemble. L’optimisation joue un rôle important en recherche opérationnelle (domaine à la frontière entre l'informatique, les mathématiques et l'économie), dans les mathématiques appliquées (fondamentales pour l'industrie et l'ingénierie), en analyse et en analyse numérique, en statistique pour l’estimation du maximum de vraisemblance d’une distribution, pour la recherche de stratégies dans le cadre de la théorie des jeux, ou encore en théorie du contrôle et de la commande.
Réacteur nucléaireUn réacteur nucléaire est un ensemble de dispositifs comprenant du combustible nucléaire, qui constitue le « cœur » du réacteur, dans lequel une réaction en chaîne peut être initiée et contrôlée par des agents humains ou par des systèmes automatiques, suivant des protocoles et au moyen de dispositifs propres à la fission nucléaire. La chaleur ainsi produite est ensuite évacuée et éventuellement convertie en énergie électrique.
Réacteur nucléaire à sels fondusLe réacteur nucléaire à sels fondus (RSF ; molten salt reactor, MSR) est un concept de réacteur nucléaire dans lequel le combustible nucléaire se présente sous forme liquide, dissous dans du sel fondu (à ) qui joue à la fois le rôle de caloporteur et de barrière de confinement. Le réacteur peut être modéré par du graphite (produisant des neutrons thermiques) ou sans modérateur (neutrons rapides). Le concept a été étudié en laboratoire pendant les années 1960, puis délaissé dans les années 1970 faute de financement et malgré des résultats probants.
Réacteur modéré au graphiteLe réacteur modéré au graphite ou Graphite-moderated reactor est un réacteur nucléaire qui utilise le graphite comme modérateur, et habituellement de l'uranium naturel (non enrichi) comme combustible. Le premier réacteur nucléaire, la Chicago Pile-1, utilisait le graphite comme modérateur. Deux réacteurs modérés au graphite ont provoqué des catastrophes nucléaires : l'incendie de Windscale en 1957 en Angleterre et la catastrophe nucléaire de Tchernobyl en 1986 en RSS d'Ukraine, URSS (actuelle Ukraine).
Convergence de variables aléatoiresDans la théorie des probabilités, il existe différentes notions de convergence de variables aléatoires. La convergence (dans un des sens décrits ci-dessous) de suites de variables aléatoires est un concept important de la théorie des probabilités utilisé notamment en statistique et dans l'étude des processus stochastiques. Par exemple, la moyenne de n variables aléatoires indépendantes et identiquement distribuées converge presque sûrement vers l'espérance commune de ces variables aléatoires (si celle-ci existe).
Convergence uniformeLa convergence uniforme d'une suite de fonctions est une forme de convergence plus exigeante que la convergence simple. La convergence devient uniforme quand toutes les suites avancent vers leur limite respective avec une sorte de « mouvement d'ensemble ». Dans le cas de fonctions numériques d'une variable, la notion prend une forme d'« évidence » géométrique : le graphe de la fonction f se « rapproche » de celui de la limite. Soient X un ensemble, (Y, d) un espace métrique, et A un sous-ensemble de X.
Physiologie végétalethumb|Un laboratoire de phytobiologie en 1901. La physiologie végétale, ou phytobiologie, est la science qui étudie le fonctionnement des organes et des tissus végétaux. Elle cherche à préciser la nature des mécanismes grâce auxquels les organes remplissent leurs fonctions.
Plante carnivorevignette|upright=1.3|Différentes plantes carnivores. vignette|Drosera capensis. Une plante carnivore est une plante capable d'attirer et de capturer des proies (insectes, acariens et autres petits invertébrés essentiellement) puis de les assimiler, entièrement ou en partie, afin de subvenir (partiellement) à ses propres besoins. Il existe un peu plus de 700 espèces de plantes carnivores au sens strict connues au début du , mais en moyenne trois espèces de plantes carnivores sont découvertes ou décrites chaque année depuis l'an 2000.
Chemical plantA chemical plant is an industrial process plant that manufactures (or otherwise processes) chemicals, usually on a large scale. The general objective of a chemical plant is to create new material wealth via the chemical or biological transformation and or separation of materials. Chemical plants use specialized equipment, units, and technology in the manufacturing process.
Global optimizationGlobal optimization is a branch of applied mathematics and numerical analysis that attempts to find the global minima or maxima of a function or a set of functions on a given set. It is usually described as a minimization problem because the maximization of the real-valued function is equivalent to the minimization of the function . Given a possibly nonlinear and non-convex continuous function with the global minima and the set of all global minimizers in , the standard minimization problem can be given as that is, finding and a global minimizer in ; where is a (not necessarily convex) compact set defined by inequalities .
Optimisation convexevignette|320x320px|Optimisation convexe dans un espace en deux dimensions dans un espace contraint L'optimisation convexe est une sous-discipline de l'optimisation mathématique, dans laquelle le critère à minimiser est convexe et l'ensemble admissible est convexe. Ces problèmes sont plus simples à analyser et à résoudre que les problèmes d'optimisation non convexes, bien qu'ils puissent être NP-difficile (c'est le cas de l'optimisation copositive). La théorie permettant d'analyser ces problèmes ne requiert pas la différentiabilité des fonctions.
