No description available.

Les systèmes à événements discrets sont des systèmes dynamiques particuliers. Ils changent d’état de fa¸con discrète et le terme événement est utilisé afin de représenter l’occurrence de changements discontinus. Ces systèmes sont principalement construits par l’homme et on les retrouve surtout dans les secteurs manufacturier, de la circu- lation automobile, des bases de données et des protocoles de communication. Cette thèse s’intéresse au contrôle des systèmes paramétrés à événements discrets où les spécifications sont exprimées à l’aide de prédicats et satisfont une condition de similarité. Des conditions sont données afin de déduire des propriétés, en observation partielle ou totale, pour un système composé de n processus similaires à partir d’un système com- posé de n0 processus, avec n ≥ n0. De plus, il est montré comment inférer des politiques de contrôle en présence de relations d’interconnexion entre les processus. Cette étude est principalement motivée par la faiblesse des méthodes actuelles de synthèse pour le traitement des problèmes industriels de taille réelle. / Discrete event systems are a special type of dynamic systems. The state of these systems changes only at discrete instants of time and the term event is used to represent the occurrence of discontinuous changes. These systems are mostly man-made and arise in the domains of manufacturing systems, traffic systems, database management systems and communication protocols. This thesis investigates the control of parameterized discrete event systems when specifications are given in terms of predicates and satisfy a similarity assumption. For systems consisting of similar processes under total or partial observation, conditions are given to deduce properties of a system of n processes from properties of a system of n0 processes, with n ≥ n0. Furthermore, it is shown how to infer a control policy for the former from the latter’s, while taking into account interconnections between processes. This study is motivated by a weakness in current synthesis methods that do not scale well to huge systems.

No description available.

No description available.

La démocratisation des véhicules hybrides branchables ainsi que des véhicules purement électriques implique un surplus de demande sur les réseaux de distribution. Le Vehicle-to-Grid (V2G) ou le Vehicle-to-Building (V2B) visent à répondre à cette demande accrue en utilisant les véhicules non plus comme de simples charges pour le réseau électrique mais comme des acteurs effectuant des échanges bidirectionnels. Les travaux présentés dans ce mémoire montrent, avec des données réelles du campus de l’Université Laval, une modélisation de flottes de véhicules et l’application d’un modèle d’optimisation linéaire que le V2B peut permettre de réaliser des gains financiers partagés entre les acteurs tout en rechargeant efficacement les véhicules participants. / The democratization of plug-in hybrid electric vehicles along with purely electric vehicles causes an increased electric demand on the power grid. Vehicle-to-Grid (V2G) or Vehicle-to-Building (V2B) aim to bring an appropriate response to this increased demand, by not simply considering vehicles as loads for the grid but as actors making bidirectionnal exchanges. The works presented in this master’s thesis show, with real data on the Université Laval campus, a modelling of vehicle fleets and the application of a linear optimization model, that V2B can provide financial gain shared between the actors of the system, while charging the vehicles efficiently.

La modélisation de dialogue humain-machine est un domaine de recherche qui englobe plusieurs disciplines telles que la philosophie, les sciences cognitives et sociales, et l’informatique. Elle a pour but de reproduire la capacité humaine afin d’apprendre des stratégies optimales de dialogue. De plus, elle vise à concevoir et à évaluer des systèmes de gestion de dialogue ou d’étudier plus en détails la nature des conversations. Par ailleurs, peu de modèles de simulation de dialogues existants ont été jugé bons. Ce mémoire présente un modèle de Markov caché qui prédit l’action de l’utilisateur dans les systèmes de dialogue étant donné l’action du système précédente. L’apprentissage du modèle a été réalisé selon une approche d’apprentissage non supervisé en utilisant différentes méthodes de la validation croisée. Quant à l’évaluation du modèle, elle a été faite en utilisant différentes métriques. Les résultats de l’évaluation ont été en dessous des attentes mais tout de même satisfaisants par rapport aux travaux antérieurs. Par conséquent, des avenues de recherches futures seront proposées pour surpasser cette problématique. Mots-clés : traitement de la langue naturelle, dialogue oral homme-machine, modèle de Markov caché, apprentissage non supervisé, validation croisée. / Modeling human-machine dialogue is a research area that encompasses several disciplines such as philosophy, computer science, as well as cognitive and social sciences. It aims to replicate the human ability to learn optimal strategies of dialogue. Furthermore, it aims to design and evaluate management systems for dialogue, and to study the nature of the conversations in more detail. Moreover, few simulation models of existing dialogues were considered good. This thesis presents a hidden Markov model that predicts the action of the user in dialogue systems on the basis of the previous system action. The learning model has been realized through an approach to unsupervised learning using different methods of cross validation. As for model evaluation, it has been done using different metrics. The evaluation results were below expectation. Nonetheless, they are satisfactory compared to previous work. Ultimately, avenues for future research are proposed to overcome this problem. Keywords: natural language processing, spoken dialogue human-machine, Hidden Markov Model (HMM), unsupervised learning, cross validation.

