Fondé sur une méthodologie de recherche basée sur les entretiens semi-directifs et les observations in situ, ce travail traite de la problématique du Monitorat au sein de l’école élémentaire rurale gabonaise en posant la question de compétence et d’efficacité pédagogiques des moniteurs. Il part du postulat que « pour enseigner, il faut d’abord connaître » et fait l’hypothèse que les moniteurs gabonais de la période postcoloniale, recrutés par les collectivités locales, formés sur le tas, et enseignant les élèves sans titre académique et/ou professionnels requis pour exercer une telle fonction, ne seraient ni compétents ni efficaces. Par conséquent, ils ne pourraient transmettre aux élèves les Connaissances scolaires. Pour vérifier cette hypothèse, nous employons les théories de Benjamin BlOOM et H.E MITZEL, lesquelles permettent de jauger la compétence et l’efficacité pédagogiques des enseignants en les évaluant à partir de trois formes de critères reposant sur des indicateurs pédagogiques, psychologiques et sociologiques spécifiques : les critères de présages, les critères basés sur les processus ou les fonctions et les critères basés sur les produits d’enseignement. Les critères de présage suggèrent de dresser le profil morphologique des moniteurs au sens d’Ida BERGER, c’est-à-dire en étudiant leurs caractéristiques individuelles et leurs trajectoires sociales à partir de leurs propres déclarations. Les questions des critères basés sur les processus ou les fonctions et ceux basés sur les produits amènent, quant à elles, à observer ces acteurs dans le conflit sociocognitif des situations d’interrelation pédagogique avec leurs élèves. / Based on a research methodology leaning upon half-directive interviews and in situ observations, this work deals with Tutoring issues within the Gabonese rural primary school by casting doubt upon the tutors’ teaching skills and efficiency. It basically postulates that “for teaching, knowledge is first of all required”, and it also presumes that Gabonese tutors of post-colonial period, who were recruited by local administrations, could not be either competent nor efficient, because they were trained on the job and taught pupils without any academic grade and/or professional requirements for such a task. Therefore, they could not help their pupils have access to Knowledge. In order to confirm that hypothesis we use the theories developed by Benjamin BIOOM and H.E. MITZEL, which help measuring educational efficiency and skills of teachers by assessing them according to three kinds of criteria based on specific educational, psychological and sociological indicators : the prediction criteria, the process or functions-based criteria, and criteria based on teaching products (results). Prediction criteria suggest that we set up the tutors’ morphological profile the way Ida BERGER understands it, that means studying their individual characteristics and social paths from their own statements. The problems of criteria based on process or functions and those founded on products (results), lead to the observation of those educational agents in the socio-cognitive conflict of situations concerning teaching inter-relationship with their pupils.

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques 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

Avec l'augmentation des communications entre systèmes d'information, l'intérêt pour les mécanismes de sécurité s'est accru. La notion de non-interférence, introduite par Goguen and Meseguer (1982), est fréquemment utilisée pour formaliser des politiques de sécurité impliquant la confidentialité des secrets manipulés par un programme. Un programme est dit non-interférant si son comportement observable par tous n'est pas influencé par la valeur des secrets qu'il manipule. Si ce n'est pas le cas, alors un attaquant ayant connaissance du code source du programme peut déduire des information concernant les secrets manipulés à partir de l'observation du comportement du programme.<br /><br /> À la différence de la majorité des travaux précédents sur la non-interférence (principalement des analyses statiques), ce rapport de thèse s'intéresse au contrôle dynamique de la non-interférence. Le contrôle dynamique des flux d'information est une tâche complexe car l'information transportée par un message n'est pas une propriété intrinsèque de ce message. Elle dépend aussi, lorsque le destinataire connaît l'ensemble des message qui peuvent être envoyés, de la composition de cet ensemble. Le travail présenté dans ce rapport se base sur la composition d'analyses dynamiques et statiques des flux d'information. Des moniteurs de non-interférence sont développés pour différents langages dont un langage concurrent intégrant une commande de synchronisation. L'exactitude de ces moniteurs est prouvée et leur précision est comparée à des travaux précédents.

