Algorithme de colonies de fourmisLes algorithmes de colonies de fourmis (, ou ACO) sont des algorithmes inspirés du comportement des fourmis, ou d'autres espèces formant un superorganisme, et qui constituent une famille de métaheuristiques d’optimisation. Initialement proposé par Marco Dorigo dans les années 1990, pour la recherche de chemins optimaux dans un graphe, le premier algorithme s’inspire du comportement des fourmis recherchant un chemin entre leur colonie et une source de nourriture.
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.
Endomorphisme normalUn endomorphisme normal est un opérateur d'un espace de Hilbert qui commute avec son adjoint. Soient H un espace de Hilbert (réel ou complexe) et u un endomorphisme de H, d'adjoint u*. On dit que u est normal si Les endomorphismes autoadjoints sont normaux (cas u* = u). Les endomorphismes antiautoadjoints sont normaux (cas u* = –u). Les isométries vectorielles sont des endomorphismes normaux (cas u* = u).
Time-scale calculusIn mathematics, time-scale calculus is a unification of the theory of difference equations with that of differential equations, unifying integral and differential calculus with the calculus of finite differences, offering a formalism for studying hybrid systems. It has applications in any field that requires simultaneous modelling of discrete and continuous data. It gives a new definition of a derivative such that if one differentiates a function defined on the real numbers then the definition is equivalent to standard differentiation, but if one uses a function defined on the integers then it is equivalent to the forward difference operator.
Operator theoryIn mathematics, operator theory is the study of linear operators on function spaces, beginning with differential operators and integral operators. The operators may be presented abstractly by their characteristics, such as bounded linear operators or closed operators, and consideration may be given to nonlinear operators. The study, which depends heavily on the topology of function spaces, is a branch of functional analysis. If a collection of operators forms an algebra over a field, then it is an operator algebra.
Nombre de LiouvilleEn mathématiques, et plus précisément en théorie des nombres, un nombre de Liouville est un nombre réel x ayant la propriété suivante :pour tout entier n, il existe des entiers q > 1 et p tels que 0 < |x – p/q| < 1/q ou, ce qui est équivalent : pour tout entier n et tout réel , il existe des entiers q > 0 et p tels que 0 < |x – p/q| < A/q. Un nombre de Liouville peut ainsi être approché « de manière très fine » par une suite de nombres rationnels.
Opérateur pseudo-différentielEn analyse mathématique, un opérateur pseudo-différentiel est une extension du concept familier d'opérateur différentiel, permettant notamment l'inclusion d'ordres de dérivation non entiers. Ces opérateurs pseudo-différentiels sont abondamment utilisés dans la théorie des équations aux dérivées partielles et en théorie quantique des champs. On reprend ci-dessous les notations introduites dans l'article opérateur différentiel. Rappelons qu'un opérateur différentiel linéaire d'ordre s'écrit : où les , appelées coefficients de l'opérateur , sont des fonctions des variables d'espace .
Semi-normeEn mathématiques, une semi-norme est une application d'un espace vectoriel dans l'ensemble des réels positifs. C'est « presque » une norme mais une propriété est manquante : la semi-norme d'un vecteur non nul peut être nulle. En analyse fonctionnelle, cette situation est relativement courante. L'espace vectoriel est un espace de fonctions d'un espace mesuré à valeurs dans les réels ou complexes. La semi-norme correspond par exemple à l'intégrale de la valeur absolue ou du module de la fonction.
Densely defined operatorIn mathematics – specifically, in operator theory – a densely defined operator or partially defined operator is a type of partially defined function. In a topological sense, it is a linear operator that is defined "almost everywhere". Densely defined operators often arise in functional analysis as operations that one would like to apply to a larger class of objects than those for which they a priori "make sense".
Formulation faibleEn comparaison avec la formulation forte, la formulation faible est une autre manière d'énoncer un problème physique régi par des équations différentielles ou aux dérivées partielles. Une solution forte du problème d’origine est également solution de la formulation faible. Une solution de cette dernière est naturellement appelée solution faible. L’intérêt de cette approche est de pouvoir disposer de concepts et de propriétés de l’analyse fonctionnelle, en particulier ceux des espaces de Hilbert et de Sobolev.
