Une solution de gestion de puissance d'un système sur puce peut être définie par une architecture de faible puissance composée de multiples domaines d'alimentation et de leur stratégie de gestion. Si ces deux éléments sont économes en énergie, une solution efficace en énergie peut être obtenue. Cette approche nécessite l'ajout d'éléments structurels de puissance et de leurs comportements. Une stratégie de gestion doit respecter les dépendances structurelles et fonctionnelles dues au placement physique des domaines d'alimentation. Cette relation forte entre l'architecture et sa stratégie de gestion doit être analysée tôt dans le flot de conception pour trouver la solution de gestion de puissance la plus efficace. De récentes normes de conception basse consommation définissent des sémantiques pour la spécification, simulation et vérification d'architecture de faible puissance au niveau transfert de registres (RTL). Mais elles manquent une sémantique d'interface de gestion des domaines d'alimentation réutilisable ce qui alourdit l'exploration. Leurs sémantiques RTL ne sont pas aussi utilisables au niveau transactionnel pour une exploration plus rapide et facile. Pour combler ces lacunes, cette thèse étend ces normes et fournit une étude complète des possibilités d'optimisation de puissance basées sur la composition et la gestion des domaines d'alimentation pour des modèles fonctionnels transactionnels utilisant un environnement commun USLPAF. USLPAF comprend une méthodologie alliant conception et vérification des modèles transactionnels de faible consommation, ainsi qu'une bibliothèque de techniques de modélisation et fonctions prédéfinies pour appliquer cette méthodologie.

Résumé : Les dalles de tabliers de ponts et des stationnements sont exposées à des environnements agressifs en particulier au Québec et en Amérique du Nord en raison de l'utilisation de sels de déglaçage et des cycles de gel-dégel. La substitution des armatures d’acier par des armatures en matériaux composites de polymères renforcés de fibres (PRF) constitue une alternative intéressante qui connait beaucoup de succès ces dernières années. Le béton armé de PRF est durable, car l’armature n’est pas sujette à la corrosion électrochimique. Aussi l’armature de PRF possède une résistance en traction élevée et est légère. En Amérique du Nord, l’utilisation des composites de PRF a suscité une attention toute particulière de la part des ingénieurs et des gestionnaires d’ouvrages. Plusieurs organismes dont des ministères de transport spécifient l’armature de PRF comme matériau structural dans leurs devis techniques pour lutter contre la corrosion et allonger la durée de service de leurs infrastructures. Les dalles en béton armé sont souvent soumises à des efforts de cisaillement critiques. Actuellement les méthodes de calcul au cisaillement (à l’effort tranchant) de dalles unidirectionnelles en béton armé de PRF différèrent d’une norme à une autre. En effet, la majorité des équations proposées dans les normes et guides de conception ont dérivées à partir de relations empiriques. Bien que des efforts de recherche considérables aient été consacrés dans ce domaine au cours de la dernière décennie, une meilleure compréhension du comportement au cisaillement et des mécanismes de rupture de dalles unidirectionnelles en béton armé de PRF est encore nécessaire. Dans cette recherche, un programme expérimental visant à étudier le comportement de dalles renforcées avec différents types de barres en PRF a été mis en place. Vingt-deux dalles unidirectionnelles en béton renforcées avec des barres de PRF ont été construites et testées en flexion a quatre points jusqu’à la rupture. Les paramètres d’étude comprennent : le type et le taux d’armature, le diamètre de la barre, l’espacement et la configuration de l’armature ainsi que la résistance en compression du béton afin d’examiner leur effet sur la résistance au cisaillement des dalles. Le comportement des dalles testées a été examiné en considérant le réseau de fissures, la charge ultime ainsi que les modes de rupture. Aussi, une base de données comprenant 203 poutres et dalles unidirectionnelles en béton armé de PRF rompues en cisaillement a été répertoriée et introduite dans les analyses. Les charges de rupture en cisaillement des dalles testées dans le cadre de cette thèse ainsi que celles de la base de données ont été comparées à celles prédites par les équations de calcul proposées par la normes canadiennes CSA S6-06/S1 et CSA S806-12, ainsi que celles des deux guides de calcul ACI 440.1R-06 et JSCE-97. Les analyses effectuées ont montré que les valeurs prédites par les équations de calcul proposées par l’ACI 440.1R-06 sont très conservatrices, alors que celles prédites par celles de JSCE-97 sont en meilleur accord avec les valeurs expérimentales. Aussi, les résultats obtenus ont montré que les équations de la nouvelle norme CSA S806-12 prédisent bien la résistance au cisaillement expérimentale. Toutefois, une amélioration de l'équation de la norme CSAS806-12, conduisant à de meilleurs résultats, est proposée. Par ailleurs, les résultats obtenus dans le cadre de cette thèse ont mené à une meilleure compréhension des mécanismes de rupture et des facteurs principaux qui contribuent à la résistance au cisaillement de dalles unidirectionnelles en béton armée de PRF. Enfin, des recommandations pour des travaux futurs y sont également formulées. // Abstract : Bridge deck and parking garage slabs are exposed to aggressive environments particularly in the North American regions resulting from the excessive use of de-icing salts. Fiber-reinforced-polymer (FRP) reinforcements have emerged as a practical and sustainable anti-corrosive reinforcing material with superior tensile strength to overcome the corrosion problem. High comfort level and increase use of the material is currently seen. Protection and regulations policies of some Public North American agencies currently include GFRP reinforcing bars as premium reinforcement. Shear behaviour in RC slabs is examined since most of the bridge deck and parking garage slabs are shear critical. However, there is still no agreement in FRP design codes and guidelines for shear strength equations. Several design code equations are still based on empirical relationships while recent developments are based on shear theories. The complex nature of shear phenomena which is influenced by many parameters, in addition to the existence of various schools of thoughts in shear, makes it difficult to find a general agreement on a unified equation. Huge research efforts are being established, however better understanding for the shear behaviour and failure mechanisms for unidirectional FRP RC slabs is still needed. In this research study, an experimental program was designed to investigate the shear behaviour of one-way concrete slabs reinforced with different types of FRP bars. A total of twenty one concrete slabs reinforced with FRP bars in addition to a steel reinforced slab were constructed and tested to failure under two-point loading. The variation in the concrete contribution to the shear strength V[subscript c] is investigated with respect to FRP reinforcement properties. Newly developed GFRP bars with high modulus, which were not previously investigated in the literature, are used. Different FRP reinforcement properties were included in the study such as reinforcement ratio, modulus of elasticity and axial stiffness, type of bars, and reinforcement configuration. Also, normal concrete and high strength concrete were considered in the research program. Analysis of the experimental results included the general behavior of the tested slabs, crack patterns, ultimate capacities, and modes of failure, load deflection relationships as well as the concrete and reinforcement strains. Test results of the present investigation indicate an influence of the reinforcement type, bar diameter, and the shear stiffness of the bars on the mode of failure and the shear strength. The experimental investigation and analysis of test results provided better understanding of concerning mechanisms of failure and factors contributing to the shear capacity of FRP RC slabs. A refined shear model to the CSA S806-12 is introduced and found to provide better results compared to the existing design codes and guidelines. The model is based on regression analysis of an experimental database. The database is assembled from twenty five different studies in addition to the present investigation. The used database includes 203 unidirectional members reinforced with FRP bars (without shear reinforcement) failing in shear. The model was evaluated through the experimental concrete shear capacities (V[subscript c exp]) of the database and found to provide good predictions. The experimental shear capacities of the database ( V[subscript c exp]) was compared to their corresponding predicted shear capacities (Vcpred ) using CSA S806-12, CAN/CSA-S6.1S1, ACI 440.1R-06, and JSCE-97. It was found that the ACI guide is very conservative. It can be noted that using this guide in its present form may reduce the economic competitiveness of fibre-reinforced polymers. JSCE recommendations are in better agreement with the test results. The Canadian CSA S806-12 equation was found to be in good fit with the experimental shear capacities.

