Seismic vibration controlIn earthquake engineering, vibration control is a set of technical means aimed to mitigate seismic impacts in building and non-building structures. All seismic vibration control devices may be classified as passive, active or hybrid where: passive control devices have no feedback capability between them, structural elements and the ground; active control devices incorporate real-time recording instrumentation on the ground integrated with earthquake input processing equipment and actuators within the structure; hybrid control devices have combined features of active and passive control systems.
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.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Séisme lentUn séisme lent (SSE, pour slow slip event) appelé aussi séisme silencieux, est un déplacement discontinu semblable à celui d'un séisme, mais qui libère l'énergie élastique en plusieurs heures ou plusieurs jours au lieu de quelques minutes comme un séisme ordinaire. Les séismes lents ont d'abord été détectés par la mesure des déplacements et déformations. Aujourd'hui l'on sait qu'ils sont généralement accompagnés d'écoulements fluides et du trémor associé, que l'on peut détecter et localiser par filtrage des données sismométriques (dans la bande , typiquement).
Sismologiethumb|Station sismologique Basse-Terre au sommet du morne Mazeau en Guadeloupe. La sismologie ou séismologie (ce dernier est un anglicisme de seismology) est une discipline scientifique qui étudie les séismes (tremblements de terre) et la propagation des ondes élastiques (dites ondes sismiques) à l'intérieur de la Terre. La sismologie moderne utilise les concepts de la mécanique newtonienne appliqués à la connaissance de la Terre.
Séisme de 1994 à NorthridgeLe séisme de 1994 à Northridge est un tremblement de terre qui s'est produit près de Los Angeles le à . De magnitude de moment 6.7, il a tué 72 personnes et fait quelque . Avec des dégâts estimés à environ 20 milliards de dollars, il est l'une des catastrophes naturelles les plus coûteuses de l'histoire des États-Unis. L'épicentre du séisme est situé à Reseda, dans la vallée de San Fernando, à une trentaine de kilomètres du centre de Los Angeles.
Isolement basthumb|Fondation antisimique découplée par isolement bas : appui sur galets caoutchouc en tête de fondation, Municipal Office Building, Glendale. Génie parasismique L’isolement bas est une technique de construction parasismique efficace et peu coûteuse. Son but est de découpler les superstructures des bâtiments de leur partie basse afin de résister aux séismes sans avoir besoin d'une structure extrêmement résistante et dispendieuse.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
Contreplaquéthumb|Contreplaqué de bouleau. vignette|Principe de fabrication du contreplaqué. Le contreplaqué ou plus précisément panneau contreplaqué (en Belgique, multiplex ; en anglais, plywood) est un panneau à base de bois obtenu par collage de couches adjacentes à fils croisés, normalement des placages, habituellement à angles droits. Le contreplaqué est composé de plusieurs couches de placages, appelées plis, en nombre impair. L'épaisseur d'un panneau varie entre 1 mm et 50 mm.
Engineered woodEngineered wood, also called mass timber, composite wood, man-made wood, or manufactured board, includes a range of derivative wood products which are manufactured by binding or fixing the strands, particles, fibres, or veneers or boards of wood, together with adhesives, or other methods of fixation to form composite material. The panels vary in size but can range upwards of and in the case of cross-laminated timber (CLT) can be of any thickness from a few inches to or more.
