1028 research outputs found
Sort by
Composition et exécution contextualisées de services pour des environnements pervasifs : une approche dirigée par les données " application à l\u27adaptation et au transfert de contenus "
Des environnements informatiques pervasifs sans infrastructure tels que les réseaux mobiles spontanés (MANETs) soulève de nouveaux défis quant à l\u27exécution d\u27applications dirigées par les données. Dans cette thèse, nous proposons un nouveau middleware appelé ConAMi (Context-Aware service composition and execution Middleware) qui permet aux dispositifs dans un MANET de collaborer les uns avec les autres afin d\u27exécuter des applications dirigées par les données d\u27une manière efficace et fiable. Le défi principal abordé dans cette thèse est la détermination de la composition optimale de services car plusieurs compositions de services peuvent offrir la même fonctionnalité pour exécuter un flux de tâches. Ce défi est abordé via le développement d\u27un algorithme qui organise les services dans ce que nous appelons un arbre de composition de services. Le principal critère considéré pour déterminer la composition optimale de services est le temps d\u27exécution global qui comprend le temps de transfert de données et le temps d\u27exécution des services. L\u27exécution du flux de tâches peut échouer facilement en raison de la mobilité des dispositifs impliqués dans les MANETs. Pour assurer une exécution fiable du flux de tâches, le "Time-To-Leave" (TTL) du service est considéré lors de la détermination de la composition optimale de services. Néanmoins, le TTL ne peut pas donner une garantie d\u27absence d\u27erreurs car il est fondé sur une estimation. En outre, l\u27exécution du flux de tâches peut aussi échouer en raison d\u27autres types d\u27erreurs. En conséquence, le middleware ConAMi inclut des mécanismes originaux de détection et de récupération d\u27erreurs. Nous avons développé un prototype pour mettre en uvre le middleware ConAMi et évaluer ses performances. Les résultats des expériences montrent que le middleware ConAMi a de meilleures performances que les approches similaires. ConAMi garantit l\u27efficacité, la fiabilité et l\u27équilibrage de la charge des dispositifs
Essais de caractérisation des structures tissées
Dans ce travail, on s\u27intéresse à l\u27étude et la modélisation de comportement mécanique de structure tissée. On commence par présenter les propriétés des matériaux testés grâce aux essais de caractérisation. Une base des données expérimentales est constituée afin d\u27analyser le comportement mécanique du tissu sous certaines sollicitations, et en particulier le cisaillement, moyennant la technique de corrélation d\u27image. Ensuite, en adoptant une approche hyperélastique, un modèle simplifié est développé permettant d\u27étudier numériquement l\u27influence de rapport des rigidités de traction et de cisaillement sur le comportement mécanique tissu suite à une extension à 45 . Enfin, en se basant sur approche phénoménologique, une loi de comportement hyperélastique en puissance est proposée. Ce modèle est implanté dans une routine Vumat d\u27Abaqus/Explicit. Il est identifié à partir des essais de traction et de cisaillement et validé par certains cas de mise en forme des renforts tissés
Modélisation conceptuelle pour les applications géomatiques temps réel
Le domaine des applications géomatiques est en plein essor et le nombre de logiciels spécialisés dans la manipulation des données spatio-temporelles a connu une croissance considérable cette dernière décennie. Cette évolution a été accompagnée, dans la littérature, par la proposition de plusieurs méthodes de conception dédiées aux applications géomatiques. Les applications temps réel connaissent également une grande évolution et font référence à la localisation spatiale. Lavènement des télécommunications a suscité lintérêt de prendre en compte la distribution et la répartition de linformation pour les applications géomatiques. La discipline de télégéomatique est née dune fusion de la géomatique et des télécommunications en se caractérisant par lusage des systèmes modernes de positionnement de type GPS (Global Positionning System). Actuellement, lémergence des systèmes dinformation pervasifs ouvre plusieurs axes de recherche. Ainsi les applications géomatiques temps réel soulèvent plusieurs problématiques : larchitecture logicielle de telles applications doit supporter des modèles mathématiques et des algorithmes qui ont des capacités de calculs importantes, la prise en compte de la granularité du temps réel et la conception et la modélisation de telles applications doit permettre de formaliser les spécifications et dapporter des outils logiciels cohérents par rapport aux besoins des utilisateurs et des contraintes liées à la réactivité et éventuellement la mobilité des composants du système. Les différents formalismes qui existent dans la littérature et qui sont supportés par des méthodes de conception des applications géomatiques et des applications temps réel sont insuffisants et ne répondent pas au besoin du concepteur. Un travail de recherche dans la prise en compte au niveau conceptuel des contraintes liées à la dimension temps réelle de la nouvelle génération des applications géomatiques temps réel est certainement prometteuse. Les recherches que nous avons menées nous ont permis de proposer des concepts de base sappuyant sur des extensions dUML (Unified Modeling Language) afin de prendre en compte au niveau conceptuel les problématiques de communications et de localisation des données et des applications. Nous proposons un profil UML pour la conception des applications géomatiques temps réel. Cest le profil GRT (Geographic Real Time) dédié à la conception des applications géomatiques temps réel. Ce travail débouche sur un prototype doté dun atelier de génie logiciel supportant le formalisme proposé. Une validation à travers des exemples concrets nous permettra denrichir ce prototype
Extraction des paramètres des modèles du VDMOS à partir des caractéristiques en commutation - comparaison avec les approches classiques
Ce mémoire porte sur l\u27analyse et la caractérisation du comportement du transistor MOS de puissance. La première partie du mémoire rappelle la structure, le comportement et la modélisation du transistor MOS de puissance. Un modèle semi-empirique dit " à deux KP " a été choisi. La mise en uvre des caractéristiques expérimentales de type statique I(V), dynamique C(V) ou en commutation est présentée. En particulier le rôle de la durée des impulsions des caractérisations quasi-statiques est étudiée. La seconde partie traite la caractérisation expérimentale et l\u27extraction classique des paramètres des modèles de type VDMOS basée sur les mesures I(V) et C(V). La confrontation entre simulation et expérience en régime de commutation sur charge RL est faite. La troisième partie traite de l\u27extraction des paramètres en se basant sur la commutation sur charge R-L dans une cellule de commutation. Les signaux temporels mesurés pendant les commutations du composant fournissent des informations utiles à l\u27extraction des paramètres. La procédure d\u27identification automatique est basée sur des méthodes d\u27optimisation avec un critère de comparaison entre des mesures et les simulations correspondantes. Ainsi nous avons pu confronter les résultats expérimentaux avec ceux obtenus par simulation en utilisant le simulateur PACTE développé au CEGELY. Les configurations les mieux adaptées à l\u27extraction des paramètres du transistor MOS de puissance, ont été évaluées. Les résultats obtenus montrent une équivalence par rapport aux méthodes classiques. L\u27intérêt de la méthode d\u27extraction en commutation que nous avons présentée réside dans une bien moins grande sensibilité aux bruits de mesure
Tatouage aveugle de maillages 3D basé sur la quantification
Avec l\u27accroissement de l\u27utilisation des objets tridimensionnels (3D) dans diverses applications, une attention de plus en plus forte a été portée sur la protection de ce contenu 3D par des techniques de tatouage numérique. Dans ce travail de thèse, nous avons réalisé d\u27abord un état de l\u27art complet sur le domaine du tatouage de maillages, avec un point de vue original centré sur les attaques. Puis, nous avons proposé plusieurs méthodes de tatouage aveugles basées sur des techniques de quantification par le schéma de Costa scalaire (SCS). Nous avons choisi différents domaines appropriés d\u27un maillage 3D pour l\u27insertion de tatouages aveugles : le domaine ondelettes d\u27un maillage semi-régulier, et les domaines spatial et spectral d\u27un maillage général. Les primitives de tatouage, qui sont soumises à la quantification scalaire, sont respectivement les normes et les orientations des vecteurs de coefficients d\u27ondelettes, les moments volumiques analytiques et les amplitudes spectrales en harmoniques variétés. Enfin, nous avons conçu et implémenté un système de benchmark pour les techniques de tatouage robustes de maillages. Ce benchmark est accessible librement sur Internet et contient une collection de modèles 3D, un outil logiciel et deux protocoles d\u27évaluation orientés sur différentes applications. Les méthodes de tatouage robustes proposées dans ce manuscrit ainsi qu\u27une méthode récente de l\u27état de l\u27art sont comparées grâce à ce benchmark. Les résultats obtenus montrent l\u27efficacité des méthodes proposées ainsi que la pertinence du système de benchmark
Analysis of energy-delay performance in multi-hop wireless sensor networks
Dans cette thèse, le compromis entre la consommation d\u27énergie et le délai dans le réseaux de capteurs sans fil est étudié en exploitant efficacement les liens non fiables. Nous proposons une métrique de l\u27efficacité énergétique et une métrique de délai moyenne qui sont combinés avec le modèle de lien radio à erreur. En utilisant ces deux métriques et un modèle réaliste de lien radio, nous déduisons la limite inférieure et le front de Pareto du compromis Energie-Délai sont calculés pour trois types de systèmes de communication : la communication multi-saut traditionnelle, la communication opportuniste et la communication coopérative MIMO (CMIMO) dans trois différents canaux : le canal a bruit additif blanc Gaussien, le canal a évanouissements rapides de Rayleigh et le canal a évanouissement de Rayleigh par blocs. Les expressions de ces limites faibles sont obtenues et vérifiées par des simulations bidimensionnelles de réseau de capteurs distribués aléatoirement. Sur la base de l\u27expression de la borne inférieure du compromis Energie-Délai, un cadre multi-couche est fourni pour optimiser les paramètres des couches physique, MAC et routage sous contrainte de délai. Les résultats obtenus montrent que pour parvenir à une performance Energie-Délai, les mécanismes de communication suivants devraient être adoptés selon le type de canal : les communications multi-saut traditionnelles sont les plus performants pour le canal à bruit additif blanc Gaussien, alors que les communications opportunistes le sont pour les canaux à évanouissements de Rayleigh par bloc et enfin le CMIMO pour les canaux à évanouissements rapides de Rayleigh
Etude de la dépollution des sols par extraction sous pression réduite. application au traitement des COV
L\u27extraction sous pression réduite est l\u27une des techniques de dépollution envisageables lorsqu\u27il y a contamination d\u27un sol par des composés organiques volatils (COVs). Cette technique consiste à créer une dépression dans le sol et induire un écoulement contrôlé d\u27air qui entraînera les contaminants volatils dans la phase gazeuse extraite. Les objectifs de ce travail peuvent se résumer de la façon suivante : - caractérisation de la méthode la plus adaptée à déterminer les deux composantes, horizontale et verticale, de la perméabilité à l\u27air.- étude de l\u27évolution de la perméabilité à l\u27air du sol en fonction du degré de saturation de celui-ci en liquides. - vérification de la validité ou non de l\u27utilisation des colonnes unidirectionnelles dans le dimensionnement des systèmes d\u27extraction en se basant sur l\u27atteinte d\u27une vitesse critique de l\u27air au sein des pores du sol. Pour accomplir ces objectifs, un pilote d\u27essai a été conçu et réalisé, plusieurs expériences ont été effectuées et des modèles de la littérature ont été utilisés. Les résultats obtenus ont montré que la méthode la plus adaptée à la détermination de la perméabilité à l\u27air du sol est celle mettant en uvre un régime stationnaire sans couverture à la surface du sol, Et que les résultats obtenus dans une colonne unidirectionnelle concernant la vitesse critique ne peuvent être extrapolés à l\u27échelle du terrain comme il se fait actuellement
Méthodologie de matching à Large échelle pour des schémas XML
De l\u27intégration des schémas de bases de données jusqu\u27à l\u27alignement d\u27ontologies, la problématique qui a suscité le plus de points ardus à résoudre cette dernière décennie est la recherche des correspondances. Nous nous intéressons plus particulièrement au matching. Le matching est un processus qui vise à identifier et découvrir les correspondances sémantiques entre différents formats de données tels que les schémas, les ontologies, Cependant, dès que l\u27on passe à un contexte à large échelle, plusieurs problèmes se posent tels que . les problèmes d\u27efficacité en termes de temps d\u27exécution et de qualité des résultats. L\u27objectif de notre travail est de relever le challenge du matching à grande échelle. En particulier, nous proposons une méthodologie de matching à large échelle, basée sur une approche hybride et structurée en trois phases (pré-matching, matching et post-matching), qui vise à optimiser le matching en s\u27appuyant notamment sur une phase préalable de prétraitement. Ce prétraitement se base sur des techniques d\u27analyse, de traitement linguistique des éléments des schémas et une approche de décomposition des schémas. La décomposition est une approche holistique qui consiste à diviser les schémas en sous schémas tout en identifiant ceux qui sont linguistiquement similaires. L\u27utilisation d\u27une telle approche nécessite des techniques qui passent à l\u27échelle et qui permettent un traitement d\u27un grand nombre de données en une seule fois. La méthodologie proposée est supportée par une plateforme nommée PLASMA (Platform for LArge Schema MAtching) que nous avons développée pour des besoins d\u27évaluation et d\u27expérimentations. Nous avons pu ainsi démontrer grâce aux expérimentations réalisées que notre système offre des résultats fiables pour des schémas très volumineux et que grâce à la méthodologie mise au point, nous avons réussi à améliorer les performances du matching en temps d\u27exécution
Impact location in structures using elastic energy flow estimators with piezoelectric sensors
La détection et la quantification de chocs sur une structure mécanique reste une attente majeure dans de nombreuses thématiques, notamment celle du contrôle de santé structurel (Health monitoring). Les domaines les plus demandeurs sont sans nul doute l\u27aéronautique et l\u27aérospatiale où l\u27utilisation de plus en plus fréquente de structures composites rend leur suivi et leur contrôle de santé indispensables pour d\u27évidentes raisons de performances et de sécurités de fonctionnement. Savoir détecter et localiser des chocs, c\u27est avant tout savoir dresser un historique des impacts générés sur la structures et permettre ainsi de gérer au mieux le risque d\u27apparition d\u27endommagements structurels (casse, délaminage, déformation). L\u27objectif central de ces travaux de thèse a porté sur la détection d\u27impact par l\u27estimation du flux d\u27énergie élastique induit (vecteur de Poynting) lors du choc. Ces estimateurs sont déduits des tensions électriques fournies par des éléments piézoélectriques collés sur la structure. Ces estimateurs sont déduits des tensions électriques fournies par des éléments piézoélectriques collés sur la structure. Il a ainsi été montré qu\u27il est envisageable de développer des estimateurs du flux d\u27énergie élastique induit par un choc sur une structure élastique et de pouvoir en tirer des informations concernant sa localisation ,voire son amplitude. L\u27approche théorique est complexe et nécessite une connaissance globale des divers couplages mis en jeu. Quoi qu\u27il en soit, ces techniques, de part leur simplicité de mise ne oeuvre et leur faible demande de moyens de calcul, constituent une proposition intéressante pour de futures techniques de détection d\u27impact passives ayant de plus la faculté d\u27être autoalimentablesautrement dit, ayant la faculté de puiser directement dans les vibrations de la structure l\u27énergie suffisante pour assurer le calcul de l\u27estimateur et sa transmission par liaison sans fils
Alimentation dynamique pour amplificateur radiofréquence
Dans les appareils de télécommunication mobiles, les liaisons haut-débit posent des problèmes techniques, notamment au niveau de la transmission radiofréquence. Les amplificateurs de puissance classiques doivent consommer une énergie importante pour reproduire les nouvelles modulations à amplitude variable. Ils sont également mal adaptés à la re-configuration, une fonctionnalité très intéressante économiquement, alors que les standards se multiplient. On cherche donc à remplacer ces amplificateurs linéaires par des amplificateurs à reconstruction denveloppe. Dans ces systèmes, un amplificateur saturé traite londe radio efficacement, mais sans reproduire la variation damplitude. Cette variation est réintroduite en sortie, en faisant varier lalimentation de lamplificateur, avec un convertisseur de tension à fort rendement. Cette thèse porte sur la conception de cette alimentation spécifique. Une méthodologie générique est développée en plusieurs étapes. Dabord on fait le lien entre les spécifications radio et les contraintes de lalimentation. En particulier, on identifie des critères exigeants sur le bruit en sortie, ou sur la bande passante. Ensuite on conçoit la cellule de base de lalimentation, un convertisseur à découpage. Ce circuit doit être réutilisable, et avoir des performances particulièrement élevées. Il faut alors résoudre les problèmes de bruit et de bande passante indépendamment, à laide de circuits additionnels. Cette architecture modulaire répond bien aux besoins contradictoires de différents standards. Toute cette étude est validée expérimentalement. La réalisation des circuits intégrés prototypes est décrite en détail. Plusieurs versions de ces puces exploitent au mieux les technologies CMOS 0,13?m et BiCMOS 0,25?m. Un soin particulier est apporté à lenvironnement de test, compte tenu des problèmes de compatibilité électromagnétique. Lanalyse des premiers résultats a permis de corriger les erreurs de conception. Au final, on a relevé de très bonnes performances du convertisseur à découpage, et on a constaté le bon fonctionnement des circuits additionnels et même de lapplication radio