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.
Nombre transfinivignette|Le mathématicien George Cantor (1918). Les nombres transfinis sont des nombres exposés et étudiés par le mathématicien Georg Cantor. Se fondant sur ses résultats, il a introduit une sorte de hiérarchie dans l'infini, en développant la théorie des ensembles. Un nombre entier naturel peut être utilisé pour décrire la taille d'un ensemble fini, ou pour désigner la position d'un élément dans une suite. Ces deux utilisations correspondent aux notions de cardinal et d'ordinal respectivement.
Ensemble infiniEn mathématiques, plus précisément en théorie des ensembles, un ensemble infini est un ensemble qui n'est pas fini, c'est-à-dire qu'il n'y a aucun moyen de « compter » les éléments de cet ensemble à l'aide d'un ensemble borné d'entiers. Un ensemble en bijection avec un ensemble infini est donc infini. Tout ensemble contenant un ensemble dénombrable est infini. Dans la théorie de Zermelo (Z), l'axiome de l'infini permet de construire l'ensemble N des entiers naturels, qui est alors un ensemble infini.
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.
Nombre ordinalvignette|Spirale représentant les nombres ordinaux inférieurs à ωω. En mathématiques, on appelle nombre ordinal un objet permettant de caractériser le type d'ordre d'un ensemble bien ordonné quelconque, tout comme en linguistique, les mots premier, deuxième, troisième, quatrième, etc. s'appellent des adjectifs numéraux ordinaux, et servent à préciser le rang d'un objet dans une collection, ou l'ordre d'un événement dans une succession.
Fenêtre (informatique)En informatique, une fenêtre est un élément d'un système de fenêtrage. C'est une zone rectangulaire de l'écran affectée à l'affichage de tout ou partie d'un logiciel. Les fenêtres sont parfois appelées feuilles, la notion de feuille étant plus représentative. En effet les fenêtres peuvent être placées les unes sur les autres, à la manière de feuilles de papier. L'intérieur de la fenêtre appartient au logiciel, tandis que la bordure et le bandeau supérieur appartient à l'environnement (gestionnaire de fenêtres).
Ensemble convexeUn objet géométrique est dit convexe lorsque, chaque fois qu'on y prend deux points et , le segment qui les joint y est entièrement contenu. Ainsi un cube plein, un disque ou une boule sont convexes, mais un objet creux ou bosselé ne l'est pas. On suppose travailler dans un contexte où le segment reliant deux points quelconques et a un sens (par exemple dans un espace affine sur R — en particulier dans un espace affine sur C — ou dans un ).
FenêtrageEn traitement du signal, le fenêtrage est utilisé dès que l'on s'intéresse à un signal de longueur volontairement limitée. En effet, un signal réel ne peut qu'avoir une durée limitée dans le temps ; de plus, un calcul ne peut se faire que sur un nombre fini de points. Pour observer un signal sur une durée finie, on le multiplie par une fonction fenêtre d'observation (également appelée fenêtre de pondération ou d'apodisation).
Windows 8Windows 8 est la version du système d'exploitation Windows multiplate-forme qui est commercialisée depuis le . Bien que le système s'appelle , il s'agit de la version , la première version de étant Windows Vista (Windows ). La version () est une mise à jour gratuite de , disponible depuis le . Son successeur est Windows 10, sorti en juillet 2015. Windows 8 a été dévoilé, avec l'utilisation de l'interface tactile, le , mais sa version RTM, à destination des constructeurs OEM, n'est disponible que depuis le .
Gestionnaire de fenêtresUn système de fenêtrage ou « gestionnaire de fenêtres » (« window manager » en anglais) est un logiciel chargé de l'affichage et du placement des fenêtres d'applications. Les plus connus sont ceux utilisés par le système de fenêtrage X (sur les systèmes Unix, Linux et BSD). Il en existe aussi sous Windows (comme LiteStep) et sous OS/2 (le Presentation Manager pouvant être remplacé), mais ces cas sont beaucoup moins répandus du fait, entre autres, de la gratuité de X et de ses spécifications ouvertes.
Dedekind-infinite setIn mathematics, a set A is Dedekind-infinite (named after the German mathematician Richard Dedekind) if some proper subset B of A is equinumerous to A. Explicitly, this means that there exists a bijective function from A onto some proper subset B of A. A set is Dedekind-finite if it is not Dedekind-infinite (i.e., no such bijection exists). Proposed by Dedekind in 1888, Dedekind-infiniteness was the first definition of "infinite" that did not rely on the definition of the natural numbers.
Enveloppe convexeL'enveloppe convexe d'un objet ou d'un regroupement d'objets géométriques est l'ensemble convexe le plus petit parmi ceux qui le contiennent. Dans un plan, l'enveloppe convexe peut être comparée à la région limitée par un élastique qui englobe tous les points qu'on relâche jusqu'à ce qu'il se contracte au maximum. L'idée serait la même dans l'espace avec un ballon qui se dégonflerait jusqu'à être en contact avec tous les points qui sont à la surface de l'enveloppe convexe.
Windows VistaWindows Vista est un système d'exploitation propriétaire de la famille Microsoft Windows, et plus précisément de la branche Windows NT (NT 6.0), développé et commercialisé par la société Microsoft. Il a été mis sur le marché le , soit plus de cinq ans après son prédécesseur, Windows XP. Son successeur est Windows 7, sorti en octobre 2009. Selon Microsoft, Windows Vista contient des centaines de nouvelles fonctionnalités.
Dualité (optimisation)En théorie de l'optimisation, la dualité ou principe de dualité désigne le principe selon lequel les problèmes d'optimisation peuvent être vus de deux perspectives, le problème primal ou le problème dual, et la solution du problème dual donne une borne inférieure à la solution du problème (de minimisation) primal. Cependant, en général les valeurs optimales des problèmes primal et dual ne sont pas forcément égales : cette différence est appelée saut de dualité. Pour les problèmes en optimisation convexe, ce saut est nul sous contraintes.
Fonction convexevignette|upright=1.5|droite|Fonction convexe. En mathématiques, une fonction réelle d'une variable réelle est dite convexe : si quels que soient deux points et du graphe de la fonction, le segment est entièrement situé au-dessus du graphe, c’est-à-dire que la courbe représentative de la fonction se situe toujours en dessous de ses cordes ; ou si l'épigraphe de la fonction (l'ensemble des points qui sont au-dessus de son graphe) est un ensemble convexe ; ou si vu d'en dessous, le graphe de la fonction est en bosse.
Analyse convexeL'analyse convexe est la branche des mathématiques qui étudie les ensembles et les fonctions convexes. Cette théorie étend sur beaucoup d'aspects les concepts de l'algèbre linéaire et sert de boîte à outils en analyse et en analyse non lisse. Elle s'est beaucoup développée du fait de ses interactions avec l'optimisation, où elle apporte des propriétés particulières aux problèmes qui y sont étudiés. Certains voient la naissance de l'analyse convexe « moderne » dans l'invention des notions de sous-différentiel, d'application proximale et d'inf-convolution dans les années 1962-63.
Gestionnaire de fenêtres par pavagethumb|Écran organisé en pavés Un gestionnaire de fenêtres par pavage ou gestionnaire de fenêtres en mosaïque est un gestionnaire de fenêtres organisant les fenêtres comme si l’écran était constitué de pavés. C’est-à-dire que les fenêtres ne se superposent pas mais se juxtaposent. Ratpoison est un gestionnaire de fenêtres par pavage ayant pour but de remplacer la souris par le clavier, i3 est un gestionnaire de fenêtres libre, xmonad est un gestionnaire de fenêtres écrit en Haskell. awesome — un dérivé de dwm écrit en C.
Kaiser windowThe Kaiser window, also known as the Kaiser–Bessel window, was developed by James Kaiser at Bell Laboratories. It is a one-parameter family of window functions used in finite impulse response filter design and spectral analysis. The Kaiser window approximates the DPSS window which maximizes the energy concentration in the main lobe but which is difficult to compute. The Kaiser window and its Fourier transform are given by: where: I0 is the zeroth-order modified Bessel function of the first kind, L is the window duration, and α is a non-negative real number that determines the shape of the window.
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 .
Numerical cognitionNumerical cognition is a subdiscipline of cognitive science that studies the cognitive, developmental and neural bases of numbers and mathematics. As with many cognitive science endeavors, this is a highly interdisciplinary topic, and includes researchers in cognitive psychology, developmental psychology, neuroscience and cognitive linguistics. This discipline, although it may interact with questions in the philosophy of mathematics, is primarily concerned with empirical questions.
