Academic literature on the topic 'Diagramme de séquence'

La présente étude palynologique a été menée dans une tourbière à palses de la toundra forestière, golfe de Richmond, Nouveau-Québec. L'analyse pollinique d'une palse met en évidence une séquence palynologique depuis l'installation dans un bas marais (fen ou tourbière) jusqu'à son exonidation et son bombement caractéristique. Cette évolution a commencé vers 4900 ans BP (datation par le C 14). La végétation de type bas marais (fen) est remplacé vers 3550 ans BP par celle d'une tourbière ombrotrophe (« bog »), traduisant un changement climatique dans le sens d'un refroidissement. À cause de la nature du site inventorié, le diagramme pollinique montre aussi une succession végétale locale. L'étude des relations entre les spectres polliniques récents provenant d'échantillons de mousses de surface et la végétation actuelle a permis de chiffrer les représentations polliniques des espèces dominantes et de discuter certains points particuliers du diagramme pollinique.

RÉSUMÉ La composition chimique des magmas de trois téphras que l'on trouve dans des tourbières en Auvergne a été déterminée. Elle a permis de distinguer la Téphra du Montchal (trachybasalte potassique) de celle du Montcineyre (basanite) qui sont pratiquement synchrones vers 6000 BP. La Téphra de La Taphanei (8500 BP, Boréal) est un trachyte. Deux diagrammes polliniques antérieurs font état de la présence de pollen de Tilia (Atlantique) au niveau de la Téphra de La Taphanei, voire même sous elle. Une nouvelle étude de cinq tourbières démontre : (i) que des grains de pollen isolés de Tilia ne sont pas observés dans plus de 17 % des niveaux d'âge boréal; (ii) que leur présence est plus fréquente au-dessus de la Téphra de La Taphanei; (iii) que la courbe continue de Tilia ne commence que bien au-dessus de la Téphra de La Taphanei, lorsqu'il n'y a pas de lacune dans la séquence.

L’analyse pollinique d’une cuvette tourbeuse au mont Shefford, Québec, révèle une première phase lacustre de 11400 à 4 200 ans environ avant l’actuel. Le site fut par la suite occupé par une tourbière à Ericacées et Myrique baumier (Myrica gale), puis par une aulnaie à Alnus rugosa et enfin, par une forêt dominée par l'érable rouge (Acer rubrum). La végétation régionale, après la déglaciation, fut d’abord représentée par un désert de type périglaciaire 11400 ans avant l’actuel (AA), puis par une toundra herbacée d'abord, arbustive ensuite, de 11 400 à 11 100 ans AA. L’afforestation s’est effectuée par des peuplements ouverts d’épinette (Picea mariana) et de peuplier faux-tremble (Populus tremuloides), donnant lieu à une pessière ouverte jusque vers 10 100 ans AA. Le domaine de la sapinière à bouleau blanc peut être proposé pour la végétation couvrant la période de 10 100 à 7500 ans AA, après quoi le domaine de l’érablière à tilleul s’est constitué et a dominé jusqu’à nos jours. Le diagramme du mont Shefford est proposé comme diagramme standard en raison du caractère particulièrement complet des séquences polliniques, les plus anciennes étant contemporaines de l’épisode de Saint-Narcisse (moraine frontale). Des aspects méthodologiques portant sur l’interprétation en termes de végétation sont discutés, et les principales zones d’assemblage pollinique du Québec méridional central sont présentées.

RÉSUMÉTrois diagrammes polliniques provenant de la limite septentrionale de la pessiere à lichens du nord-ouest du Québec montrent des séquences en grande partie similaires durant l'Holocène. Après la déglaciation, survenue vers 6000 BP, la végétation de la région a été dominée par les plantes herbacées et arbustives de la toundra. Larix laricina, Populus et Juniperus ont aussi constitué des éléments importants du paysage. Un maximum d'AInus crispa et de Betula a été suivi par une période dominée par Picea. Dans le site le plus nordique, les forêts se sont ouvertes durant les 1000 dernières années en réponse au refroidissement néoglaciaire. Actuellement, seule l'épinette noire (Picea mariana) croît au nord-ouest du Québec, et les résultats laissent croire que l'épinette blanche (P. glauca) ne s'est jamais établie dans la région.

