Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
ClinkerLe clinker est un constituant du ciment, qui résulte de la cuisson à très haute température d'un mélange composé d'environ 80 % de calcaire (CaCO3 qui apporte l'oxyde de calcium, CaO) et de 20 % d'aluminosilicates (essentiellement des argiles : phyllosilicates) qui apportent les oxydes de silicium (SiO2), d'aluminium () et de fer (FeO et ). La « farine » ou le « cru » est formé du mélange de poudre de calcaire et d'argile. La cuisson, ou clinkérisation, se fait à une température d'environ , ce qui explique la forte consommation énergétique de ce processus.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Quantification existentielleEn mathématiques et en logique, plus précisément en calcul des prédicats, l'existence d'un objet x satisfaisant une certaine propriété, ou prédicat, P se note ∃x P(x), où le symbole mathématique ∃, lu « il existe », est le quantificateur existentiel, et P(x) le fait pour l'objet x d'avoir la propriété P. L'objet x a la propriété P(x) s'exprime par une formule du calcul des prédicats.
Paramètres SLes paramètres S (de l'anglais Scattering parameters), coefficients de diffraction ou de répartition sont utilisés en hyperfréquences, en électricité ou en électronique pour décrire le comportement électrique de réseaux électriques linéaires en fonction des signaux d'entrée. Ces paramètres font partie d'une famille de formalismes similaires, utilisés en électronique, en physique ou en optique : les paramètres Y, les paramètres Z, les paramètres H, les paramètres T ou les paramètres ABCD.
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
Impedance parametersImpedance parameters or Z-parameters (the elements of an impedance matrix or Z-matrix) are properties used in electrical engineering, electronic engineering, and communication systems engineering to describe the electrical behavior of linear electrical networks. They are also used to describe the small-signal (linearized) response of non-linear networks. They are members of a family of similar parameters used in electronic engineering, other examples being: S-parameters, Y-parameters, H-parameters, T-parameters or ABCD-parameters.
Simulation de phénomènesLa simulation de phénomènes est un outil utilisé dans le domaine de la recherche et du développement. Elle permet d'étudier les réactions d'un système à différentes contraintes pour en déduire les résultats recherchés en se passant d'expérimentation. Les systèmes technologiques (infrastructures, véhicules, réseaux de communication, de transport ou d'énergie) sont soumis à différentes contraintes et actions. Le moyen le plus simple d'étudier leurs réactions serait d'expérimenter, c'est-à-dire d'exercer l'action souhaitée sur l'élément en cause pour observer ou mesurer le résultat.
Unicité (mathématiques)En mathématiques, l'unicité d'un objet satisfaisant certaines propriétés est le fait que tout objet satisfaisant les mêmes propriétés lui est égal. Autrement dit, il ne peut exister deux objets différents satisfaisant ces mêmes propriétés. Cependant, une démonstration de l'unicité ne suffit pas a priori pour en déduire l'existence de l'objet. La conjonction de l'existence et de l'unicité est usuellement notée à l'aide du quantificateur « ∃! ».
Admittance parametersAdmittance parameters or Y-parameters (the elements of an admittance matrix or Y-matrix) are properties used in many areas of electrical engineering, such as power, electronics, and telecommunications. These parameters are used to describe the electrical behavior of linear electrical networks. They are also used to describe the small-signal (linearized) response of non-linear networks. Y parameters are also known as short circuited admittance parameters.
Modèle statistiqueUn modèle statistique est une description mathématique approximative du mécanisme qui a généré les observations, que l'on suppose être un processus stochastique et non un processus déterministe. Il s’exprime généralement à l’aide d’une famille de distributions (ensemble de distributions) et d’hypothèses sur les variables aléatoires X1, . . ., Xn. Chaque membre de la famille est une approximation possible de F : l’inférence consiste donc à déterminer le membre qui s’accorde le mieux avec les données.
Grain (céréale)vignette|redresse|Grains de blé. vignette|redresse|Grains de maïs. vignette|redresse|Structure schématique d'un grain de blé (coupe longitudinale). Le grain est le fruit, ou la semence, des céréales (famille des Gramineae). Sur le plan botanique, c'est un caryopse, fruit sec indéhiscent contenant une seule graine dont le tégument est soudé aux tissus du péricarpe. Ce terme est dans le langage courant un quasi-synonyme de céréale, il est cependant parfois utilisé pour désigner les graines de légumes secs (famille des Leguminosae)lien web|langue =fr|url = =GRAIN subst.
Simulation informatiquevignette|upright=1|Une simulation informatique, sur une étendue de , de l'évolution du typhon Mawar produite par le Modèle météorologique Weather Research and Forecasting La simulation informatique ou numérique est l'exécution d'un programme informatique sur un ordinateur ou réseau en vue de simuler un phénomène physique réel et complexe (par exemple : chute d’un corps sur un support mou, résistance d’une plateforme pétrolière à la houle, fatigue d’un matériau sous sollicitation vibratoire, usure d’un roulem
Réaction d'hydratationEn chimie organique, la réaction d’hydratation est une addition électrophile d'une molécule d'eau sur un composé organique. Cette réaction s'opère typiquement dans l'eau en présence d'un acide fort (par exemple H2SO4), dans le but d'obtenir des ions hydronium (H3O+). Elle nécessite parfois un catalyseur, puisque l'eau ne peut réagir seule avec un alcène. En particulier, les enzymes catalysant les réactions chimiques d'hydratation dans les cellules (notamment pour la spirale catabolique de Lynen et la glycolyse) sont appelées « déshydratases ».
Lumièrevignette|Rayons de lumière sortant des nuages. Dans son sens le plus habituel, la lumière est le phénomène à l'origine d'une sensation visuelle. La physique montre qu'il s'agit d'ondes électromagnétiques. Le spectre visible est la zone du spectre électromagnétique à laquelle est sensible l'espèce humaine ; il inclut la longueur d'onde où l'éclairement énergétique solaire est maximal à la surface de la Terre, par un effet d'adaptation à l'environnement. Il s'étend autour d'une longueur d'onde de , plus ou moins un tiers.
QuadripôleEn électrocinétique, un quadripôle (ou quadrupôle) est un élément de modèle d'un circuit électrique dans lequel on le considère comme un bloc avec deux connexions d'entrée et deux de sortie. On étudie le transfert des grandeurs électriques, tension et courant, entre ces deux dipôles caractérisés par une impédance, en fonction du temps. Quand l'étude du quadripôle concerne un signal électrique, la grandeur en entrée et en sortie peut être différente (tension, courant).
Théorie des modèlesLa théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures. Elle définit en particulier les modèles des théories axiomatiques, l'objectif étant d'interpréter les structures syntaxiques (termes, formules, démonstrations...) dans des structures mathématiques (ensemble des entiers naturels, groupes, univers...) de façon à leur associer des concepts de nature sémantique (comme le sens ou la vérité).
Mineral hydrationIn inorganic chemistry, mineral hydration is a reaction which adds water to the crystal structure of a mineral, usually creating a new mineral, commonly called a hydrate. In geological terms, the process of mineral hydration is known as retrograde alteration and is a process occurring in retrograde metamorphism. It commonly accompanies metasomatism and is often a feature of wall rock alteration around ore bodies. Hydration of minerals occurs generally in concert with hydrothermal circulation which may be driven by tectonic or igneous activity.
Business simulationBusiness simulation or corporate simulation is simulation used for business training, education or analysis. It can be scenario-based or numeric-based. Most business simulations are used for business acumen training and development. Learning objectives include: strategic thinking, decision making, problem solving, financial analysis, market analysis, operations, teamwork and leadership. The business gaming community seems lately to have adopted the term business simulation game instead of just gaming or just simulation.
ConsommationLa consommation caractérise l'acte d'un agent économique (le consommateur) qui utilise (consommation finale) ou transforme (consommation intermédiaire) des biens et services. Cette utilisation ou transformation provoque la destruction immédiate (biens non durables) ou progressive (biens durables) des éléments consommés. D'un point de vue général, la consommation (destructrice de valeur) s'oppose à la production (créatrice de valeur).
