Les systèmes cellulaires modiles WiMAX ont pour objectif de fournir des services multimédias à haut débit à n'importe quel moment, n'importe quel endroit avec un prix abordable. La combinaison d'orthogonale accès multiples (OFDMA) et le relais en Wimax donnent plusieurs opportunités pour des réseaux moins coûteux et plus performances. La norme Wimax 802.16j élargit non seulement la couverture de la cellule, mais aussi augmente le débit moyen des utilisateurs. Plusieurs recherches de cette norme ont été publiées afin d'optimiser la performance du réseau. Cependant, lorsque nous étudions les architectures existantes du Wimax 802.16j standard et leur rendement, nous nous sommes aperçus que le débit du système pourrait être encore amélioré à l'aide de la réutilisation de fréquence. Dans la première partie de ce travail de recherche, nous avons examiné l'architecture existante de la norme 802.16j. Le débit total du système est légèrement plus élevé dans ces architectures que dans la norme sans relais. Afin d'améliorer le rendement du système de cette norme, nous avons proposé une nouvelle architecture de cette norme avec réutilisation de fréquence et de la technique de sectorisation. Le débit total augmente fortement dans notre approche comparant aux études existantes. Dans la deuxième partie, nous avons étudié l'impact de l'interférence dans notre modèle de relais. Les résultats de simulation montrent que les SINR de station mobile augmentent très légèrement. Cet impact d'interférence est assez faible et pourrait être négligeable. Nous concluons que notre proposition fournit toujours une meilleure performance. Dans la troisième partie, nous avons proposé une nouvelle approche d'allocation de ressources en liaison descendante afin de garantir les mêmes qualités de service pour les utilisateurs en maintenant un haut débit total. Les résultats de simulation montrent qu'il existe un compromis entre l'équité de la qualité de service et le débit total du système.

L'engouement du grand public pour les objets communicants et l'évolution des technologies a entraîné le besoin de transférer des quantités grandissantes d'informations en un minimum de temps. L'arrivée de l'UWB à la fin des années 90 a apporté aux communications sans fil une solution à cette problématique. L'UWB permet en effet d'atteindre de très hauts débits de transmission sur de courtes distances dans des environnements intra-bâtiment. Parmi les solutions envisagées pour cette nouvelle couche physique très haut débit, le système MB-OFDM répond bien aux contraintes environnementales. L'objectif des travaux réalisés dans le cadre de cette thèse est d'étudier et de proposer une amélioration du système MB-OFDM.<br /><br />Après la présentation du système MB-OFDM et de ses performances, nous proposons une nouvelle forme d'onde pour l'UWB nommée LP-OFDM. Elle est obtenue en ajoutant au système MB-OFDM une fonction de précodage linéaire combinant avantageusement l'OFDM et la technique d'étalement de spectre. L'utilisation du précodage linéaire permet une meilleure exploitation de la diversité fréquentielle du canal. Il offre également une plus grande granularité dans le choix des débits, augmentant ainsi la flexibilité du système. Il est important de souligner que l'ajout de la fonction de précodage linéaire s'accompagne d'une augmentation minime de la complexité du système.<br /><br />Des techniques d'optimisation du système sont proposées. Afin de minimiser l'interférence entre les codes d'étalement, une technique reposant sur l'allocation des séquences d'étalement est décrite et un critère de sélection proposé. Nous avons également mis en évidence la nécessité de trouver un compromis entre le rendement de codage et la longueur des séquences d'étalement afin de tirer au mieux partie de la diversité du canal tout en limitant l'interférence entre les codes. Une amélioration notable des performances du système LP-OFDM est ainsi obtenue par rapport au système MB-OFDM. Le système LP-OFDM étendu au cas du MIMO utilisant un codage temps-espace d'Alamouti est également étudié. Les résultats obtenus montrent là encore une amélioration significative des performances permettant d'envisager une augmentation de la portée ou des débits de transmission.<br /><br />Enfin, l'impact d'un interférent à bande étroite de type WiMAX sur les performances du système LP-OFDM est étudié comparativement au système MB-OFDM. Il en ressort que le système LP-OFDM est plus robuste que le système MB-OFDM face à un brouilleur. L'utilisation du précodage linéaire permet en effet d'étaler la puissance du signal interférent en réception lors du déprécodage linéaire.