Phase equilibria modelling has played a key role in enhancing our understanding of metamorphic processes. An important breakthrough in the last three decades has been the ability to construct phase diagrams by integrating internally consistent datasets of the thermodynamic properties of minerals, fluids and melts with activity–composition models for mixed phases that calculate end-member activities from end-member proportions. A major advance in applying phase equilibria modelling to natural rocks is using isochemical phase diagrams to explore the phase assemblages and reaction sequences applicable for a particular sample. The chemical systems used for modelling phase equilibria are continually evolving to provide closer approximations to the natural compositions of rocks and allow wider varieties of compositions to be modelled. Phase diagrams are now routinely applied to metasedimentary rocks, metabasites and intermediate to felsic intrusive rocks and more recently to ultramafic rocks and meteorites. While the principal application of these phase diagrams is quantifying the pressure and temperature evolution of metamorphic rocks, workers are now applying them to other fields across the geosciences. For example, phase equilibria modelling of hydrothermal alteration and the metamorphism of hydrothermally altered rocks can be used to determine ‘alteration vectors’ to hydrothermal mineral deposits. Combining the results of phase equilibria of rock-forming minerals with solubility equations of accessory minerals has provided new insights into the geological significance of U–Pb ages of accessory minerals commonly used in geochronology (e.g. zircon and monazite). Rheological models based on the results of phase equilibria modelling can be used to evaluate how the strength of the crust and mantle can change through metamorphic and metasomatic processes, which has implications for a range of orogenic processes, including the localization of earthquakes. Finally, phase equilibria modelling of fluid generation and consumption during metamorphism can be used to explore links between metamorphism and global geochemical cycles of carbon and sulphur, which may provide new insights into the secular change of the lithosphere, hydrosphere and atmosphere.RÉSUMÉLa modélisation des équilibres de phases a joué un rôle clé dans l’amélioration de notre compréhension des processus métamorphiques. Une percée importante au cours des trois dernières décennies a été la capacité de construire des diagrammes de phase en y intégrant des ensembles de données cohérentes des propriétés thermodynamiques des minéraux, des fluides et des bains magmatiques avec des modèles d'activité-composition pour des phases mixtes qui déduisent l’activité des membres extrêmes à partir des proportions des membres extrêmes. Une avancée majeure dans l'application de la modélisation d'équilibre de phase aux roches naturelles consiste à utiliser des diagrammes de phases isochimiques pour étudier les assemblages de phase et les séquences de réaction applicables pour un échantillon particulier. Les systèmes chimiques utilisés pour la modélisation des équilibres de phase évoluent continuellement pour fournir des approximations plus proches des compositions naturelles des roches et permettent de modéliser de plus grandes variétés de compositions. Les diagrammes de phase sont maintenant appliqués de façon routinière aux roches métasédimentaires, aux métabasites et aux roches intrusives intermédiaires à felsiques et plus récemment aux roches ultramafiques et aux météorites. Bien que l'application principale de ces diagrammes de phase consiste à quantifier l'évolution de la pression et de la température des roches métamorphiques, les utilisateurs les appliquent maintenant à d'autres spécialités des géosciences. Par exemple, la modélisation des équilibres de phase de l'altération hydrothermale et du métamorphisme des roches d’altération hydrothermale peut être utilisée pour déterminer les « vecteurs d'altération » des gisements minéraux hydrothermaux. La combinaison des résultats des équilibres de phase des minéraux constitutifs des roches avec des équations de solubilité des minéraux accessoires a permis d’en savoir davantage sur la signification géologique des âges U–Pb des minéraux accessoires couramment utilisés en géochronologie (par exemple zircon et monazite). Les modèles rhéologiques basés sur les résultats de la modélisation des équilibres de phase peuvent être utilisés pour évaluer comment la résistance de la croûte et du manteau peut changer à travers des processus métamorphiques et métasomatiques, ce qui a des implications sur une gamme de processus orogéniques, y compris la localisation des séismes. Enfin, la modélisation des équilibres de phase de la génération et de l’absorption des fluides pendant le métamorphisme peut être utilisée pour explorer les liens entre le métamorphisme et les cycles géochimiques globaux du carbone et du soufre, ce qui peut fournir de nouvelles perspectives sur le changement séculaire de la lithosphère, de l'hydrosphère et de l'atmosphère.

