L'accès permanent et sécurisé aux ressources, données et services proposés par une entreprise est devenu au fil des années un point critique dans la stratégie de mise en place de l'infrastructure réseau. Situé à l'entrée du réseau interne et chargé de faire respecter la politique de sécurité mise en place par l'administrateur, le pare-feu est bien souvent l'unique point d'accès par lequel transitent toutes les connexions avec l'extérieur, et représente de ce fait un unique point de défaillance potentiel (« single point-of-failure »). Afin de pallier cette faiblesse, plusieurs solutions de redondances de pare-feux ont vu le jour. Ce document a pour but de présenter, d'évaluer et de comparer deux solutions reconnues du monde du logiciel libre : les conntrack-tools sous Linux, et pfsync/CARP sous OpenBSD. On présente également une nouvelle implémentation de canaux d'échanges d'états de connexions entre les pare-feux sous Linux, basé sur le protocole TIPC.

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 a pour objectif de caractériser le comportement du taux de change réel d'équilibre, face à des chocs d'offre et de demande sur les fondamentaux. Les chapitres I et II mettent en évidence la relation qui lie la productivité au taux de change réel. Les résultats principaux sont les suivants : la croissance de la productivité ne provoque pas systématiquement d'appréciation réelle, contrairement à ce que prévoit l'analyse de BS. Les comportements d'épargne des ménages, la différence du taux de croissance de population, et le ratio entre les travailleurs qualifiés et les travailleurs non-qualifiés dans l'économie affectent la relation entre taux de change réel-productivité. Ces deux premiers chapitres proposent une explication aux déviations observées vis-à-vis de l'analyse Balassa-Samuelson dans la littérature. Le chapitre III décrit abondamment - théoriquement et empiriquement - la relation qui lie le taux de change réel et la démographie. Le cadre théorique nous permet de détecter l'impact du facteur démographique sur le taux de change réel. En même temps, les tests économétriques confirment l'existence d'une relation à long terme entre le facteur démographique et le taux de change réel. Finalement, les trois chapitres I, II, et III mettent en évidence deux déterminants significatifs du taux de change réel : le facteur démographique et la productivité. Le chapitre IV étudie la causalité entre trois variables: le taux de change réel, la productivité, et les facteurs démographiques. Les résultats montrent qu'il existe une forte causalité entre eux, avec un retour à long terme vers le taux de change réel et la productivité. / The aim of this thesis is to characterise the behaviour of the real exchange rate, when it is confronted by shocks to the supply and demand of fundamentals. It disregards monetary phenomena, in order to focus on totally real factors.Chapters I and II of this thesis highlight the relationship between productivity and real exchange rate. The main results are as follows: productivity growth does not systematically produce real appreciation, contrary to the BS prediction. Household savings behaviour, population growth rate difference, and the ratio of qualified to unqualified workers in the economy affect the real exchange rate / productivity relationship. These first two chapters provide a response to the current literature concerning, in certain cases, the invalidity of the Balassa-Samuelson theory.Chapter III describes in considerable detail, both theoretically and empirically, the relationship between the real exchange rate and demographics. The theoretical framework makes it possible to detect the impact of demographics on the real exchange rate. The econometric tests confirm that a long-term relationship exists between demographics and the real exchange rate.Finally, the three chapters I, II and III reveal two significant determinants of the real exchange rate: demographics and productivity.Chapter IV studies the causality existing between three variables: the real exchange rate, productivity, and demographics. The results show that there is indeed a strong degree of causality between these variables, with a long-term return towards real exchange rate and productivity.

