Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Évaluer en continu la qualité d'un logiciel doit être une activité importante permettant de diagnostiquer et d'éviter des problèmes. Une caractéristique commune dans une bonne conception est la distribution correcte de responsabilités entre les composants. La cohésion et le couplage sont des caractéristiques d'un logiciel servant d'indicateurs de cette distribution. Ces propriétés peuvent être mesurées et ainsi avoir une idée de la qualité du logiciel. Pour mesurer la cohésion et le couplage, différentes métriques ont été proposées. Plusieurs outils ont été développés également pour donner au programmeur la possibilité de mesurer le code. Généralement, ces outils présentent les résultats des métriques avec des chiffres qui ne sont, pas suffisamment intuitifs ou faciles à interpréter par un programmeur. Une façon efficace de présenter les métriques appliquées sur un logiciel est d'utiliser des techniques de visualisation. Celle-ci sert à présenter plusieurs informations en peu d'espace, ainsi un développeur peut examiner des données d'une manière pratique et, flexible. Ce mémoire propose une manière de visualiser la cohésion et le couplage. À cet effet, nous avons développé un outil qui utilise des graphiques pour représenter les relations entre les éléments à l'intérieur d'une classe et les relations entre les classes. L'approche présentée dans ce mémoire a été appliquée à des systèmes logiciels orientés objet, codés en Java et de taille moyenne. Les résultats obtenus démontrent l'utilité de visualiser l'information, plutôt que de la présenter uniquement sur des tableaux.

De nos jours, les logiciels sont de plus en plus complexes. La complexité des logiciels augmente avec leur taille et de ce fait, parfois la bonne structure originale est perdue. En conséquence, la vérification continue de la qualité du développement de ces logiciels est devenue indispensable. Elle nécessite un contrôle continu de la qualité du code tout au long du processus de développement. Plusieurs métriques ont été proposées afin de quantifier cette qualité, dans beaucoup de cas, ces métriques interviennent une fois le logiciel fini, or le contrôle de qualité serait plus efficace s'il intervenait tout au long de la phase de codage. Les métriques logicielles renseignent sur la qualité du code. Elles sont généralement présentées sous forme de tableau de données et sont donc difficilement exploitables. L'objectif général en développement de logiciels est de maintenir un produit de bonne qualité, qui soit extensible, d'une maintenance facile et réutilisable. Un grand problème en logiciel est constitué par les dépendances entre classes et paquets: c'est le couplage. On parlera d'architecture à couplage faible, lorsqu'elle est flexible, les changements sont simples et leurs coûts ne sont pas très élevés. Par contre, l'architecture devient rigide lorsque le ``couplage fort'' rend l'ajout de nouvelles fonctionnalités et la maintenance d'un logiciel très difficile. Les coûts de cette maintenance deviennent donc très élevés. Un autre problème connu est le manque de cohésion d'une classe, une classe est dite de bonne cohésion, si tous ses attributs sont utilisés par toutes ses méthodes. Dans le cas contraire, les méthodes et attributs ne communiquent pas suffisamment pour se retrouver dans une seule classe, et devrait être subdivisés en plusieurs classes. L'objectif de notre projet est de visualiser des indicateurs capables de distinguer une architecture flexible d'une architecture rigide. Pour mener à bien notre projet, une étude des différentes métriques déjà proposées est nécessaire, en considérant les métriques ayant un impact sur l'architecture, telle que les métriques de couplage entre classes et paquets. Pour ensuite proposer une visualisation, afin de faciliter l'interprétation des résultats obtenus par les métriques facilitant ainsi le travail du développeur. Au final, cette visualisation devrait permettre d'identifier les problèmes d'architecture. Ces zones critiques seront donc affichées à l'écran. Ainsi cette visualisation permettra de mieux guider le développeur dans sa maintenance.