Cette thèse a pour but de proposer toutes les avancées possibles dans l'utilisation du modèle de propagation Multi-Resolution Frequency-Domain ParFlow (MR-FDPF). Etant un modèle de propagation radio déterministe, le modèle MR-FDPF possède un haut niveau de précision, mais souffre des limitations communes à tous les modèles déterministes. Par exemple, un canal radio réel n'est pas déterministe, mais un processus aléatoire à cause par exemple des personnes ou objets mobiles, et ne peut donc être décrit fidèlement par un modèle purement déterministe. Dans cette thèse, un modèle semi-déterministe est proposé, basé sur le modèle MR-FDPF, qui introduit une part stochastique pour tenir compte des aspects aléatoires du canal radio réaliste. La partie déterministe du modèle est composée du path loss (atténuation d'espace), et la partie stochastique venant du shadow fading (masquage) et du small scale fading (évanouissement). De même, de nombreux simulateurs de propagation radio ne proposent que la prédiction de la puissance moyenne. Mais pour une simulation précise de la propagation radio il convient de prédire également des informations de fading permettant dès lors une prédiction précise du taux d'erreur binaire (BER) potentiel. Dans cette thèse, l'information de fading est déduite des simulations MR-FDPF et par la suite des valeurs réalistes de BER sont données. Enfin, ces données réalistes de BER permettent d'évaluer l'impact de schémas de modulation adaptatifs. Des résultats sont présentés dans trois configurations : systèmes SISO (mono-antenne à l'émission et à la réception), systèmes à diversité de type MRC, et systèmes large bande de type OFDM.

Ce mémoire propose une démarche pour définir des politiques de sécurité adaptées aux systèmes d'informations et de communication en santé et social (SICSS). Ces systèmes couvrent l'ensemble des besoins généralement trouvés dans les autres domaines : interopérabilité des systèmes, complexité des organisations, sensibilité des informations et diversité des exigences de sécurité (confidentialité, intégrité, disponibilité et auditabilité).<br />Le but de la méthode présentée est de réaliser un bon compromis entre le respect du principe du moindre privilège et la flexibilité du contrôle d'accès. La première étape consiste à décrire le système, identifier les informations à protéger et caractériser les menaces. La politique de sécurité vient ensuite spécifier comment contrer ces menaces, en exprimant d'une part, un ensemble de propriétés de sécurité qui doivent être satisfaites, et d'autre part, un ensemble de règles permettant de modifier l'état de protection du système. Les politiques de sécurité que nous proposons ont l'originalité de tenir compte du contexte et de l'interopérabilité, et d'être suffisamment souples pour prendre en compte toute amélioration, changement ou mise à jour dans le système.<br />Par ailleurs, un nouveau modèle de contrôle d'accès est ici présenté : le modèle Or-BAC (pour Organization-Based Access Control). Ce modèle permet de prendre en compte des informations de contexte dans l'expression des règles, afin de spécifier un contrôle d'accès fin et adapté. Il est aussi un moyen de spécifier, dans un cadre homogène, plusieurs politiques de sécurité pour des organisations différentes devant coopérer. Or-BAC n'est pas restreint aux permissions, mais permet également de définir des interdictions, des obligations et des recommandations. À cet égard, Or-BAC est capable de spécifier des politiques de sécurité pour les SICSS, comme il peut être appliqué à une gamme très large d'applications complexes, interopérables et distribuées. <br />Or-BAC est d'abord représenté par des diagrammes UML, puis dans un nouveau langage logique fondé sur la logique déontique. Il est par ailleurs intégré dans une modélisation UML d'une démarche sécuritaire globale spécifiant les aspects statiques et dynamiques des phases d'authentification et d'autorisation.<br />Enfin, un prototype a été développé pour illustrer l'application de la politique et du modèle de sécurité dans le cas d'un centre dentaire.

