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.

Cette thèse présente Rejo un nouveau langage de haut niveau pour programmer des systèmes réactifs. Rejo, de l'anglais REactive Java Objets, est une extension 'a Java qui permet de définir des objets réactifs, c'est-à-dire des objets qui encapsulent des données et des mélangés d'instructions Java et d'instructions réactives. Le modèle d'exécution est celui de l'approche réactive synchrone, dans lequel les instructions Java sont exécutées d'une façon atomique. Le compilateur de Rejo génère du code 100% Java où les instructions réactives sont implémentées avec la librairie Junior. L'influence de Junior sur Rejo est très importante, et les performances, les avantages et les inconvénients de Rejo d'écoulent du modelé et du moteur d'exécution de Junior. Une 'étude approfondie de la programmation et des différentes implémentations de Junior est réalisée. Les objets réactifs de Rejo peuvent être considères comme des agents mobiles car ils ont la capacité de migrer en utilisant une plate-forme, appelée ROS, qui offre les fonctionnalités nécessaires. ROS, de l'anglais Reactive Operating System, est un Système d'Agents Mobiles qui ressemble à un système d'exploitation car il est constitue d'un micro-noyau modulaire et d'un ensemble des services autour desquels on trouve une interface graphique (les Ricobjs), un shell (Rsh) et une interface de programmation.

Thèse numérisée 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.

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.

Le travail aborde la modélisation et l’analyse de systèmes complexes, caractérisés, dans un cadre incertain et évolutif, par de nombreuses interactions entre composants. Dans un cadre de gestion des risques, le travail vise à créer un modèle causal spatio-temporel pour l’explication et la probabilisation de certains événements redoutés à des fins de diagnostic et de pronostic. Le travail de modélisation est basé sur l’approche bayésienne et, plus particulièrement, sur les Réseaux Bayésiens (RB). Dans l’optique de considérer des systèmes de grande taille et de représenter leur complexité spatio-temporelle, leur caractère multiéchelles et incertain dans un cadre dynamique, l’idée de ce travail est alors d’étendre le concept des Réseaux Bayesiens Dynamiques (RBD) et d’utiliser le paradigme Orienté Objet pour l’appliquer aux réseaux bayésiens. Dans leur forme actuelle, les réseaux bayésiens orientés objet permettent de créer des instances réutilisables mais non instanciables. En d’autres termes, cela implique que l’objet généré est susceptible d’être appelé plusieurs fois dans la construction d’un modèle mais sans pour autant que ces paramètres (tables de probabilités marginales ou conditionnelles) ne soient modifiés. Ce travail de thèse vise à combler cette lacune en proposant une approche structurée permettant de construire des grands systèmes à base d’objets (caractérisés par des réseaux bayésiens simples) dont les paramètres peuvent être actualisés en fonction de l’instant ou du contexte de leur appel et de leur utilisation. Ce concept est concrétisé sous la forme de Réseaux Bayésiens Multidimensionnels par leur propension à combiner plusieurs dimensions qu’elles soient spatiales ou temporelles.

Les progrès technologiques confirmés au cours de cette décennie favorisent une importante révolution dans la façon de concevoir les systèmes informatiques. Des réseaux offrant des débits de milliards de bits par seconde permettront d'inter-connecter des ordinateurs personnels, moyens ultra-performants exécutant de nouvelles applications pouvant traiter, émettre ou recevoir des dizaines de megabits de données par seconde. Les systèmes automatisés sont des exemples de systèmes informatiques qui connaitront l'influence des progrés technologiques. L'audio, la vidéo, l'imagerie aux rayons X ou infrarouge, sont de nouveaux types d'information présentés sous forme de média continus pouvant être intégrés, à la faveur des progrès technologiques, aux systèmes automatisés. Nous proposons des extensions multimédia à MMS, la norme OSI de communication des systèmes automatisés, comme moyen d'intégration de ces nouveaux types d'information. MMS est basée sur le passage de messages et un protocole client-serveur mal adaptés aux flots soutenus de média continus. Après une présentation des particularités des systèmes multimédia traitant et véhiculant l'information sous forme de média discrets et continus, nous mettons en évidence des aspects de MMS qui la rendent inapte au traitement et au transfert de flots de média continus. Nous proposons ensuite un modèle d'extension du modèle objet et des services de MMS permettant de satisfaire les contraintes des média continus. Nous étudions enfin un prototype d'implémentation des nouveaux objets et services définis sur une plate-forme expérimentale. Ladite plate-forme se compose de stations de travail UNIX et Windows NT connectées par des infracstructures ATM. Elle servira à la mesure de performances des différents choix d'implémentation du modèle d'extension de MMS.

La conception de systèmes énergétiques innovants et la caractérisation du confort des occupants requièrent de d'être capable d'estimer les détails des écoulements et des transferts de chaleur au sein des zones des bâtiments. Les méthodes de modélisation permettant d'estimer ces détails, telles que les méthodes zonales et CFD, sont difficilement applicables à l'étude d'un bâtiment dans son ensemble et sur de longues périodes de temps. Notre étude consiste à proposer une plate-forme de simulation permettant dans un premier temps de traiter la plupart des zones du bâtiment et de son enveloppe à l'aide de l'approche nodale qui considère chacune des zones comme un volume parfaitement uniforme. Chaque zone est alors caractérisée par un seul noeud de calcul où sont déterminées les variables d'états (température, pression, concentration, etc.). Ensuite, il s'agit d'étudier les détails au sein d'un nombre limité de zones et d'estimer l'impact de ces détails sur le comportement global du bâtiment. Ainsi, nous proposons différentes méthodes de couplage entre d'une part la méthode nodale et d'autre part, les méthodes zonales et CFD. Après avoir présenté les différentes méthodes de modélisation retenues pour la détermination des transferts de masse et de chaleur dans les bâtiments, nous tentons de montrer l'intérêt d'utiliser l'une plutôt qu'une autre en fonction, des spécificités de chacune des zones, et de l'étude à effectuer. Ensuite, nous exposons la plate-forme de simulation développée, permettant de mettre en oeuvre aussi bien les approches nodales et zonales, que les différentes procédures de couplage dépendant du type d'association de modèles. Enfin, différentes applications viennent confirmer les capacités offertes par la plate-forme, pour moduler le niveau de finesse des modèles utilisés pour représenter chacune des zones d'un bâtiment, mais aussi pour proposer de nouvelles orientations de recherche. En effet, la dernière application présente une approche de couplage entre les approches zonale et CFD, dans laquelle la première tire la connaissance de la structure de l'écoulement de la seconde. L'outil développé apporte de nombreuses possibilités d'applications, aussi bien pour la caractérisation du bâtiment lui-même que de son intégration dans son environnement immédiat.