• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 60
  • 47
  • 6
  • Tagged with
  • 113
  • 113
  • 58
  • 24
  • 22
  • 19
  • 19
  • 19
  • 17
  • 17
  • 16
  • 15
  • 15
  • 14
  • 13
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
31

Allocation de ressources et ordonnancement multi-utilisateurs : une approche basée sur l'équité.

Medernach, Emmanuel 06 May 2011 (has links) (PDF)
Les grilles de calcul et le "cloud computing" permettent de distribuer un ensemble de ressources informatiques, telles que du stockage ou du temps de calcul, à un ensemble d'utilisateurs en fonction de leurs demandes en donnant l'illusion de ressources infinies. Cependant, lorsque l'ensemble de ces ressources est insuffisant pour satisfaire les exigences des utilisateurs, des conflits d'intérêts surgissent. Ainsi, un libre accès à des ressources limitées peut entraîner une utilisation inefficace qui pénalise l'ensemble des participants. Dans de tels environnements, il devient nécessaire d'établir des procédures d'arbitrage afin de résoudre ces conflits en garantissant une distribution équitable aux différents utilisateurs. Nous présentons une nouvelle classe de problèmes : celle des ordonnancements multi-utilisateurs. Cette thèse aborde la notion d'équité au travers de problèmes d'allocation de ressources sous incertitudes et d'ordonnancement de tâches périodiques.
32

Protocoles d'accès multiple orientés qualité de service en constellation de satellite à orbite basse

Ibrahim, Abbas 01 September 2002 (has links) (PDF)
Pendant les dernières années, le réseau cellulaire est devenu accessible presque partout. Pour compléter ce réseau cellulaire terrestre, plusieurs systèmes basés sur des satellites à basse orbite (LEO Low Earth Orbit) et moyenne orbite (MEO Medium Earth Orbit) ont été développés pour offrir une couverture globale. Les services multimédias sont largement demandés sur une échelle globale.<br />Notre but est de développer une couche d'accès MAC au canal satellitaire tout en respectant les contraintes de la constellation LEO. Un grand nombre d'utilisateurs de différents types vont essayer d'accéder au canal satellite (sens montant) afin d'envoyer leurs paquets. Il faut distribuer les ressources disponibles entre les différents utilisateurs de façon à respecter la QoS de chaque utilisateur et à minimiser le gaspillage. Nous avons traité dans cette thèse les ponts suivants :<br />·Nous avons adopté les techniques CDMA (Code Division Multiple Access) et TDMA (Time Division Multiple Access) pour définir les protocoles d'accès proposés en système LEOS. Ces techniques sont adaptées afin d'être utilisées d'une manière efficace dans le cas spécifique de satellites LEO (long RTD (Round Trip Delay), Handover, ).<br />·Nous avons utilisé un contrôle d'admission pour les différents types de services qui agit au niveau d'appel afin d'accepter un maximum d'utilisateurs de différents types tout en respectant la QoS de chacun. Ce contrôle utilise une fonction à capacité équivalente adaptée aux différents contextes de nos études.<br />·Nous avons défini des services au niveau MAC d'une façon générique. Les services sont supportés au niveau MAC par des MTCs (MAC Transfer Capabilities) afin de garantir la QoS demandée par chaque service. Nous avons proposé des MTCs qui supportent tous les services et applications possibles.<br />·Nous avons étudié le système pour des utilisateurs hétérogènes ce qui rend l'intégration de services nécessaire. La comparaison dépend de l'intégration et de la QoS de chaque utilisateur. Le but est toujours de maximiser la capacité totale du système.<br />·Nous avons étudié le multiplexage de services et l'allocation de ressources pour les différents protocoles d'accès. Des techniques d'ordonnancement et de partage de ressources sont proposées afin d'atteindre pour un protocole d'accès donné la performance maximale.<br />L'intégration de satellite avec l'UMTS et l'utilisation de l'ATM au sein du réseau de cur sont deux facteurs essentiels qui dirigent nos propositions sur la couche MAC. Les services vus par cette couche sont appelés les MTCs (MAC Transfer Capabilities) et doivent se coordonner avec les services de l'UMTS et l'ATM. Le choix est basé aussi sur les sources de trafics utilisées dans les différents chapitres.
33