Avec l'expansion de l'informatique dans tous les domaines de la vie courante, les interactions avec des agents virtuels sont devenues courantes. Par ailleurs, nous savons que les émotions influencent les interactions entre individus. Dans cette thèse, nous nous plaçons dans le cas de la marche expressive non contrainte pour étudier, dans un premier temps, l'influence des émotions sur les interactions entre deux marcheurs réels. Puis, dans un deuxième temps, nous nous intéressons aux interactions entre un marcheur expressif virtuel et un sujet réel. La première étape de ce travail a consisté à concevoir et valider un protocole expérimental permettant l'analyse de marches expressives non contraintes. Nous avons ainsi capturé les mouvements de deux acteurs dans des tâches de marche seul ou en groupe. Dans la deuxième partie de ce travail, nous avons étudié les données de marche en groupe afin de mettre en évidence l'émergence d'un comportement de synchronisation entre les marcheurs de type meneur-suiveur. Nous avons également montré que les caractéristiques des émotions (comme le dialogue par exemple) peuvent avoir une influence sur cette synchronisation. Enfin, dans la troisième et dernière partie de cette thèse, nous avons étudié l'influence des émotions sur les interactions entre un humain virtuel et un humain réel. Pour cela, nous avons adopté une démarche en trois étapes : conception et analyse d'une base de données de marches expressives entre deux acteurs réels en ligne droite ; validation de la base de données par une étude en perception ; animation d'un humain virtuel grâce aux données de la base de données puis analyse de la marche entre des sujets réels et l'humain virtuel. Les résultats obtenus ont montré une forte similarité entre les deux situations. / With the growing of information technologies in all everyday life situations, interactions with virtual agents are now common. Furthermore, we know that people's emotions influence interactions between them. In this thesis, we consider the case of unconstrained and expressive walk to study the influence of emotions on interactions between two real walkers. Then, we focus on the interactions between a virtual expressive human and a real subject. The first step of this work was to design and validate an experimental protocol allowing the analysis of unconstrained and expressive walks. Thus, we captured the motion of two actors walking alone and walking together. In the second part, we studied the data from the group walk situation and we highlighted the emergence of a leader-follower behavior between the walkers. We also showed that the characteristics of the emotions (eg dialogue) have an influence on this kind of synchronization. Last and not least, we studied the influence of emotions on interactions between a virtual human and a real one. We used a three-step process : creation and analysis of a database of expressive walks along a line between two walkers ; validation of the database through a perceptual study ; animation of a virtual human with the data from the database and analyze of the walk between real subjects and the virtual human. Results showed a strong similarity between the two situations.

La thématique centrale de notre thèse concerne l’étude du transfert de connaissances acquises dans des situations virtuelles (environnements virtuels ou EVs) vers des situations de la vie quotidienne. Plus particulièrement, nous nous sommes intéressés à l’effet du mode de navigation en EV (i.e., avec ou sans joystick) sur la qualité du transfert de connaissances spatiales (un parcours à apprendre). La littérature relative à cet effet révèle des résultats contradictoires, et nous proposons d’apporter des éléments d’explication en examinant les interactions possibles entre le mode de navigation et d’autres facteurs susceptibles d’affecter les performances. Ainsi l’effet du mode de navigation sur le transfert virtuel-réel a été testé en interaction avec les facteurs suivants : la fidélité visuelle de l’EV (Exp. 1), la complexité informationnelle du parcours à apprendre (Exp. 2) et le délai de rétention (Exp. 3 et 4). Le transfert virtuel-réel et les connaissances spatiales ont été mesurés à l’aide de trois tâches de rappel : Wayfinding (i.e., reproduction du parcours appris dans la réalité), dessin à main levé du parcours et classification de photos dans l’ordre chronologique. Nos résultats montrent que l’impact du mode de navigation sur la qualité du transfert n’est pas le même selon les facteurs manipulés (i.e., fidélité visuelle, complexité du parcours et délai de rétention) et selon la tâche de rappel utilisée. Ces résultats nous ont permis de préciser le lien entre exploration active et systèmes représentationnels notamment à la lumière des théories sur le traitement cognitif d’informations spatiales (i.e., le modèle L-R-S et l’approche des graphes). Ces résultats permettent également de préciser les situations favorisant le transfert virtuel-réel, ce qui offre un intérêt particulier dans les enjeux notamment d’utilisation de la réalité virtuelle dans le diagnostic et/ou la réhabilitation cognitive. / The main theme of this thesis is the transfer of knowledge acquired in virtual situations (virtual environments or VEs) to situations in everyday life. We focused particularly on the effect of the navigation mode in VE (i.e., with or without joystick) on the quality of the transfer of spatial knowledge (learning a pathway). Previous publications on this effect presented contradictory findings and our aim was to elucidate this situation by examining possible interactions between the navigation mode and other factors likely to affect performance. Consequently, the effect of the type of movement control on virtual-real transfers was tested in interaction with the following factors: the visual fidelity of the VE (Exp. 1), the informational complexity of the route to be learned (Exp. 2), and retention delay (Exp. 3 and 4). Virtual-real transfers and spatial knowledge were measured using three recall tasks: Wayfinding (i.e., reproducing the route in the real world), freehand drawing of the path, and organizing photos in chronological order. Our findings revealed that the impact of the movement control on the transfer varied according to the factors manipulated (i.e., visual fidelity, route complexity, and retention delay), as well as the recall task used. These results clarified the connection between active exploration and representational systems, especially in light of theories on the cognitive processing of spatial information (i.e., the L-R-S model and the graph approach). These results also identified situations that facilitated virtual-real transfer, which is of particular interest when virtual reality is to be used in cognitive diagnosis and/or rehabilitation.