Dans les systèmes Store and Forward (S&F), le routage comme moyen d'optimisation a été largement étudie mais aucune règle générale n'a pu être établie. Des paramètres et des méthodes d'évaluation spécifiques à ces systèmes n'ont pas encore été définis. Jusqu'à présent seuls des critères appartenant aux réseaux traditionnels étaient utilises (temps, longueur de la route). Or la tolérance aux délais du réseau s&f minimise l'importance de ces critères. De ce fait, pour ces systèmes, il est nécessaire d'employer des mécanismes et des critères mieux adaptent à leurs caractéristiques. Cette étude a pour but de montrer que le routage dans les systèmes s&f peut être aborde a partir de perspectives nouvelles. Pour ce faire, nous utilisons une politique de routage pré calcule depuis la source. Nous présentons un état de l'art sur les systèmes s&f, leurs mécanismes et leurs scénarios d'application. Nous proposons un outil de calcul de routes pour un scenario de communications par satellite compose par deux constellations. Cet instrument est conçu à partir des techniques utilisées dans les systèmes de transport. Nous proposons ensuite un ensemble de nouvelles métriques pour le routage dans les systèmes s&f. Ces métriques permettent de caractériser le système s&f à partir de leur nature propre et d'établir des politiques de routage mieux adaptées à leurs conditions de fonctionnement. Enfin nous présentons les développements possibles dans cette thématique

En 2003, Kechris, Pestov et Todorcevic démontrèrent que la structure de certains espaces métriques - dits ultrahomogènes - est intimement liée au comportement combinatoire de la classe de leurs sous-espaces métriques finis. La présente thèse a pour but d'explorer les différents aspects de cette connexion. Dans la première partie, la notion d'ultrahomogénéité métrique et les espaces ultrahomogènes complets séparables les plus remarquables, à savoir la sphère unité S_H de l'espace de Hilbert, l'espace de Baire et la sphère d'Urysohn S_U (à isométrie près, le seul espace complet séparable ultrahomogène et universel pour la classe des espaces métriques séparables de diamètre inférieur à 1) sont présentés. Dans la seconde partie, la notion de classe de Ramsey d'espaces métriques finis ordonnés est introduite et mise en lien avec les propriétés dynamiques des groupes d'isométries des espaces ultrahomogènes. Une importance particulière est attachée au théorème de Nesetril et à sa conséquence (originalement due à Pestov) selon laquelle toute action continue du groupe des autoisométries de S_U sur un compact admet un point fixe. Des résultats analogues sont ensuite obtenus dans d'autres cas, en particulier les espaces ultramétriques et l'espace de Baire. La troisième partie est quant à elle axée sur la notion de stabilité par oscillations. Pour la sphere de l'espace de Hilbert, la stabilité par oscillations n'est pas satisfaite ; il sagit d'un résultat essentiel en analyse fonctionnelle dû à Odell et Schlumprecht et équivalent à l'existence d'une application uniformément continue f de S_H dans [0,1] qui ne stabilise (ne devient presque constante) sur aucune copie isométrique de S_H dans S_H. En revanche, pour la majorité des autres espaces séparables ultrahomogènes, rien ne permet de démontrer ou de réfuter la stabilité par oscillations. C'est à ce problème qu'est consacré l'essentiel de la dernière partie. Cela conduit à la caractérisation complète des espaces ultramétriques séparables ultrahomogènes stables par oscillations et à une solution partielle dans le cas de la sphère d'Urysohn S_U.

