Opérateur compactEn mathématiques, et plus précisément en analyse fonctionnelle, un opérateur compact est une application continue entre deux espaces vectoriels topologiques X et Y envoyant les parties bornées de X sur les parties relativement compactes de Y. Les applications linéaires compactes généralisent les applications linéaires continues de rang fini. La théorie est particulièrement intéressante pour les espaces vectoriels normés ou les espaces de Banach. En particulier, dans un espace de Banach, l'ensemble des opérateurs compacts est fermé pour la topologie forte.
Conjunctive queryIn database theory, a conjunctive query is a restricted form of first-order queries using the logical conjunction operator. Many first-order queries can be written as conjunctive queries. In particular, a large part of queries issued on relational databases can be expressed in this way. Conjunctive queries also have a number of desirable theoretical properties that larger classes of queries (e.g., the relational algebra queries) do not share.
Compilateur de compilateurEn informatique, un compilateur de compilateur est un programme capable de produire la totalité ou certaines parties du code source d'un compilateur (partie analyse lexicale, partie analyse syntaxique, partie analyse sémantique, partie synthèse, partie de gestion des erreurs, etc.) pour former en un tout cohérent, le code source du compilateur souhaité. Comme un compilateur classique, il accepte un langage source, par exemple une grammaire couplée à un ensemble d'actions.
CompilateurEn informatique, un compilateur est un programme qui transforme un code source en un code objet. Généralement, le code source est écrit dans un langage de programmation (le langage source), il est de haut niveau d'abstraction, et facilement compréhensible par l'humain. Le code objet est généralement écrit en langage de plus bas niveau (appelé langage cible), par exemple un langage d'assemblage ou langage machine, afin de créer un programme exécutable par une machine.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Moteurthumb|Moteur à combustion interne V6 d'automobile. thumb|Moteur électrique asynchrone. Un moteur est une machine convertissant une énergie quelconque en énergie mécanique de rotation. Le moteur appartient à la famille des actionneurs, ce qui veut dire qu'il génère un mouvement. On parle de moteur lorsque la course n’est pas limitée (on parle de vérin lorsque la course de l‘actionneur est limitée).
Norme d'opérateurEn mathématiques, et plus particulièrement en analyse fonctionnelle, une norme d'opérateur ou norme subordonnée est une norme définie sur l'espace des opérateurs bornés entre deux espaces vectoriels normés. Entre deux tels espaces, les opérateurs bornés ne sont autres que les applications linéaires continues. Sur un corps K « valué » (au sens : muni d'une valeur absolue) et non discret (typiquement : K = R ou C), soient E et F deux espaces vectoriels normés respectivement munis des normes ‖ ‖ et ‖ ‖.
Préparateur automobileUn préparateur automobile est une entreprise transformant des véhicules produits par des constructeurs automobiles. Les préparateurs conçoivent parfois des versions à part entière (avec parfois des véhicules immatriculés sous la marque du préparateur), en améliorant les performances (moteur, freinage, trains roulants, aérodynamique), en modifiant le design intérieur et/ou extérieur, en remplaçant des éléments de série par du très haut de gamme ou des pièces produites artisanalement.
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.
Moteur à combustion et explosionLe terme moteur à combustion et explosion désigne tout type de moteur à combustion interne à pistons alternatifs ou rotatifs, à allumage commandé ou non dans lequel les gaz brûlent avec un front de flamme dont la vitesse est, normalement, inférieure à celle du son. Le premier moteur à combustion à un cylindre a été réalisé par Eugenio Barsanti et Felice Matteucci en 1854. Le premier moteur à combustion à deux temps est réalisé par Étienne Lenoir en 1859.
Opérateur laplacienL'opérateur laplacien, ou simplement le laplacien, est l'opérateur différentiel défini par l'application de l'opérateur gradient suivie de l'application de l'opérateur divergence : Intuitivement, il combine et relie la description statique d'un champ (décrit par son gradient) aux effets dynamiques (la divergence) de ce champ dans l'espace et le temps. C'est l'exemple le plus simple et le plus répandu d'opérateur elliptique.
Moteur rotatifUn moteur rotatif est un moteur à explosion tournant autour de son vilebrequin qui reste fixe. Ce type de moteur était très courant au début de l'aviation (dans les années 1910) quand le rapport puissance/poids était le critère principal devant la consommation et la fiabilité. Il est courant d'appeler abusivement moteurs rotatifs les moteurs à piston rotatif tels que le moteur Wankel ou la Quasiturbine. Plusieurs précurseurs ont très tôt tenté l'aventure du moteur rotatif dont le trois-cylindres de Stephen Balzer dans un quadricycle de 1894 et le cinq-cylindres de Félix Millet sur sa motocyclette de 1893.
