Une structure en béton armé est sujette à différents types de sollicitations. Les tremblements de terre font partie des événements exceptionnels qui induisent des sollicitations extrêmes aux ouvrages. Pour faire face à cette problématique, les codes de calcul des ponts routiers font appel à une approche basée sur des niveaux de performance qui sont rattachés à des états limites. Actuellement, les états limites d'une pile de ponts en béton armé (BA) confinée à l'aide de polymères renforcés de fibres de carbone (PRFC) proposés dans la littérature ne prennent pas en compte le confinement lié au chemisage de PRFC en combinaison avec celui des spirales d'acier. Ce projet de recherche était la suite du volet de contrôle non destructif d'une étude réalisée en 2012 qui comprenait un volet expérimental [Carvalho, 2012] et un volet numérique [Jean, 2012]. L'objectif principal était de compléter l'étude du comportement des poteaux en BA renforcés de PRFC soumis à un chargement cyclique avec les données acoustiques recueillies par St-Martin [2014]. Plus précisément, les objectifs spécifiques étaient de déterminer les états limites reliés aux niveaux de performance et de caractériser la signature acoustique de chaque état limite (p. ex. fissuration du béton, plastification de l'acier et rupture du PRFC). Une méthodologie d'analyse acoustique basée sur l'état de l'art de Behnia et al. [2014] a été utilisée pour quantifier la gravité, localiser et caractériser le type de dommages. Dans un premier temps, les données acoustiques provenant de poutres de 550 mm x 150 mm x 150 mm ont permis de caractériser la signature acoustique des états limites. Puis, des cinq spécimens d'essai construits en 2012, les données acoustiques de trois spécimens, soient des poteaux circulaires d'un diamètre de 305 mm et d'une hauteur de 2000 mm ont été utilisée pour déterminer les états limites. Lors de ces essais, les données acoustiques ont été recueillies avec 14 capteurs de résonances qui étaient reliés à un système multicanal et au logiciel AEwin SAMOS 5.23 de Physical Acoustics Corporation (PAC) [PAC, 2005] par St-Martin [2014]. Une analyse de la distribution des paramètres acoustiques (nbr. de comptes et énergie absolue) combiné à la localisation des événements et le regroupement statistique, communément appelé clustering, ont permis de déterminer les états limites et même, des signes précurseurs à l'atteinte de ces états limites (p. ex. l'initiation et la propagation des fissures, l'éclatement de l'enrobage, la fissuration parallèle aux fibres et l'éclatement du PRFC) qui sont rattachés aux niveaux de performances des poteaux conventionnels et confinés de PRFC. Cette étude a permis de caractériser la séquence d'endommagement d'un poteau en BA renforcé de PRFC tout en démontrant l'utilité de l'écoute acoustique pour évaluer l'endommagement interne des poteaux en temps réel. Ainsi, une meilleure connaissance des états limites est primordiale pour intégrer les PRFC dans la conception et la réhabilitation des ouvrages.

Les réseaux de régulation biologiques sont des systèmes complexes dans lesquels les entités biologiques interagissent entre elles, faisant ainsi émerger des comportements particuliers. Dans cette thèse, nous proposons une méthodologie générale afin de mieux comprendre les mécanismes en jeux dans ces réseaux de régulation et tout particulièrement dans ceux ayant un comportement oscillatoire. De façon générale, les différentes parties de cette méthodologie ont pour but, soit d'analyser des systèmes biologiques de plus en plus grands, soit de raffiner les analyses sur des modèles moins conséquents. Ces travaux utilisent les propriétés temporelles des modèles biologiques qui sont souvent abondantes mais encore relativement peu exploitées. Pour parvenir à intégrer les données temporelles, nous avons développé des modélisations hybrides qui combinent dans leurs comportements des aspects purement qualitatifs ainsi que des aspects continus (dans les notions temporelles quantitatives). La première partie de cette méthodologie générale consiste à utiliser une modélisation hybride nommée TEM (pour modélisation d'évolution temporelle) qui permet une pré-analyse du système biologique. L'avantage de cette modélisation est qu'elle utilise des paramètres qui sont très proches des données biologiques et qu'elle peut fournir des résultats d'intérêt à partir d'un nombre réduit d'hypothèses simples. Néanmoins, plus nous fournissons de données sur le modèle biologique dans l'approche TEM et plus les résultats obtenus sont précis. La seconde partie de notre méthodologie générale consiste à reprendre des modélisations existantes et couramment utilisées (la modélisation par équations différentielles par morceaux (PLDE) et la modélisation discrète de R. Thomas) et d'y ajouter de nouvelles méthodes conjointes. La première méthode permet d'obtenir l'ensemble des contraintes nécessaires et suffisantes pour le paramétrage d'un modèle d'après des spécifications. Ceci peut permettre de découvrir des caractéristiques communes à l'ensemble des paramétrages validant les spécifications du modèle mais également d'obtenir l'ensemble de ces paramétrages grâce à un solveur de contraintes. La seconde méthode permet de décomposer les dynamiques obtenues à partir du paramétrage d'un modèle. Cette méthode peut servir à mieux comprendre les dynamiques ainsi obtenues en sachant si un comportement correspond à un ensemble de sous-comportements et si oui lesquels. La méthode peut également servir à travailler sur un sous-ensemble de la dynamique en ne prenant en compte que les sous-comportements intéressants, par rapport à certaines préoccupations. Enfin, la dernière partie de cette thèse consiste en une modélisation nommée modélisation TDD (pour modélisation par décomposition des domaines temporels) et permettant de raffiner les analyses précédentes. Cette modélisation est basée sur la modélisation PLDE et la modélisation discrète de R. Thomas afin de profiter pleinement des méthodes que nous avons développées. En fait, cette modélisation, tout comme dans la première modélisation présentée dans cette thèse, est une modélisation hybride qui utilise également la notion de temps via des paramètres temporels.

