Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Description d'un outil d'aide à la conception et à la vérification de systèmes communicants qui est basé sur le calcul CCS de Milner.

Dans le cadre de la télécommunication, les entreprises développent des protocoles gérant le transfert de données entre machines. Ces protocoles fonctionnent sur le principe d'envoi de messages entre deux parties par l'intermédiaire de canaux non fiables. Pour s'assurer que tous les messages ont bien été reçus, les techniques employées consistent à réémettre les messages perdus et/ou à attendre un laps de temps déterminé avant de conclure à l'échec de la transmission. De plus, les systèmes sont souvent modélisés en fonction de paramètres. Nous avons travaillé sur un modèle mathématique permettant la vérification de spécifications (comportements attendus des systèmes) pour des protocoles manipulant à la fois des compteurs, des files d'attente ou des horloges, ainsi que des paramètres. Le but de l'analyse est de calculer l'ensemble des comportements possibles du système puis de vérifier qu'aucun d'eux ne viole une spécification attendue. Le problème ici est que cet ensemble est infini. En effet, un comportement est fonction des valeurs prises par les variables du système au cours de l'exécution et certaines sont définies sur un domaine infini. Il faut alors pouvoir représenter ces comportements de façon finie et aussi trouver des méthodes pour calculer en un temps fini un ensemble infini. Plus formellement, nous nous sommes placés dans le cadre de l'analyse automatique des systèmes (model-checking). La représentation choisie pour les modèles à compteurs et horloges paramétrés est une extension des matrices de bornes pour laquelle nous avons une méthode exacte d'accélération (calcul en un temps fini d'ensembles de comportements infinis). Du côté pratique, nous avons implanté ces méthodes dans un outil TReX qui est, à notre connaissance, le seul pouvant manipuler de manière exacte des compteurs, des horloges et des files d'attente. Nous avons pu vérifier des exemples conséquents tels que le protocole de retransmission bornée.

Ce travail est fondé sur l'étude de nouveaux outils de télémédecine ; l'accent est mis sur la création d'un système d'auscultation. Trois points ont été développés : - la conception d'une plateforme innovante pour un meilleur suivit du patient et des échanges simplifiés entre professionnels de santé. Le système d'auscultation proposé permet notamment de réaliser des enregistrements et visualisations d'auscultations antérieures, des télé-auscultations, des envois de données auscultatoires à un expert, de demander un second avis temps réel, d'apporter une aide pédagogique pour l'enseignement de l'auscultation. - l'étude et la réalisation d'un prototype de stéthoscope électronique. En effet, nos travaux ont mis en lumière la nécessité de disposer d'un outil de capture du son performant et adapté à une analyse automatique. Cet outil doit disposer de caractéristiques particulières en termes de courbe de réponse, de bande de fréquence, de filtrage... mais également d'ergonomie. - l'étude d'un format d'échange des données auscultatoires. Aujourd'hui, il n'existe pas de standard pour transmettre de telles données. Nous avons mis en lumière l'intérêt de permettre cet échange d'informations, défini la nature des données devant être transportées (son mais également données patient, médico-légales, sémiologie...) et le moyen de les transmettre.

Cette thèse s'intéresse aux processus liés à la localisation et la consommation d'énergie dans les réseaux de capteurs sans fil (Wireless Sensor Networks WSN). Dans les WSN, Durant le processus global de localisation, les communications radio représentent la principale source de consommation d'énergie. Nous étudions trois formes de coopération entre les nœuds qui exploitent de manière différente les nombreuses transmissions radio. En particulier, le "Radio broadcasting" qui est souvent perçu comme un inconvénient dans WSN est utilisé dans les protocoles que nous proposons comme un élément clé pour améliorer la consommation d'énergie de la localisation. Nous étudions leurs conditions de convergence, leur vitesse de propagation et leur coût de communication avec des modèles de simulation. Nous montrons que l'implémentation qui utilise le "Over-hearing" -corollaire du broadcasting- dans une approche positive surpasse les deux autres protocoles en termes de vitesse de convergence et de coût de communication.

La diversité croissante des différents agents constituant les réseaux de communication actuels ainsi que la capacité accrue des technologies concurrentes dans l'environnement réseau a conduit à la prise en compte d'une nouvelle approche distribuée de la gestion du réseau. Dans cet environnement réseau évolué, le besoin en accroissement de la bande passante et en ressources rares, s'oppose à la réduction de la consommation énergétique globale.Dans notre travail nous nous intéressons à l'application de mécanismes distribués et de méthodes d'apprentissages visant à introduire d'avantage d'autonomie dans les réseaux hétérogènes, mobiles en particulier, tout en améliorant les performances par rapport aux débits et à la qualité de service. Notre étude se concentre principalement sur l'élaboration de mécanismes distribués stochastiques et énergétiquement efficaces en profitant des capacités de calcul de tous les agents et entités du réseau. Divers outils de la théorie des jeux nous permettent de modéliser et d'étudier différents types de systèmes dont la complexité est induite par la grande taille, l'hétérogénéité et le caractère dynamique des interconnexions. Plus spécifiquement, nous utilisons des outils d'apprentissage par renforcement pour aborder des questions telles que l'attachement distribué des utilisateurs permettant une gestion dynamique, décentralisée et efficace des ressources radio. Nous combinons ensuite les procédures de sélection d'accès à des méthodes d'optimisation distribuées du type gradient stochastique, pour adresser le problème de coordination des interférences intercellulaires (ICIC) dans les réseaux LTE-A. Cette approche se base sur un contrôle de puissance dynamique conduisant à une réutilisation fractionnaire des fréquences radios. Par ailleurs nous adressons dans les réseaux décentralisés non-hiérarchiques, plus précisément les réseaux tolérants aux délais (DTNs), des méthodes décentralisées liées à la minimisation du délai de transmission de bout en bout. Dans ce cadre nous nous intéressons, en outre des équilibres de Nash, à la notion d'équilibre évolutionnairement stables dans différents contextes de jeux évolutionnaires, jeux évolutionnaires décisionnels markoviens et jeux de minorité. Enfin, la majeure partie du travail effectué se rattachant aux tests et validations par simulations,nous présentons plusieurs éléments d'implémentations et d'intégrations liés à la mise en place de plateformes de simulations et d'expérimentations.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.