De nombreuses applications de communications numériques font face à des canaux de transmission sélectifs en temps et en fréquence que nous pouvons assimiler à des systèmes linéaires variants dans le temps. À travers ces travaux de thèse, nous montrons que les modulations multiporteuses suréchantillonnées constituent une technique de transmission adaptée à ce type d'environnement. Cependant, la complexité algorithmique des émetteurs-récepteurs présente un frein majeur à leur adoption. Fort de ce constat, nous nous intéressons à la sous-famille des modulations multiporteuses suréchantillonnées à filtres courts (WCP-OFDM), dont la complexité algorithmique est comparable à celle de l'OFDM avec préfixe cyclique. Après avoir exprimé les conditions de reconstruction parfaite, nous développons des égaliseurs de faible complexité et étudions la problématique du rapport de puissance crête sur puissance moyenne du signal en sortie d'émetteur. Enfin, nous analysons les performances de ces modulations à travers plusieurs scénarios de propagation radiomobile. Les résultats de simulation confirment l'intérêt du WCP-OFDM, associé à des filtres prototypes bien localisés en temps et en fréquence pour faire face aux canaux doublement sélectifs.

Au cours des dernières années, la demande de services sur les réseaux CPL (courant porteur en ligne) a connu une forte augmentation du fait de la disponibilité des infrastructures et du faible coût de déploiement. Ce type de réseau supporte plusieurs trafics à haut débit avec une facilité de connexion entre plusieurs noeuds et points d'accès. Dans ce contexte, une gestion efficace des ressources disponibles, par l'intermédiaire de politiques d'allocation, s'avère indispensable pour satisfaire les contraintes de qualité de service. Ces politiques consistent à répartir efficacement les ressources dans le but d'optimiser les débits de transmission dans le réseau CPL. La présente thèse propose des stratégies d'allocation des ressources permettant d'augmenter les débits de transmission dans les contextes mono et multi-utilisateurs. Cependant, le canal de propagation CPL est peu favorable à la transmission de données à haut débit, puisqu'il n'a pas, à l'origine, été conçu dans ce but. Afin d'exploiter ce canal difficile, les données sont transmises via une forme d'onde combinant la technique de précodage linéaire aux modulations à porteuses multiples de type OFDM et conduisant à la solution LP-OFDM (linear precoded OFDM). Sous l'hypothèse d'une connaissance parfaite de la réponse du canal, cette combinaison permet une exploitation plus efficace de la puissance disponible. Les débits de transmission sont alors augmentés en adaptant les ordres de modulation, les niveaux de puissance et la répartition des ressources temps-fréquences aux conditions des liens de transmission. L'objectif principal de cette thèse est d'étudier et d'optimiser les stratégies de distribution : * des sous-canaux (qui peuvent être les sous-porteuses du système OFDM ou les séquences de précodage du système LP-OFDM) ; * des bits et puissances attribués à ces sous-canaux. Dans un premier temps, le problème de maximisation du débit dans un contexte mono-utilisateur est étudié et sert de base pour le contexte multi-utilisateur. Un nouvel algorithme d'allocation des ressources pour le système LP-OFDM avec une mise en oeuvre de l'égalisation suivant le critère de l'erreur quadratique moyenne est proposé, ce qui constitue une première contribution originale. De plus, deux autres nouveaux algorithmes d'adaptation des ordres de modulation et des niveaux de puissance, de faible complexité, sont proposés pour maximiser le débit total tout en respectant une contrainte de taux d'erreur binaire. Dans un second temps, une approche couche physique de la communication multicast est étudiée pour le système LP-OFDM. Les méthodes proposées permettent de mieux exploiter la diversité des liens de transmission pour augmenter les débits des utilisateurs. Comparés à la méthode classique d'allocation des ressources en OFDM multicast, les résultats de simulations montrent des gains en débit pouvant atteindre 70%. Enfin, la possibilité pour plusieurs utilisateurs de transmettre simultanément des données dans un réseau CPL est analysée. Les systèmes actuels CPL sont caractérisés par des procédés d'accès multiple où les différents utilisateurs transmettent leurs signaux dans des intervalles de temps distincts. De nouveaux algorithmes d'allocation des ressources, dans un contexte centralisé ou décentralisé, sont alors proposés et analysés pour une transmission simultanée dans le réseau. Les résultats obtenus mettent à nouveau en évidence l'intérêt de la solution LP-OFDM.