La ventilation naturelle est une stratégie passive qui permet l'échange naturel d'air entre le bâtiment et l'environnement extérieur. Elle assure une bonne qualité de l'air intérieur, améliore le confort thermique et elle réduit les besoins énergétiques, les émissions de gaz à effet de serre et les symptômes liés au syndrome du bâtiment malsain. Bien que les avantages et les bénéfices de la ventilation naturelle soient multiples, son usage est rare dans l'architecture contemporaine. Bien sûr, il existe des limites à sa mise en œuvre dans certains bâtiments, comme la mauvaise qualité de l'air extérieur, mais ces problèmes ne justifient pas une utilisation si peu répandue. La cause de sa faible diffusion est principalement liée à la difficulté de la conception plutôt que aux facteurs physiques liés à l'environnement. La thèse vise à fournir différents outils pour comprendre la dynamique des fluides dans les bâtiments et développer des techniques et des méthodes pour aider la conception des bâtiments ventilés naturellement. L'approche adoptée dans la thèse est modélisée selon les besoins du concepteur qui peut choisir d'utiliser différents types de supports tels que: utiliser des outils graphiques ou des modélisations numériques, s'inspirer de l'architecture contemporaine et répéter les solutions technologiques existantes, utiliser des outils de modélisation physique, s'inspirer du passé ou du monde naturel. Ici plusieurs aspects de la ventilation naturelle sont traités en apportant à chacun une contribution innovante afin de créer des outils d'aide pour différents phases de la conception : Les objectifs de la thèse sont de créer des outils innovants qui simplifient la conception à des niveaux différents. Nous avons créé donc, des outils et des modèles graphiques simplifiés pour choisir la forme du bâtiment et son orientation, des lignes directrices pour le dimensionnement des dispositifs de ventilation (cheminées de toit), des méthodes expérimentales simplifiées associées à des codes de lecture des écoulements d'air. Nous avons également élargit le panorama culturel et historiques et nous avons créé des indications morphologiques dérivant de l'analyse de l'architecture biomimétique. Grâce à une analyse CFD paramétrique, des outils graphiques sont générés pour évaluer, de manière comparative, les performances de ventilation d'une famille morphologique de bâtiments et choisir la forme du bâtiment, son orientation et la position des ouvertures. Nous créons des lignes directrices pour la conception et le pré-dimensionnement des dispositifs de ventilation. Les règles sont déterminées par une analyse comparative de neuf projets de bâtiments contemporains ventilés naturellement dans lesquels le dispositif de ventilation est présent. Une soufflerie est conçue et réalisée pour simplifier les visualisations des écoulements d'air autour des modèles de bâtiments et nous proposons une méthode pour réaliser des expérimentations de support à la conception. Le système de refroidissement géothermique d'une ancienne villa à Costozza (Vicence, Italie) est étudié. Cette section élargit la connaissance du patrimoine architectural italien et souligne l'importance de redécouvrir des solutions technologiques bioclimatiques existantes, toujours en fonction. On analyse une structure animale: le nid d'un insecte. Il s'agit d'un archétype bioclimatique qu'il peut être utilisé dans l'architecture en tant que technologie biomimétique / Natural ventilation is a passive ventilation strategy of confined spaces that consists of natural air exchange between the building and the outdoor environment. Natural ventilation ensures a good indoor air quality, it improves the thermal comfort and it reduces the greenhouses gases emission, the energy demand and the symptoms associated with the Sick Building Syndrome. Although the advantages and benefits of natural ventilation are multiple, its application is rare to contemporary architecture. By the way, there are some limits to its implementation, such as the bad quality of outdoor air, but that does not justify a so limited design of naturally ventilated buildings. The cause of its rare diffusion is primarily the difficulty of design rather than the factors related to the environment. The thesis intends to provide multiple tools for understanding the fluid dynamics in buildings and to develop techniques and methods to support the design of naturally ventilated buildings. The approach adopted in the thesis is modeled according to the needs of the designer. In fact, a designer can choose to use different types of support tools such as: use of graphic tools or numerical models, inspiration to contemporary architecture to provide the existing technology solutions, use of physical modeling tools, inspiration to the past or to the nature. Often, the design is a global process and does not need a single tool but the designer uses more than one. Here, several aspects of natural ventilation are dealt with, trying to make an innovative contribution to each of these themes, in particular : Through a parametric CFD analysis, graphical tools are generated to evaluate, adopting a comparative approach, the ventilative performance of a morphological family of buildings and to choose the shape of the building, its orientation and the position of the openings. Guidelines are set for the design and pre-dimensioning of ventilation devices. The rules are determined by a comparative analysis of nine contemporary ventilation projects in which the ventilation device is present. An optimized wind tunnel is created to simplify airflow visualizations around building models. We provide also a method to make simplified experimentations, an aiding-design tool, and a code that allows to understand the views with the smoke. We study the geothermal cooling system of an ancient villa in Costozza (Vicenza, Italy). This section extends the knowledge of the Italian architectural heritage and highlights the importance of rediscovering existing bioclimatic technology solutions, still in operation. An animal structure is analysed: the bug of an insect. This is a bioclimatic archetype and therefore it can be applied to architecture as a biomimetic technology

