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

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

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.

La plupart des scénarios multimédia interactifs sont basés sur des spécifications informelles, il n'est donc pas possible de vérifier formellement des propriétés de ces systèmes. Nous préconisons la nécessité d'un modèle général et formel. Partitions interactives est un formalisme pour décrire des scénarios multimédia interactifs. Nous proposons une nouvelle sémantique pour les partitions interactives basée sur les structures d'événements temporisés. Avec une telle sémantique, nous pouvons spécifier des propriétés pour le système, en particulier, des propriétés sur les traces, qui sont difficiles à préciser avec la programmation par contraintes. Nous présentons également une sémantique opérationnelle des partitions interactives basée sur le calcul non-déterministe, temporisé, concurrent, par contraintes (ntcc) et nous rapportons la sémantique operationelle à la semantique en structures d'événements temporisés. Avec la sémantique opérationnelle, nous pouvons décrire formellement le comportement d'un scenario dont les durées des objets temporels peuvent être des intervalles d'entiers arbitraires. La sémantique opérationnelle est obtenue à partir de la sémantique en structures d'événements temporisés de la partition interactive. Pour fournir une telle traduction, nous avons d'abord défini la forme normale d'une structure d'événements temporisés, dans laquel les événements liés avec une durée zéro sont regroupés en un seul. Nous avons également défini la notion de structures d'événements temporisés répartissables, de telle sorte que son graphe de contraintes peut être expédié en se fondant uniquementsur la propagation locale. Nous croyons que la sémantique opérationnelle basée sur ntcc offre certains avantages par rapport à la sémantique des partitions interactives basée sur des réseaux de Petri; par exemple, les durées des objets temporels peuvent être des intervalles d'entiers arbitraires, tandis que dans la plupart des modèles de partitions interactives, les intervalles ne peut être utilisés que pour représenterles relations telles que l'égalité et les inégalités. Nos modèles ntcc de partitions interactives sont exécutés en utilisant Ntccrt, un interprète temps réel pour ntcc. Nos modèles peuvent également être vérifiés automatiquement en utilisant ntccMC, un vérificateur pour ntcc, de temps borné, basée sur les automates finis, que nous introduisons dans cette thèse. En utilisant ntccMC, nous pouvons vérifier des propriétés de logique de temps linéaire avec des contrantes (CLTL). Dans cette thèse, nous introduisons deux extensions du formalisme de partitions interactives:(1) l'une pour gérer le traitement audio en utilisant le langage de programmation français Faustet (2) l'autre pour traiter des condition et des branchements, permettant de spécifier des choix et des boucles. Pour la première extension, nous présentons une sémantique basée sur les structures d'événements temporisés et des idées sur la façon de définir une sémantique opérationnelle. Pour la deuxième extension, nous présentons une mise en oeuvre et la comparaison des résultats du jitter relative moyenne d'une implémentation d'un arpège base sur l'algorithme de Karplus-Strong par rapport aux implémentations existants écrits dans Pure Data. Nous définissons aussi un format de sauvegarde XML pour les partitions interactives et pour la extension avec branchement conditionnel. Un format de sauvegarde est crucial pour assurer la persistance des partitions. / Technology has shaped the way on which we compose and produce music. Notably, the invention of microphones and computers pushed the development of new music styles in the 20th century. In fact, several artistic domains have been benefiting from such technology developments ; for instance, Experimental music, non-linear multimedia, Electroacoustic music, and interactive multimedia. In this dissertation, we focus on interactive multimedia.Interactive multimedia deals with the design of scenarios where multimedia content and interactive events are handled by computer programs. Examples of such scenarios are multimedia art installations, interactive museum exhibitions, some Electroacoustic music pieces, and some Experimental music pieces. Unfortunately, most interactive multimedia scenarios are based on informal specifications, thus it is not possible to formally verify properties of such systems. We advocate the need of a general and formal model. Interactive scores is a formalism to describe interactive multimedia scenarios. We propose new semantics for interactive scores based on timed eventstructures. With such a semantics, we can specify properties for the system, in particular, properties about traces, which are difficult to specify as constraints. In fact, constraints are an important part of the semantic model of interactive scores because the formalism is based on temporal constraints among the objects of the scenario. We also present an operational semantics of interactive scores based on the non-deterministic timed concurrent constraint (ntcc) calculus and we relate such a semantics to the timed event structures semantics. With the operational semantics, we formally describe the behavior of a score whose temporal object durations can be arbitrary integer intervals. The operational semantics is obtained from the timed event structures semantics of the score. To provide such a translation, we first define the normal form of a timed event structure in which events related with zero-duration delays are collapsed into a single one. We also define the notion of dispatchable timed event structures. Event structures such that its constraint graph can be dispatched by relying only on local propagation.We believe that operational semantics in ntcc offers some advantages over existing Petri nets semantics for interactive scores; for instance, the duration of the temporal objects can be arbitrary integer intervals, whereas inprevious models of interactive scores, such durations can only be intervals to represent equalities and inequalities. In this dissertation, we also introduce two extensions of the formalism of interactive scores : (1) one to handle audio processing using the Fast AUdio Stream (Faust) languageand (2) another one to handle conditional branching, allowing designers to specify choices and loops. For the first extension, we present a timed event structures semantics and ideas on how to define operational semantics. For the second extension, we present an implementation and results comparing the average relative jitter of an implementation ofan arpeggio based on Karplus-Strong with respect to existing implementations of Karplus written in Pure Data. We also define a XML file format for interactive scores and for the conditional branching extension. A file format is crucial to assure the persistence of the scores. Ntcc models of interactive scores are executed using Ntccrt, a real-time capable interpreter for ntcc. They can also be verified automatically using ntccMC, a bounded-time automata based model checker for ntcc which we introduce in this dissertation. Using ntccMC, we can verify properties expressed on constraint linear-time logic. Ntcc has been used in the past, not only for multimedia interaction models, but alsofor system biology, security protocols and robots.