La qualité de communication dans un réseau sans fil est déterminée par la qualité du signal, et plus précisément par le rapport signal à interférence et bruit. Cela pousse chaque récepteur à se connecter à l'émetteur qui lui donne la meilleure qualité du signal. Nous utilisons la géométrie stochastique et la théorie des extrêmes pour obtenir la distribution de la meilleure qualité du signal, ainsi que celles de interférence et du maximum des puissances reçues. Nous mettons en évidence comment la singularité de la fonction d'affaiblissement modifie leurs comportements. Nous nous intéressons ensuite au comportement temporel des signaux radios en étudiant le franchissement de seuils par un processus stationnaire X (t). Nous démontrons que l'intervalle de temps que X (t) passe au-dessus d'un seuil γ → −∞ suit une distribution exponentielle, et obtenons 'egalement des r'esultats caract'erisant des franchissements par X (t) de plusieurs seuils adjacents. Ces r'esultats sont ensuite appliqu'es 'a la gestion de mobilit'e dans les r'eseaux cellulaires. Notre travail se concentre sur la fonction de 'handover measurement'. Nous identifions la meilleure cellule voisine lors d'un handover. Cette fonction joue un rôle central sur expérience perçue par l'utilisateur. Mais elle demande une coopération entre divers mécanismes de contrôle et reste une question difficile. Nous traitons ce problème en proposant des approches analytiques pour les réseaux émergents de types macro et pico cellulaires, ainsi qu'une approche d'auto- optimisation pour les listes de voisinage utilisées dans les réseaux cellulaires actuels.

Avec l'utilisation de plus en plus répandue de la simulation numérique dans de nombreuses branches de l'industrie, le calcul haute performance devient essentiel à la société. Si les plates-formes de calcul parallèle de plus en plus puissantes continuent à être construites, leur utilisation devient cependant de plus en plus un casse-tête. En effet, leur complexité croît avec la multiplication des ressources de calcul et de stockage impliquées, leurs fonctionnalités hétérogènes, et leur répartition non-uniforme. De nouveaux outils logiciels sont nécessaires pour faciliter l'exploitation de ces plates-formes. Je présente tout d'abord mes travaux visant à rendre plus accessibles et portables les mécanismes de communication développés par les constructeurs de réseaux haute performance pour le calcul. J'ai appliqué ce principe d'une part aux réseaux traditionnels de type Ethernet, et d'autre part aux communications entre processus locaux, afin d'améliorer les performances du passage de messages (MPI) sans dépendre de technologies matérielles spécialisées. J'explique ensuite comment faciliter la gestion des calculateurs hiérarchiques modernes. Il s'agit, d'une part, de modéliser ces plates-formes en représentant l'organisation des ressources de manière suffisamment simple pour masquer les détails techniques du matériel, et suffisamment précise pour permettre aux algorithmes de prendre des décisions de placement ou d'ordonnancement ; d'autre part, je propose des outils améliorant la gestion des architectures modernes où l'accès à la mémoire et aux périphériques n'est plus uniforme. Cela permet d'améliorer les performances de bibliothèques de calcul parallèle en tenant compte de la localité.

Cette thèse présente les fondements théoriques et pratiques d'un système pour l'analyse statique de langages manipulant des documents et données XML. Le système s'appuie sur une logique temporelle de point fixe avec programmes inverses, dérivée du mu-calcul modal, dans laquelle les modèles sont des arbres finis. Cette logique est suffisamment expressive pour prendre en compte les langages réguliers d'arbres ainsi que la navigation multidirectionnelle dans les arbres, tout en ayant une complexité simplement exponentielle. Plus précisément, la décidabilité de cette logique est prouvée en temps 2^O(n) où n est la taille de la formule dont le statut de vérité est déterminé.<br /><br />Les principaux concepts de XML sont traduits linéairement dans cette logique. Ces concepts incluent la navigation et la sémantique de sélection de noeuds du langage de requêtes XPath, ainsi que les langages de schémas (incluant DTD et XML Schema). Grâce à ces traductions, les problèmes d'importance majeure dans les applications XML sont réduits à la satisfaisabilité de la logique. Ces problèmes incluent notamment l'inclusion, la satisfaisabilité, l'équivalence, l'intersection, le recouvrement des requêtes, en présence ou en l'absence de contraintes régulières d'arbres, et le typage statique d'une requête annotée.<br /><br />Un algorithme correct et complet pour décider la logique est proposé, accompagné d'une analyse détaillée de sa complexité computationnelle, et des techniques d'implantation cruciales pour la réalisation d'un solveur efficace en pratique. Des expérimentations avec l'implantation complète du système sont présentées. Le système apparaît efficace et utilisable en pratique sur plusieurs scénarios réalistes.<br /><br />La principale application de ce travail est une nouvelle classe d'analyseurs statiques pour les langages de programmation utilisant des requêtes XPath et des types réguliers d'arbres. De tels analyseurs permettent de s'assurer, au moment de la compilation, de propriétés importantes comme le typage correct des programmes ou leur optimisation, pour un traitement plus sûr et plus efficace des données XML.