Les systèmes temps-réel critiques sont de plus en plus complexes, et les exigences fonctionnelles et non-fonctionnelles ne cessent plus de croître. Le flot de conception de tels systèmes doit assurer, parmi d'autres propriétés, le déterminisme fonctionnel et la prévisibilité temporelle. Le déterminisme fonctionnel est inhérent aux modèles de calcul flot de données (ex. KPN, SDF, etc.) ; c'est pour cela qu'ils sont largement utilisés pour modéliser les systèmes embarqués de traitement de flux. Un effort considérable a été accompli pour résoudre le problème d'ordonnancement statique périodique et à mémoire de communication bornée des graphes flots de données. Cependant, les systèmes embarqués temps-réel optent de plus en plus pour l'utilisation de systèmes d'exploitation temps-réel et de stratégies d'ordonnancement dynamique pour gérer les tâches et les ressources critiques. Cette thèse aborde le problème d'ordonnancement temps-réel dynamique des graphes flots de données ; ce problème consiste à assigner chaque acteur dans un graphe à une tâche temps-réel périodique (i.e. calcul des périodes, des phases, etc.) de façon à : (1) assurer l'ordonnançabilité des tâches sur une architecture et pour une stratégie d'ordonnancement (ex. RM, EDF) données ; (2) exclure statiquement les exceptions d'overflow et d'underflow sur les buffers de communication ; et (3) optimiser les performances du système (ex. maximisation du débit, minimisation des tailles des buffers).