L'influence du sable de mer sur la durabilité du béton

La corrosion des armatures dans le béton armé est un problème des plus importants dans l'évaluation de la durabilité des structures. L'objectif de notre travail est de générer de l'information qualitative au niveau de l'influence du sable de mer sur l'initiation et la propagation de la corrosion, cette information permettra de prédire la duré de vie des ouvrages en béton arme. L'évolution de la corrosion est suive par la méthode électrochimique, la chute de potentiel indique l'initiation de la corrosion, et la fissuration dénote sa propagatio

Deadness and how to disprove liveness in hybrid dynamical systems

© 2016 The Authors. Published by Elsevier. This is an open access article available under a Creative Commons licence. The published version can be accessed at the following link on the publisher’s website: https://doi.org/10.1016/j.tcs.2016.06.009What if we designed a tool to automatically prove the dynamical properties of systems for which analytic proof is difficult or impossible to obtain? Such a tool would represent a significant advance in the understanding of complex dynamical systems with nonlinearities. This is precisely what this paper offers: a solution to the problem of automatically proving some dynamic stability properties of complex systems with multiple discontinuities and modes of operation modelled as hybrid dynamical systems. For this purpose, we propose a reinterpretation of some stability properties from a computational viewpoint, chiefly by using the computer science concepts of safety and liveness. However, these concepts need to be redefined within the framework of hybrid dynamical systems. In computer science terms, here, we consider the problem of automatically disproving the liveness properties of nonlinear hybrid dynamical systems. For this purpose, we define a new property, which we call deadness. This is a dynamically-aware property of a hybrid system which, if true, disproves the liveness property by means of a finite execution. We formally define this property, and give an algorithm which can derive deadness properties automatically for a type of liveness property called inevitability. We show how this algorithm works for three different examples that represent three classes of hybrid systems with complex behaviours.This work has been supported by the Engineering and Physical Sciences Research Council (EPSRC) of the UK under the framework of the project DYVERSE: A New Kind of Control for Hybrid Systems (EP/I001689/1). The first author also acknowledges the support of the Research Councils UK under the grant EP/E50048/1.Published versio

Saisir les comportements humains en situation de catastrophes : proposition d'une démarche méthodologique immersive

International audienceLa recherche Com2SiCa dans laquelle s’inscrit cet article vise les objectifs suivants : d’une part appréhender la diversité des comportements humains et des possibles changements d’états pouvant se produire lors d’une catastrophe majeure, soudaine, rapide, avec peu ou sans signe précurseur ; d’autre part analyser les trajectoires de déplacement associées à des décisions spontanées d’évacuation (ou non) des espaces en prise avec l’évènement. Les connaissances en ce domaine sont encore assez lacunaires car pour des raisons pratiques et éthiques, il est difficile d’appréhender la diversité des réponses comportementales durant le déroulement d’une catastrophe. Afin de saisir ces dernières, nous avons élaboré une méthodologie expérimentale d’enquête sur le terrain qui s’appuie sur une simulation immersive visuelle et sonore. En plongeant les participants dans des scénarios-catastrophe, ce dispositif inédit a pour objet de produire des données relatives aux réponses comportementales observables face à des situations imminentes. Expérimenté sur deux villes littorales, Nice et Le Havre, afin de pouvoir tester la réplicabilité de la démarche et comparer les résultats, ce protocole a été pensé pour des scénarios d’aléas « naturels » ou « industriels ». Nous présentons la démarche, ses objectifs et le type d’innovation méthodologique qu’il a nécessité. La conduite de l’enquête pour la ville du Havre sert de fil conducteur et d’illustration concrète du déploiement du dispositif sur le terrain. Les résultats obtenus sont multiples : certains soulignent la validité et l’intérêt de mener des enquêtes immersives sur le terrain ; d’autres confirment le fait que, pour un même scénario de catastrophe, il n’y a pas un comportement unique pour faire face à l’évènement. Au contraire, c’est une diversité et un enchaînement de réactions qui ont pu être observés. Il en résulte une hétérogénéité des trajectoires pour évacuer les lieux de la catastrophe ou se mettre à l’abri. Nous observons aussi que ces déplacements dépendent de la configuration spatiale où a lieu l’évènement. La connaissance de cette hétérogénéité comportementale et de l’influence des lieux pourrait être utile aux acteurs opérationnels

Saisir les comportements humains en situation de catastrophes : proposition d'une démarche méthodologique immersive

International audienceLa recherche Com2SiCa dans laquelle s’inscrit cet article vise les objectifs suivants : d’une part appréhender la diversité des comportements humains et des possibles changements d’états pouvant se produire lors d’une catastrophe majeure, soudaine, rapide, avec peu ou sans signe précurseur ; d’autre part analyser les trajectoires de déplacement associées à des décisions spontanées d’évacuation (ou non) des espaces en prise avec l’évènement. Les connaissances en ce domaine sont encore assez lacunaires car pour des raisons pratiques et éthiques, il est difficile d’appréhender la diversité des réponses comportementales durant le déroulement d’une catastrophe. Afin de saisir ces dernières, nous avons élaboré une méthodologie expérimentale d’enquête sur le terrain qui s’appuie sur une simulation immersive visuelle et sonore. En plongeant les participants dans des scénarios-catastrophe, ce dispositif inédit a pour objet de produire des données relatives aux réponses comportementales observables face à des situations imminentes. Expérimenté sur deux villes littorales, Nice et Le Havre, afin de pouvoir tester la réplicabilité de la démarche et comparer les résultats, ce protocole a été pensé pour des scénarios d’aléas « naturels » ou « industriels ». Nous présentons la démarche, ses objectifs et le type d’innovation méthodologique qu’il a nécessité. La conduite de l’enquête pour la ville du Havre sert de fil conducteur et d’illustration concrète du déploiement du dispositif sur le terrain. Les résultats obtenus sont multiples : certains soulignent la validité et l’intérêt de mener des enquêtes immersives sur le terrain ; d’autres confirment le fait que, pour un même scénario de catastrophe, il n’y a pas un comportement unique pour faire face à l’évènement. Au contraire, c’est une diversité et un enchaînement de réactions qui ont pu être observés. Il en résulte une hétérogénéité des trajectoires pour évacuer les lieux de la catastrophe ou se mettre à l’abri. Nous observons aussi que ces déplacements dépendent de la configuration spatiale où a lieu l’évènement. La connaissance de cette hétérogénéité comportementale et de l’influence des lieux pourrait être utile aux acteurs opérationnels