• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 3007
  • 1254
  • 255
  • 3
  • 2
  • 2
  • 1
  • 1
  • Tagged with
  • 4447
  • 1272
  • 873
  • 763
  • 730
  • 540
  • 497
  • 478
  • 474
  • 454
  • 341
  • 341
  • 314
  • 304
  • 300
  • 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.
121

Prise en compte de l'incertitude dans les modèles fiabilistes de maintenance industrielle. Extension aux Sollicitations variables

Basile, Olivier 12 March 2007 (has links)
Résumé : voir fichier joint
122

Un système de recherche d'information adapté aux données incertaines : adaptation du modèle de langue

Tambellini, Caroline 13 December 2007 (has links) (PDF)
Tout système de recherche d'information développe une méthodologie formelle ou opérationnelle pour affirmer si les termes de chaque document correspondent à ceux de la requête. La plupart de ces systèmes s'appuie sur l'hypothèse que les termes extraits des documents ont été parfaitement reconnus ou identifiés, et de fait leur fonction de correspondance repose sur une capacité à disposer d'une relation d'égalité entre terme du document et terme de la requête. <br />Notre travail se positionne dans le cas où les données ne s'avèrent pas parfaitement reconnues et donc qualifiées d'incertaines. Dans ce contexte, l'égalité entre termes du document et termes de la requête est remise en cause pour laisser place à la notion de ‘presque égalité'. Nous proposons un système de recherche d'informations adapté aux données incertaines et basé sur le modèle de langue. Nous introduisons la notion d'appariement qui mesure la ‘presque égalité' entre deux termes par le biais de la concordance et de l'intersection. L'appariement s'intègre à la fonction de correspondance. De plus, la valeur de certitude d'extraction des termes fournie par un système d'interprétation s'insère dans la fonction de pondération. Préalablement à la mise en place d'un tel modèle, nous vérifions l'applicabilité des hypothèses de base de la recherche d'information, à savoir la loi de Zipf et la conjecture de Luhn, à des données issues de l'oral, exemple de données incertaines.<br />Le modèle proposé est validé expérimentalement et comparé à des systèmes n'intégrant pas la notion d'incertitude. Enfin, nous présentons une application possible utilisant un système de recherche adapté aux données incertaines : un outil d'aide à la réunion téléphonique.
123

Etude cinétique de l'oxydation de constituants de biocarburants et composés modèles : formation de polluants

Togbe, Casimir 27 October 2010 (has links) (PDF)
Pour faire face à l'épuisement des combustibles fossiles conventionnels et aux préoccupationsenvironnementales dont le réchauffement climatique, de nouveaux carburants issus de la biomasse sontutilisés purs ou comme co-carburants ; d'autres sont envisagés pour le futur. Une meilleure connaissance dela cinétique chimique d'oxydation des composés présents dans ces carburants alternatifs est indispensable.L'objectif de cette thèse est donc d'obtenir de nouvelles bases de données expérimentales et d'élaborer desmécanismes cinétiques d'oxydation des constituants de ces nouveaux carburants. Des molécules de deuxfamilles chimiques, à savoir les esters méthyliques et les alcools, ont été sélectionnées. L'oxydation de cescomposés purs ou en mélanges a été étudiée en réacteur auto-agité à haute pression (10 atm) et dans un largedomaine de températures (530-1250 K) et de richesses (ca. 0,3-4). Les profils de concentration des réactifs,produits et principaux intermédiaires stables ont été obtenus par spectroscopie d'absorption infrarouge àtransformée de Fourier (IRTF) et chromatographie en phase gazeuse (GC-FID-TCD-MS). Les résultatsobtenus ont permis de proposer des modèles cinétiques permettant de simuler avec un bon accord une grandepartie des résultats expérimentaux obtenus au cours de cette thèse. Les analyses cinétiques ont permis dedéterminer les principales voies de consommation de ces composés (principalement des mécanismes deperoxydation-isomérisation à basse température et de métathèse puis décomposition par β-scission à hautetempérature). Elles ont permis d'identifier les réactions les plus influentes (réactions de métathèse etréactions impliquant particulièrement les composés de la base C0-C2).
124

Evaluation pré-clinique et clinique de l'autogreffe intramusculaire d'îlots de Langerhans / Intramuscular islets transplantation, bench to bedside

