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.

On s’intéresse aux équations stationnaires de Navier-Stokes linéarisées, il s'agit ici des équations d'Oseen et des équations de Stokes posées dans des domaines infinis, comme les domaines extérieurs, en dimension trois et l'espace tout entier. Le but est d'étudier l'existence de solutions généralisés et de solutions fortes dans un cadre général non nécessairement hilbertien. On s'intéresse aussi au cas des solutions très faibles. Dans ce travail, on considère aussi bien des conditions aux limites classiques de type Dirichlet que des conditions aux limites non standard portant sur certaines composantes du champ de vitesses, du tourbillon, voir du champ de pression. Les espaces de Sobolev classiques ne sont pas adaptés à l'étude de ces problèmes pour une telle géométrie. Pour une bonne analyse mathématique, nous avons choisi de travailler dans le cadre des espaces de Sobolev avec poids, ce qui permet en particulier de mieux contrôler le comportement à l'infini de la solution. / In this work, we study the linearized Navier-Stokes equations in an exterior domain or in the whole space at the steady state, that is, the Stokes equations and the Oseen equations. We give existence, uniqueness and regularity of solutions. The case of very weak solutions is also treated. We consider not only the Dirichlet boundary conditions but also the Non Standard boundary conditions, on some components of the velocity field, vorticity and also on the pressure. Since the domain is not bounded, the classical Sobolev spaces are not adequate. Therefore, a specific functional framework is necessary which also has to take into account the behaviour of the functions at infinity. Our approach rests on the use of weighted Sobolev spaces.

Depuis 2005, une loi garantit le droit à l’inclusion scolaire de tout enfant porteur de handicap. L’objectif principal de cette recherche de Doctorat était d'étudier les modalités de scolarisation des élèves avec autisme en école ordinaire en interrogeant à la fois les parents, les enseignants et les auxiliaires de vie scolaire (AVS). Nous souhaitions apporter des réponses aux questions suivantes : La scolarisation dans une école ordinaire est-elle toujours bénéfique aux enfants avec autisme quelle que soit l’ampleur de leurs troubles ? La sévérité du syndrome oriente-t-elle les objectifs à atteindre ? Les enseignants sont-ils suffisamment formés pour participer à une école inclusive ? La méthodologie de recherche se compose de trois parties : 1. la diffusion en ligne de trois questionnaires adressés respectivement aux enseignants, aux parents et aux AVS ; 2. Des entretiens conduits avec des parents d’enfants atteints d’autisme scolarisés en milieu ordinaire, des AVS et des enseignants ; 3. Une étude de cas visant à observer l’intégration d’un enfant avec autisme dans une classe. Les résultats montrent notamment des décalages de points de vue entre chaque acteur. Les parents évoquent souvent « un parcours du combattant » pour réussir à scolariser leur enfant et regrettent parfois le manque de motivation de certains enseignants pour accueillir des enfants avec autisme. La rencontre avec les enseignants laisse penser que la Loi a été promulguée un peu trop rapidement avant que les écoles et les enseignants soient véritablement prêts à accueillir les enfants différents et à leur proposer des modalités d’inclusion ajustées à leurs besoins particuliers. Ainsi, des enseignants et des AVS regrettent un manque de formation dans ce registre. Il apparaît finalement que réussir l’intégration des enfants « différents » en école ordinaire implique une différenciation des dynamiques d’apprentissage, un ajustement des stratégies pédagogiques de l’enseignant et un aménagement du cadre pour que le jeu didactique soit source d’enrichissement pour l’enfant, pour l’enseignant et pour les autres élèves de la classe. / Since 2005, a law guarantees the right to scholastic inclusion of any disabled child. The main objective of this PhD research is to focus on studying the modalities for students schooling with autism in ordinary schools by interviewing both of the parents, teachers and education/teaching assistants (EAs/TAs). We want to provide answers to the following questions: Is schooling in ordinary school always beneficial to children with autism whatever the extent of their problems? Can the objectives be oriented by the severity of the autism’s syndrome? Are teachers adequately trained to participate in an inclusive school? The research methodology consists of three parts: 1. online distribution of three questionnaires respectively addressed to teachers, parents and EAs/TAs; 2. interviews with parents of children with autism into ordinary schooling, EAs/TAs and teachers; 3. A case study to observe the integration of a child with autism in a classroom. The results show in particular shifting views between each actor. Parents often evoke "an obstacle course" to successfully schooling their child and sometimes regret the lack of some teachers’ motivation to receive children with autism. The meeting with teachers suggests that the Act is enacted too quickly before schools and teachers are truly ready to welcome different children and offer them modalities of adjuster inclusion to their specific needs. Thus, teachers and EAs/TAs regret a lack of training in this register. It finally appears that the successful integration of "different" children in ordinary schools implies a differentiation of learning dynamics, adjustment of teaching strategies of the teacher and a framework planning so that the didactic game is a source of enrichment for the child, the teacher and other students in the classroom.