Ce travail de thèse s'intéresse à la résolution d'équations de Monge-Ampère complexes et à ses applications sur certains types de variétés non compactes. Ce mémoire décrit plus précisément deux situations distinctes dans lesquelles on résout des équations de Monge-Ampère, avant de tirer les conséquences de ces résolutions. Dans une première partie, on travaille sur le complémentaire d'un diviseur à croisements normaux dans une variété kählérienne compacte. On fixe sur le complémentaire du diviseur une classe de métriques kählériennes à singularités cusp le long du diviseur. Pour construire des géodésiques entre métriques de cette classe, on résout une équation de Monge-Ampère homogène, sur le produit de notre ouvert de Zariski par une surface de Riemann à bord. On applique cette construction à un résultat d'unicité de métriques à courbure scalaire constante dans la classe considérée ; on résout encore pour cela une équation de Monge-Ampère avec second membre sur le complémentaire du diviseur. On exhibe enfin des obstructions topologiques à l'existence de métriques à courbure scalaire constante au sein des classes de métriques kählériennes singulières envisagées. La seconde partie du mémoire traite d'une construction analytique d'instantons gravitationnels ALF, ou variétés complètes de dimension 4, hyperkählériennes, à croissance cubique du volume. On donne la construction d'instantons diédraux ; on considère plus exactement des résolutions de singularités kleiniennes diédrales. Le traitement d'une équation de Monge-Ampère, donné pour des variétés kählériennes ALF assez générales, nous permet sur nos exemples de corriger un prototype simple pour obtenir la métrique hyperkählérienne recherchée.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Les Smart Grids visent à transformer le réseau électrique actuel en un réseau "plus intelligent" où la production énergétique est décentralisée et automatisée, facilitant l'intégration des sources d'énergie renouvelables. Cette évolution est rendue possible grâce à l'utilisation d'un réseau de communication pour les multiples échanges de données hétérogènes des Smart Grids. L'objectif de cette thèse est de proposer un paradigme de communication efficace en termes de qualité de service pour les Smart Grids basé sur les réseaux de capteurs.Dans un premier temps, on s’intéresse au protocole standard RPL. Nous proposons une évolution de celui-ci à travers une nouvelle fonction objectif. Celle-ci tire parti de l’hétérogénéité matérielle des nœuds et des liens pour introduire la qualité de service. Cela permet à RPL de satisfaire les multiples et différentes exigences en termes de fiabilité, de latence et de priorité dans l'acheminement des données. Nos résultats montrent que notre approche permet bien la différentiation du trafic tout en réduisant la latence du routage et en économisant l'énergie.Nous proposons également d'améliorer l'utilisation du réseau de capteurs en y introduisant l’auto-organisation et la réduction des données. Le but est alors de prédire la valeur des données mesurées plutôt que de les transmettre.Une autre approche explorée est d'agréger les différents messages transitant sur le réseau tout en considérant leurs différentes exigences de qualité de service. Ces deux approches permettent ainsi de réduire la consommation d'énergie tout en respectant les exigences des différentes applications des Smart Grids. / Smart Grids aim to transform the current electric grid into a "smarter" network where energy production is decentralized and automated, which facilitates the integration of renewable energy resources. This evolution is made possible thanks to the use of a communication network for the multiple heterogeneous data exchanges of the Smart Grids. Hence, the aim of this thesis is to propose an efficient communication paradigm in terms of quality of service for Smart Grids based on wireless sensor networks.First, we study data routing in Smart Grids with the RPL standard. Nevertheless, RPL is not suitable for Smart Grid applications in terms of quality of service. Therefore, we propose an objective function for RPL that takes different features of both nodes and links into consideration. Results show that our approach improves network performance compared to existing solutions in terms of packet delivery ratio, network lifetime, latency and traffic differentiation.Then, we also propose a more efficient data collection by introducing self-organization and data reduction for these wireless sensors. The goal is to predict the value of the measured data rather than transmitting them. Another explored approach is to aggregate the different messages sent across the network while considering their different requirements in terms of quality of service.These two approaches reduce the energy consumption while respecting the requirements of the different applications of the Smart Grids.

Dans cette thèse on étudie la géométrie systolique des variétés de Bieberbach. La \emph{systole} d'une variété riemannienne compacte et non simplement connexe $(M^n,g)$ est l'infimum des longueurs des courbes fermées non contractiles; le \emph{rapport systolique} est le quotient $(\mathrm{systole})^n/\mathrm{volume}$. Un résultat fondamental de Gromov assure que si $M^n$ est essentielle, il existe une constante $c(M)$ strictement positive telle que, pour toute métrique $g$ sur $M^n$: $Vol(M,g) \geq c(M) Sys(M,g)^n$. Les surfaces compactes autres que $S^2$ sont essentielles, et le théorème de Gromov est une généralisation profonde des mêmes résultats pour le tore $T^2$ (C. Loewner), pour le plan projectif (M. Pu) et pour la bouteille de Klein (C. Bavard). Pour ces variétés la constante $c(M)$ est bien connu mais en dimension supérieure, on ne connait pratiquement rien en dehors de l'existence de cette constante. Nous nous intéressons aux variétés de Bieberbach de dimension 3, c'est à dire aux variétés compactes de dimension 3 qui portent une métrique riemannienne plate, qui ne sont pas des tores et démontrons que les métriques plates ne sont pas optimales pour le rapport systolique.