No description available.

Les avantages de la modulation de phase vis-à-vis la modulation d’intensité pour les réseaux optiques sont claires et accepté par la communauté scientifique des télécommunications optiques. Surtout, la modulation de phase montre une meilleure sensibilité au bruit, ainsi qu’une plus grande tolérance aux effets non-linéaires que la modulation d’intensité. Nous présentons dans cette thése un étude qui vise à développer les avantages de la modulation de phase. Nous attaquons d’abord la complexité du récepteur en détection directe, en proposant une nouvelle configuration dont la complexité est comparable à celle du récepteur pour la modulation d’intensité traditionnel, mais avec des meilleures performances. Cette solution pourrait convenir pour les réseaux métropolitains (et même d’accès) à haut débit binaire. Nous passons ensuite à l’examen de la possibilité d’utiliser des amplificateur à semi-conducteur (SOA) au lieu des amplificateurs à fibre dopée à l’erbium pour fournir amplification optique aux signaux modulés en phase. Les non-linéarité des SOA sont étudiées, et un compensateur simple et très efficace est proposé. Les avantages des amplificateurs à semi-conducteur par rapport à ceux à fibre sont bien connus. Surtout, la méthode que nous proposons permettrait l’integrabilité des SOA avec d’autres composants de réseau (par exemple, le récepteur nommé cidessus), menant à des solutions technologiques de petite taille et efficaces d’un point de vue énergétique. Il y a deux types de systèmes pour signaux modulés en phase: basé sur la détection directe, ou sur les récepteurs cohérents. Dans le dernière partie de ce travail, nous nous concentrons sur cette dernière catégorie, et nous comparons deux solutions possibles pour la mise à niveau des réseaux terrestres actuel. Nous comparons deux configurations dont les performances sont très comparables en termes de sensibilité au bruit, mais nous montrons comment la meilleure tolérance aux effets non linéaires (en particuliers dans les systèmes à débit mixte) fait que une solution soit bien plus efficace que l’autre. / The advantages of phase modulation (PM) vis-à-vis intensity modulation for optical networks are accepted by the optical telecommunication community. PM exhibits a higher noise sensitivity than intensity modulation, and it is more tolerant to the effects of fiber nonlinearity. In this thesis we examine the challenges and the benefits of working with different aspects of phase modulation. Our first contribution tackles the complexity of the direct detection noncoherent receiver for differentially encoded quadrature phase shift keying. We examine a novel configuration whose complexity is comparable to that of traditional receivers for intensity modulation, yet outperforming it. We show that under severe nonlinear impairments, our proposed receiver works almost as well as the conventional receiver, with the advantage of being much less complex. We also show that the proposed receiver is tolerant to chromatic dispersion, and to detuning of the carrier frequency. This solution might be suitable for high-bit rates metro (and even access) networks. Our second contribution deals with the challenges of using semiconductor optical amplifiers (SOAs) instead of typical erbium doped fiber amplifiers (EDFAs) to provide amplification to phase modulated signals. SOAs nonlinearities are investigated, and we propose a simple and very effective feed-forward compensator. Above all, the method we propose would permit the integrability of SOAs with other network components (for example, the aforementioned receiver) achieving small size, power efficient sub-systems. Phase modulation paves the way to high spectral efficiency, especially when paired with digital coherent receivers. With the digital coherent receiver, the degree of freedom offered by polarization can be exploited to increase the channel bit rate without increasing its spectral occupancy. In the last part of this work we focus on polarization multiplexed signaling paired with coherent reception and digital signal processing. Our third contribution provides insight on the strategies for upgrading current terrestrial core networks to high bit rates. This is a particularly challenging scenario, as phase modulation has to coexist with previously installed intensity modulated channels. We compare two configurations which have received much attention in the literature. These solutions show comparable performance in terms of back-to-back noise sensitivity, and yet are not equivalent. We show how the superior tolerance to nonlinear fiber propagation (and particularly to cross phase modulation induced by the presence of intensity modulated channels) makes one of them much more effective than the other.

No description available.

Tableau d'honneur de la FÉSP