Trois diagrammes polliniques ont été établis dans la région de Sainte-Agathe, à environ 80 km au nord de Montréal, afin de reconstituer la végétation et les conditions climatiques durant la mise en place de la moraine bordière de Saint-Narcisse. Les séquences polliniques remontent à plus de 10 800 ans avant l’actuel. Les diagrammes présentent une phase initiale de végétation très ouverte, comparable à l'actuelle toundra (jusqu'à 9 750 ans BP, dans le meilleur cas). L’afforestation subséquente s’est effectuée entre 10 800 et 8 600 ans BP, par la constitution d’une tremblaie-parc (Populus tremuloides). Elle fut suivie par la phase forestière, représentée d’abord par des essences de la forêt boréale coniférienne, puis par des arbres à feuillage caduque du domaine de l’érablière à érable à sucre (Acer saccharum), jusqu’à nos jours. Les datations obtenues sur les trois carottes rendent suspecte la date de 8500 ans BP pour la toundra au site Borne (RICHARD, 1977). Les lacs que nous avons échantillonnés, entourant littéralement le site Borne, ont révélé que la toundra y était antérieure à 10 820 ans BP au site Sav-II, à 10 420 ans BP au site du lac à Saint-Germain et daterait de 10170 ans BP au site Sav-I. Un horizon minéral au sein des sédiments organiques, dans la carotte du lac à Saint-Germain a été relié à un phénomène de remaniement de sédiments lacustres, probablement par glissement sous-aquatique. Enfin, les diagrammes polliniques n’enregistrent pas l’oscillation climatique à laquelle plusieurs auteurs ont attribué l’épisode de Saint-Narcisse.

RésuméMon travail de thèse dans le cadre de la théorie anthropologique du didactique m’a permis de construire une organisation mathématique de référence autour du calcul soustractif et d’élaborer une ingénierie pour le CE2, en cherchant à rester assez proche des pratiques de l’enseignement ordinaire. L’évolution des productions des élèves et des discours des enseignants sur un ensemble de séquences permet de questionner l’usage d’ostensifs tels que les écritures arithmétiques et les schémas avec la droite numérique dans le but de décrire, valider et évaluer un ensemble de techniques de calcul mental.Mots clés : Ostensif, Techniques de calcul mental.AbstractMy thesis work within the framework of the Anthropological Theory of Didactics allowed me to build a mathematical organization of reference around the subtractive calculation and to elaborate an engineering for the CE2, trying to remain rather close to the practices of the teaching ordinary. The evolution of students 'productions and teachers' speeches on a set of sequences makes it possible to question the use of ostensives such as arithmetic writings and diagrams with the number line in order to describe, validate and evaluate a set of techniques of mental calculation.Keywords: Ostensive, Techniques of mental calculation.

RésuméMon travail de thèse dans le cadre de la théorie anthropologique du didactique m’a permis de construire une organisation mathématique de référence autour du calcul soustractif et d’élaborer une ingénierie pour le CE2, en cherchant à rester assez proche des pratiques de l’enseignement ordinaire. L’évolution des productions des élèves et des discours des enseignants sur un ensemble de séquences permet de questionner l’usage d’ostensifs tels que les écritures arithmétiques et les schémas avec la droite numérique dans le but de décrire, valider et évaluer un ensemble de techniques de calcul mental.Mots clés : Ostensif, Techniques de calcul mental.AbstractMy thesis work within the framework of the Anthropological Theory of Didactics allowed me to build a mathematical organization of reference around the subtractive calculation and to elaborate an engineering for the CE2, trying to remain rather close to the practices of the teaching ordinary. The evolution of students 'productions and teachers' speeches on a set of sequences makes it possible to question the use of ostensives such as arithmetic writings and diagrams with the number line in order to describe, validate and evaluate a set of techniques of mental calculation.Keywords: Ostensive, Techniques of mental calculation.

Les lacs Yelle et Clo, situés à environ 10 km au sud du lac Abitibi, ont respectivement livré des séquences continues de sédiments depuis la déglaciation de la région, vers 9 000 BP, et le retrait du lac proglaciaire Ojibway, vers 7 900 BP jusqu’à l’actuel. L’interprétation des diagrammes polliniques révèle que la rive sud du lac Ojibway était occupée, vers 8 900 BP, par une forêt ouverte dominée par l’épinette noire (Picea mariana), dans laquelle le tremble (Populus tremuloides) et le pin gris (Pinus divaricata) jouaient un rôle important. Ce type de paysage s’est maintenu durant environ 1 000 ans dans les collines alors insulaires entourant le lac Yelle, pendant que le niveau du lac Ojibway passait de 355 à 280 m. Lors de la vidange du lac Ojibway, la colonisation végétale des basses terres s’est effectuée rapidement. De 7 900 à 7 200 ans BP, la forêt appartenait déjà au domaine de la sapinière à bouleau blanc, occupant les stations mésiques, mais l’épinette noire et le tremble étaient abondants, de même que le pin gris. De 7 200 à 6 000 BP, la végétation a atteint un maximum de diversité et de thermophilie. Le pin blanc (Pinus strobus) s’est installé, surtout dans les collines et sur les stations xériques. Entre 6 000 et 3 250 BP, le genévrier (Juniperus) est devenu beaucoup plus abondant. Depuis 3 250 ans BP, la forêt s’est refermée, et l’épinette noire et le pin gris ont progressé, aux dépens du pin blanc notamment. La sapinière à bouleau blanc, sur stations moyennes, s’est toujours maintenue au sein du paysage et, malgré des différences, révolution de la végétation a été synchrone entre les deux sites depuis 7 900 ans BP.

