Residual stressIn materials science and solid mechanics, residual stresses are stresses that remain in a solid material after the original cause of the stresses has been removed. Residual stress may be desirable or undesirable. For example, laser peening imparts deep beneficial compressive residual stresses into metal components such as turbine engine fan blades, and it is used in toughened glass to allow for large, thin, crack- and scratch-resistant glass displays on smartphones.
Pont suspenduUn pont suspendu à câbles porteurs est un ouvrage métallique dont le tablier est attaché par l'intermédiaire de tiges de suspension verticales à un certain nombre de câbles flexibles ou de chaînes dont les extrémités sont reliées aux culées sur les berges. Contrairement à tous les autres ponts, les ponts suspendus exercent une traction horizontale sur leur point d'appui.
Pont à haubansLes ponts à haubans sont un type de pont dont le tablier est suspendu par des câbles, eux-mêmes étant soutenus par des pylônes. thumb|Le pont de l'Iroise à Brest. Contrairement aux ponts suspendus, qui tiennent grâce à deux câbles principaux ancrés sur les rives, les ponts à haubans tiennent grâce à de nombreux câbles obliques partant d'un pylône supportant le tablier qui supportera en fin de compte tout le poids du pont. Il constitue une avancée par rapport au pont suspendu sur les sols meubles, mais cependant limitée par la portée moindre du pont à haubans.
AcierUn acier est un alliage métallique constitué principalement de fer et de carbone. Il se distingue des fontes et des ferroalliages par sa teneur en carbone comprise entre 0,02 % et 2 % en masse. C’est essentiellement cette teneur en carbone qui confère à l'acier ses propriétés. Histoire de la production de l'acier L’Âge du fer se caractérise par l’adaptation du bas fourneau à la réduction du fer. Ce bas fourneau produit une loupe, un mélange hétérogène de fer, d’acier et de laitier, dont les meilleurs morceaux doivent être sélectionnés, puis cinglés pour en chasser le laitier.
Cahier des charges fonctionnelLe cahier des charges fonctionnel (CdCF) est un document formalisant un besoin, en détaillant les fonctionnalités attendues d'un système, d'un produit ou d'un service ainsi que les contraintes (techniques, réglementaires, budgétaires, etc.) auxquelles il est soumis. Pour la bonne compréhension de ces trois mots, une forme d'écriture peut être d'écrire fonctionnelles pour qualifier les charges en termes de fonctions qui seront formulées en utilisant des verbes à l'infinitif pour confirmer qu'il s'agit d'actions.
Acier Cortenvignette|Acier Corten. L'acier Corten, aussi appelé acier patinable, acier auto-protecteur, ou encore acier intempérique au Québec, est un acier à corrosion superficielle provoquée. Il est utilisé en architecture, en paysagisme, en construction et en sculpture d'extérieur, pour son aspect et sa résistance aux conditions atmosphériques. L'oxydation de l'acier Corten se réalise naturellement en six mois puis se stabilise dans le temps, mais certains professionnels utilisent de l'accélérateur de rouille pour parvenir à rouiller la surface en moins d'une heure.
Formal equivalence checkingFormal equivalence checking process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. In general, there is a wide range of possible definitions of functional equivalence covering comparisons between different levels of abstraction and varying granularity of timing details.
Organisme de normalisationUn organisme de normalisation est un organisme dont les activités premières sont l'établissement puis le maintien de normes destinées à des utilisateurs extérieurs à cette organisation. Leurs activités peuvent inclure le développement, la coordination, la promulgation, la révision, la modification, la réédition ou l'interprétation de telles normes. Pour les désigner, on utilise parfois le sigle anglais SDO pour Standard Development Organisation.
Ossature en acierlien=//upload.wikimedia.org/wikipedia/commons/thumb/2/2e/Lloyds_Axe_and_Willis.jpg/170px-Lloyds_Axe_and_Willis.jpg|vignette|200px|Ossature en acier rectangulaire, ou «charpente périmétrique» du bâtiment Willis (à droite) contrastain avec la charpente du 30 St Mary Axe, à Londres. L'ossature en acier est une technique de construction avec une ossature de colonnes verticales en acier et de horizontales, construites selon une grille rectangulaire pour supporter les planchers, le toit et les murs d'un bâtiment qui sont tous attachés à l'ossature.
Formal specificationIn computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. They are used to describe a system, to analyze its behavior, and to aid in its design by verifying key properties of interest through rigorous and effective reasoning tools. These specifications are formal in the sense that they have a syntax, their semantics fall within one domain, and they are able to be used to infer useful information.