Le terme "réseau vert" ou pour éviter une traduction directe, "réseau propre" repose sur la sélection de technologies et de produits réseaux économes en énergie, et grantissant un usage minimal des ressources (radio, bande passante,...) quand cela est possible. Cette thèse vise à étudier les problèmes d'allocation des ressources dans les petits réseaux de cellules dans un contexte de réseau propre. Nous développons des algorithmes pour différents paradigmes. Nos travaux reposent principalement sur le contexte de la théorie des jeux de coalition, mais également sur des outils de géométrie stochastique ainsi que d'un modèle de jeu de surpeuplement. Nous étudions tout d'abord le problème d'association de mobiles à des stations de base dans les applications de diffusion d'un flux commun, sous contrainte de minimisation de la consommation d'énergie totale: nos algorithmes suivent une approche préservant l'énergie. Nous examinons le problème d'association des mobiles sous le prisme des jeux de coalition. Ce jeu tend à former la grande coalition, qui se caractérise par le fait que tous les joueurs forment une coalition unique. En utilisant le théorème de Bondareva-Shapley, nous prouvons que ce jeu de coalition a un noyau non vide ce qui signifie que la grande coalition est stable. Ensuite, nous examinons la politique de répartition des coûts pour différentes méthodes. Dans une deuxième partie, nous analysons un problème important dans les réseaux propres qui consiste à étteindre les stations de base qui ne sont pas indispensables. Nous abordons ce problème de facon statistique, dans le cas de fournisseurs de services coopérant au moyen d'outils de jeux de coalition vus sous un angle de la géométrie stochastique. Le jeu coalitionnel considéré est joué par les fournisseurs de services qui collaborent à éteindre leurs stations de base. Nous avons analysé la stabilité de Nash qui est un concept utilisé pour les jeux de coalition hédoniques. Nous posons la question suivante: Existe-t-il une méthode de répartition de la fonction d'utilitè qui se traduit par un partitionnement Nash-stable? Nous répondons à cette question dans la thèse. Nous démontrons que le noyau Nash-stable, défini comme l'ensemble des méthodes de répartition des couts conduisant à un partitionnement stable au sens de la stabilité de Nash. Nous considérons finalement les jeux liés à l'association des mobiles à un point d'accès non plus dans le cas d'un broadcast, mais dans le cas général. Le jeu consiste à décider à quel point d'accès un mobile doit se connecter. Nous considérons le choix entre deux points d'accès ou plus. Les décisions d'association dépendent du nombre de mobiles connectés à chacun des points d'accès. Nous obtenons de nouveaux résultats en utilisant des outils élémen taires de jeux de congestion et déviction. Enfin, nous nous intéressons aux transmissions coopératives. Nous étudions le problème de la sélection de partenaires dans le cas de constitution de binomes gagnant-gagnant, ou chacun des partenaire s'appuie sur l'autre pour sa propre transmission. Nous proposons d'assimiler la sélection des partenaires au problème classique en théorie des jeux de recherche stable de colocataire où chaque joueur établi une liste de préférence parmi les partenaires possibles; Nous adaptons l'algorithme de Irving pour déterminer le partenaire de chaque joueur et nous introduisons une version décentralisée de l'algorithme de Irving.