Réforme des retombées industrielles et régionales (RIR) : les enjeux pour le Québec

Houle, Marc-André 09 1900 (has links) (PDF)
Ce mémoire procède à une analyse de la répartition régionale des dépenses militaires au Canada dans la perspective de la politique des retombées industrielles et régionales (RIR). Plus particulièrement, il vise à démontrer, à travers le cas du Québec, que les RIR sont davantage une politique de spécialisation industrielle qu'une politique de développement régional, une tendance accentuée par la réforme en cours depuis 2009. La politique des retombées industrielles et régionales a été adoptée en 1985, puis mise en œuvre l'année suivante avec pour double objectif de 1) maximiser les gains découlant d'un achat militaire effectué à l'étranger et 2) faire en sorte que les bénéfices d'un contrat soient répartis de la manière la plus équitable possible entre les régions canadiennes. Depuis, les RIR ont été interprétées et appliquées de manières très variées par les différents gouvernements au pouvoir à Ottawa et la plus récente réforme dont elles ont été l'objet prévoit l'affaiblissement de sa dimension régionale au profit d'une base industrielle de défense plus stable, plus durable et mieux intégrée à l'environnement entrepreneurial militaire mondial. La performance mitigée du Québec sur le plan des retombées économiques de la défense au cours des trente dernières années, alors que la province a toujours misé sur cette politique en vue d'obtenir sa « juste part » des retombées de la défense, indique que cette dimension régionale n'aura jamais été la pierre angulaire des RIR. Dans ce contexte, la province se trouve à la croisée des chemins : soit les entrepreneurs, en partenariat avec les différents acteurs politiques et économiques, font émerger une stratégie commune et cohérente qui permettra à la province d'obtenir sa part, soit le statu quo est maintenu et la portion des contrats dévouée au Québec continuera de décliner. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Canada, dépenses militaires, développement régional, économie de défense, Québec, RIR.
34

Gestion autonome des ressources et des applications dans un nuage informatique selon une approche fondée sur un marché

Costache, Stefania 03 July 2013 (has links) (PDF)
Les organisations qui possèdent des infrastructures de calcul à haute performance (HPC) font souvent face à certaines difficultés dans la gestion de leurs ressources. En particulier, ces difficultés peuvent provenir du fait que des applications de différents types doivent pouvoir accéder concurremment aux ressources tandis que les utilisateurs peuvent avoir des objectifs de performance (SLOs) variés. Pour atteindre ces difficultés, cette thèse propose un cadre générique et extensible pour la gestion autonome des applications et l'allocation dynamique des ressources. L'allocation des ressources et l'exécution des applications est régie par une économie de marché observant au mieux des objectifs de niveau de service (SLO) tout en tirant avantage de la flexibilité d'une nuage informatique et en maximisant l'utilisation de des ressources. Le marché fixe dynamiquement un prix aux ressources, ce qui, combiné avec une politique de distribution de monnaie entre les utilisateurs, en garantit une utilisation équitable. Simultanément, des contrôleurs autonomes mettent en oeuvre des politiques d'adaptation pour faire évoluer la demande en ressource de leur application en accord avec la SLO requise par l'utilisateur. Les politiques d'adaptation peuvent : (i) adapter dynamiquement leur demande en terme de CPU et de mémoire demandés en période de contention de ressource aux machines virtuelles (ii) et changer dynamiquement le nombre de machines virtuelle. Nous avons évalué cette plateforme au moyen de la simulation et sur l'infrastructure Grid'5000. Nos résultats ont montré que cette solution: (i) offre un support plus flexible aux applications de type différent demandant divers niveaux de service; (ii) conduit à une bonne satisfaction des utilisateurs moyennant une dégradation acceptable des performances comparées aux solutions centralisées existantes.
35

Ordonnancement et gestion des ressources pour un système de télécommunications haut débit : Optimisation de la bande passante satellite / Resource management and scheduling for a broadband telecommunications system : Optimization of satellite bandwidth