In this thesis, we describe how to use UML sequence diagrams with MARTE timing constraints to specify entirely the behavior of component-based systems while abstracting as much as possible the functional roles of components composing it. We have shown how to conduct compositional analysis of such specifications. For this, we have defined operational semantics to sequence diagrams by translating them into TIOSTS which are symbolic automata with timing constraints. We have used symbolic execution techniques to compute possible executions of the system in the form of a symbolic tree. We have defined projection mechanisms to extract the execution tree associated with any distinguished component. The resulting projected tree characterizes the possible behaviors of the component with respect to the context of the whole system specification. As such, it represents a constraint to be satisfied by the component and it can be used as a correctness reference to validate the system in a compositional manner. For that purpose, we have grounded our validation framework on testing techniques. We have presented compositional results relating the correctness of a system to the correctness of components. Based on these results, we have defined an incremental approach for testing from sequence diagrams.

Les MSG (pour « Message Sequence Graphs ») sont un formalisme bien connu et souvent utilisé pour décrire des ensembles de scénarios de manière visuelle dans le domaine des protocoles de communication. Nous nous intéressons dans la première partie de la thèse à la détection de la divergence, la vérification de la coopération globale ainsi que la vérification de propriétés d’accessibilité et de couverture. Notre première contribution consiste à utiliser des solveurs SAT afin de résoudre ces problèmes efficacement. Afin de munir le formalisme des MSG de compteurs, de timers et d’autres aspects, nous introduisons le modèle des PNS (pour « réseaux de Petri avec états ») et une sémantique de processus non-branchants. Ce modèle est non seulement plus expressif que les MSG, mais il permet également des spécifications plus concises. Nous nous intéressons à trois problèmes de vérification classiques sur l’ensemble des marquages accessibles par les préfixes des processus : le caractère borné, la couverture et l’accessibilité. Afin de considérer des systèmes paramétrés, nous introduisons également la notion de borne semi-structurelle. Cela consiste à fixer le marquage initial d’un sous-ensemble approprié de places, puis à vérifier que le système est borné, quelles que soient les valeurs des paramètres. Nous montrons comment un dépliage conduit à un problème plus simple à vérifier. Une caractéristique particulièrement attrayante des MSG et des PNS réside dans leur représentation graphique similaire à un automate. Il est donc intéressant de décrire les bugs de manière visuelle. Nous montrons comment calculer en temps polynomial une représentation simple et concise d’un bug
Message Sequence Charts (MSCs) are a popular model often used for the docu- mentation of telecommunication protocols. In the first part of the thesis, we focus on detecting process divergence, checking global-cooperation and checking reachability properties. Our first contribution is to use SAT solvers to solve these problems effectively. In order to study MSC specifications with counters, timers and other features, we introduce the model of Petri nets with states together with a non-branching non-sequential process seman- tics. We obtain a framework that is more expressive and more concise than MSGs. We consider then three classical verification problems for the set of markings reached by prefixes of processes : boundedness, covering and reachability. We consider also the notion of semi-structural property in order to study parametrized sys- tems. In this way, only part of the places are provided with an initial marking. Unfolding such a system leads to a simpler problem in the form of a linear programme. A particularly attractive feature of MSG and PNS lies in their graphical representation similar to an automaton. So, it is interesting to describe the bugs visually. We show how to compute in polynomial time a simple and concise representation of a bug