Une solution de gestion de puissance d’un système sur puce peut être définie par une architecture de faible puissance composée de multiples domaines d'alimentation et de leur stratégie de gestion. Si ces deux éléments sont économes en énergie, une solution efficace en énergie peut être obtenue. Cette approche nécessite l’ajout d’éléments structurels de puissance et de leurs comportements. Une stratégie de gestion doit respecter les dépendances structurelles et fonctionnelles dues au placement physique des domaines d'alimentation. Cette relation forte entre l'architecture et sa stratégie de gestion doit être analysée tôt dans le flot de conception pour trouver la solution de gestion de puissance la plus efficace. De récentes normes de conception basse consommation définissent des sémantiques pour la spécification, simulation et vérification d’architecture de faible puissance au niveau transfert de registres (RTL). Mais elles manquent une sémantique d’interface de gestion des domaines d'alimentation réutilisable ce qui alourdit l’exploration. Leurs sémantiques RTL ne sont pas aussi utilisables au niveau transactionnel pour une exploration plus rapide et facile. Pour combler ces lacunes, cette thèse étend ces normes et fournit une étude complète des possibilités d'optimisation de puissance basées sur la composition et la gestion des domaines d'alimentation pour des modèles fonctionnels transactionnels utilisant un environnement commun USLPAF. USLPAF comprend une méthodologie alliant conception et vérification des modèles transactionnels de faible consommation, ainsi qu’une bibliothèque de techniques de modélisation et fonctions prédéfinies pour appliquer cette méthodologie. / A SoC power management solution can be defined by a low-power architecture composed of multiple power domains and a power management strategy for power domains states control. If these two elements are energy-efficient, an energy-efficient solution can be obtained. This approach requires inferring power structural elements and their related behavior in the chip internal logic. A strategy adjusting the power domains states must respect structural and functional dependencies due to the physical power domains composition. This strong relationship between power architecture and its management strategy must be explored at early design stages to find the most energy-efficient solution. Low-power design standards have recently enabled low-power architecture exploration starting from the Register Transfer Level (RTL) by defining semantics to specify power architecture, simulate and check its behavior along with the initial functional one. But, these standards miss semantics for reusable power domain control interface making power management strategies exploration tedious. The RTL-based semantics defined by these standards constrain also their use at Transaction-Level of Modeling (TLM) for fast and easy exploration. This dissertation proposes extensions to low-power standards to fill these gaps. It provides a complete study of power optimization opportunities based on composition and management of power domains in Transaction-Level (TL) functional models within a common USLPAF framework. USLPAF includes a methodology that combines design and verification of TL low-power models. To apply this methodology, USLPAF incorporates a library of modeling techniques and built-in features.