Dupe, Jean-Baptiste 01 October 2015 (has links)
Les télécommunications par satellite ont connu ces dernières années un regain d'intérêt important, du fait de leur capacité à permettre la réduction de la fracture numérique. En effet, un satellite en orbite géostationnaire peut s'appuyer sur une très grande couverture et une capacité importante pour atteindre des zones où le déploiement des réseaux terrestres n'est pas envisageable, comme les transports (bateau, avion), ou bien les zones blanches, où il serait difficilement rentable. Traditionnellement concentrés sur la diffusion de télévision numérique, les dernières générations de standards reflètent cet engouement en faisant une place de choix à la transmission de données bidirectionnelle, notamment en permettant une prise en charge simple des protocoles de l'Internet. Le problème de l'ordonnancement dans ces systèmes devient alors particulièrement important, puisqu'il doit prendre en compte deux processus évoluant de manière totalement décorrélée. D'un côté, l'évolution de la demande des utilisateurs, dépendante des applications (vidéo, voix, données). De l'autre, l'évolution de la capacité du système, celle-ci étant tributaire des conditions de transmission : les fréquences utilisées dans ces systèmes sont particulièrement sensibles à l'atténuation due à l'eau dans l'atmosphère. Cette thèse s'intéresse au problème de l'ordonnancement et de l'allocation de ressources, dans le but de fournir un service comparable aux réseaux terrestres en termes de services, en présentant les meilleures performances possibles. Si un certain nombre de propositions ont été faites sur le sujet, aucune ne prend en compte l'ensemble des contraintes d'un tel système. Outre le caractère variable de la capacité, la variabilité de la demande, conjuguée avec les contraintes de qualité de service constitue une difficulté supplémentaire. Enfin, il nous faut considérer la faisabilité de notre solution dans un contexte temps réel, nécessaire dans l'optique d'une implantation dans un système réel. Nous avons ainsi développé une architecture d'ordonnanceur pour la voie Aller, reposant sur des fonctions d'utilité, permettant ainsi une formulation simple du compromis entre demande et capacité. Nous montrons comment cet algorithme pourrait être utilisable dans un système complet, à travers une implantation détaillée, de faible complexité, ainsi que des simulations de cas réels. Nous portons ensuite notre attention sur la voie Retour, où nous proposons une méthode d'allocation de ressources prenant en compte de manière conjointe la qualité de service et la qualité du support pour délivrer une allocation à la fois conforme et performante. Les simulations montrent que notre algorithme obtient une efficacité et une meilleure gestion du trafic que des solutions de référence présentées dans la littérature. / Satellite telecommunications have seen a tremendous increase in interest, due to its ability to reduce the digital divide. In fact, a geostationary satellite can take advantage of its very wide coverage and high capacity to reach areas where deployment of a terrestrial network would not be possible, such as transports, or too expensive to be profitable, as in remote areas. Traditionally focused on digital television broadcasting, the latest generation of standards have evolved to reflect those new needs, dealing extensively with the transmission of interactive data, particularly by natively supporting Internet protocols. Scheduling has arisen as a major issue of those modern systems, since it has to deal with to highly uncorrelated processes: demand and capacity. Demand, on one side, evolves with user's needs, and therefore with the applications they are using: video, voice or data. Capacity, on the other side, depends on meteorological conditions over the satellite's cover, as the frequencies used in such systems are very sensitive to wet atmosphere attenuation. This thesis aims to study the problem of scheduling and resource allocation, hoping to achieve a service that can match with terrestrial networks in terms of services, while showing the best possible performances. If numerous solutions were proposed on this topic, none is taking into account all of the current system's constraints. In addition to the variable nature of system's capacity, the conjunction of variable demand and quality of service constraints constitutes an additional issue. Furthermore, we have to consider the practicability of our solution in a real-time context, necessary if we aim for industrial use. We have first developed a scheduler architecture for the Forward link, based on utility functions, thus allowing a simple formulation of the capacity versus demand compromise. We show, through a detailed low-complexity implementation and accurate simulations, how our algorithm could be used efficiently in an industrial context. We then focus on the Return link, where we propose a resource allocation method, taking into account quality of service and quality of transmission jointly to deliver an efficient yet consistent resource allocation. Simulations show that our algorithm achieves a better efficiency and traffic handling than reference solutions presented in the literature.
36

Invasive biology of Xenopus laevis in Europe : ecological effects and physiological adaptations / Biologie de l’invasion de Xenopus laevis en Europe : adaptations physiologiques et effets écologiques

