No description available.

DS-CDMA is a popular multiple access technique used in many mobile networks to efficiently share channel resources between users in a cell. Synchronization between users maximizes the user capacity of these systems. However, it is difficult to perfectly synchronize users in the reverse link due to the geographic diversity of mobile users in the cell. As a result, most commercial DS-CDMA networks utilize an asynchronous reverse link resulting in a reduced user capacity. A possible compromise to increase the user capacity in the reverse link is to implement a quasi-synchronous timing scheme, a timing scheme in which users are allowed to be slightly out of synchronization. This paper suggests a possible way to implement a quasi-synchronous DS-CDMA reverse link using the method of “data chunking”. The basic premise is derived by making a link between TDMA and synchronous DS-CDMA. By considering some basic TDMA limitations, a proposed “data chunked” quasi-synchronous DS-CDMA system is derived from a TDMA system. The effects of such a system are compared to those of a chip interleaved system. MATLAB simulations are performed to analyze the performance of the system in the presence of small synchronization errors between users. Implementation of guard bands is explored to further reduce errors due to imperfect synchronization between users.

Les Technologies de l’Information et de la Communication (TIC) font désormais partie du paysage de nombreux établissements d’enseignement supérieur, secondaire et même primaire en Afrique. Les avantages pour l’Institution, l’enseignant et l’apprenant sont avérés (Mvoto Meyong, 2010). Cependant les expériences, à l’échelle des établissements de formation, sont encore peu nombreuses et peu concluantes. Cette thèse porte sur l’intégration des TIC dans un cours de français pour anglophones à l’université de Buéa au Cameroun. Le cours traditionnel, dans sa version uniquement présentiel en classe, se déroule dans un contexte limitant fortement la satisfaction d’objectifs pédagogiques essentiels. En effet, les effectifs pléthoriques, le peu de temps alloué à la formation, l’hétérogénéité des groupes d’apprenants font que les compétences de production ainsi que les compétences en interaction des intéressés ne peuvent être développées. En réponse à cet existant, cette thèse, de type recherche-action, présente un dispositif hybride articulant travail en classe et dans le centre technologique de l’université. Là sont offertes des activités de communication en petits groupes dans une modalité quasi-synchrone. Cette modalité, peu souvent étudiée dans la littérature de recherche, offre une alternative réaliste aux environnements synchrones peu fiables, compte tenu de l’état des réseaux et de l’Internet dans cette partie du monde. Afin d’étudier si ce nouveau dispositif de formation permet de dépasser les difficultés évoquées et de faciliter l’apprentissage, je l’ai déployé deux années successives, en l’entourant d’un protocole de recherche. Les données recueillies m’ont permis d’analyser les interactions, de mettre en évidence les traces d’apprentissage. Mais cette double expérimentation apporte aussi un nouvel éclairage au travers de l’analyse des obstacles qui ont handicapé la mise en œuvre du dispositif technopédagogique. Je questionne le modèle d’intégration des TIC qui traditionnellement concentre toutes les ressources en un seul endroit, sans tenir compte des contextes technologiquement limités. J’esquisse une voie alternative destinée, grâce à l’apprentissage mobile, à intégrer les TIC dans des dispositifs de formation de langues et un contexte technologique proches de notre situation prototypique. / Information and Communication Technologies are now part of the life of many institutions of higher education, secondary education and even primary education. The benefits for these institutions, as well as for teachers and learners are established. However, there are very few cases of experiments carried out in learning Institutions with positive results. This thesis is about integrating ICTs into a French course in the Anglo-Saxon university of Buea in Cameroon. The context in which the course is taught in classrooms makes it difficult for the objectives to be met. Because of the large class size, the little time allocated to the course and the heterogeneous nature of students’ language levels, speaking, writing and interactional skills are not worked out in class. This action research thesis sets out to propose a blended learning set-up that hinges around the university IT Centre. Online classes are articulated with classroom sessions. Thus, students have the opportunity to involve in small groups, in communicative activities and in quasi synchronous mode. These communication modality, very often less studied by CMC researchers, is an efficient alternative to synchronous communication and environments that are very much reliable as far as internet quality is concerned in that part of the world. The general question that has driven the research is: How can a technology instrumented approach help in overcoming difficulties and ease learning? To answer that question, two technology based experiences were carried out. They were guided by a research protocol. Data collected enable me to analyse interactions and determine traces of language acquisition. From the circumstances surrounding the experiments, it is discovered that there are a number of obstacles to the integration of ICT in “low tech context” like that which is studied. The technology-based stet-up pattern is then questioned. This research work goes further to propose mobile learning as an alternative to the ICT integration model that concentrates all the resources in a single location.

