FonderieLa fonderie est l'un des procédés de formage des métaux qui consiste à couler un métal ou un alliage liquide dans un moule pour reproduire, après refroidissement, une pièce donnée (forme intérieure et extérieure) en limitant autant que possible les travaux ultérieurs de finition. Les techniques employées dépendent de l’alliage fondu, des dimensions, des caractéristiques et des quantités de pièces à produire.
Loi de Hall-PetchIn materials science, grain-boundary strengthening (or Hall–Petch strengthening) is a method of strengthening materials by changing their average crystallite (grain) size. It is based on the observation that grain boundaries are insurmountable borders for dislocations and that the number of dislocations within a grain has an effect on how stress builds up in the adjacent grain, which will eventually activate dislocation sources and thus enabling deformation in the neighbouring grain as well.
Solar phenomenaSolar phenomena are natural phenomena which occur within the atmosphere of the Sun. These phenomena take many forms, including solar wind, radio wave flux, solar flares, coronal mass ejections, coronal heating and sunspots. These phenomena are believed to be generated by a helical dynamo, located near the center of the Sun's mass, which generates strong magnetic fields, as well as a chaotic dynamo, located near the surface, which generates smaller magnetic field fluctuations.
AbiogenèseL'abiogenèse est l'apparition de la vie à partir de matière inanimée. Dans sa conception moderne il s'agit de l'apparition de micro-organismes primitifs (et certainement disparus aujourd'hui) à partir de matière organique préexistante et d'origine abiotique. Le concept d'abiogenèse s'oppose aux théories de panspermie (selon lesquelles la vie sur Terre serait d'origine extraterrestre) ainsi qu'aux conceptions légendaires ou religieuses d'une création des êtres vivants par une puissance supérieure.
Grain (unité)Le grain est une unité de mesure ancienne, soit de masse, soit de longueur (Gn). Il convertit une unité sèche en humide. L'ajout de quelques grains en plus du poids légal d'une (pièce de) monnaie permettait à une pièce de monnaie exposée à l'usure de conserver sa masse légale plus longtemps ; c'est ce qui s'appelle le trébuchant qui permet de mouvoir la balance. À l'origine, ce grain pouvait être un grain commun comme un grain d'orge, de froment ou de seigle, ou un grain plus petit.
Cohérence (logique)En logique mathématique, la cohérence, ou consistance, d'une théorie axiomatique peut se définir de deux façons, soit par référence à la déduction : il n'est pas possible de tout démontrer à partir des axiomes de la théorie, soit par référence à la sémantique de la théorie : celle-ci possède des réalisations qui lui donnent un sens. La première définition est syntaxique au sens où elle utilise des déductions ou démonstrations, qui sont des objets finis.
Zonage (urbanisme)vignette|Application du système de zonage sur la ville de Tarnowskie Góry en Silésie au Sud de la Pologne Le zonage est un outil de règlementation et de contrôle de l'utilisation du sol. Le mot est dérivé de la pratique de diviser le territoire municipal en zones et d'attribuer à chacun des usages permis. La pratique du zonage est issue du constat que la cohabitation harmonieuse sur un territoire des usages résidentiels, commerciaux et industriels exige une ségrégation plus ou moins prononcée entre eux, ce qui entraîne qu'on leur alloue une ou plusieurs zones exclusives ou mixtes.
Gazvignette|Sphère de stockage de gaz naturel. vignette|Conduite de gaz de ville en polyéthylène. vignette|Panneau indiquant une conduite de gaz enterrée en France. vignette|Les gaz de combat ont été produits et utilisés de manière industrielle lors de la Première Guerre mondiale. Un gaz est un ensemble d'atomes ou de molécules très faiblement liés et quasi indépendants. Dans l’état gazeux, la matière n'a pas de forme propre ni de volume propre : un gaz tend à occuper tout le volume disponible.
Tôlevignette|Tôle à Nyhavn, Danemark. Une tôle est un morceau de métal obtenu au moyen d'un laminoir à produits plats. Les tôles les plus minces sont appelées « feuilles », celles d'épaisseur intermédiaire « tôles minces » (ou « tôles fines »), et les plus épaisses « tôles fortes » (ou « plaques »). Selon l'organisation professionnelle , les tôles minces sont définies comme ayant une épaisseur comprise entre 0,20 et . La limite inférieure est parfois donnée à , et la limite supérieure est parfois arrondie à .
Théorie oméga-cohérenteEn logique mathématique une théorie arithmétique est appelée théorie ω-cohérente (oméga-cohérente) quand, pour toute propriété P des nombres entiers que l'on peut exprimer dans le langage de la théorie, si pour chaque entier n, P(n) est démontrable dans la théorie, alors ¬∀x P(x) n'est pas démontrable dans la théorie (¬ pour la négation, ∀ pour la quantification universelle, « pour tout »). Quand on prend pour P un énoncé clos (qui ne dépend pas de x) on retrouve la définition de la cohérence, appelée parfois dans ce contexte cohérence simple, qui est donc conséquence de l'ω-cohérence.
