On s'attache dans cette thèse à plusieurs aspects liés à la résolution de problèmes multi-objectifs, sans se limiter au cas biobjectif. Nous considérons la résolution exacte, dans le sens de la détermination de l'ensemble des points non dominés, ainsi que la résolution approchée dans laquelle on cherche une approximation de cet ensemble dont la qualité est garantie a priori.Nous nous intéressons d'abord au problème de la détermination d'une représentation explicite de la région de recherche. La région de recherche, étant donné un ensemble de points réalisables connus, exclut la partie de l'espace des objectifs que dominent ces points et constitue donc la partie de l'espace des objectifs où les efforts futurs doivent être concentrés dans la perspective de déterminer tous les points non dominés.Puis nous considérons le recours aux algorithmes de séparation et évaluation ainsi qu'aux algorithmes de ranking afin de proposer une nouvelle méthode hybride de détermination de l'ensemble des points non dominés. Nous montrons que celle-ci peut également servir à obtenir une approximation de l'ensemble des points non dominés. Cette méthode est implantée pour le problème de l'arbre couvrant de poids minimal. Les quelques propriétés de ce problème que nous passons en revue nous permettent de spécialiser certaines procédures et d'intégrer des prétraitements spécifiques. L'intérêt de cette approche est alors soutenu à l'aide de résultats expérimentaux. / This thesis deals with several aspects related to solving multi-objective problems, without restriction to the bi-objective case. We consider exact solving, which generates the nondominated set, and approximate solving, which computes an approximation of the nondominated set with a priori guarantee on the quality.We first consider the determination of an explicit representation of the search region. The search region, defined with respect to a set of known feasible points, excludes from the objective space the part which is dominated by these points. Future efforts to find all nondominated points should therefore be concentrated on the search region.Then we review branch and bound and ranking algorithms and we propose a new hybrid approach for the determination of the nondominated set. We show how the proposed method can be adapted to generate an approximation of the nondominated set. This approach is instantiated on the minimum spanning tree problem. We review several properties of this problem which enable us to specialize some procedures of the proposed approach and integrate specific preprocessing rules. This approach is finally supported through experimental results.

Les systèmes embarqués sur puce (SoC) envahissent notre vie quotidienne. Avec les progrès technologiques, ils intègrent de plus en plus de fonctionnalités complexes impliquant des charges de calcul et des tailles de mémoire importantes. Alors que leur complexité est une tendance clé, la consommation d’énergie est aussi devenue un facteur critique pour la conception de SoC. Dans ce contexte, nous avons étudié une approche de modélisation au niveau transactionnel qui associe à un modèle fonctionnel SystemC-TLM une description d’une structure de gestion d’un arbre d’horloge décrit au même niveau d’abstraction. Cette structure développée dans une approche de séparation des préoccupations fournit à la fois l’interface pour la gestion de puissance des composants matériels et pour le logiciel applicatif. L’ensemble des modèles développés est rassemblé dans une librairie ClkARCH. Pour appliquer à un modèle fonctionnel un modèle d’un arbre d’horloge, nous proposons une méthodologie en trois étapes : spécification, modélisation et simulation. Une étape de vérification en simulation est aussi considérée basée sur des contrats de type assertion. De plus, nos travaux visent à être compatibles avec des outils de conception actuels. Nous avons proposé une représentation d’une structure de gestion d’horloge et de puissance dans le standard IP-XACT permettant de produire les descriptions C++ des structures de gestion de puissance du SoC. Enfin, nous avons proposé une approche de gestion de puissance basée sur l’observation globale des états fonctionnels du système dans le but d’éviter ainsi des prises de décisions locales peu efficaces à une optimisation de l’énergie. / Embedded systems-on-chip (SoC) invade our daily life. With advances in semiconductor technology, these systems integrate more and more complex and energy-intensive features which generate increasing computation load and memory size requirements. While the complexity of these systems is a key trend, energy consumption has emerged as a critical factor for SoC designers. In this context, we have studied a modeling transactional level approach allowing a description of a clock tree and its management structure to be associated with a functional model, both described at the same abstraction level. This structure developed in a separation of concerns approach provides both the interface to the power consumption management of the hardware components and the application software. All the models developed are gathered in a C++ ClkArch library. To apply to a SystemC-TLM architecture model a clock tree intent with its control part, we propose a methodology based on three steps: specification, modeling and simulation. A verification step based on simulation is also considered using contracts of assertion type. This work aims to build a modelling approach on current design tools. So we propose a representation of a clock and power management structure in the IP-XACT standard allowing a C++ description of the SoC power management structures to be generated. Finally, a power management strategy based on the global functional states of the components of the system architecture is proposed. This strategy avoids local decision-making unsuited to optimized overall power/energy management.

