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).
Écrouissagedroite|vignette|Laminage : l'amincissement provoque un durcissement du métal. Lécrouissage d'un métal est le durcissement d'un métal ductile sous l'effet de sa déformation plastique (déformation permanente). Ce mécanisme de durcissement explique en grande partie les différences de tenues et résistance entre les pièces métalliques obtenues par corroyage (c'est-à-dire par déformation plastique : laminage, tréfilage, forgeage) et les pièces de fonderie (simplement coulées dans un moule).
Thermodynamic stateIn thermodynamics, a thermodynamic state of a system is its condition at a specific time; that is, fully identified by values of a suitable set of parameters known as state variables, state parameters or thermodynamic variables. Once such a set of values of thermodynamic variables has been specified for a system, the values of all thermodynamic properties of the system are uniquely determined. Usually, by default, a thermodynamic state is taken to be one of thermodynamic equilibrium.
Atmospheric modelIn atmospheric science, an atmospheric model is a mathematical model constructed around the full set of primitive, dynamical equations which govern atmospheric motions. It can supplement these equations with parameterizations for turbulent diffusion, radiation, moist processes (clouds and precipitation), heat exchange, soil, vegetation, surface water, the kinematic effects of terrain, and convection. Most atmospheric models are numerical, i.e. they discretize equations of motion.
Durcissement structuralLe durcissement structural est comme son nom l'indique un procédé permettant de durcir un alliage de métaux. Il nécessite un alliage métastable, dont la forme stable à température ambiante est un composé intermétallique constitué de deux phases différentes. Un recuit à l'intérieur du nez du diagramme TTT entraîne la germination de précipités de différentes nouvelles phases plus ou moins stables. Ces précipités, qu'ils soient cohérents ou incohérents avec la phase principale constituent des obstacles sur le chemin des dislocations ce qui augmente la dureté ainsi que les propriétés en traction du matériau.
Free variables and bound variablesIn mathematics, and in other disciplines involving formal languages, including mathematical logic and computer science, a variable may be said to be either free or bound. The terms are opposites. A free variable is a notation (symbol) that specifies places in an expression where substitution may take place and is not a parameter of this or any container expression. Some older books use the terms real variable and apparent variable for free variable and bound variable, respectively.
Hardening (metallurgy)Hardening is a metallurgical metalworking process used to increase the hardness of a metal. The hardness of a metal is directly proportional to the uniaxial yield stress at the location of the imposed strain. A harder metal will have a higher resistance to plastic deformation than a less hard metal. The five hardening processes are: The Hall–Petch method, or grain boundary strengthening, is to obtain small grains. Smaller grains increases the likelihood of dislocations running into grain boundaries after shorter distances, which are very strong dislocation barriers.
Échelle de Mohsvignette|Coffret transportable contenant les dix minéraux de l'échelle de Mohs. L'échelle de Mohs fut inventée en 1812 par le minéralogiste allemand Friedrich Mohs afin de mesurer la dureté des minéraux. Elle est basée sur dix minéraux facilement disponibles, classés du plus tendre au plus dur. Comme c'est une échelle ordinale, on doit procéder par comparaison (capacité de l'un à rayer l'autre) avec deux autres minéraux dont on connaît déjà la dureté. Cette échelle n'est ni linéaire ni logarithmique.
Prévision numérique du tempsLa prévision numérique du temps (PNT) est une application de la météorologie et de l'informatique. Elle repose sur le choix d'équations mathématiques offrant une proche approximation du comportement de l'atmosphère réelle. Ces équations sont ensuite résolues, à l'aide d'un ordinateur, pour obtenir une simulation accélérée des états futurs de l'atmosphère. Le logiciel mettant en œuvre cette simulation est appelé un modèle de prévision numérique du temps.
Microstructure (matériaux)vignette|Microstructure d'origine organique : celle d'un œuf, mise en évidence par une source lumineuse. Le concept de microstructure peut se définir indépendamment des matériaux considérés (métaux, céramiques ou matières plastiques). Schatt et Worch la définissent ainsi : Les zones de la microstructure, appelées cristallites (grains, charges ou zones amorphes) sont généralement de taille microscopique et peuvent être caractérisées, aussi bien qualitativement que quantitativement, au microscope optique.
