Spelling suggestions: "subject:"séparation"" "subject:"réparation""
111 |
Étude théorique et numérique du problème de la gestion de la diversitéBriant, Olivier 07 January 2000 (has links) (PDF)
Le problème de la gestion de la diversité est défini sur un ensemble partiellement ordonné d'élements possédant des demandes et des coûts unitaires de production. L'objectif est de produire un sous-ensemble de $k$ éléments références, $k$ étant un nombre donné, minimisant les coûts. Chaque élément non produit doit être remplacé par une référence qui lui est supérieure, ce qui implique un sur-coût. Après une étude théorique de complexité, nous modélisons ce problème grâce à un programme linéaire en nombres entiers, proche de ceux des problèmes de localisation $k$-médians. Pour résoudre ce programme, nous présentons un algorithme lagrangien, ainsi que de nombreux critères de fixation de variables permettant de réduire la taille du problème. Nous exploitons ensuite cet algorithme pour construire des solutions de bonne qualité. Nous développons enfin un algorithme exact de Séparation et Coupe. Nous étudions un certain type de coupes ainsi qu'une heuristique permettant de les générer. Nous concluons par des tests numériques effectués sur des instances réelles.
|
112 |
Mesures de dépendance pour la séparation aveugle de sources. Application aux mélanges post non linéairesAchard, Sophie 02 December 2003 (has links) (PDF)
Cette thèse traite de méthodes statistiques appliquées au traitement du signal. Afin de résoudre le problème de séparation aveugle de sources à l'aide de la méthode d'analyse en composantes indépendantes, nous introduisons deux mesures de dépendance, l'une bien connue l'information mutuelle, et l'autre que nous appelons la mesure de dépendance quadratique. Nous montrons le lien de cette dernière avec les fonctions caractéristiques et en proposons une estimation simple, dont les propriétés asymptotiques sont obtenues grâce aux U-statistiques. Les choix du noyau et de la taille de fenêtre sont ainsi analysés. Enfin, la minimisation des mesures de dépendance permet de résoudre le problème de séparation de sources dans le cadre de mélanges post non linéaires. Plusieurs approches sont proposées, dont une non paramétrique basée sur les dérivées des non linéarités. Nous illustrons les obstacles à la minimisation par des graphes des fonctions objectifs.
|
113 |
Mesure et modélisation des conditions de dissociation d'hydrates de gaz stabilisés en vue de l'application au captage du CO2Bouchafaa, Wassila 22 November 2011 (has links) (PDF)
La capture et la séquestration du CO2 en sortie des usines d'incinération, des centrales thermiques ou des cimenteries est devenu un enjeu mondial. La capture de ce gaz par voie hydrate est une alternative prometteuse. L'objet de cette thèse est l'étude de la stabilité des systèmes d'hydrates mixtes contenant du CO2 et un autre gaz (N2, CH4 et H2) avec l'eau pure, ou encore avec un additif permettant l'abaissement des pressions de formation : le tetrabutylamonium bromure (TBAB), dans une perspective de séparation de gaz. La technique expérimentale que nous avons utilisée est la calorimétrie différentielle programmée (DSC). Elle nous a permis de mesurer les températures et les enthalpies de dissociation des différents systèmes d'hydrates avec l'eau pure : N2, CH4, N2+ CO2, CH4+CO2, H2+CO2 ; mais aussi des systèmes semi-clathrates: CO2+CH4 et CO2+N2 à différents pourcentages massiques de TBAB (10, 20, 30 et 40). La dernière partie de cette thèse concerne la modélisation thermodynamique des semi-clathrates, où nous avons développé le cas particulier du système d'hydrate: CH4+TBAB.
|
114 |
Reuse and Scalability in Modeling and Simulation Software EngineeringRibault, Judicaël 21 January 2011 (has links) (PDF)
L'étude d'un système à l'aide de simulations informatiques à événements discrets implique plusieurs activités: spéci cation du modèle conceptuel, description de l'architecture logicielle du modèle, développement des logiciels, scénarisation de la simulation, instrumentation, plani cation d'expérimentation, con guration des ressources de calcul, exécution, post-traitement et analyse, validation et de véri cation (V&V). De nombreux éléments logiciels sont requis pour remplir toutes ces activités. Toutefois, il est fréquent de créer un nouveau simulateur à partir de rien quand on commence une étude à l'aide de simulation. Dans ce cas il est nécessaire de développer de multiples outils prenant en charge les activités de la simulation. Cette thèse aborde le dé de la création de nouveaux simulateurs tout en réutilisant des modèles et des outils provenant d'autres simulateurs. En e et, la réutilisation de logiciel augmente la abilité, est moins sujette aux erreurs, permet une meilleure utilisation des expertises complémentaires, améliore la conformité aux normes, et accélère le développement. La réutilisation de logiciels peut être appliquée à toutes les activités de la simulation. Plusieurs problèmes doivent être résolus pour tirer pleinement pro t de la réutilisation. Dans cette thèse, nous abordons trois questions principales: Tout d'abord, nous étudions les solutions pratiques de réutilisation permettant de combiner un ensemble choisi d'éléments logiciels utiles pour la modélisation et la simulation, en incluant aussi bien les modèles, les moteurs de simulation, les algorithmes et les outils; Deuxièmement, nous nous concentrons sur les questions liées à l'instrumentation; Troisièmement, nous étudions le problème de l'intégration d'éléments logiciels provenant d'autres simulateurs dans un nouveau simulateur. Pour atteindre ces objectifs, nous étudions des techniques avancées de du génie logiciel, tels que le génie logiciel à base de composants (CBSE) et la programmation orientée aspect, sur lesquels nous construisons une solution originale pour la modélisation et la simulation à l'aide de multiples couches réutilisables. Nous avons développé un prototype d'architecture logicielle qui prouve la faisabilité de cette solution.
|
115 |
Caractérisation aveugle de la courbe de charge électrique : Détection, classification et estimation des usages dans les secteurs résidentiel et tertiaireEl Guedri, Mabrouka 09 November 2009 (has links) (PDF)
Le problème de caractérisation non-intrusive des usages dans des conditions réelles à partir de l'unique observation de la courbe de charge (CdC) générale résidentielle et tertiaire disponible (puissance moyenne quotidienne disponible en sortie du compteur) a été peu étudié. L'objectif de la thèse est d'explorer les possibilités et les méthodes permettant une caractérisation aveugle des composantes du mélange observé. Plus précisément, il s'agit d'extraire des descripteurs temporels, énergétiques ou encore événementiels à partir d'un mélange unique de sources non-stationnaires de nombre inconnu. Nous considérons quatre sous-problématiques sous-jacentes à la caractérisation de la CdC : la détection des usages, la classification des signaux de la CdC, l'estimation des paramètres des usages (énergie, amplitude, etc.) et la séparation des sources du mélange observé. Les algorithmes mis en œuvre sont évalués sur les données réelles. Les performances obtenues sont satisfaisantes. Outre les contributions de formalisation et algorithmiques, un des apports marquants de cette étude est une solution non-intrusive pour la segmentation automatique la CdC générale résidentielle et pour la cartographie de l'énergie quotidienne consommée en quatre composantes : le chauffage électrique, le chauffe-eau, le froid alimentaire et les autres usages. Au delà des améliorations algorithmiques et de l'étude de performance à poursuivre, nous proposons en perspective de cette thèse une approche générique pour décomposer une CdC quelconque fondée sur une modélisation stochastique de la série des événements de la CdC.
|
116 |
Une approche déclarative pour la gestion de la qualité de service dans les compositions de serviceBaligand, Fabien 25 June 2008 (has links) (PDF)
L'avènement des architectures orientées service tend à promouvoir un style d'architecture logicielle où des services, exposant des fonctionnalités accessibles à l'aide de protocoles hautement standardisés sont composés avec un couplage lâche. Dans un tel contexte où les services sont aisément amenés à être remplacés ou utilisés par un grand nombre d'utilisateurs, la notion de Qualité de Service (QdS), qui s'intéresse à la qualité de la relation entre un service et ses clients, constitue un enjeu majeur. La QdS regroupe diverses préoccupations telles que la sécurité, la garantie de livraison, la performance (temps de réponse ou accessibilité) ou encore le coût. Bien qu'il existe déjà d'importants travaux autour des compositions de services, qui ont notamment permis l'élaboration du standard BPEL4WS, le problème de la gestion de la QdS dans les compositions de services manque de solution flexible, réutilisable et offrant un degré d'abstraction approprié.L'objectif de cette thèse est de faciliter la gestion de la QdS dans les compositions de services en s'appuyant sur une meilleure séparation des préoccupations. Pour cela nous proposons QoSL4BP, un langage dédié qui permet la spécification de politiques de QdS à l'échelle des compositions de services. Ces politiques gèrent des contraintes et des mécanismes de QdS statiquement et dynamiquement à l'aide d'un ensemble limité de primitives de haut niveau. En encapsulant l'expertise liée au domaine de la gestion de QdS et en offrant une expressivité de haut niveau, le langage QoSL4BP permet une spécification aisée, flexible et réutilisable de la gestion des contrats de QdS et des mécanismes liés à la QdS. Ce langage est mis en œuvre par notre plateforme ORQOS qui coopère de manière non intrusive avec les moteurs d'orchestration. Ainsi, au moment du déploiement d'une composition de services, ORQOS sélectionne les services de la composition, selon leurs offres de QdS et les exigences spécifiées dans les politiques QoSL4BP. A l'exécution, les politiques QoSL4BP permettent de réagir aux variations de QdS et de mettre en œuvre des mécanismes liés à la gestion de QdS. Deux scénarii, appartenant respectivement aux domaines des télécommunications et du médical, permettent de valider l'approche proposée.
|
117 |
Contribution à l'étude du problème de synchronisation de porteuse dans le contexte de la Radio IntelligenteMetref, Adel 12 March 2010 (has links) (PDF)
Bien que de nombreux travaux de recherche aient été menés au cours des deux dernières décennies pour résoudre le problème de la synchronisation de la porteuse, il constitue aujourd'hui une thématique de recherche d'une grande importance pour divers systèmes récents de la radiocommunication comme les technologies émergentes de la Radio Logicielle Restreinte (RLR) et de la Radio Intelligente (RI). En effet, les systèmes de la RLR sont multi-fonctionnels et flexibles, dans le sens où ils peuvent traiter une variété de standards et de services tout en offrant des solutions à faible coût. Quant à la technologie RI, c'est une vision futuriste d'une radio visant la conception de dispositifs sans fil dotés de capacités d'apprentissage, d'adaptation, et de reconfiguration. Dans ce contexte, les solutions existantes du problème de synchronisation doivent être adaptées à ces nouvelles générations de technologies radio en vu d'obtenir les meilleures performances. De nombreuses contributions au problème de la synchronisation de phase de la porteuse sont présentées dans cette thèse. Dans la première partie du travail, nous avons effectué une analyse théorique rigoureuse et complète du détecteur de phase DD. En se basant sur les résultats de cette étude, nous avons proposé une boucle de synchronisation optimisée pour la modulation 16-QAM ainsi qu'un nouveau détecteur de verrouillage de phase pour les modulations de type QAM. Par ailleurs, nous avons proposé une structure de synchronisation de phase adaptée aux applications de la RI, qui est capable de récupérer la phase de façon aveugle vis à vis du type de modulation du signal reçu. L'idée consiste à utiliser une mesure dite "fiabilité", extraite du détecteur de phase de la boucle de synchronisation et qui fournit une information sur la modulation du signal entrant. Enfin, nous avons discuté d'une vision SIMO du problème de synchronisation de phase, exploitant les possibilités offertes par une architecture de réception RLR.
|
118 |
Composition comportementale dans les Architectures Orientées ServicesMosser, Sébastien 27 October 2010 (has links) (PDF)
Les Architectures Orientées Services permettent la définition d'applications complexes par assemblage de service existants, par exemple sous la forme d'«orchestrations» implémentant des processus métiers. La complexité de ces assemblages impose l'utilisation de techniques telle que la Séparation des Préoccupations pour en maitriser la difficulté. Dans cette thèse, nous présentons ADORE, un métamodèle d'activité permettant l'évolution des orchestrations. Il permet d'exprimer dans le même formalisme des “orchestrations” et des “fragments d'orchestrations”. Nous proposons alors différents algorithmes de compositions permettant l'intégration automatique de ces fragments dans des processus existants. Ces algorithmes définissent des propriétés de compositions (e.g., préservation des relations d'ordre), et assurent leur respect dans les processus composés. Ils assurent que les résultats de composition obtenus ne dépendent pas de l'ordre d'application. ADORE permet la définition de règles de détection d'interférences, sous la forme de prédicats. Le logiciel développé propose ainsi un support, en identifiant les interférences apparaissant lors des compositions. Nous illustrons cette contribution au travers de 2 études de cas: (i) JSEDUITE, une application de diffusion d'information utilisée en production et (ii) CCCMS, une application de gestion de crise implémentée dans le cadre d'une réponse à une étude de cas commune. Pour conclure, nous mettons en perspectives de récentes collaborations visant l'intégration d'ADORE au sein d'un processus de développement logiciel complet, allant des l'ingénierie des besoins à la visualisation efficace des processus composés.
|
119 |
Déconvolution impulsionnelle multi-source. Application aux signaux électro- myographiquesDi, G. 04 December 2009 (has links) (PDF)
Cette thèse s'inscrit dans le cadre d'une collaboration entre l'IRCCyN (UMR 6597) et le laboratoire SMI (Sensory-Motor Interaction, Université d'Aalborg, Dane- mark). L'objectif est de développer des méthodes de décomposition de signaux élec- tromyographiques (EMG). Les applications sont multiples, e.g., l'aide au diagnostic. De tels signaux peuvent être modélisés comme une somme bruitée de I composantes, chacune étant la réponse d'un système linéaire excité par un train d'impulsions. Les paramètres du modèle sont estimés par une technique bayésienne. Les lois a priori des paramètres continus sont choisies de sorte que les lois marginales a posteriori sont analytiques. Dans un premier temps est proposée une méthode déterministe par maxi- misation de la distribution a posteriori. La difficulté majeure consiste en l'estimation des trains d'impulsions. Ceux-ci (paramètres discrets) constituent un espace combinatoire ; la recherche du maximum est traitée par l'algorithme Tabou. Dans un deuxième temps, on souhaite éviter le réglage des paramètres associés à l'algorithme Tabou : l'approche bayésienne couplée aux techniques MCMC fournit un cadre d'étude très efficace. Un algorithme de Gibbs hybride est proposé, dans lequel une étape Metropolis-Hastings sur les trains d'impulsions permet d'éviter un calcul de complexité exponentielle, tout en garantissant l'irréductibilité de la chaîne de Markov. Les techniques issues de l'al- gorithme MCMC pour la déconvolution d'un processus Bernoulli-gaussien sont ap- pliquées. En particulier, le rééchantillonnage d'échelle et la marginalisation des ampli- tudes sont adaptés au modèle physique en tenant compte de la variabilité d'amplitudes des impulsions. Les algorithmes sont validés sur des signaux EMG simulés et expérimentaux.
|
120 |
Développement de phases stationnaires monolithiques polymérisées in situ pour l'électrochromatographie capillaire et les microsystèmes séparatifsAugustin, Violaine 16 December 2005 (has links) (PDF)
L'électrochromatographie capillaire (ECC) est une méthode séparative très prometteuse. En effet, elle combine l'efficacité due au profil plat du flux électroosmotique (ECZ) et la sélectivité due aux interactions avec une phase stationnaire (CPL). Les phases stationnaires monolithiques ont été développées comme alternative aux phases particulaires de par leur facilité de synthèse in situ. C'est pourquoi ces nouvelles phases stationnaires peuvent être facilement intégrées dans des microsystèmes analytiques. Cependant un des inconvénients majeurs lié aux techniques miniaturisées est leur faible sensibilité lors d'analyses de traces. Ces difficultés peuvent être circonvenues en réalisant une étape appropriée de préconcentration des composés d'intérêt avant l'étape d'analyse proprement dite. Une telle stratégie serait particulièrement pertinente pour des échantillons environnementaux et d'intérêts biologiques. Dans un premier temps nous avons étudié l'optimisation de la synthèse in situ de phases stationnaires monolithiques à base d'acrylates. Des facteurs tels que la dose énergétique appliquée ainsi que le prétraitement du capillaire ont été étudiés afin de déterminer dans quelle mesure ceux-ci peuvent influer sur les performances structurales et séparatives de ces colonnes. Dans un deuxième temps, les résultats obtenus en ECC avec des colonnes monolithiques testées en tant que matériau de préconcentration et de séparation sont présentés. Ces études ont été menées avec des composés modèles environnementaux. De très bonne efficacité (250 000 à 350 000 plateaux par mètre) et des facteurs de préconcentration supérieurs à 10 000 ont été obtenus, avec succès. Enfin le couplage en ligne d'une étape de préconcentration avant la séparation dans des microsystèmes comportant une phase stationnaire monolithique a été réalisé, des hydrocarbures polyaromatiques ont ainsi été analysés.
|
Page generated in 0.0928 seconds