No description available.

Les décideurs dans un système de santé publique comme celui du Québec ont un besoin grandissant d’outils d’évaluation pour soutenir la prise de décision quant aux interventions à mettre en place. Ce mémoire propose un simulateur générique, optimisé pour les problématiques de santé publique, mais également utilisable dans d’autres domaines. Son architecture logicielle est détaillée ainsi que toutes les caractéristiques qui en font un outil de choix pour les décideurs. On présente également l’optimisation des stratégies d’intervention existantes avec une méthode d’apprentissage par renforcement de type Monte-Carlo. Ceci comprend la proposition d’un nouvel algorithme de sélection d’actions dans un contexte d’apprentissage sur des populations d’individus évoluant en parallèle. On conclut le mémoire par l’application de cette infrastructure à deux problématiques de santé publique : la rétinopathie diabétique, ayant déjà fait l’objet de travaux par d’autres chercheurs, et l’ostéoporose, une application d’actualité dont la modélisation et les résultats ont été validés par des spécialistes en santé. / Decision makers in public health system, such as the one in the province of Quebec, have a growing need for assessment tools to support their decisions on the interventions to implement. This master’s thesis proposes a generic simulator optimized for public health issues, while being extensible to other areas. It details the software architecture and all the features that make it a tool of choice for decision makers. It also presents the optimization of existing intervention strategies using Monte Carlo reinforcement learning. This includes the proposal of a new algorithm for selecting actions when learning on populations of individuals evolving in parallel. We conclude with the application of this infrastructure to two public health issues : diabetic retinopathy, that has already been the subject of work by other researchers, and osteoporosis, a current application that has been validated by health care specialists.

No description available.

Ce travail de recherche présente la mise au point d’une méthodologie de conception par optimisation globale des machines synchrones sans encoches à aimants permanents à haute vitesse utilisant des matériaux magnétiques composites doux (SMC) au stator et des frettes au rotor éventuellement conductrices. Cette méthodologie tient compte des différentes contraintes imposées par la haute vitesse, notamment les courants de Foucault induits dans les pièces massives, les pertes, l’alimentation en commutation électronique et les efforts mécaniques sur le rotor. Un outil de dimensionnement générique est développé pour différentes structures de machines sans encoches fonctionnant en moteur ou en générateur et alimentées par divers types de  convertisseurs statiques à commutation de tension ou de courant. Il utilise un modèle de dimensionnement analytique basé sur la prédiction du champ magnétique 2D par une résolution harmonique des équations de Maxwell en magnétodynamique en tenant compte des courants de Foucault induits dans les parties conductrices. Ce modèle intègre un modèle électrique équivalent global de l’ensemble convertisseur-machine et un modèle détaillé de calcul des pertes validés par un calcul numérique du champ en 2D. Une validation expérimentale des pertes magnétiques dans le stator en SMC est effectuée. Le modèle de dimensionnement est associé à une procédure d’optimisation et à un mécanisme de correction itératif, basé sur le calcul numérique du champ en 3D, pour tenir compte des effets de bord sur les pertes par courants de Foucault dans le stator. Lorsque la machine est couplée à un convertisseur à commutation de courant, un autre mécanisme de correction, permettant la résolution du couplage fort entre la machine et son convertisseur, est utilisé. Les différents outils de modélisation et de conception réalisés sont utilisés pour dimensionner et comparer plusieurs topologies de machines sans encoches pour des cahiers des charges spécifiques. Différentes études de faisabilité et de sensibilité sont aussi effectuées. / This research work presents the development of a design methodology with global optimization of high-speed permanent-magnet slotless synchronous machines using soft magnetic composite materials (SMC) in the stator and retaining sleeves in the rotor that can be conductive. This methodology takes into account the different constraints imposed by the high speed such as the eddy currents induced in the massive parts, the losses, the converter-machine interactions and the mechanical stress in rotor. A generic design tool is developed for different slotless machines structures used as motors or generators and coupled to different kind of static power converters with voltage or current commutation. It uses a design model based on analytical prediction of the two-dimensional magnetic field by a harmonic resolution of Maxwell equations taking into account the eddy currents induced in the conductive parts. This model includes an equivalent electric model of the converter-machine system and a detailed losses calculation model validated by 2D finite element analysis. Experimental validation of magnetic losses in the SMC stator is also performed. The design model is associated to an optimization procedure and an iterative correction mechanism performed by 3D finite element simulations to take into account the influence of end-effects on the SMC stator eddy current losses. When the machine is coupled to a current static converter, another correction mechanism is used in order to resolve the strong coupling between the machine and its converter. The developed modeling and design tools are used to design and compare different slotless machines topologies for specific requirements. Various feasibility and sensitivity studies are also performed.