Les automates cellulaires sont un modèle de calcul massivement parallèle introduit dans les années 50. De nombreuses variantes peuvent être considérées par exemple en faisant varier la dimension de l’espace de calcul, ou les possibilités de communication entre les différentes cellules. En effet, chaque cellule ne peut communiquer qu’avec un nombre fini d’autres cellules que l’on appelle son voisinage. Mes travaux s’intéressent principalement à l’impact du choix du voisinage sur les capacités algorithmiques de ce modèle. Cet impact étant bien compris en une dimension, mes travaux portent majoritairement sur les automates cellulaires bidimensionnels. J’ai tout d’abord essayé de généraliser des propriétés classiques de certaines classes de complexité au plus de voisinages possibles. On arrive notamment à un théorème d’accélération linéaire valable pour tous les voisinages. J’ai ensuite étudié les différences entre les classes de faibles complexités en fonction du voisinage choisi. Ces travaux ont permis d’exhiber des voisinages définissant des classes incomparables, ainsi que des ensembles de voisinages définissant exactement les mêmes classes de complexité. Enfin, je présente aussi des travaux sur les différences de puissance de calcul entre les automates de dimensions différentes. / Cellular automata were introduced in the 50s by J. von Neumann and S. Ulamas an efficient way of modeling massively parallel computation. Many variations of the model can be considered such as varying the dimension of the computation space or the communication capabilities of the computing cells. In a cellular automaton each cell can communicate only with a finite number of other cells called its neighbors. My work focuses on the impact of the choice of the neighbors on the algorithmic properties of the model. My first goal was to generalize some classical properties of computation models to the widest possible class of neighborhoods, in particular I prove a linear speedup theorem for any two dimensional neighborhood. I then study the difference between the complexity classes defined by different neighborhoods, show the existence of neighborhoods defining incomparable classes, and some sets of neighborhoods defining identical classes. Finally, I also discuss the impact of the dimension of the automata on their computational power.

