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).
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.
Sommeil paradoxalvignette|Polysomnographie. Encadré en rouge l'EEG lors du sommeil paradoxal, la barre rouge indique les mouvements oculaires. Le sommeil paradoxal, connu également comme le sommeil REM (Rapid Eye Movement), fait suite au sommeil lent (« sommeil à ondes lentes » désignant les stades 3 et 4), et constitue le cinquième et dernier stade d'un cycle du sommeil. Une « nuit » comprend de trois à six cycles successifs d'une durée chacun de 90 à 120 minutes.
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.
Intégrale multiplevignette|Fig. 2. Intégrale double comme volume du solide situé entre un domaine du plan xy et la surface image de ce domaine par une fonction. En analyse mathématique, l'intégrale multiple est une forme d'intégrale qui s'applique aux fonctions de plusieurs variables réelles. Les deux principaux outils de calcul sont le changement de variables et le théorème de Fubini. Ce dernier permet de ramener de proche en proche un calcul d'intégrale multiple à des calculs d'intégrales simples, et d'interpréter le « volume » d'un domaine « simple » de dimension n (ou son hypervolume si n > 3) comme l'intégrale d'une fonction de n – 1 variables (Fig.
Constraint satisfactionIn artificial intelligence and operations research, constraint satisfaction is the process of finding a solution through a set of constraints that impose conditions that the variables must satisfy. A solution is therefore a set of values for the variables that satisfies all constraints—that is, a point in the feasible region. The techniques used in constraint satisfaction depend on the kind of constraints being considered.
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.
GénéralUn général est un chef militaire de haut rang commandant une grande unité militaire interarmes (gendarmerie, infanterie, cavalerie, génie, marine, aviation) longtemps appelée armée. Dans le domaine militaire contemporain, un général est un officier de la gendarmerie, de l'Armée de terre ou de l'air dont le grade s'inscrit au sommet de la hiérarchie, laquelle comprend généralement dans l'ordre ascendant : les militaires du rang, les sous-officiers, les officiers subalternes, les officiers supérieurs et les officiers généraux.
Fonction d'erreurthumb|right|upright=1.4|Construction de la fonction d'erreur réelle. En mathématiques, la fonction d'erreur (aussi appelée fonction d'erreur de Gauss) est une fonction entière utilisée en analyse. Cette fonction se note erf et fait partie des fonctions spéciales. Elle est définie par : La fonction erf intervient régulièrement dans le domaine des probabilités et statistiques, ainsi que dans les problèmes de diffusion (de la chaleur ou de la matière).
Intégration (mathématiques)En mathématiques, l'intégration ou calcul intégral est l'une des deux branches du calcul infinitésimal, l'autre étant le calcul différentiel. Les intégrales sont utilisées dans de multiples disciplines scientifiques notamment en physique pour des opérations de mesure de grandeurs (longueur d'une courbe, aire, volume, flux) ou en probabilités. Ses utilités pluridisciplinaires en font un outil scientifique fondamental. C'est la raison pour laquelle l'intégration est souvent abordée dès l'enseignement secondaire.
Trouble du comportement en sommeil paradoxalLe trouble du comportement en sommeil paradoxal (TCSP) fait partie des troubles du sommeil, plus précisément des parasomnies, elle-même spécifique du sommeil paradoxal (SP), tout comme les cauchemars et les paralysies du sommeil. Ils correspondent à la mise en acte d'un rêve, due à l'absence de l'atonie musculaire spécifique de ce type de sommeil. Alors que le sujet est profondément endormi, il se met tout à coup à parler, crier, gesticuler avec brusquerie. Il donne des coups, se précipite sur son partenaire ou saute violemment hors du lit.
CD-iLe CD-i, sigle de Compact Disc Interactif, est une console de jeux vidéo et lecteur multimédia conçu par Philips, Sony et Matsushita pour imposer un nouveau standard « multimédia », concept très en vogue depuis le début de l'année 1991. Ce système multimédia permet de fournir plus de fonctionnalités qu'un lecteur de CD audio ou qu'une console de jeux vidéo, tout en restant inférieur au prix d'un ordinateur personnel.
Fonction gammaEn mathématiques, la fonction gamma (notée par Γ la lettre grecque majuscule gamma de l'alphabet grec) est une fonction utilisée communément, qui prolonge de la fonction factorielle à l'ensemble des nombres complexes. En ce sens, il s'agit une fonction complexe. Elle est considérée également comme une fonction spéciale. La fonction gamma est défini pour tous les nombres complexes, à l'exception des entiers négatifs. On a pour tout entier strictement positif, où est la factorielle de , c'est-à-dire le produit des entiers entre 1 et : .
CD-ROMUn CD-ROM (de l'compact disc - read only memory », littéralement « disque compact - mémoire en lecture seule »), parfois écrit cédérom, est un disque optique utilisé pour stocker des données sous forme numérique destinées à être lues par un ordinateur ou tout autre lecteur compatible (salon, console de jeu). Le CD-ROM est une évolution du CD audio original. Grâce à leur capacité de stockage plusieurs centaines de fois supérieure à un prix similaire, les cédéroms supplantent les disquettes dans la distribution des logiciels et autres données informatiques.
Général de brigadevignette|Le képi de général de brigade Français. Le grade de général de brigade, brigadier général, brigadier-général ou brigadier est un grade militaire de certaines armées, le premier dans l'ordre des officiers généraux pour une armée de terre ou une force aérienne. Cependant, certaines armées ne considèrent pas le grade de brigadier comme étant un grade de général même si celui-ci se situe au même niveau hiérarchique. Il se situe généralement après celui de colonel et avant celui de général de division ou de major général en suivant l'ordre hiérarchique croissant.
Intégrale de surfaceEn mathématiques, une intégrale de surface est une intégrale définie sur toute une surface qui peut être courbe dans l'espace. Pour une surface donnée, on peut intégrer sur un champ scalaire ou sur un champ vectoriel. Les intégrales de surface ont de nombreuses applications : par exemple, en physique, dans la théorie classique de l'électromagnétisme. Pour exprimer de façon explicite l'intégrale de surface, il faut généralement paramétrer la surface S en question en considérant un système de coordonnées curvilignes, comme la longitude et la latitude sur une sphère.
Langage algébriqueEn théorie des langages formels, un langage algébrique ou langage non contextuel est un langage qui est engendré par une grammaire algébrique. De manière équivalente, un langage algébrique est un langage reconnu par un automate à pile. Les langages algébriques forment les langages de dans la hiérarchie de Chomsky. Ils ont des applications importantes dans la description des langages de programmation et en linguistique. Ils interviennent également dans la description des langages XML.
Colonel généralLe grade de colonel général est un grade spécifique pour un général dans plusieurs armées. Le grade de Generaloberst était, jusqu'en 1945, le plus haut grade de général en Allemagne, situé après celui de Generalfeldmarschall. Dans la République démocratique allemande, qui était alors membre du pacte de Varsovie, ce grade correspondait au grade russe de general-polkovnik et était le plus haut grade après ceux de Marschall der DDR et d’Armeegeneral.
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.
Intégrale de GaussEn mathématiques, une intégrale de Gauss est l'intégrale d'une fonction gaussienne sur l'ensemble des réels. Sa valeur est reliée à la constante π par la formule où α est un paramètre réel strictement positif. Elle intervient dans la définition de la loi de probabilité appelée loi gaussienne, ou loi normale. Cette formule peut être obtenue grâce à une intégrale double et un changement de variable polaire. Sa première démonstration connue est donnée par Pierre-Simon de Laplace.