[non communiqué] / For the last three decades, the optical fiber has been a quite systematic response to dimensioning issues in the Internet. Originally restricted to long haul networks, the optical network has gradually descended the network hierarchy to discard the bottlenecks. In the 90's, metropolitan networks became optical. Today, optical fibers are deployed in access networks and reach the users. In a near future, besides wireless access and local area networks, all networks in the network hierarchy may be made of fibers, in order to support current services (HDTV) and the emergence of new applications (3D-TV newly commercialized in USA). The deployment of such greedy applications will initiate an upward upgrade. The first step may be the Metropolitan Area Networks (MANs), not only because of the traffic growth, but also because of the variety of served applications, each with a specific traffic profile. The current optical layer is of mitigated efficiency, dealing with unforeseen events. The lack of reactivity is mainly due to the slow switching devices: any on-line decision of the optical layer is delayed by the configuration of the. devices. When the optical network has been extended in the MANs, a lot of efforts has been deployed to improve the reactivity of the optical layer. The Optical Circuit Switching paradigm (OCS) has been improved but it ultimately relies on off-line configuration of the optical devices. Optical Burst Switching (OBS) can be viewed as a highly flexible evolution of OCS, that operates five order of magnitude faster. Within this 'architecture, the loss-free guaranty can be abandoned in order to improve the reactivity of the optical layer. Indeed, reliability and reactivity appear as antagonists properties and getting closer to either of them mitigates the other. This thesis aims at proposing a solution to achieve reliable transmission over a dynamic optical layer. Focusing on OBS networks, our objective is to solve the contention issue without mitigating the reactivity. After the consideration of contention avoidance mechanisms with routing constraints similar as in OCS networks, we investigate the reactive solutions that intend to solve the contentions. None of the available contention resolution scheme can ensure the 100% efficiency that leads to loss-free transmission. An attractive solution is the recourse to electrical buffering, but it is notoriously disregarded because (1) it may highly impact the delays and (2) loss can occur due to buffer overflows. The efficiency of translucent architectures thus highly depends on the buffer availability, that can be improved by reducing the time spent in the buffers and the contention rate. We show that traffic grooming can highly reduce the emission delay, and consequently the buffer occupancy. In a first architecture, traffic grooming is enabled by a translucent core node architecture, capable to re-aggregate incoming bursts. The re-aggregation is mandatory to "de-groom" the bursts in the core network (i.e., to demultiplex the content of a burst). On the one hand, the re-aggregation highly reduces the loss probability, but on the other hand, it absorbs the benefits of traffic grooming. Finally, dynamic access to re-aggregation for contention resolution, despite the significant reduction of the contention rate, dramatically impacts the end-to-end delay and the memory requirement. We thus propose a second architecture, called CAROBS, that exploits traffic grooming in the optical domain. This framework is fully dynamic and can be used jointly with our translucent architecture that performs re-aggregation. As the (de)grooming operations do not involve re-aggregation, the translucent module can be restricted to contention resolution. As a result, the volume of data submitted to re-aggregation is drastically reduced and loss-free transmission can be reached with the same reactivity, end-to-end delay and memory requirement as a native OBS network