81 |
Combinaison cohérente de lasers à cascade quantiqueBloom, Guillaume 14 February 2012 (has links) (PDF)
Des applications comme les contre-mesures optiques nécessitent des sources puissantes et avec une bonne qualité de faisceau dans le moyen infrarouge. Le laser à cascade quantique (LCQ) est une solution prometteuse mais la puissance fournie par ces lasers n'est pas suffisante. La combinaison cohérente de plusieurs de ces sources devrait permettre de sommer leurs puissances tout en conservant la qualité de faisceau d'un émetteur unique et constitue donc une solution intéressante pour contourner l'actuelle limitation en puissance des LCQ.Nous présentons une étude théorique et expérimentale de la combinaison de faisceaux cohérente de LCQ dans une cavité externe commune utilisant un coupleur de faisceaux. La mise en phase est ici totalement passive puisque fondée sur la minimisation des pertes dans la cavité globale : on parle d'auto-organisation. Un modèle général permettant de quantifier l'efficacité de combinaison et la stabilité de telles cavités est développé. Dans un premier temps, on montre expérimentalement que la combinaison cohérente de deux LCQ dans une cavité Michelson est une solution efficace et stable. Pour combiner plus d'émetteurs il est nécessaire de concevoir des coupleurs de faisceaux dans le moyen infrarouge efficaces. Pour cela, nous avons étudié deux types de réseaux : les réseaux de phase binaire (réseaux de Dammann) et des structures à gradient d'indice composées de motifs sub-longueur d'onde. Le dessin et l'optimisation de telles structures fait appel à la théorie des milieux artificiels et nécessite l'utilisation d'un code de résolution rigoureuse des équations de Maxwell (RCWA). Enfin, la combinaison cohérente de cinq LCQ en cavité externe avec un coupleur de faisceaux est démontrée expérimentalement et la combinaison d'un plus grand nombre de LCQ est discutée. En conclusion, nous présentons une solution originale pour réaliser la combinaison cohérente passive de LCQ et ainsi apporter une solution à l'augmentation de puissance dans le moyen infrarouge.
|
82 |
Combinaison cohérente d'amplificateurs à fibre en régime femtosecondeDaniault, Louis 05 December 2012 (has links) (PDF)
Pour un grand nombre d'applications, les sources laser impulsionnelles femtoseconde (fs) doivent fournir des puissances toujours plus importantes. En régime impulsionnel, on recherche d'une part une forte puissance crête par impulsion, et d'autre part une forte puissance moyenne, c'est à dire un taux de répétition élevé. Parmi les technologies existantes, les amplificateurs à fibre optique dopée ytterbium présentent de nombreux avantages pour l'obtention de fortes puissances moyennes, cependant le fort confinement des faisceaux dans la fibre sur de grandes longueurs d'interaction induit inévitablement des effets non-linéaires, et limite ainsi la puissance crête accessible. Nous avons étudié lors de cette thèse la combinaison cohérente d'impulsions fs appliquée aux systèmes fibrés.Ayant déjà fait ses preuves dans les régimes d'amplification continu et nanoseconde, la combinaison cohérente de faisceaux (dite combinaison spatiale) permet de diviser une seule et unique source en N voies indépendantes, disposées en parallèle et incluant chacune un amplificateur. Les faisceaux amplifiés sont ensuite recombinés en espace libre en un seul et unique faisceau, qui contient toute la puissance des N amplificateurs sans accumuler les effets non-linéaires. Cette architecture permet théoriquement de monter d'un facteur N le niveau de puissance crête issu des systèmes d'amplification fibrés. Au cours de cette thèse, nous avons démontré la compatibilité et l'efficacité de cette méthode en régime d'amplification fs avec deux amplificateurs, selon différents procédés. Les expériences démontrent d'excellentes efficacités de combinaison ainsi qu'une très bonne préservation des caractéristiques temporelles et spatiales initiales de la source. Les procédés de combinaison cohérente nécessitent cependant un accord de phase entre différents amplificateurs stable dans le temps, assuré en premier lieu par une boucle de rétroaction. Nous avons poursuivi notre étude en concevant une architecture totalement passive, permettant une implémentation plus simple d'un système de combinaison à deux faisceaux sans asservissement électronique. Enfin, une méthode passive de combinaison cohérente dans le domaine temporel est étudiée et caractérisée dans le domaine fs, et implémentée simultanément avec la méthode passive de combinaison spatiale proposée précédemment. Ces expériences démontrent la validité et la variété des concepts proposés, ainsi que leurs nombreuses perspectives pour les systèmes d'amplification fs fibrés.
|
83 |
Segmentation d'images par combinaison adaptative couleur-texture et classification de pixels. : Applications à la caractérisation de l'environnement de réception de signaux GNSSATTIA, Dhouha 03 October 2013 (has links) (PDF)
En segmentation d'images, les informations de couleur et de texture sont très utilisées. Le premier apport de cette thèse se situe au niveau de l'utilisation conjointe de ces deux sources d'informations. Nous proposons alors une méthode de combinaison couleur/texture, adaptative et non paramétrique, qui consiste à combiner un (ou plus) gradient couleur et un (ou plus) gradient texture pour ensuite générer un gradient structurel utilisé comme image de potentiel dans l'algorithme de croissance de régions par LPE. L'originalité de notre méthode réside dans l'étude de la dispersion d'un nuage de point 3D dans l'espace, en utilisant une étude comparative des valeurs propres obtenues par une analyse des composantes principales de la matrice de covariance de ce nuage de points. L'approche de combinaison couleur/texture proposée est d'abord testée sur deux bases d'images, à savoir la base générique d'images couleur de BERKELEY et la base d'images de texture VISTEX. Cette thèse s'inscrivant dans le cadre des projets ViLoc (RFC) et CAPLOC (PREDIT), le deuxième apport de celle-ci se situe au niveau de la caractérisation de l'environnement de réception des signaux GNSS pour améliorer le calcul de la position d'un mobile en milieu urbain. Dans ce cadre, nous proposons d'exclure certains satellites (NLOS dont les signaux sont reçus par réflexion voir totalement bloqués par les obstacles environnants) dans le calcul de la position d'un mobile. Deux approches de caractérisation, basées sur le traitement d'images, sont alors proposées. La première approche consiste à appliquer la méthode de combinaison couleur/texture proposée sur deux bases d'images réelles acquises en mobilité, à l'aide d'une caméra fisheye installée sur le toit du véhicule de laboratoire, suivie d'une classification binaire permettant d'obtenir les deux classes d'intérêt " ciel " (signaux LOS) et " non ciel " (signaux NLOS). Afin de satisfaire la contrainte temps réel exigée par le projet CAPLOC, nous avons proposé une deuxième approche basée sur une simplification de l'image couplée à une classification pixellaire adaptée. Le principe d'exclusion des satellites NLOS permet d'améliorer la précision de la position estimée, mais uniquement lorsque les satellites LOS (dont les signaux sont reçus de manière direct) sont géométriquement bien distribués dans l'espace. Dans le but de prendre en compte cette connaissance relative à la distribution des satellites, et par conséquent, améliorer la précision de localisation, nous avons proposé une nouvelle stratégie pour l'estimation de position, basée sur l'exclusion des satellites NLOS (identifiés par le traitement d'images), conditionnée par l'information DOP, contenue dans les trames GPS.
|
84 |
Use of GNSS signals and their augmentations for Civil Aviation navigation during Approaches with Vertical Guidance and Precision Approaches / Utilisation des signaux GNSS et de leurs augmentations pour l'Aviation Civile lors d'approches avec guidage vertical et d'approches de précisionNeri, Pierre 10 November 2011 (has links)
La navigation par satellite, Global Navigation Satellite System, a été reconnue comme une solution prometteuse afin de fournir des services de navigation aux utilisateurs de l'Aviation Civile. Ces dernières années, le GNSS est devenu l'un des moyens de navigation de référence, son principal avantage étant sa couverture mondiale. Cette tendance globale est visible à bord des avions civils puisqu'une majorité d'entre eux est désormais équipée de récepteurs GNSS. Cependant, les exigences de l'Aviation Civile sont suffisamment rigoureuses et contraignantes en termes de précision de continuité, de disponibilité et d'intégrité pour que les récepteurs GPS seuls ne puissent être utilisés comme unique moyen de navigation. Cette réalité a mené à la définition de plusieurs architectures visant à augmenter les constellations GNSS. Nous pouvons distinguer les SBAS (Satellite Based Augmentation Systems), les GBAS (Ground Based Augmentation Systems), et les ABAS (Aircraft Based Augmentation Systems). Cette thèse étudie le comportement de l'erreur de position en sortie d'architectures de récepteur qui ont été identifiées comme étant très prometteuses pour les applications liées à l'Aviation Civile. / Since many years, civil aviation has identified GNSS as an attractive mean to provide navigation services for every phase of flight due to its wide coverage area. However, to do so, GNSS has to meet relevant requirements in terms of accuracy, integrity, availability and continuity. To achieve this performance, augmentation systems have been developed to correct the GNSS signals and to monitor the quality of the received Signal-In-Space (SIS). We can distinguish GBAS (Ground Based Augmentation Systems), ABAS (Airborne Based Augmentation Systems) SBAS (Satellite Based Augmentation Systems). In this context, the aim of this study is to characterize and evaluate the GNSS position error of various positioning solutions which may fulfil applicable civil aviation requirements for GNSS approaches. In particular, this study focuses on two particular solutions which are: • Combined GPS/GALILEO receivers augmented by RAIM where RAIM is a type of ABAS augmentation. This solution is a candidate to provide a mean to conduct approaches with vertical guidance (APV I, APV II and LPV 200). • GPS L1 C/A receivers augmented by GBAS. This solution should allow to conduct precision approaches down to CAT II/III, thus providing an alternative to classical radio navigation solutions such as ILS. This study deals with the characterization of the statistics of the position error at the output of these GNSS receivers. It is organised as following. First a review of civil aviation requirements is presented. Then, the different GNSS signals structure and the associated signal processing selected are described. We only considered GPS and GALILEO constellations and concentrated on signals suitable for civil aviation receivers. The next section details the GNSS measurement models used to model the measurements made by civil aviation receivers using the previous GNSS signals. The following chapter presents the GPS/GALILEO and RAIM combination model developed as well as our conclusions on the statistics of the resulting position error. The last part depicts the GBAS NSE (Navigation System Error) model proposed in this report as well as the rationales for this model.
|
85 |
Geometric reasoning planning in the context of Human-Robot Interaction / Raisonnement et planification géométrique dans le contexte de l'intéraction Homme-RobotGharbi, Mamoun 16 September 2015 (has links)
Au cours des dernières années, la communauté robotique s'est largement intéressée au domaine de l'interaction homme-robot (HRI). Un des aspects de ce domaine est de faire agir les robots en présence de l'homme, tout en respectant sa sécurité ainsi que son confort. Pour atteindre cet objectif, un robot doit planifier ses actions tout en prenant explicitement en compte les humains afin d'adapter le plan à leurs positions, leurs capacités et leurs préférences. La première partie de cette thèse concerne les transferts d'objets entre humains et robots : où, quand et comment les effectuer? Dépendant des préférences de l'Homme, il est parfois préférable, ou pas, partager l'effort du transfert d'objet entre lui et le robot, mais encore, à certains moments, un seul transfert d'objet n'est pas suffisant pour atteindre l'objectif (amener l'objet à un agent cible), le robot doit alors planifier une séquence de transfert d'objet entre plusieurs agents afin d'arriver à ses fins. Quel que soit le cas, pendant le transfert d'objet, un certain nombre de signaux doivent être échangés par les deux protagonistes afin de réussir l'action. Un des signaux les plus utilisés est le regard. Lorsque le donneur tend le bras afin de transférer l'objet, il doit regarder successivement le receveur puis l'objet afin de faciliter le transfert. Le transfert d'objet peut être considéré comme une action de base dans un plan plus vaste, nous amenant à la seconde partie de cette thèse qui présente une formalization de ce type d'actions de base" et d'actions plus complexes utilisant des conditions, des espaces de recherche et des contraintes. Cette partie rend aussi compte du framework et des différents algorithmes utilisés pour résoudre et calculer ces actions en fonction de leur description. La dernière partie de la thèse montre comment ce framework peut s'adapter à un planificateur de plus haut niveau (un planificateur de tâches par exemple) et une méthode pour combiner la planification symbolique et géométrique. Le planificateur de tâches utilise des appels à des fonctions externes lui permettant de vérifier la faisabilité de la tâche courante, et en cas de succès, de récupérer l'état du monde fourni par le raisonneur géométrique et de l'utilisé afin de poursuivre la planification. Cette partie montre également différentes extensions de cette algorithme, tels que les \validation géométriques" où nous testons l'infaisabilité de plusieurs actions à la fois ou \les contraintes" où l'ajout de contraintes au niveau symbolique peut dirigée la recherche géométrique ou encore \recherche dirigé par coût" où le planificateur symbolique utilise les informations fournies par la partie géométrique afin d'éviter le calcul de plans moins intéressants. / In the last few years, the Human robot interaction (HRI) field has been in the spotlight of the robotics community. One aspect of this field is making robots act in the presence of humans, while keeping them safe and comfortable. In order to achieve this, a robot needs to plan its actions while explicitly taking into account the humans and adapt its plans to their whereabouts, capacities and preferences. The first part of this thesis is about human-robot handover: where, when and how to perform them? Depending on the human preferences, it may be better, or not, to share the handover effort between him and the robot, while in other cases, a unique handover might not be enough to achieve the goal (bringing the object to a target agent) and a sequence of handovers might be needed. In any case, during the handover, a number of cues should be used by both protagonists involved in one handover. One of the most used cue is the gaze. When the giver reaches out with his arm, he should look at the object, and when the motion is finished, he should look at the receiver's face to facilitate the transfer. The handover can be considered as a basic action in a bigger plan. The second part of this thesis reports about a formalization of these kind of basic actions" and more complex ones by the use of conditions, search spaces and restraints. It also reports about a framework and different algorithms used to solve and compute these actions based on their description. The last part of the thesis shows how the previously cited framework can fit in with a higher level planner (such as a task planner) and a method to combine a symbolic and geometric planner. The task planner uses external calls to the geometric planner to assess the feasibility of the current task, and in case of success, retrieve the state of the world provided by the geometric reasoner and use it to continue the planning. This part also shows different extensions enabling a faster search. Some of these extensions are \Geometric checks" where we test the infeasibility of multiple actions at once, \constraints" where adding constraints at the symbolic level can drive the geometric search, and \cost driven search" where the symbolic planner uses information form the geometric one to prune out over costly plans.
|
86 |
Évaluation non destructive des structures en béton armé : étude de la variabilité spatiale et de la combinaison des techniques / Nondestructive evaluation of reinforced concrete structures : study of the spatial variability and the combination of techniquesNguyen, Ngoc tan 27 June 2014 (has links)
Les budgets alloués aux réparations des ouvrages et du patrimoine bâti ont atteint un niveau important. Une démarche scientifique est donc réfléchie pour réduire ces budgets par la mise en place d’outils visant à optimiser et fiabiliser le diagnostic structural des ouvrages. Les méthodes de contrôle non destructif (CND) constituent l’une des voies adaptées. Ces techniques reposent sur des principes physiques bien connus et les sociétés de service en proposent aujourd’hui un emploi courant, mais de nombreux verrous subsistent. Les deux besoins majeurs des gestionnaires d’ouvrages sont celui de l’optimisation de la stratégie de reconnaissance (où mesurer ? en combien de points ? avec quelle(s) techniques(s) et quelle précision ?) et celui de la quantification des propriétés mécaniques des matériaux ou des indicateurs de durabilité telles que la résistance à la compression, l’épaisseur carbonatée, le taux d’humidité. La question est comment déduire ces propriétés et ces indicateurs des mesures faites ? Et quelles sont la précision et la fiabilité de l’évaluation ?Cette thèse s’inscrit dans le cadre de deux projets nationaux de recherche : le projet ACDC-C2D2 et le projet ANR EvaDéOS. L’objectif principal est d’analyser la variabilité issue du CND pour ensuite remonter à la variabilité spatiale des bétons en conditions réelles. Les techniques de CND considérées sont choisies parmi les plus complémentaires : radar, résistivité électrique, ultrasons et rebond (scléromètre). Les résultats sont obtenus à partir d’une large campagne expérimentale effectuée sur des dalles d’un site test et sur deux ouvrages. L’analyse de la variabilité des CND a permis d’évaluer le nombre minimal de mesures nécessaire pour un niveau de confiance souhaité. D’autre part, la corrélation spatiale des données a été modélisée par l’analyse variographique. Les résultats montrent que, dans certain cas, les mesures de CND ne sont pas spatialement indépendantes. Les longueurs de corrélation identifiées dépendent de la propriété mesurée ainsi que du béton de l’ouvrage ausculté. La connaissance de ces longueurs de corrélation est un résultat nouveau qui permettra d’une part de mieux estimer la variabilité spatiale des bétons et d’autre part d’alimenter de manière plus réaliste les calculs fiabilistes des ouvrages. Elle permet également d’identifier un pas d’échantillonnage optimal sur ouvrage dans le cadre du suivi temporel ou pour effectuer des analyses complémentaires (ex. carottage, CND complémentaire ou plus fiable) et de représenter au mieux la cartographie spatiale des propriétés du béton.Dans le cadre du projet de recherche ANR EvaDéOS, les effets de la carbonatation et des gradients de teneur en eau (gradient d’humidité) sur les techniques CND ont été étudiés. Ce travail a pour objectifs d’étudier la sensibilité des techniques de CND à évaluer ces deux indicateurs de durabilité ainsi que leur impact sur la variabilité des mesures de CND. En laboratoire, des campagnes expérimentales ont été réalisées sur corps d’épreuve ayant différentes profondeurs de carbonatation ou des gradients d’humidité. L’effet de la carbonatation a été quantifié pour certains observables : résistivité électrique, vitesse ultrasonore et rebond. En ce qui concerne la variabilité des mesures de CND, l’effet de la carbonatation est seulement notable dans le cas du béton saturé, en particulier pour la variabilité locale de la résistivité électrique et du rebond. Cet effet reste faible par rapport à l’effet du degré de saturation. Les premiers résultats montrent également que les mesures de la résistivité électrique permettraient de suivre des gradients d’humidité dans le béton. / The budgets assigned to the repair of structures and built heritage have reached an alarming level. A scientific approach is needed to reduce these budgets by implementing tools for a more reliable and optimal assessment of existing structures. Non-destructive testing (NDT) techniques constitute one of approaches adapted to real conditions. These techniques are based on well-known physical principles. Many companies offer their services in NDT domain today but many challenges remain. The two particular needs of structure managers are the optimization of the assessment strategy (where to measure? how many testing points? what technique(s) and what precision?) and the quantification of mechanical properties of materials or durability indicators such as the compressive strength, the carbonation depth, the moisture content. The questions are how to estimate these properties from measurements performed, and what are the accuracy and reliability of the evaluation?This thesis is part of two French research projects: ACDC-C2D2 and ANR EVaDéOS. The main objective is to analyze the variability of non-destructive testing (NDT) measurements for assessing the spatial variability of concrete in real conditions. NDT techniques considered are chosen as being complementary: radar, electrical resistivity, ultrasonic, rebound hammer. The results are obtained from a wide campaign of measurements, which was performed on concrete slabs of a testing site and on two existing structures. The analysis of the NDT variability makes it possible to assess the necessary minimum number of measurements for a desired level of confidence. Furthermore, the spatial correlation of the data was modeled using the variogram analysis. In some cases, the results show that NDT measurements are not spatially independent. The correlation lengths identified depend on the measured property and the concrete of the structure inspected. They are a new result, which will provide on one hand a better evaluation of spatial variability of concrete and on the other hand a more realistic input of reliability calculations of structures. The correlation length allows also the identification of an optimal sampling distance on existing structure within the monitoring time or the implementation of additional analyses (eg. core, complementary or more reliable NDT) and a better representation of the spatial mapping of concrete properties.Within the framework of the ANR EvaDéOS research project, the effects of carbonation and of moisture gradients on NDT measurements were studied. This work aims to study the sensitivity of NDT techniques for assessing these two durability indicators and their impact on the variability of NDT measurements. In laboratory, the experimental surveys were carried out on testing specimens having different depths of carbonation or moisture gradients. The effect of carbonation was quantified for several parameters: electrical resistivity, ultrasonic pulse velocity and rebound hammer. With respect to the variability of NDT measurements, the effect of carbonation is only significant in the case of saturated concrete, in particular for the local variability of electrical resistivity and rebound hammer. This effect is weak in comparison with the effect of saturation degree. The first results show also that the measurements of electrical resistivity would follow moisture gradients in concrete.
|
87 |
Système laser de haute-puissance pour le projet Advanced Virgo : les amplificateurs à fibre combinés de façon cohérente / High-power laser system for Advanced Virgo gravitational wave detector : coherently combined master oscillator fiber power amplifiersWei, Li-Wei 03 December 2015 (has links)
Virgo est un interféromètre de Michelson dont les bras contiennent des cavités Fabry-Perot. Il a été construit pour détecter directement les ondes gravitationnelles. Le projet Advanced Virgo est une amélioration majeure de Virgo pour atteindre une sensibilité encore plus élevée avec laquelle la détection des ondes gravitationnelles deviendra probable. On prévoit un système laser mono-fréquence de 175 Watts de puissance optique présentant des stabilités accrues pour le bruit relatif de puissance et pour le bruit de fréquence. Ce travail de thèse a pour objet la réalisation de ce système laser de haute-puissance et de haute-stabilité basée sur l'utilisation d'amplificateurs à fibre combinés de façon cohérente. Des amplificateurs à fibre disponibles dans le commerce sont caractérisés en termes de qualité de faisceau, de bruit de puissance, de bruit de fréquence, de stabilité de pointé du faisceau, et également en terme de stabilité à long terme sur quelques milliers d'heures. On implémente l'interférométrie de Mach-Zehnder pour la combinaison cohérente de faisceaux. Les techniques de caractérisation de faisceaux laser sont aussi développées en considérant leurs limites ultimes. Hormis un déficit de puissance optique, le système laser développé dans cette étude sur la base de la combinaison cohérente de Master Oscillator Fiber Power Amplifiers, remplit les conditions posées par Advanced Virgo. / Virgo is a cavity-enhanced Michelson interferometer built for the direct detection of gravitational waves. The Advanced Virgo project consists of major upgrades to the Virgo gravitational wave detector for an order of magnitude improvement in differential strain sensitivity, one of which is the tenfold increase in injected laser power to 175 Watts. The use of fiber laser amplifiers and their coherent combination are foreseen to deliver the required high-power low-noise beam. In this thesis work, we review the laser requirements for gravitational wave detectors, introduce the design of the laser system for Advanced Virgo, and develop the means for laser characterization in accordance with the stringent noise specifications. We then present the results to date, notably the quasi-continuous long-term operation of two 40-Watt fiber laser amplifiers over thousands of hours and their coherent combination with Mach-Zehnder interferometry. Although the targeted power for Advanced Virgo is not yet attained, the developed system shows decent noise performance and is promising for further power-scaling efforts.
|
88 |
Spécification et conception de services d'analyse de l'utilisation d'un environnement informatique pour l’apprentissage humain / Specification and design of usage analysis services for a tel systemPham Thi Ngoc, Diem 25 November 2011 (has links)
Notre travail de recherche s’inscrit dans le cadre du projet de recherche REDiM (Réingénierie des EIAH Dirigée par les Modèles) qui porte sur la réingénierie d'un scénario pédagogique. Il se focalise plus précisément sur l'analyse de traces collectées en session par un EIAH pour fournir à l'enseignant des indicateurs calculés.Dans notre contexte de travail, UTL (Usage Tracking Language) permet de définir des indicateurs sous une forme proche des patrons de conception. Il a été conçu pour répondre aux questions de capitalisation et de réutilisation. Par contre, UTL ne disposait initialement pas de moyens pour spécifier formellement la façon de calculer l’indicateur à partir des traces collectées. De plus, les approches par développement ad hoc d’indicateurs ne permettent pas de modéliser de façon formelle la méthode de calcul. En général, les patrons de conception se limitent à la description, ils ne peuvent donc pas être automatisés. Des descriptions textuelles dans UTL pour produire un indicateur à partir des traces ne permettent pas de générer automatiquement les valeurs d’un indicateur.Notre principal objectif de recherche a donc été de définir des modèles, des méthodes et des outils pour la formalisation et l’automatisation du calcul d’indicateurs. Pour cela, nous avons élaboré une nouvelle version d’UTL qui intègre un langage de combinaison de données nommé DCL4UTL, qui permet de modéliser des indicateurs sous une forme capitalisable, automatisable et réutilisable afin de fournir des indicateurs signifiants à l’enseignant/concepteur. Ces indicateurs peuvent être calculés en temps réel ou après une session, respectivement dans un contexte de tutorat ou de réingénierie du scénario pédagogique.L'originalité de notre approche réside dans le fait que cette version permet non seulement de capitaliser des savoir-faire sur les techniques d'analyse d'usage d'un EIAH, mais aussi, avec le langage DCL4UTL (1) de décrire formellement dans une forme générique des méthodes de modélisation et de calcul d’indicateurs à partir des traces collectées par un EIAH, (2) d’intégrer des fonctions externes (qui proviennent d’autres outils d’analyse), et (3) de créer des données intermédiaires paramétrées facilitant la modélisation et la réutilisation de la méthode de calcul d’indicateurs. Nous avons également développé un outil d’analyse pour calculer les indicateurs modélisés.Cette version est le résultat d'une étude théorique et d’une analyse de l’état de l’art, mais aussi de travaux exploratoires sur la modélisation d’indicateurs et l’analyse de traces. L’approche et le langage ont été validés par plusieurs expérimentations avec plusieurs EIAH existants. / The research topic of this thesis is a part of the REDIM (model driven re-engineering) research project. It focuses specifically on the analysis of tracks collected during the learning session by a TEL (Technology Enhanced Learning) system in order to provide teachers indicators calculated. In our work environment, UTL (Usage Tracking Language) allows users to define the indicators in a form close to the design patterns. It was designed to response capitalization and reuse questions. However, UTL did not initially have any means to formally specify how to calculate indicators based on tracks collected. In general, design patterns are limited to the description, they cannot be automated. In addition, textual descriptions in UTL to produce indicators from tracks do not allow generating automatically an indicator’s values.Our main research objective was therefore to define models, methods and tools for formalizing and automating the calculation of indicators. We propose an extension for UTL named DCL4UTL (Data Combination Language for UTL) to model indicators in a capitalizable, automatable and reusable form to provide meaningful indicators to teachers/designers. With this new version, the indicators can be calculated in real-time or after a learning session in the context of tutoring actions or the reengineering of learning scenarios, respectively.The originality of our approach (DCL4UTL) lies in the fact that this version not only capitalize know-how on analysis techniques of the use an TEL system, but also (1) formally describe models and calculation methods of indicators from tracks collected by a TEL system, (2) integrate external functions (from other analysis tools), and (3) create parameterized intermediate data facilitating the modeling and reuse of indicators’ calculation method. We have also developed an analysis tool to calculate modeled indicators. Our approach and language have been validated by several experiments with several existent TEL systems.
|
89 |
Caractéristiques cliniques, moléculaires et prise en charge des Rhabdomyosarcomes de l'adulte et identification d'une polythérapie ciblée in vitro / Clinical and Molecular Characteristics and Management of Adults with Rhabdomyosarcoma and Screening of Targeted Polytherapy in vitroDumont, Sarah 19 December 2013 (has links)
Le rhabdomyosarcome de l'adulte est une tumeur rare au pronostic. Le présent travail propose d'étudier les caractéristiques cliniques et moléculaires et la prise en charge des adolescents et adultes atteints de rhabdomyosarcome ainsi que la possibilité de combinaison de thérapie ciblées sur lignées cellulaires in vitro. Nous avons anamysé rétrospectivement 239 patients âgés de 10 ans ou plus, atteints de rhabdomyosarcome au MD Anderson Cancer Center entre 1957 et 2003 et leur statut fusionnel pour PAX-FOXO1 par hybridation in situ en fluorescence. Trois lignées cellulaire de sarcome à petites cellules ont été soumises à des combinaisons de thérapies ciblées avec analyse de la viabilité. Les patients de plus de 50 ans avaient une survie globale à 5 ans de 13 % (médiane de survi à 1.7 ans) en dépit d'une maladie localisée. Approximativement 13 % des patients métastasiques de moins de 50 ans ont eu une survie prolongée de plus de 15 ans. L'utilisation d'une stratégie thérapeutique triple, intégrant chirurgie, chimiothérapie et radiothérapie était signifcativement associée à une survie prolongée. Auniveau molécualire, la présence du transcrit de fusio PAX3/7-FOXO1 était significativement liée à un risque accru de maladie métastatique. L'étude in vitro de thérapies ciblées a permis d'identifier la combinaison du vorinostat plus le 17DMAG associée à la doxorubicine comme ayant une meilleure efficacité. La prise en charge du rhabdomyosarcome de l'adolescent et de l'adulte semble souffrir d'une approche moins agressive comparée au rhabdomyosarcome pédiatrique. De plus, des combianaisons de thérapies ciblées peuvent être intégrées aux protocoles de chimiothérapies standards. / Rhabdomyosarcoma is a rare entity adult patient with unfavourable outcome. This work describes the clinical and molecular specificities of adolescent and adult type of rhabdomyosarcoma and investigates the optimal integration of targetd therapy combinations on small cell sarcoma cell lines in vitro. We retrospectively analyzed 239 patients, 10 years of age and greater, diagonsed withrhabdomyosarcoma at MD Anderson Cancer Center from 1957 trough 2003 and their PAX-FOXO1 fusion gene status by fluorescence in situ hybridization on tissues microarray. Three samll cell sarcoma cell lines were exposed to targetd agent combinations. PAtient with metastatic rhabdomyosarcoma were found to have a 18 % survival rate at 5 years from diagnosis with an 12 %survival past 15 years. This outcome was even poorer for patients over 50 of age, even with localized disease. Younger patients were more likely to receive multidisciplinary therapy than their older counterparts. The presence of PAX-FOXO1 tranlocation was significantly associated with a higher frequency of metastatic disease. The four agents with the exception of abacavir synergized two by two with each other in vitro but the triple combinations did not perform beter than the bitherapies. The dual therapies vorinostat 5HDAC inhibitor) plus 17-DMAG (Hsp90 inhibitor) added with doxorubicin achvied better results than dual or triple therapies. Adult patient with rhabdomyosarcoma present similar molecular and clinical characteristics compared pediatric patients but outcome decrease with age partly du to a less multimodal management. Moreover targeted combinations should be integrated to chemotherapy backbone.
|
90 |
Un cadre algébrique pour le raisonnement qualitatif en présence d'informations hétérogènes : application aux raisonnements multi-échelle et spatio-temporel / An algebraic framework for qualitative reasoning in the presence of heterogeneous information : application to multi-scale and spatio-temporal reasoningCohen-Solal, Quentin 11 December 2017 (has links)
Parmi les différentes formes de raisonnement étudiées dans le contexte de l'intelligence artificielle, le raisonnement qualitatif permet d'inférer de nouvelles connaissances dans le contexte d'informations imprécises, incomplètes et dépourvues de valeurs numériques. Il permet par exemple de déduire de nouvelles informations à partir d'un ensemble d'informations spatiales telles que « la France est frontalière de l'Allemagne », « la Suisse est à l'est de la France », « l'Italie est en Europe » et « le Luxembourg est proche de la France ». Il peut également être utilisé pour résoudre des abstractions de problèmes quantitatifs difficiles à résoudre, afin par exemple d'accélérer la résolution de ces problèmes.De nombreux formalismes de raisonnement qualitatif ont été proposés dans la littérature. Ils ne se focalisent cependant que sur un seul aspect du monde, alors que la majorité des applications requièrent la prise en compte d'informations hétérogènes. Afin de répondre à ces besoins, plusieurs combinaisons et extensions de formalismes qualitatifs, comme le raisonnement spatio-temporel et le raisonnement multi-échelle, ont récemment été proposées dans la littérature. Le raisonnement spatio-temporel permet de raisonner dans le contexte d'informations spatiales et temporelles interdépendantes. Le raisonnement multi-échelle permet de raisonner avec des informations de précisions différentes, et en particulier de lever des incohérences apparentes.Dans cette thèse, nous nous intéressons au raisonnement multi-échelle, au raisonnement spatio-temporel et aux combinaisons de formalismes qualitatifs.Nous proposons d'étendre le raisonnement qualitatif temporel multi-échelle pour prendre en compte le fait que les intervalles de temps peuvent être perçus comme des instants à certaines échelles de précision, de formaliser intégralement ce raisonnement et d'étudier la décision de la cohérence dans ce contexte ainsi que sa complexité. Nous montrons en particulier que ce formalisme permet de décider la cohérence et que le problème de décision de la cohérence est NP-complet, même dans le cas le plus simple.En outre, nous proposons un cadre général permettant de raisonner sur les séquences temporelles d'informations qualitatives, une forme de description spatio-temporelle. Ce cadre permet notamment de raisonner dans le contexte d'évolutions complexes. Par exemple, les entités considérées peuvent avoir des caractéristiques préservées au cours du temps, évoluer de manière dépendante les unes par rapport aux autres, tout en ayant un comportement potentiellement irréversible et différent selon leur nature. De plus, dans ce cadre, le raisonnement est plus performant computationnellement que les approches de l'état de l'art. Nous étudions en particulier la décision de la cohérence dans le contexte spécifique de régions mobiles de taille constante, et montrons que ce cadre permet effectivement de décider la cohérence.De surcroît, nous proposons un cadre formel unifiant plusieurs formes d'extensions et de combinaisons de formalismes qualitatifs, incluant le raisonnement multi-échelle et les séquences temporelles. Ce cadre permet de raisonner dans le contexte de chacune de ces combinaisons et extensions, mais également d'étudier de manière unifiée la décision de la cohérence et sa complexité. Nous établissons en particulier deux théorèmes complémentaires garantissant que la décision de la cohérence est polynomiale, et nous les utilisons pour prouver que plusieurs fragments de séquences temporelles sont traitables.Nous généralisons également la définition principale de formalisme qualitatif afin d'inclure des formalismes qualitatifs exclus des définitions de la littérature, importants dans le cadre des combinaisons. / In this thesis, we are interested in qualitative multi-scale reasoning, qualitative spatio-temporal reasoning and combinations of qualitative formalisms.We propose to extend the multiscale temporal reasoning to take into account the fact that time intervals can be perceived as instants at certain scales of precision, to fully formalize this reasoning and to study its consistency problem. We show in particular that this formalism decides consistency and that the consistency problem is NP-complete, even in the simplest case.In addition, we propose a general framework for reasoning on temporal sequences of qualitative information, a form of spatio-temporal description. This framework allows for reasoning in the context of complex evolutions. For example, the considered entities may have characteristics preserved over time, evolve in a dependent manner with respect to each other, while having a potentially irreversible and different behavior depending on their nature. Moreover, in this context, reasoning is computationally more efficient than state-of-the-art approaches. In particular, we study the consistency problem in the specific context of constant-size moving regions, and show that this framework actually decides consistency.Furthermore, we propose a formal framework unifying several forms of extensions and combinations of qualitative formalisms, including multi-scale reasoning and temporal sequences. This framework allows one to reason in the context of each of these combinations and extensions, but also to study in a unified way the consistency problem. In particular, we establish two complementary theorems guaranteeing that the consistency problem is polynomial, and we use them to prove that several fragments of temporal sequences are tractable.
|
Page generated in 0.0487 seconds