Courant, Julien 19 September 2017 (has links)
A cause de l’actuel déclin mondial de la biodiversité, la compréhension des conséquences de chaque menace sur la biodiversité est un élément crucial en biologie de la conservation. Les espèces exotiques envahissantes représentent une de ces menaces à l’échelle mondiale, et peuvent induire localement des dommages au sein des écosystèmes. Etudier les phénomènes régissant les effets négatifs de ces espèces, et leurs potentiels d’expansion apparaît actuellement comme un élément crucial pour déterminer leurs effets sur le long terme. Dans cette étude, nous focalisons nos efforts sur une population exotique envahissante du Xénope lisse, Xenopus laevis, en France, pour apporter de nouvelles connaissances sur les interactions de cette population avec son environnement et pour étudier les changement dans l’allocation des ressources aux traits d’histoire de vie liés à la reproduction la survie et la dispersion durant l’expansion de l’aire de répartition. Nous étudions le régime alimentaire de l’espèce en France et dans d’autres populations introduites et autochtones et concluons que cette espèce peut étendre sa répartition en consommer une faible, comme une importante diversité de proies. Nous détectons également un potentiel impact de l’espèce sur les amphibiens autochtones de France. Dans la seconde section de la thèse, nous rapportons une réduction de l’allocation des ressources à la reproduction et une augmentation de la dispersion, sur le front de colonisation. Enfin, nous étudions la dynamique des populations et détectons une faible probabilité de survie, et une faible densité en individus dans le centre de l’aire de répartition. La combinaison de ces résultats suggère que les potentiels effets négatifs sur le long terme sont importants pour cette espèce, en France, tout comme dans d’autres zones où l’espèce a été, ou sera, introduite. / Because of the current global biodiversity decline, understanding the consequences of each threat on biodiversity is crucial for conservation biology. Invasive species are among the main threats at the global scale, and can locally imply harmful damages on ecosystems. Studying the phenomena driving the effects and potential for expansion of these species appears as a crucial element to assess their long terms impacts. In this study, we focused our efforts on an invasive population of the African clawed frog, Xenopus laevis, in France, to bring insight about the interactions of this population with its environment and to study the changes in resource allocation to the life history traits, related to reproduction, survival and dispersal probabilities, during the range expansion of the population. We studied the diet in the French invasive population and in other invasive and native populations, and found that this species can expand by predating a narrow, as well as a broad, range of prey categories. We also detected an impact of X. laevis on the native amphibian community in France. In the second section of the thesis, we reported a decrease in reproductive investment, and an increased dispersal allocation of resources at the range edge. We finally studied population dynamics and detected a lower survival probability and density at the range core. All these results combined suggest that the potential for long term impacts is important in France for X. laevis as well as in other areas where the species has been, or will be, introduced.
37

Caractérisation des performances limites des jeux non-coopératifs avec observation imparfaite : application à la téléphonie mobile 5G / Characterization of the limit performance in non-cooperative games with imperfect observation : application to 5G

