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.
Lois de Fickvignette|250px|La diffusion moléculaire d'un point de vue microscopique et macroscopique. Les molécules solubles sur le côté gauche de la barrière (ligne violette) diffusent pour remplir le volume complet. En haut : une seule molécule se déplace aléatoirement. Au milieu : Le soluté remplit le volume disponible par marche aléatoire. En bas : au niveau macroscopique, le côté aléatoire devient indétectable. Le soluté se déplace des zones où les concentrations sont élevées vers les zones à concentrations plus faibles.
Continuous stirred-tank reactorThe continuous stirred-tank reactor (CSTR), also known as vat- or backmix reactor, mixed flow reactor (MFR), or a continuous-flow stirred-tank reactor (CFSTR), is a common model for a chemical reactor in chemical engineering and environmental engineering. A CSTR often refers to a model used to estimate the key unit operation variables when using a continuous agitated-tank reactor to reach a specified output. The mathematical model works for all fluids: liquids, gases, and slurries.
Distribution de temps de séjourL’expression de distribution de temps de séjour ou DTS s'utilise en génie des procédés. La distribution de temps de séjour est un modèle qui permet de caractériser l'hydrodynamique d'un réacteur chimique et de déterminer quel modèle de réacteur définit le mieux l'installation étudiée (réacteur continu ou réacteur tubulaire) ainsi que les déviations par rapport aux modèles des réacteurs idéaux. Cette caractéristique est importante pour pouvoir calculer la performance d'une réaction avec une cinétique connue.
Plug flow reactor modelThe plug flow reactor model (PFR, sometimes called continuous tubular reactor, CTR, or piston flow reactors) is a model used to describe chemical reactions in continuous, flowing systems of cylindrical geometry. The PFR model is used to predict the behavior of chemical reactors of such design, so that key reactor variables, such as the dimensions of the reactor, can be estimated.
Sol (pédologie)vignette|Le sol recèle un trésor vivant insoupçonné qui représente 50 % de la biodiversité spécifique sur la terre. En région tempérée, chaque mètre carré (sur de profondeur) abrite en moyenne animales (dont un millier d'espèces d'invertébrés constitués de près de 50 % d'acariens) comprenant, en les distinguant par leur taille, la microfaune, la mésofaune et la macrofaune. Une cuillère à café de sol, soit environ un gramme, héberge en moyenne 100 arthropodes, à , des millions de protozoaires et près d'un milliard de cellules bactériennes, issues de plus de 1 million d'espèces.
Science des solsLa science des sols, (soil science en anglais), est l'ensemble des disciplines scientifiques concernant les sols de la surface terrestre. Les deux branches principales de la science des sols sont : la pédologie, qui étudie la formation (pédogenèse) et l'évolution des sols ; l'édaphologie, qui étudie l'influence des sols sur les êtres vivants, particulièrement en tant qu'habitats naturels pour les végétaux (l'agrologie portant plus spécifiquement sur l'étude des seuls sols agricoles).
Automate quantiqueEn informatique quantique et en informatique théorique, un automate fini quantique est une généralisation des automates finis où un mot est accepté selon le résultat d'une certaine mesure. Il existe plusieurs modèles des automates finis quantiques ; le plus restrictif est celui des automates dits « measure-once » de ; un autre est celui des automates « measure-many » de . Ces deux modèles sont très différents l'un de l’autre ; le modèle « measure-once » se rapproche plus de la théorie classique des automates finis.
Automate finithumb|upright=2|Fig. 1 : Une hiérarchie d'automates. Un automate fini ou automate avec un nombre fini d'états (en anglais finite-state automaton ou finite state machine ou FSM) est un modèle mathématique de calcul, utilisé dans de nombreuses circonstances, allant de la conception de programmes informatiques et de circuits en logique séquentielle aux applications dans des protocoles de communication, en passant par le contrôle des processus, la linguistique et même la biologie.
Soil chemistrySoil chemistry is the study of the chemical characteristics of soil. Soil chemistry is affected by mineral composition, organic matter and environmental factors. In the early 1870s a consulting chemist to the Royal Agricultural Society in England, named J. Thomas Way, performed many experiments on how soils exchange ions, and is considered the father of soil chemistry. Other scientists who contributed to this branch of ecology include Edmund Ruffin, and Linus Pauling.