L'augmentation de la capacité d'intégration des circuits a permis le développement des systèmes de plus en plus complexes. De cette complexité sont nés des besoins conséquents quant aux méthodes de conception et de vérification. Les outils de synthèse de haut-niveau (HLS) sont une des réponses à ces besoins. Les travaux présentés dans cette thèse ont pour cadre l'amélioration du processus de vérification des architectures matérielles synthétisées par HLS. En particulier, ils proposent une méthode pour la transformation des assertions booléennes spécifiées dans la description algorithmique d'une application en moniteurs matériels pour la simulation. Une deuxième méthode est proposée. Elle cible la synthèse automatique d'un gestionnaire d'erreurs matériel dont le rôle est d'archiver les erreurs survenant dans un circuit en fonctionnement réel, ainsi que leurs contextes d'exécution. / The fast growing complexity of hardware circuits, during the last three decades, has change devery step of their development cycle. Design methods evolved a lot, and this evolutionwas necessary to cope with an always shorter time-to-market, mainly driven by the internationalcompetition.An increased complexity also means more errors, harder to find corner-cases, and morelong and expensive simulations. The verification of hardware systems requires more andmore resources, and is the main cost factor of the whole development of a circuit. Since thecomplexity of any system increases, the cost of an error undetected until the foundry stepbecame prohibitive. Therefore, the verification process is divided between multiple stepsinvolved at every moment of the design process : comparison of models behavior, simulationof RTL descriptions, formal analysis of algorithms, assertions usage, etc. The verificationmethodologies evolved a lot, in order to follow the progress of design methods. Somemethods like the Assertion-Based Verification became so important that they are nowwidely adopted among the developers community, providing near-source error detection.Thus, the work described here aims at improving the assertion-based verification process,in order to offer a consequent timing improvment to designers. Two contributions aredetailed. The first one deals with the transformation of Boolean assertions found in algorithmicdescriptions into equivalent temporal assertions in the RTL description generatedby high-level synthesis (HLS) methodologies. Therefore, the assertions are usable duringthe simulation process of the generated architectures. The second contribution targets theverification of hardware systems in real-time. It details the synthesis process of a hardwareerror manager, which has to save and serialize the execution context when an error isdetected. Thus, it is easier to understand the cause of an error and to find its source. Theerrors and their contexts are serialized as reports in a memory readable by the system ordirectly by the designer. The behavior of a circuit can be analyzed without requiring anyprobe or integrated logic analyzer.

Dans les CRL en milieu universitaire français des moniteurs orientent leurs semblables à l’apprentissage en autonomie des langues. Ces moniteurs sont évalués lors d’un entretien, afin de remplir diverses fonctions, au sein d’une structure corrélativement récente où, face au public la mise à disposition des ressources matérielles, technologiques et humaines se réalise.Cependant, la responsabilité qui leur est confiée découle de types distincts d’interventions qui évoluent au-delà de la fonction du monitorat, plus précisément liés à la gestion et l’animation du centre. Il s’agit, dans certains cas, d’exercer une médiation de tutelle pour l’autonomisation des apprenants. Des compétences très précises unies à l'ingérence humaine puis à la gestion des ressources matérielles s’impliquent par ce profil.Malgré cette polyvalence des fonctions, les moniteurs ne reçoivent pas de formation spécifique pour exercer l’accompagnement en langue. Il en découle une proposition de formation de notre part qui mêle une analyse sur les profils, les compétences que le tuteur doit détenir pour exercer le tutorat. / In the Language Resource Labs of the French university system, monitors direct their fellows in the independent learning of languages. These monitors are assessed during an interview in order to fulfill diverse tasks, within a correlative recent structure where, the provision to the general public of the equipment as well as the technological and human resources come true. However, the responsibility which is trusted to them stems from different types of interventions which evolve beyond the function of instructing, but more precisely bound to the management and the organization of the Lab; It is a matter, in certain cases of practicing a mediation of supervision of the self-learning process of the learners. Very specific skills, along with human intervention, then the management of material resources are involved in this job profile. In spite of this functional flexibility, monitors do not receive any particular training in order to exercise this language learning support. As a result, we propose a training, which analyzes the job profile as well as the skills that the instructor must have in order to practice the instruction.