Zhang, Chao 21 December 2017 (has links)
Une grande partie des résultats rapportés dans cette thèse est basée sur une observation qui n'a jamais été faite pour les communications sans fil et le contrôle de puissance en particulier: les niveaux de puissance d'émission et plus généralement les matrices de covariance peuvent être exploitées pour intégrer des informations de coordination. Les échantillons de rétroaction dépendants des interférences peuvent être exploités comme canal de communication. Premièrement, nous montrons que le fameux algorithme itératif de remplissage d'eau n'exploite pas suffisamment l'information disponible en termes d'utilité-somme. En effet, nous montrons que l'information globale d'état de canal peut être acquise à partir de la seule connaissance d'une rétroaction de type SINR. Une question naturelle se pose alors. Est-il possible de concevoir un algorithme de contrôle de puissance distribué qui exploite au mieux les informations disponibles? Pour répondre à cette question, nous dérivons la caractérisation de la région d'utilité pour le problème considéré et montrons comment exploiter cette caractérisation non seulement pour mesurer globalement l'efficacité mais aussi pour obtenir des fonctions de contrôle de puissance à un coup efficaces au niveau global. Motivés par le succès de notre approche sur les réseaux d'interférences mono bande et multibande, nous nous sommes demandé si elle pourrait être exploitée pour les réseaux MIMO. Nous avons identifié au moins un scénario très pertinent. En effet, nous montrons que l'alignement d'interférence opportuniste peut être implémenté en supposant seulement une rétroaction de covariance d'interférence plus bruit à l'émetteur secondaire. Puis, dans le dernier chapitre, nous généralisons le problème de la quantification, la motivation étant donnée par certaines observations faites dans les chapitres précédents. Premièrement, nous supposons que le quantificateur et le déquantificateur sont conçus pour maximiser une fonction d'utilité générale au lieu de la fonction de distorsion classique. Deuxièmement, nous supposons que le quantificateur et le déquantificateur peuvent avoir des fonctions d'utilité différentes. Cela soulève des problèmes techniques non triviaux, notre revendication est de faire un premier pas dans la résolution d'eux. / A large part of the results reported in this thesis is based on an observation which has never been made for wireless communications and power control in particular: transmit power levels and more generally transmit covariance matrices can be exploited to embed information such as coordination information and available interference-dependent feedback samples can be exploited as a communication channel. First, we show that the famous iterative water-filling algorithm does not exploit the available information sufficiently well in terms of sum-utility. Indeed, we show that global channel state information can be acquired from the sole knowledge of an SINR-type feedback. A natural question then arises. Is it possible to design a distributed power control algorithm which exploits as well as possible the available information? To answer this question, we derive the characterization of the utility region for the considered problem and show how to exploit this characterization not only to measure globally efficiency but also to obtain globally efficient one-shot power control functions. Motivated by the success of our approach for single-band and multi-band interference networks, we asked ourselves whether it could be exploited for MIMO networks. We have identified at least one very relevant scenario. Indeed, we show that opportunistic interference alignment can be implemented by only assuming interference-plus-noise covariance feedback at the secondary transmitter. Then, in the last chapter, we generalize the problem of quantization, the motivation for this being given by some observations made in the previous chapters. First, we assume that the quantizer and de-quantizer are designed to maximize a general utility function instead of the conventional distortion function. Second, we assume that the quantizer and de-quantizer may have different utility functions. This raises non-trivial technical problems, our claim is to make a very first step into solving them.
38

Cell design and resource allocation for small cell networks / Design cellulaire et l'allocation de ressources pour réseaux de petites cellules