Ce travail examine le mode de fonctionnement du système des discours directs dans cinq romans de Maupassant. Il est alimenté par les fondements théoriques de Bakhtine et les développements épistémologiques de Bres qui débouchent sur un cadre opératoire élaboré par Authier-Revuz : l’hétérogénéité montrée. Parmi les modalités de cette hétérogénéité, nous avons ciblé le discours direct qui forme un système avec le discours narratorial. Nous avons scruté ce système sous le prisme de la démarche stylistique quantitative, assortie des analyses qualitatives présentées. Nous avons scruté les mécanismes syntaxiques des segments introducteurs du discours direct, en insistant sur leur construction, les catégories sémantiques et énonciatives des verbes. Ces indicateurs ont été réinvestis par la suite pour analyser les fonctions des discours narratoriaux et des discours directs. Au bout du compte, nous avons tiré plusieurs conclusions. Nous avons vu que le segment introducteur est doté des valeurs narrativo-descriptives, illocutoires et perlocutoires, tributaires des ressources langagières en présence. Quant aux discours directs, ils ont des fonctions langagières et énonciatives. La première repose sur des usages de la langue qui révèlent non seulement les affects des personnages, mais aussi certaines situations de communication. La fonction énonciative repose essentiellement sur les valeurs impressive, expressive et interlocutive des personnages. La prégnance des phénomènes observés permet de dire que toutes ces fonctions concourent à la recherche de l’illusion référentielle par Maupassant au travers du système de discours direct intégré dans la trame du récit. / This work discusses how the system of direct speeches in five novels of Maupassant functions. It is rooted in the theoretical works of Bakhtin and on the epistemological developments of Bres which are developed on an operating framework elaborated by Authier-Revuz: the heterogeneity shown. Of the modalities of this heterogeneity, we have targeted direct and narrative discourses. We have analysed this system using the quantitative stylistic approach alongside the qualitative analyses presented. We have scrutinised the syntactic mechanisms of the introductory segments of direct speech, emphasizing their construction, semantic categories, and verb initiatives. These indicators were subsequently reinvested to analyse the functions of narrative discourses and direct speeches. At the end of the day, we made a number of conclusions. We have already seen the segment presenting narrative descriptive, illocutionary and perlocutory values dependent on the linguistic resources involved. As for direct speeches, they have linguistic and enunciative functions. The linguistic function involves language use with at the same time the feelings of the characters and also certain situations of communication. The enunciative function is essentially based on the impressive, expressive and interlocative values of the characters. The representation of the phenomena observed allows all the concurrent functions to search for the referential illusion by Maupassant through the system of speech integrated into the plot of the story.

Les différentes façons de décrire un circuit intégré (niveau architectural, logique, électrique, implante; mode structurel, fonctionnel). L'accent est mis sur les descriptions tenant compte de l'aspect temporel. La sûreté de la description, ou cohérence, est traitée à part. Le modèle par événements du comportement des systèmes temporisés est présenté partiellement. Le modèle classique d'automate d'état fini est cité, avec les difficultés de son utilisation pour les systèmes temporisés. On propose une définition d'automate d'état fini temporisé combinant les deux approches. Le fonctionnement est caractériser par un calcul algébrique. Analyse de deux réalisations de base et de variantes de l'une d'entre elles, ainsi qu'une 3eme famille. Étude d'un automate plus complexe forme d'une partie contrôle et d'une partie opératoire. Calcul de la synchronisation.

L'objectif général de cette thèse, suggéré par le contrôle des radars de combat, consiste à intercaler en temps réel une tâche aléatoire dans un ordonnancement existant tout en limitant autant que possible l'augmentation de la valeur du critère. Dans notre cas, le critère que nous considérons est la somme des dépassements des délais des tâches déjà ordonnancées. Ces délais sont supposés quelconques : cette contrainte est plus dure que dans le cas des radars de combat où un certain nombre de tâches de surveillance doivent être effectuées de manière répétitive au cours d'une période donnée à l'intérieur de laquelle leur ordonnancement est libre, ce qui équivaut à un délai unique pour l'ensemble des tâches. La tâche à intercaler apparaît à un instant quelconque (c'est l'instant que nous considérons comme l'instant zéro). Sa durée n'est connue qu'au moment de son apparition. Il en est de même de son délai, qui est impératif. Nous considérons d'abord le cas d'une tâche aléatoire unique, puis le cas d'une tâche aléatoire composée de deux sous-tâches séparées par une période donnée. Enfin, nous proposons une amélioration de l'approche actuellement utilisée dans ce domaine.