Les tests de logiciels jouent un rôle non négligeable en minimisant les coûts de développement de ces derniers. L'une des tendances les plus importantes pour cet objectif est l'utilisation du MBT (Model-Based Testing). Le MBT consiste à générer des tests de validation automatiquement en se basant sur un modèle personnalisé qui décrit certains aspects fonctionnels des SUT(System Under Test : Système Sous Test). Cependant, un modèle de test dédié doit être créé. Ce processus est consommateur de temps et de main d'œuvre et, par conséquent, il n'est pas largement adopté dans l'industrie. Dans notre travail, nous présentons une méthodologie pour faciliter l'utilisation du MBT dans les entreprises en utilisant des artefacts de projet pour créer automatiquement un modèle de test basé sur l'utilisation du SUT (ce que nous appelons un modèle d'usage). Dans nos travaux, nous nous concentrons sur la transformation des diagrammes de séquence UML en un modèle de test. Cette transformation se fera sur la base de la notion du context, qui est l'historique des événements précédents sur le SUT pour pouvoir factoriser et obtenir un modèle d'utilisation valide. Cette notion est très importante lorsque deux événements sont gérés différemment par le SUT en fonction de l'ensemble des entrées précédentes. Un cas d'étude académique modélisant une machine ATM (Automated Teller Machine) est présenté pour décrire le besoin et les problèmes associés. Ensuite notre méthodologie a été implémentée pour répondre à quelques exigences du projet National Clarity
Software testing plays a significant role in minimizing software development costs. One of the most important trends for this goal is the use of MBT (Model-Based Testing). MBT consists on automatically generating validation tests from a personalized model describing certain functional aspects of the system under test (SUT). However, a dedicated test model must be created. This process is time and labor consuming and therefore not widely used in the industry. In our work, we present a methodology to facilitate the use of MBT in companies by using project artifacts to automatically create a test model based on the use of SUT (what we call a usage model). In our work, we focus on transforming UML sequence diagrams into a test model.This transformation will be done on the basis of the notion of context, which is the history of previous events on the SUT in order to factorize and obtain a valid usage model. This notion is very important when two events are managed differently by the SUT according to all of the previous inputs of this SUT. An academic case study modeling an ATM (Automated Teller Machine) is presented to describe the need and the associated problems. Then, our methodology is implemented to meet some requirements of the French project Clarity

De nos jours, le développement des personnages de jeux est devenu une tâche dif- ficile en raison de la complexité toujours grandissante des jeux vidéos actuels. Pour diminuer la complexité liée au développement de ces personnages, certaines approches sont applicables et consistent à utiliser des techniques d'intelligence artificielle. Dans ce travail, nous proposons d'utiliser des diagrammes états-transitions pour activer un personnage de jeu vidéo. Nous étudions les moyens de construire des diagrammes états-transitions et plus spécifiquement comment les structurer à partir des séquences de jeux. Les performances des diagrammes construits sont évaluées et nous analysons les possibilités d'améliorer les rendements obtenus. Dans nos expérimentations, nous utilisons le jeu de poursuite dénommé Pacman. Pacman constitue un banc d'essai idéal car il présente un environnement dynamique et séquentiel et nécessite une prise de décision en temps réel. Dans ce travail nous tentons d'accomplir les tâches suivantes : Acquérir des séquences de jeux à travers l'utilisation de l'apprentissage par la démonstration. Structurer des diagrammes états-transitions à partir des séquences de jeux. Analyser la possibilité d'améliorer les performances des diagrammes états-transitions par l'utilisation des techniques de raisonnement à base de cas et des éléments de la théorie de l'information.
Nowadays, developing game characters has become a difficult task because of the increasing complexity of actual video games. To reduce the complexity of developing those characters, some approaches exist and consist of using artificial intelligence techniques. In this project, we propose using state machines to activate a video game character. We learn the means to build state machines and more specifically how to structure them from game sequences. The performance of those state machines is evaluated and we analyze the possibility of improving the results. In our experimentations, we use the pursuit game called Pacman. Pacman constitute an ideal testbed because it others a dynamic and sequential environment and it calls for real time decision making. In this work we are trying to accomplish the following tasks : Acquire game sequences through usage of learning from demonstration. Structure the state machines from game sequences. Analyze the possibility of improving the performances of the state machines by using case-based reasoning techniques and elements of information theory.