Dans la forêt boréale, les températures augmentent et les régimes de précipitations changent, ce qui entraîne une augmentation de l'intensité et de la fréquence des conditions de sécheresse. Ces changements devraient se poursuivre et avoir des effets complexes et variables sur la végétation de la forêt boréale, notamment la modification de la composition due à la sécheresse, la mortalité des arbres et la disparition des forêts. L'objectif de cette thèse était de fournir une meilleure compréhension fonctionnelle des relations arbre-eau pour deux espèces d'arbres boréales communes et co-occurrentes (l’épinette noire; Picea mariana et le mélèze laricin; Larix laricina) à travers la forêt boréale de l'ouest du Canada. Pour ce faire, j’ai étudié comment les différents éléments de l'hydraulique des arbres, y compris la transpiration, et le déficit hydrique, étaient affectés par les conditions locales (structure du peuplement, conditions édaphiques et type de couverture terrestre), les stratégies fonctionnelles des arbres (caractéristiques structurelles et foliaires) et/ou les conditions climatiques (déficit de pression de vapeur, rayonnement, température de l'air, pluie et évapotranspiration). J'ai déterminé que l'utilisation acquisitive des ressources se traduisait par une productivité plus élevée chez le mélèze laricin, lorsque la disponibilité en eau était élevée, que les nutriments n'étaient pas limités et que la concurrence pour la lumière était favorable. L'épinette noire, en revanche, avait une acquisition lente des ressources, privilégiant la conservation de l'eau par rapport à la croissance radiale. J'ai déterminé que la transpiration de l'épinette noire et du mélèze laricin était influencée par l'hétérogénéité du site dans un complexe de tourbières boréales boisées, entraînant une variabilité de la contribution de la transpiration à l’échelle de l’évapotranspiration de l'écosystème. J’ai associé des variables environnementales au déficit hydrique des arbres au niveau de l'espèce afin de déterminer les facteurs de stress hydrique chez l'épinette noire et le mélèze laricin sur cinq sites de la limite sud à la limite nord de la forêt boréale. J'ai determiné que le déficit hydrique quotidien des arbres était contrôlé par la transpiration, tandis que les périodes plus longues (jours à semaines) de stress dû à la sécheresse étaient contrôlées par le rayonnement solaire et la disponibilité de l'eau, et étaient coordonnées avec les flux d'évapotranspiration à l’échelle du peuplement. Il est important de comprendre les relations hydriques des espèces d'arbres dans le biome boréal occidental du Canada, car la disponibilité en eau devrait devenir de plus en plus limitée dans cette région. Malgré des stratégies différentes selon les espèces pour faire face aux conditions actuelles de la forêt boréale, il existe des incertitudes quant à la résilience des arbres face aux changements environnementaux prévus. La poursuite des travaux visant à quantifier les réponses des espèces d'arbres communes et répandues à des conditions progressivement limitées en eau aidera à comprendre la résilience des forêts boréales face aux changements environnementaux rapides et à maintenir leurs services écosystémiques liés à la régulation du climat, à la séquestration du carbone, à l'habitat de la faune et de la flore, à la culture et à l'économie. / In the boreal forest, air temperatures are increasing, and precipitation regimes are changing, leading to amplified intensity and frequency of drought conditions. Changes are projected to continue, resulting in complex and variable effects on boreal forest vegetation including drought-induced forest compositional changes, tree mortality and, in some places, forest loss. The objective l of this work was to provide an improved functional understanding of tree-water relationships for two common and co-occurring boreal tree species (black spruce; Picea mariana and tamarack; Larix laricina) across Canada’s western boreal forest. To achieve this objective, I explored how different elements of tree-water relations, including transpiration, and tree water deficit were affected by local conditions (stand structure, edaphic conditions, and land cover type), tree functional strategies (structural and foliar traits), and/or meteorological conditions (vapor pressure deficit, radiation, air temperature, rain, and evapotranspiration). In Chapter 2, I explored the coordination between resource-use strategies of tamarack and black spruce, and found that acquisitive resource-use resulted in higher productivity in tamarack, when water availability was high, nutrients were not limited and competition for light was favourable. Black spruce, by contrast, had slow resource acquisition, prioritizing water conservation over radial growth. Next, in Chapter 3, I determined that transpiration of black spruce and tamarack were influenced by site heterogeneity across a forested boreal peatland complex, leading to variability in the contribution of stand-level transpiration to ecosystem evapotranspiration. Finally, in Chapter 4, I paired environmental variables with species-level tree water deficit to determine the drivers of water-stress in black spruce and tamarack across five sites spanning the extent of the boreal biome in western North America from the southern to northern boreal tree-line. I determined that daily tree water deficit was controlled by transpiration, while longer periods (days to weeks) of drought stress were controlled by solar radiation and water availability. Both short and long periods of tree water deficit caused greater stand-level fluxes of evapotranspiration. Understanding water relations of tree species in Canada’s western boreal biome is of utmost importance as water availability is projected to become increasingly limited in this region. Although tree species have different strategies to cope with current conditions in the boreal forest, there is uncertainty regarding the resilience of black spruce and tamarack to projected environmental changes. Continued work to quantify the responses of common and widespread tree species to progressively water-limited conditions will help to understand the resilience of boreal forests in the face of rapid environmental change, and to maintain their ecosystem services related to climate regulation, carbon sequestration, wildlife habitat, culture and economy.