Sterkers, Adrien 13 September 2013 (has links)
La transplantation d’îlots permet la restauration d’une insulino-sécrétion endogène chez les patients diabétiques de type 1 par greffe allogénique et limite les conséquences métaboliques d’une pancréatectomie en cas d’autogreffe. Le site de référence intrahépatique présente néanmoins de nombreuses limites. Dans le cadre d’autogreffe, le risque hémorragique accru chez les patients récemment opérés liée à l’injection nécessairement conjointe des îlots et d’héparine en intraportal doit faire privilégier une technique de greffe mini invasive. De nombreux sites d’implantation ont été décrits. L’hypothèse de ce travail de thèse était que la voie intramusculaire offrirait par rapport à la voie portale, l’avantage de simplifier l’acte de transplantation, de réduire le traumatisme pour le patient et d’améliorer la viabilité des îlots en limitant les processus inflammatoires immédiats et en optimisant les processus de néo-vascularisation.Dans une première partie, nous avons pu démontrer, dans un model préclinique, que le site intramusculaire permet la survie, la revascularisation et la sécrétion des îlots autogreffés. Nous avons décrit une technique de greffe permettant d’ameliorer le contrôle glycémique d’animaux autogreffés après pancréatectomie totale. Bien qu’inférieure à la voie intraportale, les tests fonctionnels nous ont permis de valider le site intramusculaire pour la greffe d’îlots autologues. Dans une deuxième partie, nous décrivons un cas clinique original confirmant la possible transposition en clinique de l’autogreffe d’ilots en intramusculaire après pancréatectomie partielle. Ce cas clinique, confirme la faisabilité et suggère son innocuité. Il était cependant difficile dans ce contexte de pancréatectomie partielle d’établir un rapport entre l’absence de développement de diabète et la greffe. Pour ce faire, nous décrivons dans une troisième partie, une étude pilote sur l’évaluation de la fonction des îlots autogreffés dans le muscle chez 8 patients ayant subi une pancréatectomie partielle. Dans ce but nous avons comparé la sécrétion d’insuline après stimulation par l’arginine mesurée simultanément dans le bras greffé et le bras non greffé après l’autogreffe par des tests de stimulation à l’arginine. Malgré une faible quantité d’ilots greffés, nous avons documenté une fonction primaire du greffon chez plus de la moitié des patients, ainsi que sa persistance à plus d’un an. Enfin, nous avons également montré que le gradient d’insulinémie entre le bras greffé et le bras systémique était corrélé avec la masse d’ilots greffés.Le muscle est donc un site phare pour le développement d’un site alternatif lors de greffe d’ilots intramusculaire. Le site intramusculaire permet un formidable site d’évaluation des îlots. Cette procédure, résolument mini-invasive, est particulièrement attractive par son extrême accessibilité aux biopsies, à l’imagerie et aux explantations. Cette accessibilité permet d’élargir les indications de greffe telles que l’autogreffe d’îlots provenant de pancréas tumoraux. / The liver may not be an optimal site for islet transplantation due to obstacles by an instant blood-mediated inflammatory response (IBMIR), and low revascularization of transplanted islets. Therefore, intramuscular islet transplantation (IMIT) offers an attractive alternative, based on its simplicity, enabling easier access for noninvasive graft imaging and cell explantation. In this study, we explored the outcome of autologous IMIT in the minipig (n = 30). Using the intramuscular injection technique, we demonstrated by direct histological evidence the rapid revascularization of islets autotransplanted into the gracilius muscle. Islet survival assessment was performed using immunohistochemistry staining for insulin and glucagon up to a period of 6 months. Furthermore, we showed the crucial role of minimizing mechanical trauma to the myofibers and limiting exocrine contamination. Intramuscular islet graft function after transplantation was confirmed by documenting the acute insulin response to intravenous glucose in 5/11 pancreatectomized animals. Graft function after IMIT remained however significantly lower than the function measured in 12 out of 18 minipigs who received a similar islet volume in the liver through intraportal infusion. Collectively, these results demonstrated in a clinically relevant preclinical model, suggest IMIT as a promising alternative to intraportal infusion for the transplantation of &#946; cells in certain medical situations.
125

Offre locale d'équipements collectifs de garde d'enfants et offre de travail des mères : application au Luxembourg, au moyen de modèles multiniveaux / Local provision of chilcare and mother's labour supply : a multilevel approach, applied to Luxembourg