L'archéologie galactique consiste à disséquer et analyser les nombreuses composantes de la Voie Lactée afin de mettre en évidence et distinguer les processus physiques qui contribuent à sa formation et son évolution. Ceci est possible grâce à une estimation précise des positions, des vitesses ainsi que des propriétés de l'atmosphère stellaire des étoiles individuelles qui appartiennent aux différents populations stellaires qui composent chacune de ces composantes. De ce fait, ce domaine dépend non seulement d'observations photométriques, astrométriques et spectroscopiques permettant de mesurer en détail les propriétés stellaires mentionnées mais également de modèles théoriques précis afin de les confronter avec les données observationnelles. Au cours de cette thèse, j'ai mené une étude détaillée sur les effets de fonction de sélection sur les abondances métalliques en utilisant des sondages spectroscopiques aux grandes échelles, suivi d'observations spectroscopiques de petites et grandes résolutions sur les parties internes de la Voie Lactée afin de caractériser la nature chimique du bulbe galactique ainsi que le taux de formation stellaire dans la zone centrale moléculaire (CMZ). Avec les présents et futurs grands sondages dédiés à l'archéologie galactique tels que APOGEE, RAVE, LAMOST, GALAH, etc.., il est essentiel de connaître la fonction de sélection spécifique qui est associée à la stratégie de ciblage de chacun de ces sondages. En utilisant des champs communs et des lignes de visée similaires entre APOGEE, LAMOST, GES et RAVE, et tout en considérant des modèles de synthèse de population stellaire, J'ai étudié les effets de fonction de sélection sur la fonction de distribution de la métallicité (MDF) et sur le gradient vertical de métallicité dans le voisinage solaire. Mes résultats indiquent qu'il y a un négligeable effet de fonction de sélection sur la MDF ainsi que sur le gradient vertical de métallicité. Ces résultats suggèrent alors que différents sondages spectroscopiques (de différentes résolutions et de longueurs d'onde) peuvent être combinés dans des études similaires à condition que les métallicité soient placées sur la même échelle. Tandis que de plus en plus d'observations spectroscopiques des régions externes du bulbe de la Voie Lactée révèlent la complexité de sa morphologie, sa cinétique et de sa nature chimique, les études détaillées sur les abondances chimiques de la région interne du bulbe (400-500 pc) font en revanche défaut. Je présenterai alors des spectres de haute résolution dans la bande K d'étoiles géantes K/M issues de cette région obscure et obtenus à partir du spectrographe de haute résolution dans l'infrarouge, CRIRES (R-50,000) situé au VLT. Je discuterai ensuite la MDF et les abondances chimiques détaillées de notre échantillon dans cette région et également la symétrie Nord-Sud dans la MDF le long du petit axe du bulbe. Un enjeu majeur dans les modèles d'évolution chimique est le manque de connaissance vis à vis de l'histoire et du taux de la formation stellaire de la Voie Lactée. La partie centrale de la Voie Lactée (<200 pc), appelée communément la zone centrale moléculaire, possède un grand réservoir de gaz moléculaire avec des indications d'activités de formation stellaire durant les 100 000 dernières années. J'ai utilisé des spectres KMOS (VLT) de petite résolution afin d'identifier et analyser les objects stellaires jeunes et massifs (YSOs) et afin d'estimer le taux de formation stellaire dans la CMZ en utilisant la méthode de contage YSO
Galactic archaeology deals with dissecting the Milky Way into its various components with the objective to disentangle processes contributing to the Milky Way formation and evolution. This relies on precise estimation of positions, velocities as well as stellar atmosphere properties of individual stars belonging to different stellar populations that make up each of these components. Thus this field relies on photometric, astrometric and spectroscopic observations to measure the above mentioned stellar properties in detail in addition to accurate models to compare the observed results with. In this thesis, I have carried out a detailed study of selection function effects on metallicity trends using larges scale spectroscopic surveys, followed by high and low resolution spectroscopic observations towards the inner Milky Way to characterise the chemical nature of the inner Galactic bulge and to measure the star formation rate in the central molecular zone (CMZ), respectively. With ongoing and upcoming large Galactic archaeology spectroscopic surveys such as APOGEE, RAVE, LAMOST, GALAH etc, it is essential to know the specific selection function which is related to the targeting strategy of each of them. By using common fields along similar lines of sight between APOGEE, LAMOST, GES and RAVE, and together with stellar population synthesis models, I investigate the selection function effect on the metallicity distribution function (MDF) and the vertical metallicitiy gradients in the solar neighborhood. My results indicate that there is negligible selection function effect on the MDF and the vertical metallicity gradients. These results suggest that different spectroscopic surveys (different resolutions and wavelength range) can be combined for such studies provided their metallicities are put on the same scale. While more and more spectroscopic observations of the outer bulge regions reveal the complex morphological, kinematic and chemical nature of the Milky Way bulge, there is a lack of detailed chemical abundances studies in the inner bulge region (400-500 pc). I will present high resolution K-band spectra of K/M giants in this highly obscured region obtained using the high resolution infrared spectrograph, CRIRES (R-50,000), on VLT. I will discuss the MDF and detailed chemical abundances of our sample in this region as well as the North-South symmetry in MDF along the bulge minor axis. A major challenge in the chemical evolution models is the lack of knowledge about the star formation history and the star formation rate in the Milky Way. The inner 200 pc of the Milky way, the so called central molecular zone, has a large reservoir of molecular gas with the evidence of star formation activity during the last 100,000 years. I used low resolution KMOS spectra (VLT) to identify and analyse massive young stellar objects (YSOs) and estimated the star formation rate in the CMZ using the YSO counting method

Nous avons développé et mis à l’épreuve des activités utilisant un registre basé sur des diagrammes lors de l’enseignement de la théorie de la relativité restreinte avec des élèves de terminale S. L’approche graphique est source de difficultés didactiques mais les potentialités didactiques peuvent être plus avantageuses. Une étude épistémologique sur les diagrammes utilisables en relativité restreinte permet de voir les liens importants entre les mathématiques et la genèse de la théorie. C’est le cas du diagramme de Minkowski. Nous avons également étudié les diagrammes de Brehme et de Loedel, créés beaucoup plus tard pour des raisons didactiques. Après les séances pilotes, nous avons développé un nouveau cadre théorique, permettant d’analyser plus finement les interactions développées par les élèves résolvant un problème utilisant des diagrammes en relativité restreinte. Nous avons modifié les espaces de travail mathématique (ETM) en rajoutant le cadre de rationalité de la physique à celui des mathématiques. Le cadre des ETM étendu nous a permis de concevoir plusieurs versions de séquences et de réaliser une analyse a priori de leur niveau de difficulté et a posteriori en étudiant des travaux d’élèves. L’analyse du travail de groupes d’élèves a été effectuée lors d’une séquence utilisant le diagramme de Minkowski avec GeoGebra, un logiciel de simulation graphique. Le degré de maitrise du diagramme de Minkowski a été évalué pour chaque élève du point de vue des mathématiques et de la physique. Les résultats sont prometteurs, ils montrent une appropriation réelle des concepts de la théorie de la relativité restreinte via une approche utilisant des diagrammes
We tried to develop and test several activities using a register based on diagrams for teaching the special theory of relativity to S class of twelfth graders. The graphic approach may result it complications in learning. However, its educational potential can turn out to be more beneficial. An epistemological study on diagrams used in special relativity allowed us to report important links between mathematics and the genesis of the special theory of relativity. This is the case of the Minkowski diagram. We were also interested in two other diagrams, Brehme and Loedel, which were developed much more later for teaching purposes. Following experimental sessions, we developed a new theoretical frame to comprehensively analyse the interactions developed by students to solve a problem using diagrams in special relativity. We modified the mathematical working spaces (MWS) by adding a new frame of rationality to the existing mathematic workspace to physics. The extended frame of the MWS allowed us to plan several versions of sequences proposed to the students and realize a priori analysis of their difficulty level and a posteriori study by analysing pupils' works. We have considered several works of student groups during a sequence using the Minkowski diagram with GeoGebra, a graphic simulation software. It allowed us to estimate the degree of control of the Minkowski diagram for every student, both from the frame of rationality of the mathematics and the physical sciences’ point of view. The results are promising and they tend to show a real appropriation of the concepts of the special theory of relativity with an approach using diagrams

Deux aspects importants de la connaissance qu'un individu a pu acquérir par ses expériences correspondent à la mémoire sémantique (celle des connaissances explicites, comme par exemple l'apprentissage de concepts et de catégories décrivant les objets du monde) et la mémoire procédurale (connaissances relatives à l'apprentissage de règles ou de la syntaxe). Cette "mémoire syntaxique" se construit à partir de l'expérience et notamment de l'observation de séquences, suites d'objets dont l'organisation séquentielle obéit à des règles syntaxiques. Elle doit pouvoir être utilisée ultérieurement pour générer des séquences valides, c'est-à-dire respectant ces règles. Cette production de séquences valides peut se faire de façon explicite, c'est-à-dire en évoquant les règles sous-jacentes, ou de façon implicite, quand l'apprentissage a permis de capturer le principe d'organisation des séquences sans recours explicite aux règles. Bien que plus rapide, plus robuste et moins couteux en termes de charge cognitive que le raisonnement explicite, le processus implicite a pour inconvénient de ne pas donner accès aux règles et de ce fait, de devenir moins flexible et moins explicable. Ces mécanismes mnésiques s'appliquent aussi à l'expertise métier : la capitalisation des connaissances pour toute entreprise est un enjeu majeur et concerne aussi bien celles explicites que celles implicites. Au début, l'expert réalise un choix pour suivre explicitement les règles du métier. Mais ensuite, à force de répétition, le choix se fait automatiquement, sans évocation explicite des règles sous-jacentes. Ce changement d'encodage des règles chez un individu en général et particulièrement chez un expert métier peut se révéler problématique lorsqu'il faut expliquer ou transmettre ses connaissances. Si les concepts métiers peuvent être formalisés, il en va en général de tout autre façon pour l'expertise. Dans nos travaux, nous avons souhaité nous pencher sur les séquences de composants électriques et notamment la problématique d’extraction des règles cachées dans ces séquences, aspect important de l’extraction de l’expertise métier à partir des schémas techniques. Nous nous plaçons dans le domaine connexionniste, et nous avons en particulier considéré des modèles neuronaux capables de traiter des séquences. Nous avons implémenté deux réseaux de neurones récurrents : le modèle de Elman et un modèle doté d’unités LSTM (Long Short Term Memory). Nous avons évalué ces deux modèles sur différentes grammaires artificielles (grammaire de Reber et ses variations) au niveau de l’apprentissage, de leurs capacités de généralisation de celui-ci et leur gestion de dépendances séquentielles. Finalement, nous avons aussi montré qu’il était possible d’extraire les règles encodées (issues des séquences) dans le réseau récurrent doté de LSTM, sous la forme d’automate. Le domaine électrique est particulièrement pertinent pour cette problématique car il est plus contraint avec une combinatoire plus réduite que la planification de tâches dans des cas plus généraux comme la navigation par exemple, qui pourrait constituer une perspective de ce travail
There are two important aspects of the knowledge that an individual acquires through experience. One corresponds to the semantic memory (explicit knowledge, such as the learning of concepts and categories describing the objects of the world) and the other, the procedural or syntactic memory (knowledge relating to the learning of rules or syntax). This "syntactic memory" is built from experience and particularly from the observation of sequences of objects whose organization obeys syntactic rules.It must have the capability to aid recognizing as well as generating valid sequences in the future, i.e., sequences respecting the learnt rules. This production of valid sequences can be done either in an explicit way, that is, by evoking the underlying rules, or implicitly, when the learning phase has made it possible to capture the principle of organization of the sequences without explicit recourse to the rules. Although the latter is faster, more robust and less expensive in terms of cognitive load as compared to explicit reasoning, the implicit process has the disadvantage of not giving access to the rules and thus becoming less flexible and less explicable. These mnemonic mechanisms can also be applied to business expertise. The capitalization of information and knowledge in general, for any company is a major issue and concerns both the explicit and implicit knowledge. At first, the expert makes a choice to explicitly follow the rules of the trade. But then, by dint of repetition, the choice is made automatically, without explicit evocation of the underlying rules. This change in encoding rules in an individual in general and particularly in a business expert can be problematic when it is necessary to explain or transmit his or her knowledge. Indeed, if the business concepts can be formalized, it is usually in any other way for the expertise which is more difficult to extract and transmit.In our work, we endeavor to observe sequences of electrical components and in particular the problem of extracting rules hidden in these sequences, which are an important aspect of the extraction of business expertise from technical drawings. We place ourselves in the connectionist domain, and we have particularly considered neuronal models capable of processing sequences. We implemented two recurrent neural networks: the Elman model and a model with LSTM (Long Short Term Memory) units. We have evaluated these two models on different artificial grammars (Reber's grammar and its variations) in terms of learning, their generalization abilities and their management of sequential dependencies. Finally, we have also shown that it is possible to extract the encoded rules (from the sequences) in the recurrent network with LSTM units, in the form of an automaton. The electrical domain is particularly relevant for this problem. It is more constrained with a limited combinatorics than the planning of tasks in general cases like navigation for example, which could constitute a perspective of this work

Cette thèse de doctorat étudie l'interprétation calculatoire des preuves de la logique classique. Elle présente trois calculs reflétant trois approches différentes de la question.

Cette thèse est donc composée de trois parties.

La première partie introduit le *X calcul, dont les termes représentent des preuves dans le calcul des séquents classique. Les règles de réduction du *X calcul capture la plupart des caractéristiques de l'élimination des coupures du calcul des séquents. Ce calcul introduit des termes permettant une
implémentation implicite de l'effacement et de la duplication. Pour autant que nous sachions, c'est le premier tel calcul pour la logique classique.

La deuxième partie étudie la possibilité de représenter les calculs classiques au moyen de diagrammes. Nous présentons le dX calcul, qui est le calcul diagrammatique de la logique classique, et dont les diagrammes sont issus des
*X-termes. La différence principale réside dans le fait que dX fonctionne à un niveau supérieur d'abstraction. Il capture l'essence des preuves du calcul des séquents ainsi que l'essence de l'élimination classique des coupures.

La troisième partie relie les deux premières. Elle présente le $copy;X calcul qui est une version unidimensionnelle du calcul par diagramme. Nous commencons par le *X, où nous identifions explicitement les termes qui doivent l'être. Ceux-ci
sont les termes qui encodent les preuves des séquents qui sont équivalentes modulo permutation de règles d'inférence indépendantes. Ces termes ont également la même représentation par diagramme. Une telle identification induit une relation de congruence sur les termes. La relation de réduction est définie modulo la congruence, et les règles de réduction correspondent à celle du dX calcul.