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.
Continuous linear operatorIn functional analysis and related areas of mathematics, a continuous linear operator or continuous linear mapping is a continuous linear transformation between topological vector spaces. An operator between two normed spaces is a bounded linear operator if and only if it is a continuous linear operator. Continuous function (topology) and Discontinuous linear map Bounded operator Suppose that is a linear operator between two topological vector spaces (TVSs). The following are equivalent: is continuous.
Logarithme intégralEn mathématiques, le logarithme intégral li est une fonction spéciale définie en tout nombre réel strictement positif x ≠ 1 par l'intégrale : où ln désigne le logarithme népérien. La fonction n'est pas définie en t = 1, et l'intégrale pour x > 1 doit être interprétée comme la valeur principale de Cauchy : Quand x tend vers +∞, on a l'équivalence c'est-à-dire que D'après le théorème des nombres premiers, la fonction de compte des nombres premiers π(x) est équivalente à x/ln(x), donc à li(x), qui en fournit par ailleurs une meilleure approximation.
Automate fini non déterministeUn automate fini (on dit parfois, par une traduction littérale de l'anglais, machine à états finis, au lieu de machine avec un nombre fini d'états ou machine à états finie ou machine finie à états), finite-state automaton ou finite-state machine (FSA, FSM), est une machine abstraite qui est un outil fondamental en mathématiques discrètes et en informatique. On les retrouve dans la modélisation de processus, le contrôle, les protocoles de communication, la vérification de programmes, la théorie de la calculabilité, dans l'étude des langages formels et en compilation.
Automate fini déterministeUn automate fini déterministe, parfois abrégé en AFD (en anglais deterministic finite automaton, abrégé en DFA) est un automate fini dont les transitions à partir de chaque état sont déterminées de façon unique par le symbole d'entrée. Un tel automate se distingue ainsi d'un automate fini non déterministe, où au contraire plusieurs possibilités de transitions peuvent exister simultanément pour un état et un symbole d'entrée donné.
Rectification (mécanique)La rectification d'une pièce mécanique est une opération destinée à améliorer son état de surface. Les deux techniques principales sont la rectification plane et la rectification cylindrique. La rectification s'effectue sur une machine-outil conçue à cet effet : la rectifieuse. Il s'agit de rectifier, c'est-à-dire d'approcher une surface d'une forme parfaite (en général : plan, cylindre de révolution ou cône). La rectification est souvent utilisée dans le but de préparer des surfaces frottantes, par exemple, la portée d'un arbre qui tournera dans un palier lisse ou dans un joint d'étanchéité.
Usinagethumb|Usinage sur un chantier naval. Elswick, Newcastle upon Tyne. Première Guerre mondiale L'usinage est une famille de procédés de fabrication de pièces par enlèvement de copeaux. Le principe de l'usinage est d'enlever de la matière de façon à donner à la pièce brute la forme et les dimensions voulues, à l'aide d'une machine-outil. Par cette technique, on obtient des pièces d'une grande précision.
