Etude du comportment mécanique des poutres corrodées réparées à l’effort tranchant par l’insertion des joncs de carbone

Cette communication présente les caractéristiques principales d’un modèle par Eléments Finis (EF) développé en utilisant le logiciel FEMIX afin de prévoir le comportement de poutres en béton armé corrodées réparées à l’effort tranchant par l’insertion des joncs de carbone par la technique NSM (Near-Surface Mounted reinforcement). Cette technique consiste à sceller les joncs de carbone dans des engravures déjà préparées sur les surfaces inférieure et latérale de la poutre corrodée à réparer. Les résultats expérimentaux et ceux de la modélisation numérique en mode 3D sont présentés en termes des courbes charge-flèche et des modes de ruine pour quatre poutres courtes: deux poutres corrodées (A1CL3-B et A1CL3-SB) et deux poutres témoins (A1T-B et A1T-SB), les poutres avec « -B » sont réparées seulement en flexion avec un jonc de carbone par la technique NSM, tandis que celles avec « -SB » sont réparées à la fois en flexion et à l’effort tranchant. La corrosion des barres d'acier tendues et son effet sur la résistance à l’effort tranchant des poutres en béton armé sont discutés. Les résultats ont montré une bonne corrélation entre les prédictions par le modèle EF en termes de courbes expérimentales charge-flèche, de la fissuration et des modes de ruine.

Topological abstraction of higher-dimensional automata

Higher-dimensional automata constitute a very expressive model for concurrent systems. In this paper, we discuss ``topological abstraction" of higher-dimensional automata, i.e., the replacement of HDAs by smaller ones that can be considered equivalent from the point of view of both computer science and topology. By definition, topological abstraction preserves the homotopy type, the trace category, and the homology graph of an HDA. We establish conditions under which cube collapses yield topological abstractions of HDAs.