Ramanath, Sreenath 06 October 2011 (has links)
Récemment, il y a eu une hausse massive du trafic dans les réseaux mobiles à cause de nouveaux services et applications. Les architectures actuelles des réseaux cellulaires ne sont plus capables de gérer de façon satisfaisante ce trafic. Les Réseaux de Petites Cellules (RPC), basées sur un déploiement dense de stations de bases portables, autoorganisantes et efficaces en termes d’énergie apparait comme une solution prometteuse à ce problème. Les RPC augmentent la capacité du réseau, réduisent sa consommation énergétique et améliorent sa couverture. Par contre, elles posent des défis importants en termes de design optimal. Dans cette thèse, des aspects liés au design cellulaire et à l’allocation de ressources dans les RPC sont traités. La thèse se compose de deux parties. Dans la première partie, le design cellulaire est étudié : une population statique d’utilisateurs est considérée, et la taille optimale de cellule maximisant le débit spatial est donnée en fonction du modèle de récepteur, des conditions radio et des partitions indoor/outdoor. En considérant des utilisateurs mobiles, la taille de cellule optimale est étudiée afin de minimiser le temps de service, et minimiser le blocage et la déconnexion en cours de communication, en fonction de la vitesse des utilisateurs et du type de trafic. Le problème de placement des stations de base optimal est traité en fonction de différents critères de qualité (maximisation de débit total, équité proportionnelle, minimisation de délai, équité max-min) pour différentes distributions d’utilisateurs et partitions de cellules. Le problème de scaling de capacité dans un RPC limité par l’interférence avec pré-codage est étudié, et la quantité optimale d’antennes par utilisateurs en fonction de l’interférence inter-cellules est dérivée. Dans le cadre d’un réseau “green”, pour une charge du réseau donnée, on étudie les politiques optimales en boucle ouverte, afin de maximiser soit une fonction coût du système (contrôle centralisé) soit des fonctions de coût de chacune des stations de base (contrôle distribué). Dans la seconde partie, nous étudions l’allocation de ressources, nous introduisons les concepts de d’équité T-échelle et équité multi-échelle. Ces concepts permettent de distribuer les ressources équitablement pour les différentes classes de trafic. Ces concepts sont illustrés par des applications au partage de spectre et à l’allocation de ressources dans les femto-cellules indoor/outdoor. L’allocation de puissance pour satisfaire les demandes de trafic des utilisateurs avec un grand nombre d’interféreurs est une tâche difficile. Ce problème est abordé, et nous proposons un algorithme universel qui converge vers une configuration de puissance optimale qui satisfait les demandes des utilisateurs dans toutes les stations de base. Les performances de l’algorithme sont illustrées pour différentes configurations du système et différents niveaux de coopération entre les stations de base. / An ever increasing demand for mobile broadband applications and services is leading to a massive network densification. The current cellular system architectures are both economically and ecologically limited to handle this. The concept of small-cell networks (SCNs) based on the idea of dense deployment of self-organizing; low-cost, low-power base station (BSs) is a promising alternative. Although SCNs have the potential to significantly increase the capacity and coverage of cellular networks while reducing their energy consumption, they pose many new challenges to the optimal system design. Due to small cell sizes, the mobile users cross over many cells during the course of their service resulting in frequent handovers. Also, due to proximity of BSs, users (especially those at cell edges) experience a higher degree of interference from neighboring BSs. If one has to derive advantages from SCNs, these alleviated effects have to be taken care either by compromising on some aspects of optimality (like dedicating extra resources) or by innovating smarter algorithms or by a combination of the two. The concept of umbrella cells is introduced to take care of frequent handovers. Here extra resources are dedicated to ensure that the calls are not dropped within an umbrella cell. To manage interference, one might have to ensure that the neighboring cells always operate in independent channels or design algorithms which work well in interference dominant scenarios or use the backhaul to incorporate BS cooperation techniques. Further, small cell BS are most often battery operated, which calls for efficient power utilization and energy conservation techniques. Also, when deployed in urban areas, some of the small cells can have larger concentration of users throughout the cell, for example, hot-spots, which call in for design of SCNs with dense users. Also, with portable BSs, one has the choice to install them on street infrastructure or within residential complexes. In such cases, cell design and resource allocation has to consider aspects like user density, distribution (indoor/outdoor), mobility, attenuation, etc. We present the thesis in two parts. In the first part we study the cell design aspects, while the second part deals with the resource allocation. While the focus is on SCNs, some of the results derived and the tools and techniques used are also applicable to conventional cellular systems.
39

Formal verification of business process configuration in the Cloud / Vérification formelle de la configuration des processus métiers dans le Cloud

Boubaker, Souha 14 May 2018 (has links)
Motivé par le besoin de la « Conception par Réutilisation », les modèles de processus configurables ont été proposés pour représenter de manière générique des modèles de processus similaires. Ils doivent être configurés en fonction des besoins d’une organisation en sélectionnant des options. Comme les modèles de processus configurables peuvent être larges et complexes, leur configuration sans assistance est sans doute une tâche difficile, longue et source d'erreurs.De plus, les organisations adoptent de plus en plus des environnements Cloud pour déployer et exécuter leurs processus afin de bénéficier de ressources dynamiques à la demande. Néanmoins, en l'absence d'une description explicite et formelle de la perspective de ressources dans les processus métier existants, la correction de la gestion des ressources du Cloud ne peut pas être vérifiée.Dans cette thèse, nous visons à (i) fournir de l’assistance et de l’aide à la configuration aux analystes avec des options correctes, et (ii) améliorer le support de la spécification et de la vérification des ressources Cloud dans les processus métier. Pour ce faire, nous proposons une approche formelle pour aider à la configuration étape par étape en considérant des contraintes structurelles et métier. Nous proposons ensuite une approche comportementale pour la vérification de la configuration tout en réduisant le problème bien connu de l'explosion d'espace d'état. Ce travail permet d'extraire les options de configuration sans blocage d’un seul coup. Enfin, nous proposons une spécification formelle pour le comportement d'allocation des ressources Cloud dans les modèles de processus métier. Cette spécification est utilisée pour valider et vérifier la cohérence de l'allocation des ressources Cloud en fonction des besoins des utilisateurs et des capacités des ressources / Motivated by the need for the “Design by Reuse”, Configurable process models are proposed to represent in a generic manner similar process models. They need to be configured according to an organization needs by selecting design options. As the configurable process models may be large and complex, their configuration with no assistance is undoubtedly a difficult, time-consuming and error-prone task.Moreover, organizations are increasingly adopting cloud environments for deploying and executing their processes to benefit from dynamically scalable resources on demand. Nevertheless, due to the lack of an explicit and formal description of the resource perspective in the existing business processes, the correctness of Cloud resources management cannot be verified.In this thesis, we target to (i) provide guidance and assistance to the analysts in process model configuration with correct options, and to (ii) improve the support of Cloud resource specification and verification in business processes. To do so, we propose a formal approach for assisting the configuration step-by-step with respect to structural and business domain constraints. We thereafter propose a behavioral approach for configuration verification while reducing the well-known state space explosion problem. This work allows to extract configuration choices that satisfy the deadlock-freeness property at one time. Finally, we propose a formal specification for Cloud resource allocation behavior in business process models. This specification is used to formally validate and check the consistency of the Cloud resource allocation in process models according to user requirements and resource capabilities
40

