Evolutionary computationIn computer science, evolutionary computation is a family of algorithms for global optimization inspired by biological evolution, and the subfield of artificial intelligence and soft computing studying these algorithms. In technical terms, they are a family of population-based trial and error problem solvers with a metaheuristic or stochastic optimization character. In evolutionary computation, an initial set of candidate solutions is generated and iteratively updated.
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.
ConstEn programmation dans les langages C ou C++, const est un mot-clé permettant au programmeur de signaler au compilateur que l'élément ainsi qualifié ne doit pas être modifié pendant l'exécution du programme. Cet élément sera donc constant tout le long d'une exécution normale du programme. En tant que mot-clé réservé par spécification du langage, il ne peut être utilisé que pour son objectif, ce qui proscrit, par exemple, son usage en tant que nom de variable. Sa première introduction se situe dans la norme ANSI du langage C de 1989.
Règle de Cauchyvignette|Diagramme de décision pour l'application de la règle de Cauchy En mathématiques, la règle de Cauchy, qui doit son nom au mathématicien français Augustin Cauchy, est un critère de convergence pour une série à termes réels ou complexes, ou plus généralement à termes dans un espace vectoriel normé. Cette règle est parfois confondue avec le « critère de Cauchy » selon lequel, dans un espace complet comme R ou C, toute suite de Cauchy converge.
Substitute goodIn microeconomics, two goods are substitutes if the products could be used for the same purpose by the consumers. That is, a consumer perceives both goods as similar or comparable, so that having more of one good causes the consumer to desire less of the other good. Contrary to complementary goods and independent goods, substitute goods may replace each other in use due to changing economic conditions. An example of substitute goods is Coca-Cola and Pepsi; the interchangeable aspect of these goods is due to the similarity of the purpose they serve, i.
Formule de WilsonIssue de la recherche opérationnelle, la formule de Wilson (1934) également connue sous le nom Quantité Economique de Commande ou EOQ (Economic Order Quantity) sous son nom original, ou aussi formule du lot économique détermine la période optimale de réapprovisionnement d'une unité de production (magasin, usine). Elle est couramment employée par les services logistiques. Elle a en fait été introduite dès 1913 par Ford W. Harris, mais a été attribué à Wilson car il en a fait l'analyse en profondeur.
Stock de sécuritéLe stock de sécurité est le stock jugé nécessaire pour assurer le niveau de service souhaité quand les commandes à livrer dépassent la capacité de production. Il peut être considéré comme un complément au stock de fonctionnement prenant en compte d'une part l'incertitude de la demande réelle et du réapprovisionnement et d'autre part le besoin de satisfaire la demande. Plus le gestionnaire du stock voudra être certain de répondre à la demande, plus cette demande sera imprévisible et plus les délais de réapprovisionnement seront aléatoires, plus le stock de sécurité sera important.
Type constructorIn the area of mathematical logic and computer science known as type theory, a type constructor is a feature of a typed formal language that builds new types from old ones. Basic types are considered to be built using nullary type constructors. Some type constructors take another type as an argument, e.g., the constructors for product types, function types, power types and list types. New types can be defined by recursively composing type constructors.