Cette étude a pour but de comprendre comment l'échange d'assistants de langue vivante entre la France et l'Allemagne, l'un des premiers programmes d'échanges encadrés par une convention signée entre deux États, a pu naître dès 1905, et se maintenir dans la première moitié du XXème siècle en dépit de relations diplomatiques tendues entre les deux pays et de plusieurs conflits armés. Dans cette perspective, cette analyse tente de révéler les différents facteurs politiques et éducatifs ayant contribué à la naissance et à la pérennité de l'échange, en interrogeant notamment le sens que les acteurs de l'échange, c'est-à-dire les assistants, les enseignants mais aussi les institutions, assignaient à celui-ci. / The aim of this Ph D thesis is to understand how the exchange of foreign language assistants between France and Germany - one of the first exchange programmes framed by a convention between the two states, already in 1905 - could possibly be created and maintained during the first half of the twentieth century. This in spite of strong tensions between the two neighbour states as well as their armed conflicts. Considering these questions, our study seeks to reveal different political and educative factors, which contribute towards generating the exchange programme and keeping it alive. We particularly question its purpose and functions according to the viewpoints of assistants, teachers and institutions.

Une nouvelle architecture d’Imagerie Flash Laser, appelée imagerie flash laser mosaïque (IFLM) consistant àvisualiser une scène par acquisition rapide de petites zones ou imagettes a été développée à l’ONERA. Par rapport àl’imagerie Flash laser traditionnelle qui acquiert en une seule fois toute la scène, cette technique permet d’augmenterle niveau de l’éclairement sur chaque imagette mais nécessite de couvrir l’ensemble de la scène d’étude avec unehaute cadence d’échantillonnage spatiale. Cette thèse a pour but d’évaluer les performances de ce nouveau conceptpuis de les comparer à l’imagerie flash laser classique. Dans une première étape, un simulateur complet d’IFLM (Modèle de formation d’image incluant les algorithmes de reconstruction de la scène) a été développé afin de synthétiser tous les phénomènes intervenant dans la formation des images acquises par la caméra puis de réaliser les traitements de restauration nécessaires afin de s’affranchir des artefacts introduits par cette technique. La simulation des images en entrée instrument prend en compte la formedu faisceau de la source, le type de balayage, le canal de propagation (transmission atmosphérique et turbulence) etenfin des bruits instrumentaux. Afin de reconstituer une image complète de la scène à partir des imagettes, trois méthodesde restauration ont été comparées montrant l’apport de notre méthode d’optimisation avec contrainte RL1L2.Dans une seconde étape, ce simulateur bout-en-bout a été utilisé afin de sélectionner le balayage optimal dufaisceau laser pour obtenir la meilleure qualité d’image. Nous avons montré qu’un balayage en quinconce était préférableà un balayage en ligne. Dans une troisième étape, les performances en termes de rapport signal-à-bruit et de contraste ont été évaluées et comparées à des images acquises par imagerie flash laser classique. Les résultats obtenus sur des images synthétiquesont montré que les performances entre ces deux techniques étaient comparables. Enfin, une analyse est menée sur l’étude des performances d’un tel système en tenant compte des technologies disponibles. Compte tenu des caractéristiques actuelles des sources laser et détecteurs, l’imagerie flash laser mosaïque montre son intérêt lorsqu’il faut couvrir un large champ de la scène présentant de faibles évolutions temporelles. / Flash active imaging can be used for surveillance or target identification at long range and Iow visibility conditions. Its principle is based on the illumination of a scene With a pulsed laser which is then backscattered to the sensor. The signal to noise ratio and contrast of the object over the background are increased in comparison With passive imaging. Even though, range and field of view (FOV) are limited for a given laser power. The new active imaging system presented here aims at vercoming this limitation. It acquires the entire scene With a high-speed scanning laser illumination focused on a limited region, whereas at each scan the full frame active image is acquired. The whole image is then reconstructed by mosaicking Il these successive images. A evaluation of the performance of this system is conducted by using a direct physical model of his so-called « mosaic active imaging ». This End to End model, realistic in terms of turbulence effects (scintillation, beam andering.. gives us a sequence of images a synthetic scenes. After describing this model, the reconstruction method will be described. It is based on a total-variation minimization scheme. Finally, the performances of this new concept are ompared to those of a conventional flash active camera by using usual metrics (Johnston's criteria, SNR, ...). For va rious mean laser powers, we quantify the gains expected in terms of range and field of view of this new concept.

La mise en évidence d'une conductivité métallique à l'interface entre deux oxydes isolants, le SrTiO3 et le LaAlO3, a ouvert un champ nouveau pour l'électronique tout oxyde (A. Ohtomo & H. Y. Hwang, Nature 427, 2004). Au-delà du fort potentiel applicatif de cette découverte, par exemple pour l'électronique de faible puissance, de nombreuses questions restent posées sur les propriétés de ces interfaces et les différents moyens de les contrôler. L'apparition de la conductivité à l'interface LaAlO3 / SrTiO3 est attribuée à la survenue d'une reconstruction électronique au-dessus d'une épaisseur critique de 4 cellules unités (u.c.) de LaAlO3, visant à compenser la discontinuité de charge à cette interface entre matériaux polaire (LaAlO3) et non polaire (SrTiO3). En plus de cet effet, qui requiert une interface d'excellente qualité, divers paramètres sont susceptibles d'affecter les propriétés de cette interface et un effort de recherche très important porte sur le contrôle et l'amélioration de ces propriétés par des moyens tels que le changement de la nature du substrat, l'application d'un champ de contraintes ou l'introduction de légères modifications chimiques dans la couche ou à l'interface. Ce travail de thèse participe à cet effort en explorant les propriétés de transport et la structure fine des interfaces LaAlO3 / SrTiO3 dopées avec des atomes de métaux de transition. Il est centré sur la fabrication et l'étude d'interfaces LaAlO3 / SrTiO3 dopées avec des atomes d'iridium ou de cobalt. La croissance de nanostructures de haute qualité, typiquement LaAlO3 (5 u.c.) / SrTiO3 dopé (1 u.c.) / SrTiO3 (substrat), a été effectuée dans un bâti de dépôt laser pulsé (PLD) équipé d'un RHEED in situ. L'effet des dopants Ir ou Co sur les propriétés de transport et sur la structure électronique et atomique de l'interface LaAlO3 / SrTiO3 a été analysé en fonction du niveau de dopage grâce à une combinaison de différentes méthodes expérimentales et de calculs DFT. En particulier, des investigations par des techniques avancées comme la diffraction de photoélectrons sur synchrotron (XPD) et la microscopie électronique de résolution atomique en mode STEM-HAADF ont été mises en œuvre pour sonder la structure locale à l'interface et quantifier le niveau de déformation dans la couche LaAlO3. La structure électronique a été étudiée par spectroscopie de perte d'énergie électronique dans un STEM. Les résultats montrent qu'il est possible d'induire des changements dans les propriétés des interfaces LaAlO3 / SrTiO3 en dopant la surface de SrTiO3 avec un dopant et une concentration appropriés. En particulier, les effets du niveau de dopage sur la déformation élastique et les distorsions locales dans les couches LaAlO3 et ses conséquences sur les propriétés mesurées sont décrits. / The demonstration in 2004 of a metallic conductivity at the interface between two insulating oxides, SrTiO3 and LaAlO3, opened a new field for all-oxide electronics (A. Ohtomo & H. Y. Hwang, Nature 427, 2004). Beyond the important applicative potential of this discovery for multifunctional and low power electronics, many questions remain about the properties of such interfaces and the different ways to control them. The occurrence of a conductive behaviour of the LaAlO3 / SrTiO3 interface is attributed to the advent of an electronic reconstruction above a critical thickness of 4 unit cells (u.c.) of LaAlO3, in order to compensate the charge discontinuity at the interface between a polar (LaAlO3) and a non-polar (SrTiO3) materials. In addition to this effect, which implies an interface of excellent quality, various parameters are likely to affect the properties of this interface, and a major research effort aims to control and improve these properties by ways such as the change in the nature of the substrate, the application of a stress field or the introduction of slight chemical modifications in the layer or at the interface. This thesis participates to this effort by exploring the transport and structural behaviour of LaAlO3 / SrTiO3 interfaces doped with transition metal atoms. It focuses on the fabrication and study of LaAlO3 / SrTiO3 interfaces doped with iridium or cobalt atoms. High quality nanostructures, typically LaAlO3 (5 u.c.) / doped-SrTiO3 (1 u.c.) / SrTiO3 (substrate), were grown by pulsed laser deposition (PLD) equipped with in-situ RHEED. The effect of Ir or Co dopants on both the transport properties and the electronic and atomic structure of the LaAlO3 / SrTiO3 interface was analysed as a function of the doping level thanks to a combination of different experimental methods and DFT calculations. In particular, advanced investigations by hard X-ray photoelectron diffraction on a synchrotron facility and by atomically resolved high angle annular dark field- scanning transmission electron microscopy (HAADF-STEM) were implemented to probe the local structure at the interface and quantify the level of strain in the LaAlO3. The electronic structure was investigated by electron energy loss spectroscopy in a STEM. Our results show that it is possible to induce changes in the properties of the LaAlO3 / SrTiO3 interfaces by doping the SrTiO3 surface with suitable dopant and concentration. In particular, effects of the doping level on the elastic deformation and the local distortions in the LaAlO3 layers and its consequences on the measured properties are described.