Traitement des eaux uséesLe traitement des eaux usées est l’ensemble des procédés visant à dépolluer l’eau usée avant son retour dans le milieu naturel ou sa réutilisation. Les eaux usées sont les eaux qui à la suite de leur utilisation domestique, commerciale ou industrielle sont de nature à polluer les milieux dans lesquels elles seraient déversées. C'est pourquoi, dans un souci de protection des milieux récepteurs, des traitements sont réalisés sur ces effluents collectés par le réseau d'assainissement urbain ou privé.
Predicate transformer semanticsPredicate transformer semantics were introduced by Edsger Dijkstra in his seminal paper "Guarded commands, nondeterminacy and formal derivation of programs". They define the semantics of an imperative programming paradigm by assigning to each statement in this language a corresponding predicate transformer: a total function between two predicates on the state space of the statement. In this sense, predicate transformer semantics are a kind of denotational semantics.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Méthode du gradient conjuguévignette|Illustration de la méthode du gradient conjugué. En analyse numérique, la méthode du gradient conjugué est un algorithme pour résoudre des systèmes d'équations linéaires dont la matrice est symétrique définie positive. Cette méthode, imaginée en 1950 simultanément par Cornelius Lanczos, Eduard Stiefel et Magnus Hestenes, est une méthode itérative qui converge en un nombre fini d'itérations (au plus égal à la dimension du système linéaire).
Loi de StokesLa loi de Stokes, nommée en l'honneur de George Stokes (1819 – 1903), est une loi donnant la force de traînée hydrodynamique s'exerçant sur une sphère en déplacement dans un fluide. Si le nombre de Reynolds est très inférieur à 1 (écoulement rampant) et si la sphère est suffisamment loin de tout autre corps, de tout obstacle ou paroi latérale (on considère une paroi éloignée d'au moins dix fois le rayon de la sphère), alors la force de traînée hydrodynamique qui s'exerce sur une sphère de diamètre est : où est la viscosité dynamique du fluide (en ) et le diamètre de la sphère.
PréconditionneurEn algèbre linéaire et en analyse numérique, un préconditionneur d'une matrice est une matrice telle que le conditionnement de est plus petit que celui de . Le préconditionnement est surtout utilisé dans les méthodes itératives pour la résolution d'un système linéaire (méthode du gradient, méthode du gradient conjugué, ...). Au lieu de résoudre, on préfère résoudre qui permet de diminuer considérablement le nombre d'itérations dans la méthode de résolution (itérative). On dit que le système est "mieux" conditionné.
Écoulement de PoiseuilleLa loi de Poiseuille, également appelée loi de Hagen-Poiseuille, décrit l'écoulement laminaire (c'est-à-dire à filets de liquide parallèles) d'un liquide visqueux, incompressible, dans une conduite cylindrique. Découverte indépendamment en 1840 par le médecin et physicien français Jean-Léonard-Marie Poiseuille et par l’ingénieur prussien Gotthilf Hagen, elle constitue la première tentative de dépasser la notion de vitesse moyenne d'un écoulement, jusque-là en usage (cf. formules de Chézy et de Prony).
Shear flowIn fluid dynamics, shear flow is the flow induced by a force in a fluid. In solid mechanics, shear flow is the shear stress over a distance in a thin-walled structure. For thin-walled profiles, such as that through a beam or semi-monocoque structure, the shear stress distribution through the thickness can be neglected. Furthermore, there is no shear stress in the direction normal to the wall, only parallel. In these instances, it can be useful to express internal shear stress as shear flow, which is found as the shear stress multiplied by the thickness of the section.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Water treatmentWater treatment is any process that improves the quality of water to make it appropriate for a specific end-use. The end use may be drinking, industrial water supply, irrigation, river flow maintenance, water recreation or many other uses, including being safely returned to the environment. Water treatment removes contaminants and undesirable components, or reduces their concentration so that the water becomes fit for its desired end-use. This treatment is crucial to human health and allows humans to benefit from both drinking and irrigation use.