Dans ce projet, nous présentons une méthode nouvelle et précise d’estimation de la direction et des délais d’arrivée dans un environnement à trajets multiples, à des fins d’estimation de canal. Récemment, les méthodes de super-résolution ont été largement utilisées pour l’estimation à haute-résolution de la direction d’arrivée (DOA) ou de la différence de temps d’arrivée (TDOA). L’algorithme proposé dans ce travail est applicable à l’estimation d’un canal espace-temps pour des systèmes de traitement spatio-temporel qui emploient la technologie hybride DOA / TDOA. L’estimateur est basé sur l’algorithme MUSIC classique pour trouver la DOA et en profitant d’un simple corrélateur, il est possible de trouver le retard de chaque arrivée. Il est pertinent d’associer chaque angle à son propre retard pour être capable d’estimer les caractéristiques du canal quand nous ne connaissons pas la séquence transmise par l’émetteur. Pour ce faire, nous proposons une formation de faisceaux (voix) très simple et optimale par l’application du MVDR (Maximum Variance Distortion-less Response). Cette formation de faisceaux maximise le signal desiré par rapport aux autres signaux. Après détermination de l’angle d’arrivée par l’algorithme MUSIC, nous appliquons l’algorithme de formation de faisceaux MVDR pour obtenir le signal qui est reçu par le réseau d’antennes pour une direction. Ce signal est corrélé avec les autres signaux correspondants aux autres directions d’arrivée. Les pics dans les figures ainsi obtenues montrent le décalage temporel de chaque source par rapport à celle obtenue par la formation de faisceaux MVDR. La soustraction du plus petit décalage, correspondant au premier signal reçu à chaque décalage temporel, nous donne le temps d’arrivée de chaque source. Pour être plus précis, nous pouvons choisir la moyenne des vecteurs des délais estimés, chacun étant obtenu à partir d’une angle pour l’algorithme MVDR. / In this project, we present a novel and precise way of estimating the direction and delay of arrivals in multipath environment for channel estimation purposes. Recently, super-resolution methods have been widely used for high resolution Direction Of Arrival (DOA) or Time Difference Of Arrival (TDOA) estimation. The proposed algorithm in this work is applicable to space-time channel estimation for space-time processing systems that employ hybrid DOA/TDOA technology. The estimator is based on the conventional MUSIC algorithm to find the DOA and by using a simple correlator it is possible to find the delay of each arrival. It is of interest to associate each angle to its proper delay to be able to estimate the characteristics of the channel when we have no knowledge about the transmitted sequence. To do this, we suggest a very simple and optimal beamforming method by performing Maximum Variance Distortion-less Response (MVDR). This beamforming maximizes the desired signal in the desired direction compare to the other signals that come from other directions. After finding the DOAs by MUSIC algorithm and selecting our desired direction, we obtain the signal from this direction by applying MVDR beamforming. Then, we perform a correlation between this signal and the others incoming signals from other directions. The peaks in the simulation figures illustrate the delay between each source with the obtained signal from MVDR. If we subtract the delay of the first arrival (the smallest delay in time), from the delays indicated in the figures, we can obtain the delay of each arrival. To be more precise, the mean of these estimated TOAs vector follows the exact TOA of each source.

No description available.

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.