IFMIF sera constitué de deux accélérateurs de deutons délivrant des faisceaux continus de 125mA et d’énergie 40MeV qui bombarderont une cible de lithium liquide. Face à cette très haute puissance faisceau de 10 MW, de nouveaux défis doivent être relevés pour le développement de tels accélérateurs. C’est pour cette raison qu’a été prise la décision de construire un accélérateur prototype, LIPAc (Linear IFMIF Prototype Accelerator) ayant les mêmes caractéristiques faisceau qu’IFMIF, mais avec une énergie limitée à 9MeV. Dans le cadre de cette thèse, des instruments de diagnostics faisceau ont été développés pour IFMIF et LIPAc. Ces diagnostics concernent des moniteurs de pertes faisceau ainsi que des profileurs transverse de faisceau travaillant en mode intercepteur ou non.Pour la surveillance des pertes faisceau, des chambres à ionisation et des détecteurs au diamant ont été testés et calibrés en neutrons et en γ dans la gamme en énergie de LIPAc. Lors de ces expériences, pour la première fois des diamants ont été testés avec succès à des températures cryogéniques. Pour les profileurs interceptant le faisceau, des simulations thermiques ont été réalisées afin d’assurer leur bon fonctionnement. Pour les profileurs n’interceptant pas le faisceau, des moniteurs basés sur l’ionisation du gaz résiduel (IPM) contenu dans le tube faisceau ont été développés. Un prototype a été construit et testé, puis s’inspirant de ce retour d’expérience les IPMs finals ont été conçus et construits. Pour contrecarrer la charge d’espace générée par le faisceau, un algorithme a été élaboré afin de reconstruire le profil réel du faisceau. / The IFMIF accelerator will accelerate two 125mA continuous wave (cw) deuteron beams up to 40MeV and blasts them onto a liquid lithium target to release neutrons. The very high beam power of 10MW pose unprecedented challenges for the accelerator development. Therefore, it was decided to build a prototype accelerator, the Linear IFMIF Prototype Accelerator (LIPAc), which has the very same beam characteristic, but is limited to 9 MeV only. In the frame of this thesis, diagnostics devices for IFMIF and LIPAc have been developed. The diagnostics devices consist of beam loss monitors and interceptive as well as non-interceptive profile monitors. For the beam loss monitoring system, ionization chambers and diamond detectors have been tested and calibrated for neutron and γ radiation in the energy range expected at LIPAc. During these tests, for the first time, diamond detectors were successfully operated at cryogenic temperatures. For the interceptive profilers, thermal simulations were performed to ensure safe operation. For the non-interceptive profiler, Ionization Profile Monitors (IPMs) were developed. A prototype has been built and tested, and based on the findings, the final IPMs were designed and built. To overcome the space charge of accelerator beam, a software algorithm was written to reconstruct the actual beam profile.

ON PRESENTE LES PRINCIPAUX OUTILS QUI PERMETTENT DE SPECIFIER ET D'IMPLEMENTER LES MECANISMES DE SYNCHRONISATION DANS UN SYSTEME MONOPROCESSEUR PUIS MULTIPROCESSEUR. ON DEFINIT ET ON MONTRE LES REGLES D'EVOLUTION DES RESEAUX DE PETRI ET ON DETAILLE LES DIVERSES METHODES D'ANALYSE QU'ILS AUTORISENT. ON PROPOSE UN MODELE DERIVE APPELE RESEAUX DE PETRI A JETONS INDIVIDUALISES. ON DECRIT UN ALGORITHME DE SYNCHRONISATION ET ON PROPOSE UNE MISE EN OEUVRE DE CET ALGORITHME A PARTIR DES RESEAUX DE PETRI A JETONS INDIVIDUALISES

Les techniques de radiothérapie externe ont beaucoup évolué ces vingt dernières années. Pour les photons, le développement d'outils comme les collimateurs multilames, de machines comme le cyberknife ou la tomothérapie, ont permis d'améliorer la conformation des traitements au volume tumoral et de diminuer la dose maximale aux tissus sains. Dans un autre registre, l'usage de la protonthérapie s'élargi t dans tous les pays et l'hadronthérapie par ions carbone commence également à prendre son essor. Si les techniques s'améliorent, les exigences de contrôle de la dose administrée aux patients sont toujours les mêmes. Ce document expose, en premier lieu, les tenants et aboutissants des différentes techniques de radiothérapie externe : traitements photons, protonthérapie et hadronthérapie. Partant du fondement des exigences cliniques, il établit les grandeurs qu'il faut mesurer pour garantir la qualité du traitement pour les différentes modalités envisagées. Il expose ensuite quelques réalisations, basées sur des cahiers des charges précis et rigoureux, dans le domaine du contrôle et de la mesure des faisceaux délivrés par les équipements de radiothérapie externe. Deux techniques instrumentales sont particulièrement développées, la dosimétrie par scintillateurs plastiques pour le contrôle des faisceaux de photons et la dosimétrie par chambre d'ionisations appliquée à la protonthérapie ou aux expériences de radiobiologie menées sur l'installation de GANIL. Les analyses et les perspectives, basées sur les évolutions récentes des machines de traitement, sont livrées en conclusion et pourront servir de guide pour les développements instrumentaux futurs.