Recristallisation (métallurgie)En science des matériaux, le terme recristallisation désigne une réorganisation de la structure cristalline qui a lieu à l'état solide. Elle est précédée par la restauration. La déformation plastique d'un matériau s'accompagne de la création de dislocations (mécanisme de Frank et Read). Ces dislocations représentent un « stock d'énergie élastique ». Lorsque la température est suffisante, les dislocations deviennent spontanément mobiles et provoquent une réorganisation de la structure cristalline, en deux étapes : restauration puis recristallisation.
Cleavage (geology)Cleavage, in structural geology and petrology, describes a type of planar rock feature that develops as a result of deformation and metamorphism. The degree of deformation and metamorphism along with rock type determines the kind of cleavage feature that develops. Generally, these structures are formed in fine grained rocks composed of minerals affected by pressure solution. Cleavage is a type of rock foliation, a fabric element that describes the way planar features develop in a rock.
LaminageLe laminage est un procédé de fabrication par déformation plastique. Il concerne différents matériaux comme du métal ou tout autre matériau sous forme pâteuse comme le papier ou les pâtes alimentaires. Cette déformation est obtenue par compression continue au passage entre deux cylindres contrarotatifs (tournant en sens inverse l'un de l'autre) appelés « laminoir ». Un laminoir est une installation industrielle ayant pour but la réduction d'épaisseur d'un matériau (généralement du métal).
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
DislocationEn science des matériaux, une dislocation est un défaut linéaire (c'est-à-dire non-ponctuel), correspondant à une discontinuité dans l'organisation de la structure cristalline. Une dislocation peut être vue simplement comme un "quantum" de déformation élémentaire au sein d'un cristal possédant un champ de contrainte à longue distance. Elle est caractérisée par : la direction de sa ligne ; un vecteur appelé « vecteur de Burgers » dont la norme représente l'amplitude de la déformation qu'elle engendre.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
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.
Métamorphismevignette|upright=1.6|Évolutions métamorphiques les plus souvent enregistrées par les roches du métamorphisme régional en domaine continental, dans le diagramme pression-température (P-T) dans le métamorphisme. Domaines de stabilité de (chlorite, plagioclase, biotite, grenat, andalousite, disthène et sillimanite). Le métamorphisme désigne l'ensemble des transformations subies à l'état solide par une roche (sédimentaire, magmatique ou métamorphique) sous l'effet de modifications des conditions de température, de pression, de la nature des fluides minéralisés ou de la composition chimique de la roche.
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).
Restauration (métallurgie)En métallurgie, la restauration est le nom d'un traitement thermique (ou d'une phase d'un traitement thermique) ou recuit durant lequel on observe une diminution de la densité des dislocations. Les dislocations sont en général introduites par déformation plastique (multiplication des dislocations par le mécanisme de Frank et Read). Ces dislocations se gênent mutuellement et donc augmentent la dureté (phénomène d'écrouissage).
Erreur typeLerreur type d'une statistique (souvent une estimation d'un paramètre) est l'écart type de sa distribution d'échantillonnage ou l'estimation de son écart type. Si le paramètre ou la statistique est la moyenne, on parle d'erreur type de la moyenne. La distribution d'échantillonnage est générée par tirage répété et enregistrements des moyennes obtenues. Cela forme une distribution de moyennes différentes, et cette distribution a sa propre moyenne et variance.
Grain growthIn materials science, grain growth is the increase in size of grains (crystallites) in a material at high temperature. This occurs when recovery and recrystallisation are complete and further reduction in the internal energy can only be achieved by reducing the total area of grain boundary. The term is commonly used in metallurgy but is also used in reference to ceramics and minerals. The behaviors of grain growth is analogous to the coarsening behaviors of grains, which implied that both of grain growth and coarsening may be dominated by the same physical mechanism.