L'approche synchrone aux systèmes réactifs, où le temps global est une séquence d'instants discrets, a été proposée afin de faciliter la conception des systèmes embarqués critiques. Des systèmes synchrones sont souvent réalisés sur des architectures asynchrones pour des raisons de performance ou de contraintes physiques de l'application. Une répartition d'un système synchrone sur une architecture asynchrone nécessite des protocoles de communication et de synchronisation pour préserver la sémantique synchrone. En pratique, les protocoles peut avoir un coût important qui peut entrer en conflit avec les contraintes de l'application comme, par exemple, la taille de mémoire disponible, le temps de réaction, ou le débit global. L'approche quasi-synchrone utilise des composants synchrones avec des horloges indépendantes. Les composants communiquent par échantillonnage de mémoire partagée ou par des tampons FIFO. On peut exécuter un tel système de façon synchrone, où toutes les horloges avancent simultanément, ou de façon asynchrone avec moins de contraintes sur les horloges, sans ajouter des protocoles. Plus les contraintes sont relâchées, plus de comportements se rajoutent en fonction de l'entrelacement des tics des horloges. Dans le cas de systèmes flots de données, un comportement est différent d'un autre si les valeurs ou le cadencement ont changé. Pour certaines classes de systèmes l'occurrence des déviations est acceptable, tant que la fréquence de ces événements reste bornée. Nous considérons des limites dures sur la fréquence des deviations avec ce que nous appelons les exigences faiblement dures, par exemple, le nombre maximal d'éléments divergents d'un flot par un nombre d'éléments consécutifs. Nous introduisons des limites de dérive sur les apparitions relatives des paires d'événements récurrents comme les tics d'une horloge, l'occurrence d'une difference, ou l'arrivée d'un message. Les limites de dérive expriment des contraintes entre les horloges, par exemple, une borne supérieure de deux tics d'une horloge entre trois tics consécutifs d'une autre horloge. Les limites permettent également de caractériser les exigences faiblement dures. Cette thèse présente des analyses pour la vérification et l'inférence des exigences faiblement dures pour des programmes de flots de données synchrones étendu avec de la communication asynchrone par l'échantillonnage de mémoire partagée où les horloges sont décrites par des limites de dérive. Nous proposons aussi une analyse de performance des systèmes répartis avec de la communication par tampons FIFO, en utilisant les limites de dérive comme abstraction.

Cette thèse traite de systèmes embarqués contrôlés par un ensemble de processus périodiques non synchronisés. Chaque processus est activé quasi-périodiquement, c'est-à-dire périodiquement avec une gigue bornée. Les délais de communication sont également bornés. De tels systèmes réactifs, appelés 'quasi-périodiques', apparaissent dès que l'on branche ensemble deux processus périodiques. Dans la littérature, ils sont parfois qualifiés de systèmes distribués temps-réels synchrones. Nous nous intéressons aux techniques de conception et d'analyse de ces systèmes qui n'imposent pas de synchronisation globale. Les langages synchrones ont été introduits pour faciliter la conception des systèmes réactifs. Ils offrent un cadre privilégié pour programmer, analyser, et vérifier des systèmes quasi-périodiques. En s'appuyant sur une approche synchrone, les contributions de cette thèse s'organisent selon trois thématiques: vérification,implémentation, et simulation des systèmes quasi périodiques.Vérification: 'L'abstraction quasi-synchrone' est une abstraction discrète proposée par Paul Caspi pour vérifier des propriétés de sûreté des systèmes quasi-périodiques. Nous démontrons que cette abstraction est en général incorrecte et nous donnons des conditions nécessaires et suffisantes sur le graphe de communication et les caractéristiques temps-réel de l'architecture pour assurer sa correction. Ces résultats sont ensuite généralisés aux systèmes multi-périodiques.Implémentation: Les 'LTTAs' sont des protocoles conçus pour assurer l'exécution correcte d'une application sur un système quasi-périodique. Nous proposons d'étudier les LTTA dans un cadre synchrone unifié qui englobe l'application et les contrôleurs introduits par les protocoles. Cette approche nous permet de simplifier les protocoles existants, de proposer des versions optimisées, et de donner de nouvelles preuves de correction. Nous présentons également dans le même cadre un protocole fondé sur une synchronisation d'horloge pour comparer les performances des deux approches.Simulation: Un système quasi-périodique est un exemple de modèle faisant intervenir des caractéristiques temps-réels et des tolérances. Pour ce type de modèle non déterministe, nous proposons une 'simulation symbolique', inspirée des techniques de vérification des automates temporisés. Nous montrons comment compiler un modèle mêlant des composantes temps-réel non déterministes et des contrôleurs discrets en un programme discret qui manipule des ensembles de valeurs. Chaque trace du programme résultant capture un ensemble d'exécutions possibles du programme source. / In this thesis we study embedded controllers implemented as sets of unsynchronized periodic processes. Each process activates quasi-periodically, that is, periodically with bounded jitter, and communicates with bounded transmission delays. Such reactive systems,termed 'quasi-periodic', exist as soon as two periodic processes areconnected together. In the distributed systems literature they arealso known as synchronous real-time models. We focus on techniquesfor the design and analysis of such systems without imposing a globa lclock synchronization. Synchronous languages were introduced as domain specific languages for the design of reactive systems. They offer an ideal framework to program, analyze, and verify quasi-periodic systems. Based on a synchronous approach, this thesis makes contributions to the treatment of quasi-periodic systems along three themes: verification,implementation, and simulation.Verification: The 'quasi-synchronous abstraction' is a discrete abstraction proposed by Paul Caspi for model checking safety properties of quasi-periodic systems. We show that this abstractionis not sound in general and give necessary and sufficient conditionson both the static communication graph of the application and the real-time characteristics of the architecture to recover soundness. We then generalize these results to multirate systems.Implementation: 'Loosely time-triggered architectures' are protocols designed to ensure the correct execution of an application running on a quasi-periodic system. We propose a unified framework that encompasses both the application and the protocol controllers. This framework allows us to simplify existing protocols, propose optimized versions, and give new correctness proofs. We instantiate our framework with a protocol based on clock synchronization to compare the performance of the two approaches.Simulation: Quasi-periodic systems are but one example of timed systems involving real-time characteristics and tolerances. For such nondeterministic models, we propose a 'symbolic simulation' scheme inspired by model checking techniques for timed automata. We show how to compile a model mixing nondeterministic continuous-time and discrete-time dynamics into a discrete program manipulating sets of possible values. Each trace of the resulting program captures a set of possible executions of the source program.