Diffusionless transformationDiffusionless transformations, also referred to as displacive transformations, are solid-state changes in the crystal structure that do not rely on the diffusion of atoms over long distances. Instead, they occur due to coordinated shifts in atomic positions, where atoms move by a distance less than the span between neighboring atoms while maintaining their relative arrangement. An illustrative instance of this is the martensitic transformation observed in steel.
Revenu (métallurgie)Les traitements thermiques dits de revenu font partie d'une famille de traitements thermiques ayant pour trait commun d'être toujours effectués à des températures inférieures aux températures de transformations allotropiques des métaux, lorsque celles-ci existent. Les revenus ont la particularité de produire deux effets : une transformation métallurgique rendue possible par le mécanisme de diffusion amorcé pendant un séjour suffisant à température (voir Diagramme temps-température-transformation) ; un abaissement de la limite d'élasticité et, de moindre façon, du module d'élasticité pendant la montée en température et une légère amorce de fluage pendant le temps de palier à température de revenu.
Martensitevignette|Martensite : Microstructure en forme d'aiguille. La martensite (fer α') est une phase métastable des aciers, issue de la transformation sans diffusion de l'austénite γ en dessous d'une température martensitique. Elle tire son nom de (1850-1914), métallurgiste allemand. La structure de la martensite des aciers trempés est étudiée par Floris Osmond en 1890. La martensite est ferromagnétique. Elle possède une grande dureté (HV > 800) et une fragilité notable.
Traitement thermique d'un métalLe traitement thermique d'une pièce de métal consiste à lui faire subir des transformations de structure grâce à des cycles prédéterminés de chauffage et de refroidissement afin d'en améliorer les caractéristiques mécaniques : dureté, ductilité, limite d'élasticité Ce procédé est souvent couplé avec l'emploi d'une atmosphère contrôlée lors de la mise en température de la pièce, soit pour éviter son oxydation, soit pour effectuer un apport ou changement moléculaire de surface (traitement de surface).
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.
Proposition (philosophie)Une proposition est en philosophie ce qui dans un énoncé est susceptible d'être conservé lors d'une traduction et de recevoir une valeur de vérité, c'est-à-dire d'être vrai ou faux. Un exemple courant pour désigner ce qu'est une proposition par rapport à un énoncé ou à une phrase est de comparer les deux énoncés ou phrases suivantes : « Il pleut. » « It's raining. » Ces deux énoncés ou phrases ont la même proposition, à savoir qu'il pleut. Un autre exemple courant dans le domaine est de comparer « La neige est blanche » et « Snow is white ».
Quaternions et rotation dans l'espaceLes quaternions unitaires fournissent une notation mathématique commode pour représenter l'orientation et la rotation d'objets en trois dimensions. Comparés aux angles d'Euler, ils sont plus simples à composer et évitent le problème du blocage de cardan. Comparés aux matrices de rotations, ils sont plus stables numériquement et peuvent se révéler plus efficaces. Les quaternions ont été adoptés dans des applications en infographie, robotique, navigation, dynamique moléculaire et en mécanique spatiale des satellites.
Calcul des propositionsLe calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique. Il a pour objet l'étude des relations logiques entre « propositions » et définit les lois formelles selon lesquelles les propositions complexes sont formées en assemblant des propositions simples au moyen des connecteurs logiques et celles-ci sont enchaînées pour produire des raisonnements valides. Il est un des systèmes formels, piliers de la logique mathématique dont il aide à la formulation des concepts.
Formule propositionnelleEn logique mathématique une proposition, ou formule propositionnelle, ou expression propositionnelle est une expression construite à partir de connecteurs et de variables propositionnelles. En logique propositionnelle classique, une formule propositionnelle, ou expression propositionnelle, est une formule bien formée qui possède une valeur de vérité. Si les valeurs de toutes les variables propositionnelles dans une formule propositionnelle sont données, une unique valeur de vérité peut être déterminée.
Rotation formalisms in three dimensionsIn geometry, various formalisms exist to express a rotation in three dimensions as a mathematical transformation. In physics, this concept is applied to classical mechanics where rotational (or angular) kinematics is the science of quantitative description of a purely rotational motion. The orientation of an object at a given instant is described with the same tools, as it is defined as an imaginary rotation from a reference placement in space, rather than an actually observed rotation from a previous placement in space.