Dynamic resource allocation and network optimization in the Cloud Radio Access Network / Allocation dynamique des ressources et optimisation du réseau dans le Cloud Radio Access Network

Lyazidi, Mohammed Yazid 27 November 2017 (has links)
Le Cloud Radio Access Network (C-RAN) est une future direction dans les réseaux de communications sans fils pour déployer des systèmes cellulaires 4G et renforcer la migration des opérateurs vers la nouvelle génération 5G. En comparaison avec l'architecture traditionnelle des stations de base distribuées, l'architecture C-RAN apporte un lot d'avantages à l'opérateur: meilleure utilisation des ressources radio, flexibilité du réseau, minimisation de la puissance consommée et amenuisement des coûts de déploiement. Dans cette thèse, nous adressons le problème d'allocation dynamique des ressources et minimisation de la puissance des communications à liaison descendante dans le C-RAN. Notre recherche vise à allouer les ressources radio à des flux dynamiques d'utilisateurs, tout en trouvant les meilleures combinaisons entre points d'accès et unités de calculs, pour satisfaire la demande de trafic. Il s'agit en outre, d'un problème d'optimisation non linéaire et NP-difficile, comprenant plusieurs contraintes relatives aux demandes de ressources des utilisateurs, gestion d'interférences, capacités fixes des unités de calcul dans le Cloud et des liaisons de transport ainsi que la limitation de la puissance transmise maximale. Afin de surmonter la complexité inhérente à cette problématique du C-RAN, nous présentons différentes approches pour l'allocation dynamique des ressources en trois principales contributions. Les résultats de nos simulations prouvent l'efficacité de nos méthodes, comparé à celles existantes dans la littérature, en termes de taux de débit de satisfaction, nombre d'antennes actives, puissance consommée dans le Cloud, résilience et coût opérationnel du C-RAN. / Cloud Radio Access Network (C-RAN) is a future direction in wireless communications for deploying cellular radio access subsystems in current 4G and next-generation 5G networks. In the C-RAN architecture, BaseBand Units (BBUs) are located in a pool of virtual base stations, which are connected via a high-bandwidth low latency fronthaul network to Radio Remote Heads (RRHs). In comparison to standalone clusters of distributed radio base stations, C-RAN architecture provides significant benefits in terms of centralized resource pooling, network flexibility and cost savings. In this thesis, we address the problem of dynamic resource allocation and power minimization in downlink communications for C-RAN. Our research aims to allocate baseband resources to dynamic flows of mobile users, while properly assigning RRHs to BBUs to accommodate the traffic and network demands. This is a non-linear NP-hard optimization problem, which encompasses many constraints such as mobile users' resources demands, interference management, BBU pool and fronthaul links capacities, as well as maximum transmission power limitation. To overcome the high complexity involved in this problem, we present several approaches for resource allocation strategies and tackle this issue in three stages. Obtained results prove the efficiency of our proposed strategies in terms of throughput satisfaction rate, number of active RRHs, BBU pool processing power, resiliency, and operational budget cost.

Page generated in 0.5191 seconds