Dans cette thèse, nous étudions divers problèmes dont l'objectif est de gérer la croissance d'internet plus efficacement. En effet celle-ci est très vive : 41% pour le pic en 2012. Afin de répondre aux défis posés par cette évolution aux divers acteurs du réseau, des protocoles de gestion et de communication plus intelligents sont nécessaires. Les protocoles de l'Internet furent conçus comme des protocoles point à point. Or, la part de la diffusion de média dans le trafic est prépondérante et en nette hausse, et des projections indiquent qu'en 2016 80-90% du trafic sera engendré par de la diffusion vidéo. Cette divergence entraîne des inefficacités, car des multiples copies d'un message transitent par un lien. Dans cette thèse, nous étudions comment remediér á cette inefficacité. Nos contributions sont organisées selon les couches et les phases de déploiement du réseau. Nous étudions le placement de caches lors de la conception du réseau. Ensuite, pour la gestion d'un réseau, nous regardons quand placer des appareils en veille, en utilisant un mécanisme de cache et en coopération avec des réseaux de distribution. Puis, au niveau de la couche application, nous étudions un problème de maintenance d'arbres équilibrés pour la diffusion de média. Enfin, nous analysons la probabilité de survie des données dans un système de sauvegarde distribuée. Notre travail se fonde à la fois sur des méthodes théoriques (Chaînes de Markov, Programmation Linéaire), mais aussi sur des outils empiriques tels que la simulation et l'expérimentation.