Bousselin-Frizon, Audrey 07 July 2009 (has links)
La littérature spécialisée analyse la relation entre les contraintes liées à l'offre locale de modes de garde formelle et l'offre de travail des mères dans le cadre d'un modèle d'offre de travail néoclassique standard adapté au cas des mères de jeunes enfants. Dans ces modèles, pour tenir compte des contraintes d'offre de garde formelle, les auteurs ont en commun d'utiliser un taux local d'équipement de ce type de services. Ils considèrent ainsi, de façon plus ou moins explicite selon les cas, que toutes les mères résidant dans la même localité sont face aux mêmes contraintes en termes d'offre de garde formelle. Ce type d'approche a pour limites d'ignorer les différences individuelles pouvant exister du fait des règles de priorité en vigueur dans les structures d'accueil de jeunes enfants, d'une part, et de la dimension locale, d'autre part. Ce constat nous amène à proposer une application originale à la garde d?enfants du modèle de rationnement discret avec règles de priorité. Cette application nous permet d'identifier les déterminants spécifiques du rationnement en garde formelle, ce qui nous amène à mettre au point un instrument original de mesure des chances, pour une mère, de voir sa demande satisfaite. Cet instrument tient compte non seulement des capacités d'accueil et du nombre de demandes au niveau local, à l'instar de la littérature spécialisée, mais également des règles de priorité existantes et de la proximité des structures aux lieux de vie des familles. Cette réflexion aboutit, en outre, à poser les termes d'une problématique originale qui consiste à considérer que les mères appartiennent à des groupes relativement homogènes au regard de leurs chances de voir leur demande satisfaite. Les similitudes entre les mères d'un même groupe créent alors une dépendance, qui nous conduit à renoncer aux modèles économétriques classiques au profit de modèles multiniveaux, qui, eux, autorisent l'absence d'indépendance des observations. L'analyse empirique de l'impact de la disponibilité locale des modes de garde sur l'offre de travail est réalisée à partir d'une base de données créée spécifiquement (conjuguant des données existantes à des données collectées dans le cadre d'une enquête ad hoc). Les principaux résultats obtenus soulignent que, une fois prise en compte la dépendance des observations au moyen d'une technique adaptée, l'impact, sur l'offre de travail des mères, d'une hausse de la disponibilité locale des modes de garde d'enfants est significatif et positif ; le recours à des cas-types de mères suggère que l'ampleur de cet impact pourrait être importante. / Unavailable
126

Dynamique de champs de vagues irréguliers en zone côtière / Dynamics of irregular wave ensembles in the coastal zone

Shurgalina, Ekaterina 22 April 2015 (has links)
Les vagues et les ondes internes de gravité ont un impact important surl’hydrodynamique et l’hydrologie de la zone côtière. Les vagues extrêmes sontparticulièrement intéressantes à étudier, car elles sont une menace sérieuse pour letransport maritime, les plates-formes pétrolières, les installations portuaires et leszones touristiques de la côte. Ces ondes entravent aussi les activités humainesdéveloppées à la côte. Les ondes internes non linéaires affectent la biosphèreaquatique, notamment le transport de sédiments et créent des affouillements à labase des plates-formes et des pipelines. Elles affectent également la propagationdes signaux acoustiques. Les vagues scélérates provoquent d’importants dégâtsmatériels et de nombreuses pertes en vies humaines. Par conséquent, l’étude de laformation des ondes scélérates dans la zone côtière est d’une importance capitale.L'objectif principal de la thèse est l'étude de la formation d’ondes océaniquesanormales dans la zone côtières pour différentes profondeurs d’eau et différentschamps d'ondes. Il est montré que le mécanisme de focalisation dispersive àl’origine de la formation d’ondes scélérates est pertinent quand les ondesinteragissent avec une paroi verticale. Il est démontré que juste avant la formationde l’onde maximale, celle-ci change rapidement de forme, d'une haute crête vers uncreux profond. La durée de vie de l’onde scélérate augmente avec le nombred’ondes individuelles contenues dans le paquet d'ondes anormales et lorsque laprofondeur de l'eau diminue.Il est démontré que l'interaction de paires de solitons unipolaires conduit à unediminution des facteurs de dissymétrie et d’aplatissement du champ d'ondes. Il estprouvé que dans le cas d'interactions hétéropolaires de solitons, le facteurd’aplatissement augmente.La dynamique non linéaire de champs de solitons unipolaires aléatoires estétudiée dans le cadre de l’équation de Korteweg - de Vries (KdV) et de l’équationde Korteweg - de Vries modifiée (mKdV). Il est montré que les coefficients dedissymétrie et d'aplatissement du gaz de solitons sont réduits à la suite de collisionsde solitons. Les fonctions de distribution des amplitudes des ondes sont obtenues.Le comportement des champs solitoniques dans le cadre de ces modèles estqualitativement similaire. Il est démontré que l'amplitude des ondes extrêmesdiminue en moyenne en raison des interactions entre multi-solitons.Dans le cadre de l'équation de Korteweg-de Vries modifiée, les interactionsnon linéaires entre le soliton de plus petite amplitude et les autres solitons du gazont pour effet de réduire sa célérité qui devient négative et de modifier ainsi sadirection de propagation.A partir de l'équation de Korteweg-de Vries modifiée, il est prouvé que dans ungaz de solitons héteropolaires, des ondes scélérates peuvent se former. Laprobabilité d’occurrence et l’amplitude des ondes scélérates dans de tels systèmesaugmente avec la densité du gaz de solitons. / Surface and internal gravity waves have an important impact on the hydrological regime ofthe coastal zone. Intensive surface waves are particularly interesting to study because they canbe a serious threat to ships, oil platforms, port facilities and tourist areas on the coast; suchwaves hampered the implementation of human activities on the shelf. Nonlinear internal wavesaffect the underwater biosphere and cause sediment transport, they create washouts soil at thebase of platforms and pipelines, affect the propagation of acoustic signals. Freak waves have aparticularly strong impact, and they are studied in this thesis. Therefore, the study of freak waveformation in the coastal zone is relevant and practically significant.The main goal of the thesis is the study of particularities of abnormal wave formation incoastal zones under different assumptions on the water depth and wave field form. In particular,it is demonstrated that the mechanism of dispersion focusing of freak wave formation "works"for waves interacting with a vertical barrier. It is shown that just before the maximum waveformation a freak wave quickly changes its shape from a high ridge to a deep depression.Lifetime of freak wave increases with the growth of number of individual waves in anomalouswave packet, and lifetime of freak wave increases with water depth decreasing.It is demonstrated that pair interaction of unipolar solitons leads to decrease of the thirdand fourth moments of the wave field. It is shown that in the case of heteropolar solitoninteraction the fourth moment increases.The nonlinear dynamics of ensembles of random unipolar solitons in the framework of theKorteweg - de Vries equation and the modified Korteweg - de Vries equation is studied. It isshown that the coefficients of skewness and kurtosis of the soliton gas are reduced as a resultof soliton collision, the distribution function of wave amplitudes are defined. The behavior ofsoliton fields in the framework of these models is qualitatively similar. It is shown that in thesefields the amplitude of the big waves is decreased in average due to multi-soliton interactions.A new braking effect of soliton with a small amplitude and even changing of its direction inmulti-soliton gas as a result of nonlinear interaction with other solitons is found in the frameworkof the modified Korteweg-de Vries equation.It is shown that in heteropolar soliton gas abnormally big waves (freak waves) appear inthe frameworks of the modified Korteweg - de Vries equation. With increasing of soliton gasdensity the probability and intensity of freak waves in such systems increases.
127

Existence et absence de percolation de modèles germes grains arrêtés / Existence and absence of percolation for outdegree-one random graphs

Le Stum, Simon 11 December 2017 (has links)
Dans cette thèse, nous travaillons sur les questions d'existence, puis d'absence de percolation de graphes orientés stationnaires dans l'espace euclidien. Les sommets de ces graphes sont distribués par un processus ponctuel de Poisson, et chaque sommet est connecté vers un unique autre sommet par une arête orientée. On parle alors de graphe orienté 'outdegree-one'. La règle permettant de construire l'ensemble des arêtes définie le graphe. Le premier résultat de la thèse fournit une condition suffisante pour qu'un graphe ne contienne pas de composantes connexes infinies. Un corollaire important de ce premier résultat affirme que le graphe orienté défini par une dynamique de segments grandissants décrites par D. Daley, G. Last et S. Ebert ne percole pas. Ce modèle défini à partir de segments poussant à vitesse constante dans le plan est un exemple de dynamique germes grains. Le second chapitre de la thèse propose une définition générale du modèle germes grains dans le plan et donne une condition suffisante pour qu'un modèle germes grains fixé puisse se caractériser par un graphe orienté "outdegree-one". Ce dernier résultat nous permet d'assurer l'existence de plusieurs graphe géométrique tout à fait naturel est riche en application. Le dernier résultat de la thèse consiste en l'absence de percolation d'une dynamique de segment grandissant qui généralise le modèle préalablement cité et dont l'existence découle de notre précédent résultat. / In this thesis, we investigate the existence and the absence of percolation for a large family of random graphs. We precisely study the oriented outdegree-one graphs based on a Poisson point process in $\mathbf{R}^{d}$. On the random pattern of points, each vertex is connected to its unique "neighbour" according to a fixed connection rule. This rule is translation-invariant and could also include a random part. Many natural simple dynamics can be described by an outdegree-one graph: the classical walk to the nearest neighbour on the graph defined by the hard sphere Lilypond model, etc.The first result of the thesis establishes sufficient conditions which guarantee the almost sure absence of infinite connected component in the graph. Precisely, each Poisson outdegree-one graph satisfying two precise assumptions does not percolate. The proof uses the mass transport principle, and an important result of stochastic domination. The most important corollary of this theorem is the absence of percolation of the line segment model with unit speed which has been conjectured in 2014 by D. Daley, S. Ebert and G. Last.The line segment model with random speed is well defined (as a stopped germs grains model) if the random velocity has an order $4$ moment. In the last chapter, we proved that the existence of an order $s$ exponential moment (with $s>1$) ensures the almost sure absence of percolation of the configuration of stopped segments. One of the key point of this result is the existence of a sufficiently small time $\mathbf{T}$ such that, before the time $\mathbf{T}$, any quick segments grows inside a boolean model which does not percolate. This argument should be used for different kinds of germs grains dynamics.
128

Contribution à la classification de variables dans les modèles de régression en grande dimension / Contribution to variable clusteringin high dimensional linear regression models

Yengo, Loïc 28 May 2014 (has links)
Cette thèse propose une contribution originale au domaine de la classification de variables en régression linéaire. Cette contribution se base sur une modélisation hiérarchique des coefficients de régression. Cette modélisation permet de considérer ces derniers comme des variables aléatoires distribuées selon un mélange de lois Gaussiennes ayant des centres différents mais des variances égales. Nous montrons dans cette thèse que l'algorithme EM, communément utilisé pour estimer les paramètres d'un modèle hiérarchique ne peut s'appliquer. En effet, l'étape E de l'algorithme n'est pas explicite pour notre modèle.Nous avons donc proposé une approche plus efficace pour l'estimation des paramètres grâce à l'utilisation de l'algorithme SEM-Gibbs. En plus de cette amélioration computationnelle, nous avons introduit une contrainte dans le modèle pour permettre d'effectuer une sélection de variables simultanément. Notre modèle présente de très bonnes qualités prédictives relativement aux approches classiques pour la réduction de la dimension en régression linéaire. Cette thèse présente aussi une extension de notre méthodologie dans le cadre de la régression Probit pour données binaires. Notre modèle modèle a de plus été généralisé en relâchant l'hypothèse de l'égalité des variances pour les composantes du mélange Gaussien. Les performances de ce modèle généralisé ont été comparées à celles du modèle initial à travers différents scénarios de simulations. Ce travail de recherche a conduit au développement du package R clere. Ce dernier package met en œuvre tous les algorithmes décrits dans cette thèse. / We proposed in this thesis an original contribution to the field of variable clustering in linear regression through a model-based approach. This contribution was made via a hierarchical modeling of the regression coefficients as random variables drawn from a mixture of Gaussian distributions with equal variances. Parameter estimation in the proposed model was shown to be challenging since the classical EM algorithm could not apply. We then developped a more efficient algorithm for parameter estimation, through the use of the SEM-Gibbs algorithm. Along with this computational improvement, we also enhanced our model to allow variable selection. Given the good predictive performances of the CLERE method compared to standard techniques for dimension reduction, we considred an extension of the latter to binary response data. This extension was studied in the context of Probit regression. We generalized our model by relaxing the assumption of equal variance for the components in the mixture of Gaussians. The performances of this generalization were compared to those of the initial model under different scenarios on simulated data. This research led to the development of the R package clere which implements most of the algorithms described in this thesis.
129

Etudes des transactions plates et étendues dans les SGBD temps réels / Study of flat and nested transactions in TIDBMS

Kaddes, Mourad 11 November 2013 (has links)
ACette thèse s’intéresse à l’étude des modèles de transactions plates et étendues dans les SGBD temps réel (SGBDTR). Ce travail est réalisé en deux étapes : (i) la première étape vise à aider les concepteurs à décrire et comparer les modèles de transactions temps réel, (ii) La seconde étape permet de compléter cette étude par la présentation d’une étude stochastique des performances des SGBDTR de deux modèles de transactions temps réel, à savoir le modèle de transactions plates et le modèle de transactions emboîtées. Dans la première étape, nous avons présenté le méta-modèle « MRT-ACTA » qui prend en compte les caractéristiques temporelles des transactions et de données temps réel ainsi que leurs interactions, offrant ainsi aux concepteurs la possibilité de définir de nouveaux modèles de transactions temps réel et de les comparer. La description formelle de « M-RT-ACTA » a permis de valider nos propositions. Pour compléter ce travail et ayant constaté que l’ordonnancement des transactions est un aspect primordial dans les SGBDTR, nous avons proposé dans la seconde étape de présenter une étude stochastique des performances des SGBDTR. Ainsi, nous avons proposé une amélioration des taux de succès des transactions plates avec le protocole GEDF (généralisation de EDF) et nous avons adapté cette étude aux transactions emboîtées. / This thesis presents a study of flat and extended model of transactions in real-time DBMS (RTDBMSs). This study is carried in two steps : (i) the first step aims to help designers to describe and compare models of real-time transactions, (ii) the second step allows to complete this study by presenting a stochastic study of RTDBMSs performance using two models of real-time transactions : flat transactions and nested transactions models. In the first step, we introduced the meta-model « MRT-ACTA » that takes into account the transactions and data temporal characteristics and their realtime interactions. « M-RT-ACTA » allows designers defining and comparing new models of real-time transactions. The formal description of « M-RT-ACTA » validates our proposals. In order to complete this work, we have observed that transactions scheduling is an important area in RTDBMSs, so we proposed in the second step a stochastic study of RTDBMS performance. Thus, we have proposed to improve the success ratio of flat transactions with GEDF protocol (generalization of GEDF) and we have adapted this study to nested transactions.
130

Cloud environment selection and configuration : a software product lines-based approach / Sélection et configuration d’environnements de type Cloud : une approche basée sur les lignes de produits logiciels

Quinton, Clément 22 October 2014 (has links)
Pour tirer pleinement profit des avantages liés au déploiement dans les nuages, les applications doivent s’exécuter sur des environnements configurés de façon à répondre précisément aux besoins desdites applications. Nous considérons que la sélection et la configuration d’un nuage peut s’appuyer sur une approche basée sur les Lignes de Produits Logiciels (LPLs). Les LPLs sont définies pour exploiter les points communs par la définition d’éléments réutilisables. Cette thèse propose une approche basée sur les LPLs pour sélectionner et configurer un nuage en fonction des besoins d’une application à déployer. Concrètement, nous introduisons un modèle de variabilité permettant de décrire les points communs des différents nuages. Ce modèle de variabilité est notamment étendu avec des attributs et des multiplicités, qui peuvent être également impliqués dans des contraintes complexes. Ensuite, nous proposons une approche permettant de vérifier la cohérence de modèles de variabilité étendus avec des cardinalités, en particulier lorsque ceux-ci évoluent. En cas d’incohérence, nous fournissons un support permettant d’en expliquer son origine et sa cause. Enfin, nous proposons une plateforme automatisée de sélection et configuration de nuages, permettant la dérivation de fichiers de configuration relatifs aux besoins de l’application à déployer en fonction du nuage choisi. Ce travail de recherche s’est effectué dans le cadre du projet européen PaaSage. Les expérimentations menées montrent les avantages de notre approche basée sur les LPLs et, en particulier, comment son utilisation améliore la fiabilité lors d’un déploiement, tout en proposant une plateforme flexible et extensible. / To benefit from the promise of the cloud computing paradigm, applications must be deployed on well-suited and configured cloud environments fulfilling the application’s requirements. We consider that the selection and configuration of such environments can leverage Software Product Line (SPL) principles. SPLs were defined to take advantage of software commonalities through the definition of reusable artifacts. This thesis thus proposes an approach based on SPLs to select and configure cloud environments regarding the requirements related to the application to deploy. In particular, we introduce a variability model enabling the description of commonalities and variabilities between clouds as feature models. In addition, we extend this variability model with attributes and cardinalities, together with constraints over them. Then, we propose an approach to check the consistency of cardinality-based feature models when evolving those models. Our approach provides a support to detect and explain automatically a cardinality inconsistency. Finally, we propose an automated platform to select and configure cloud environments, which generates configuration scripts regarding the requirements of the application to deploy. This work has been done as part of the European PaaSage project. The experiments we conducted to evaluate our approach show that it is well suited to handle the configuration of cloud environments, being both scalable and practical while improving the reliability of the deployment.

Page generated in 0.0526 seconds