• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 72
  • 25
  • 13
  • 1
  • 1
  • Tagged with
  • 110
  • 56
  • 22
  • 20
  • 15
  • 12
  • 11
  • 11
  • 11
  • 11
  • 10
  • 10
  • 9
  • 9
  • 9
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
91

Communication chimique et régulations sociales dans la colonie d'abeilles (apis mellifera L.)

Maisonnasse, Alban 07 December 2010 (has links) (PDF)
La colonie d'abeille (Apis mellifera L.) est une société complexe où les individus interagissent entre eux, notamment par le biais de phéromones. L'étude de cette communication chimique est indispensable à la compréhension des régulations sociales mises en place dans la colonie. Chez l'abeille, plus de 50 substances chimiques avec des effets incitateurs ou modificateurs sur la colonie ont été identifiées. Malgré ces découvertes, de nombreux travaux sont à accomplir pour mieux comprendre ce système de communication particulier.La problématique de cette thèse vise à caractériser l'histoire de vie d'une phéromone majeure l'Oléate d'Ethyle (EO), qui permet d'optimiser l'équilibre nourrices / butineuses dans la colonie. Parallèlement, d'autres recherches ont été entreprises, notamment l'étude de la communication chimique de la reine et du couvain, chez qui seulement deux phéromones ont été identifiées avec des effets pléiotropiques dans la colonie.Nos résultats ont mis en évidence une production variable d'EO par les ouvrières, en fonction de l'environnement de la colonie. La production de cette molécule chimique dans la colonie peut également être modifiée par un stress : des abeilles parasitées par du Nosema spp. ont une production anormalement élevée d'EO. En outre, cette molécule phéromonale est transmise des butineuses vers les nourrices par contact cuticulaire et par le pollen.Pour la compréhension de la communication entre la reine et les ouvrières, nos résultats montrent que la reine utilise d'autres composés phéromonaux puissant en redondance de la QMP pour orienter la construction de cire, le phénomène de cour et l'inhibition des ovaires des ouvrières.Chez le couvain, nous avons identifié un composé phéromonal volatil, le E-ß-ocimène, produit majoritairement par les jeunes larves, inhibant le développement des ovaires des ouvrières et accélérant leur maturation comportementale.Ces études nous ont permis d'avoir une connaissance plus précise de la communication chimique au sein de la colonie. Ainsi nous expliquons par deux théories le rôle de la complexité et de la redondance phéromonale de la colonie d'abeilles
92

Sélection de paramètres acoustiques pertinents pour la reconnaissance de la parole

Hacine-Gharbi, Abdenour 09 December 2012 (has links) (PDF)
L'objectif de cette thèse est de proposer des solutions et améliorations de performance à certains problèmes de sélection des paramètres acoustiques pertinents dans le cadre de la reconnaissance de la parole. Ainsi, notre première contribution consiste à proposer une nouvelle méthode de sélection de paramètres pertinents fondée sur un développement exact de la redondance entre une caractéristique et les caractéristiques précédemment sélectionnées par un algorithme de recherche séquentielle ascendante. Le problème de l'estimation des densités de probabilités d'ordre supérieur est résolu par la troncature du développement théorique de cette redondance à des ordres acceptables. En outre, nous avons proposé un critère d'arrêt qui permet de fixer le nombre de caractéristiques sélectionnées en fonction de l'information mutuelle approximée à l'itération j de l'algorithme de recherche. Cependant l'estimation de l'information mutuelle est difficile puisque sa définition dépend des densités de probabilités des variables (paramètres) dans lesquelles le type de ces distributions est inconnu et leurs estimations sont effectuées sur un ensemble d'échantillons finis. Une approche pour l'estimation de ces distributions est basée sur la méthode de l'histogramme. Cette méthode exige un bon choix du nombre de bins (cellules de l'histogramme). Ainsi, on a proposé également une nouvelle formule de calcul du nombre de bins permettant de minimiser le biais de l'estimateur de l'entropie et de l'information mutuelle. Ce nouvel estimateur a été validé sur des données simulées et des données de parole. Plus particulièrement cet estimateur a été appliqué dans la sélection des paramètres MFCC statiques et dynamiques les plus pertinents pour une tâche de reconnaissance des mots connectés de la base Aurora2.
93

Interactions multimodales visuelles et tactiles dans l’espace

Girard, Simon 11 1900 (has links)
L’intégration de stimulations provenant de modalités sensorielles différentes nous offre des avantages perceptifs tels qu’une meilleure discrimination et une accélération des temps de réponse (TR) face aux évènements environnementaux. Cette thèse a investigué les effets de la position spatiale de stimulations visuelles et tactiles sur le gain de redondance (GR), qui correspond à une réduction du temps de réaction lorsque deux stimulations sont présentées simultanément plutôt qu’isolément. La première étude a comparé le GR lorsque les mêmes stimulations visuotactiles sont présentées dans une tâche de détection et une tâche de discrimination spatiale. Les stimulations étaient présentées unilatéralement dans le même hémichamp ou bilatéralement dans les hémichamps opposés. Dans la tâche de détection, les participants devaient répondre à toutes les stimulations, peu importe leur localisation. Les résultats de cette tâche démontrent que les stimulations unilatérales et bilatérales produisent un GR et une violation du modèle de course indissociables. Dans la tâche de discrimination spatiale où les participants devaient répondre seulement aux stimulations présentées dans l’hémichamp droit, les TR aux stimulations bilatérales étaient moins rapides. Nous n’avons pas observé de différence entre le GR maximal obtenu dans l’une ou l’autre des tâches de cette étude. Nous concluons que lorsque l’information spatiale n’est pas pertinente pour accomplir la tâche, les stimulations unilatérales et bilatérales sont équivalentes. La manipulation de la pertinence de l’information spatiale permet donc d’induire une altération du GR en fonction de la localisation des stimulations. Lors d’une seconde étude, nous avons investigué si la différence entre les gains comportementaux résultants de l’intégration multimodale et intramodale dépend de la configuration spatiale des stimulations. Les résultats montrent que le GR obtenu pour les conditions multimodales surpasse celui obtenu pour les stimulations intramodales. De plus, le GR des conditions multimodales n’est pas influencé par la configuration spatiale des stimulations. À l’opposé, les stimulations intramodales produisent un GR plus important iii lorsque les stimulations sont présentées bilatéralement. Nos résultats suggèrent que l’intégration multimodale et intramodale se distinguent quant au GR qu’ils produisent et quant aux conditions nécessaires à cette amélioration. La troisième étude examine le rôle du corps calleux (CC) dans l’observation du GR obtenu pour les stimulations multimodales et intramodales lorsque celles-ci sont présentées unilatéralement et bilatéralement. Quatre patients ayant une agénésie congénitale du corps calleux (AgCC) et un patient callosotomisé ont été comparés à des individus normaux dans une tâche de détection. Dans l’ensemble, les résultats suggèrent que le CC n’est pas nécessaire pour l’intégration interhémisphérique de stimulations multimodales. Sur la base d’études précédentes démontrant le rôle des collicules supérieurs (CS) dans l’intégration multimodale, nous concluons qu’en l’absence du CC, les bénéfices comportementaux résultants d’un traitement sous-cortical par les CS ne reflètent pas les règles d’intégration observées dans les études neurophysiologiques chez l’animal. / The integration of stimuli from the same or different modalities offers many benefits such as enhanced discrimination and accelerated reaction to objects. This thesis investigates the effects of stimuli’s spatial location on the redundancy gain (RG) obtained with cross-modal and within-modal stimulations. The RG is a decrease in reaction times (RT) when two or more stimuli are presented simultaneously rather than a single stimulation. The first study investigated cross-modal visuo-tactile integration in a single reaction time task and a choice reaction time task. Each unisensory stimulus was presented to either the left or right hemispace, and multisensory stimuli were presented in a unilateral (e.g. visual right/tactile right) or bilateral configuration (e.g. visual right/tactile left). The first task was a simple reaction time (SRT) paradigm where participants had to responded to all stimulations, irrespective of spatial position. Results showed that multisensory gain and coactivation were the same for spatially aligned and misaligned visuotactile stimulations. In the second task, a choice reaction time (CRT) paradigm where participants responded to rightsided stimuli only, bilateral stimuli yielded slower reaction times. No difference in multisensory gain was found between the SRT and CRT tasks for unilateral stimulations. Overall, the results suggest that when spatial information is task-irrelevant, multisensory integration of unilateral and bilateral stimuli is equivalent. However, manipulating task requirements can alter this effect. In the second study, we investigated if the behavioral enhancements resulting from within-modal and cross-modal integration depend on the spatial congruency of the redundant stimuli. Results show that the redundancy gains (RG) obtained from the cross-modal conditions were far greater than those obtained from combinations of two visual or two tactile targets. Moreover, we found that the spatial alignment of the targets did not influence the RG obtained in cross-modal conditions, whereas within-modal stimuli produced a greater RG when the targets where delivered in separate hemispaces. These results suggest that within-modal and cross-modal integration are not only distinguishable by the amount of facilitation they produce, but also by the spatial configuration under which this facilitation occurs. The third study examines the role of the corpus callosum (CC) in mediating the RG observed for unilateral and bilateral cross-modal integration. Using a simple detection task, we tested four congenitally acallosal and one callosotomized individuals. No significant difference between congenitally acallosal individuals and controls were found for unilateral within-modal conditions or for multisensory conditions. Overall, these results demonstrate that the CC in not required to integrate cross-modal information across hemispheres and that intrahemispheric processing is preserved in acallosal individuals. Based on previous studies demonstrating the role of the superior colliculus in multisensory integration, our results suggest that in the absence of the CC, the behavioral benefit resulting from subcortical processing by the superior colliculus does not reflect the neurophysiological constraints of multisensory integration.
94

Amélioration par la gestion de redondance du comportement des robots à structure hybride sous sollicitations d’usinage / Improvement by the management of redundancy of the behavior of robots with hybrid structure under machining load

Cousturier, Richard 30 November 2017 (has links)
Les robots industriels ont évolué fondamentalement ces dernières années pour répondre aux exigences industrielles de machines et mécanismes toujours plus performants. Ceci se traduit aujourd’hui par de nouveaux robots anthropomorphes plus adaptés laissant entrevoir la réalisation de tâches plus complexes et soumis à de fortes sollicitations comme durant l’usinage. L’étude du comportement des robots anthropomorphes, à structures parallèles ou hybrides montre une anisotropie aussi bien cinématique, que dynamique, impactant la précision attendue. Ces travaux de thèse étudient l’intégration des redondances cinématiques qui permettent de pallier en partie ce problème en positionnant au mieux la tâche à réaliser dans un espace de travail compatible avec les capacités attendues. Ces travaux ont permis d’améliorer notre outil d’optimisation et de le tester à la fois sur un modèle Eléments Finis du robot et sur le robot réel. Ainsi, ces travaux de thèse apportent des contributions à : - la définition de critères adaptés à la réalisation de tâches complexes et sollicitantes pour la gestion des redondances cinématiques ; - l’identification du comportement des structures sous sollicitations par moyen métrologique (Laser tracker) ; - l’optimisation du comportement permettant l’amélioration de la qualité de réalisation des opérations d’usinage ; - la modélisation Eléments Finis des robots prenant en compte l’identification des rigidités des corps et articulaires. / Industrial robots have evolved fundamentally in recent years to reach the industrial requirements. We now find more suitable anthropomorphic robots leading to the realization of more complex tasks like deformable objects cutting such as meat cutting or constrained to high loading like during machining. The behavior study of anthropomorphic robots, parallel or hybrid one highlights a kinematic and dynamic anisotropy, which impacts the expected accuracy.This thesis studied the integration of the kinematic redundancy that can partially overcome this problem by well setting the task to achieve it in a space compatible with the expected capacity.This work helped us to improve our optimization tool and to try it on both FE model of the robot and real robot.Thus, the thesis makes contributions to: - the definition of criteria adapted to the realization of complex and under high loading task for the management of the kinematic redundancy; - the structural behavior identification, under loading, by metrology tools (Laser tracker) ; - the behavior optimization to improve the cutting process quality during machining ; - robots finite elements modeling using stiffness identification for both bodies and joints.
95

Optimisation de l’architecture de systèmes embarqués par une approche basée modèle / Architecture Optimization of Embedded Systems with a Model Based Approach

Leserf, Patrick 02 May 2017 (has links)
L’analyse de compromis d’un modèle système a pour but de minimiser ou de maximiser différents objectifs tels que le coût ou les performances. Les méthodes actuelles de type OOSEM avec SysML ou ARCADIA sont basées sur la classification ; il s’agit de définir les différentes variantes de l’architecture d’un système de base puis d’analyser ces variantes. Dans ces approches, les choix d’architecture sont contraints : la plateforme d’exécution et la topologie sont déjà figées. Nous proposons la notion de « points de décision » pour modéliser les différents choix du système, en utilisant de nouveaux stéréotypes. L’avantage est d’avoir une modélisation plus « compacte » des différentes variantes et de piloter l’exploration des variantes en utilisant des contraintes. Lorsque le concepteur définit l’architecture du système, des points de décisions sont insérés dans le modèle du système. Ils permettent de modéliser la redondance ou le choix d’une instance pour un composant, les variations des attributs d’un composant, ou l’allocation des activités sur les blocs. Les fonctions objectifs sont définies dans un contexte d’optimisation à l’aide du diagramme paramétrique de SysML. Nous proposons des transformations du modèle SysML vers un problème de satisfaction de contraintes pour l’optimisation (CSMOP) dont la résolution nous permet d’obtenir l’ensemble des architectures optimales. Cette transformation est implantée dans un démonstrateur (plug-in Eclipse) permettant une utilisation conjointe de l’outil Papyrus et de solveurs, disponibles sous forme de logiciels libres. La méthode est illustrée avec des cas d’étude constitués d’une caméra stéréoscopique puis d’un drone, l’ensemble étant modélisé avec Papyrus. / Finding the set of optimal architectures is an important challenge for the designer who uses the Model-Based System Engineering (MBSE). Design objectives such as cost, performance are often conflicting. Current methods (OOSEM with SysML or ARCADIA) are focused on the design and the analysis of a particular alternative of the system. In these methods, the topology and the execution platform are frozen before the optimization. To improve the optimization from MBSE, we propose a methodology combining SysML with the concept of “decision point”. An initial SysML model is complemented with “decisions points” to show up the different alternatives for component redundancy, instance selection and allocation. The constraints and objective functions are also added to the initial SysML model, with an optimiza-tion context and parametric diagram. Then a representation of a constraint satisfaction problem for optimization (CSMOP) is generated with an algorithm and solved with an existing solver. A demonstrator implements this transformation in an Eclipse plug-in, combining the Papyrus open-source tool and CSP solvers. Two case studies illustrate the methodology: a stereoscopic camera sensor module and a mission controller for an Unmanned Aerial Vehi-cle (UAV).
96

Modélisation et commande d'un système innovant pour la propulsion navale / Modeling, optimization by control strategies of an innovative system for naval propulsion

Debbou, Mustapha 03 June 2014 (has links)
Les travaux menés durant cette thèse s'intéressent principalement aux avantages que peut offrir la machine asynchrone à double alimentation (MADA) dans un système de propulsion navale. Ceci est obtenu à travers les degrés de libertés additionnels qu'elle apporte, d'une part, par l'exploitation de la redondance structurelle naturelle, et d'autre part , par les stratégies de contrôle qui lui sont appliquées. La première partie de ce mémoire, présente la modélisation du propulseur innovant. Ce dernier est conçu principalement autour de la MADA comme moteur de propulsion. Il est alimenté par deux onduleurs de tension à Modulation de Largeur d'Impulsion (MLI), et entrainant une hélice à trois pales fixes et symétriques. Plusieurs stratégies de commande ont été introduites pour piloter le système. En effet, des lois de contrôle de type linéaires et non linéaires, associées à des divers modulateurs MLI ont été validées et appliquées à cette structure de propulsion. L'innovation apportée dans le cadre de ces travaux consiste à associer à l'optimisation par conception (machine et convertisseurs d'alimentation), une optimisation par la commande et ce en évaluant l'influence de ces techniques pour deux critères de dimensionnement majeurs, à savoir, les pertes dans les convertisseurs de puissances, et les bruits acoustiques et vibratoires. La propulsion navale, comme tout système embarqué, possède des exigences en matière de qualité de service non seulement en termes de performances mais aussi de fiabilité et de disponibilité. En effet, les systèmes conçus pour ce type d'application doivent assurer et garantir une continuité de service en cas d'apparition de défauts au sein des constituants du système. L'utilisation de la MADA dans les systèmes de propulsion offre une redondance structurelle naturelle et analytique, introduite par la commande, qui permet d'assurer une continuité de service du système en présence d'une défaillance dans la structure. Deux défauts sont ainsi considérés dans cette étude, un défaut de semi-conducteur de puissance dans le convertisseur de puissance et un défaut de capteur vitesse/position. Les stratégies de contrôle proposées, les modèles de propulseur établis ainsi que les reconfigurations adoptées suite aux défauts ont été validées expérimentalement sur les bancs développés au LAPLACE dans le cadre de ces travaux. / This study focuses on the benefits that can be induced by the use of the Double Fed Induction Machine (DFIM) operating in motor mode for marine propulsion systems. It can be achieved by the additional degree of freedom it provides, firstly, by exploiting the natural structural redundancy, and secondly, by the alytical redundancy introduced by applied control strategies. The first part of this thesis presents the modeling of a propeller architected mainly around the DFIM and its load such as a propeller with three fixed and symmetrical blades. Several control strategies have been introduced to control the system, in fact, linear and nonlinear control laws type associated with various modulators have been validated and applied to the propulsion structure. The objective was to evaluate the influence of these techniques for two major design criteria, namely, losses in power converters, and noise and vibration noise. Naval propulsion as any embedded system has requirements for the quality of service not only in performance but also reliability and availability. Indeed, the systems designed for these types of applications must ensure and guarantee continuity of service in response to the failures in system components. The use of MADA in propulsion systems provides a natural structural and analytical redundancies which ensure system service continuity in the presence of a fault in this structure. Two faults are considered in this study, a power semiconductor fault in the power converter and a speed sensor / position failure. Control strategies proposed, the propeller modeling established and reconfigurations adopted following settings have been validated by simulation and experimentally on the real laboratory or industrial benches developed in the context of this study.
97

Comment les plantes répondent et s'adaptent aux changements climatiques : étude aux marges froides (subantarctique) / How do plants respond and adapt to climate change ? Study at cold margins (sub-Antarctic)

Labarrere, Bastien 16 January 2017 (has links)
Le potentiel adaptatif d’une espèce peut être défini par sa capacité à faire face aux changements environnementaux. Le potentiel adaptatif augmente avec la variation du phénotype, du niveau intra-individuel au niveau inter-populations. Cependant, les facteurs qui contrôlent et expliquent cette variation phénotypique sont encore relativement peu compris. Nous avons étudié quatre espèces végétales des îles Kerguelen, en subantarctique, une des régions les plus sévèrement affectée par le changement climatique. Les espèces végétales des îles Kerguelen montrent un fort degré d’intégration phénotypique (i.e. forte corrélation entre les traits), suggéré comme étant une contrainte pour la variation des traits. Chez ces espèces, nous avons étudié les facteurs qui peuvent contraindre la variation phénotypique : les facteurs environnementaux extrinsèques, l’intégration phénotypique intrinsèque et les coûts associés de performance. Nous avons montré que la variation intra-individuelle, i.e. plasticité, peut être contrainte par la modification simultanée de multiple facteurs environnementaux, et par les coûts de performance qui en résultent. En revanche, la plasticité peut être favorisée par un fort degré d’intégration phénotypique (Chapitre 3). Nous avons montré que la variation interindividuelle, à l’intérieur des populations, n’était pas contrainte par des facteurs environnementaux, mais pouvait cependant être favorisée par un fort degré d’intégration phénotypique (Chapitre 1). Egalement, nous avons trouvé que la variation inter-populations à l’intérieur d’une région peut être contrainte par une variation environnementale limitée (Chapitre 1). Finalement, nous avons étudié des métabolites secondaires (amines et flavonols) qui font le lien entre variation environnementale et variation phénotypique. Nous avons trouvé que la composition et la fonction de ces métabolites varient entre régions, suggérant une différentiation évolutive entre régions (Chapitre 2). Les patrons de variation entre régions, suggèrent au niveau intra-spécifique une redondance et une versatilité fonctionnelle des métabolites, que nous somme, à notre connaissance, les premiers à mettre en évidence. Nous suggérons que le changement climatique des îles Kerguelen va avoir un impact négatif sur la performance des espèces végétales. La persistance d’habitats humides favorables à ces espèces sera alors un facteur déterminant de la capacité des espèces à faire face au changement climatique. De plus, ce projet a permis d’identifier des facteurs jusqu’alors peu reconnus qui pourtant favorisent le potentiel adaptatif des espèces. En particulier, le potentiel adaptatif peut être favorisé par (i) le degré d’intégration phénotypique (contrairement à ce qui est communément suggéré) et (ii) la redondance et la versatilité des métabolites (qui a peu été étudiée jusqu’alors). Qui plus est, nous avons mis en évidence pour la première fois, plusieurs coûts et limites de la plasticité, suggérant qu’une réponse plasticité de la plante n’est pas une garantie de succès dans le nouvel environnement. / The adaptive potential of a species can be defined as its capacity to cope with environmental change. Adaptive potential increases with phenotypic variation, from the intra-individual to the inter-population level, but factors controlling and explaining this variation still remain poorly understood.We studied four plant species from Iles Kerguelen in the sub-Antarctic region which is currently facing one of the strongest climate changes worldwide. Plant species from Iles Kerguelen are known to show high phenotypic integration (i.e. strong correlation among traits), a phenomenon that has been suggested to constrain trait variation. For these species we studied what constrains phenotypic variation, considering the external environment, the internal phenotypic integration and the associated performance costs. We found that intra-individual variation, i.e. plasticity, may be constrained by complex environmental change and the performance costs it triggers. In contrast, plasticity may be favored by high degree of phenotypic integration (Chapter 3). We found that inter-individual variation within populations may not be constrained by environmental factors, but may be favored by high phenotypic integration (Chapter 1). We found inter-population variation within regions may be constrained by restricted environmental variation (Chapter 1). Finally, we studied secondary metabolites (amines and flavonols) that connect environmental variation to phenotypic variation. We found that compositions and functions of these metabolites vary among regions, probably reflecting evolutionary differentiation among regions (Chapter 2). Patterns of variation betweenregions suggest that within species metabolites may be functionally redundant or versatile, for which to our knowledge our results are the first hint. Overall, we suggest that climate change in Kerguelen will impact plant species performance, and that the persistence of suitable wet habitats will be determinant in species capacities to cope with such changes. Furthermore, this project identified so far underestimated factors which may favor the adaptive potential of species. Particularly, we emphasize that the adaptive potential of species may increase due to (i) phenotypic integration, (contrary to common suggestion) and (ii) metabolite redundancy or versatility (only poorly studied so far). Moreover, we evidenced, partly for the first time, multiple costs and limits of plasticity and suggest that plasticity does not guarantee plant success in the new environment.
98

Algorithmic contributions to qualitative constraint-based spatial and temporal reasoning / Contributions algorithmiques au raisonnement spatial et temporel basé sur des contraintes qualitatives

Sioutis, Michaël 24 February 2017 (has links)
Le raisonnement spatial et temporel qualitatif est un domaine principal d’études de l’intelligence artificielle et, en particulier, du domaine de la représentation des connaissances, qui traite des concepts cognitifs fondamentaux de l’espace et du temps de manière abstraite. Dans notre thèse, nous nous focalisons sur les formalismes du domaine du raisonnement spatial et temporel qualitatif représentant les informations par des contraintes et apportons des contributions sur plusieurs aspects. En particulier, étant donnée des bases de connaissances d’informations qualitatives sur l’espace ou le temps, nous définissons des nouvelles conditions de consistance locale et des techniques associées afin de résoudre efficacement les problèmes fondamentaux se posant. Nous traitons notamment du problème de la satisfiabilité qui est le problème de décider s’il existe une interprétation quantitative de toutes les entités satisfaisant l’ensemble des contraintes qualitatives. Nous considérons également le problème de l’étiquetage minimal qui consiste à déterminer pour toutes les contraintes qualitatives les relations de base participant à au moins une solution ainsi que le problème de redondance consistant à déterminer les contraintes qualitatives non redondantes. En outre, nous enrichissons le domaine des formalismes spatio-temporels par des contributions concernant une logique spatio-temporelle combinant la logique temporelle propositionnelle (PTL) avec un langage de contraintes qualitatives spatiales et une étude de la problématique consistant à gérer une séquence temporelle de configurations spatiales qualitatives devant satisfaire des contraintes de transition. / Qualitative Spatial and Temporal Reasoning is a major field of study in Artificial Intelligence and, particularly, in Knowledge Representation, which deals with the fundamental cognitive concepts of space and time in an abstract manner. In our thesis, we focus on qualitative constraint-based spatial and temporal formalisms and make contributions to several aspects. In particular, given a knowledge base of qualitative spatial or temporal information, we define novel local consistency conditions and related techniques to efficiently solve the fundamental reasoning problems that are associated with such knowledge bases. These reasoning problems consist of the satisfiability problem, which is the problem of deciding whether there exists a quantitative interpretation of all the entities of a knowledge base such that all of its qualitative relations are satisfied by that interpretation, the minimal labeling problem, which is the problem of determining all the atoms for each of the qualitative relations of a knowledge base that participate in at least one of its solutions, and the redundancy problem, which is the problem of obtaining all the non-redundant qualitative relations of a knowledge base. Further, we enrich the field of spatio-temporal formalisms that combine space and time in an interrelated manner by making contributions with respect to a qualitative spatio-temporal logic that results by combining the propositional temporal logic (PTL) with a qualitative spatial constraint language, and by investigating the task of ordering a temporal sequence of qualitative spatial configurations to meet certain transition constraints.
99

Fiabilité et problèmes de déploiement du codage réseau dans les réseaux sans fil / Reliability and deployment issues of network coding in wireless networks

Ageneau, Paul-Louis 28 February 2017 (has links)
Même si les réseaux de données ont beaucoup évolué au cours des dernières décennies, les paquets sont presque toujours transmis d’un nœud à l’autre comme des blocs de données inaltérables. Cependant, ce paradigme fondamental est aujourd’hui remis en question par des techniques novatrices comme le codage réseau, qui promet des améliorations de performance et de fiabilité si les nœuds sont autorisés à mixer des paquets entre eux. Les réseaux sans fil manquent de fiabilité en raison des obstacles ou interférences que subissent les liens sans fil, et ces problèmes peuvent empirer dans des topologies maillées avec de multiples relais potentiels. Dans ce travail, nous nous concentrons sur l’application du codage réseau intra-flux aux flux unicast dans les réseaux sans fil, avec pour objectif d’améliorer la fiabilité des transferts de données et de discuter des opportunités de déploiement et des performances. Tout d’abord, nous proposons une borne inférieure pour la redondance, puis un algorithme opportuniste distribué, pour adapter le codage aux conditions du réseau et permettre la livraison fiable des données dans un réseau sans fil maillé, tout en prenant en compte les besoins de l’application. En outre, puisque les opérations requises pour le codage réseau sont coûteuses en termes de calcul et de mémoire, nous étendons cet algorithme pour s’adapter aux contraintes physiques de chaque nœud. Ensuite, nous étudions les interactions du codage intra-flux avec TCP et son extension MPTCP. Le codage réseau peut en effet améliorer les performances de TCP, qui ont tendance à être plus faibles sur les liens sans fil, moins fiables. Nous observons l’impact des problèmes d’équité qui se posent quand des flux codés fonctionnent en parallèle avec des flux traditionnels non codés. Pour finir, nous explorons deux manières différentes d’améliorer les performances de MPTCP dans les environnements sans fil : le faire fonctionner sur du codage réseau, et implémenter directement le codage directement dans le protocole MPTCP tout en préservant sa compatibilité avec TCP / Even if packet networks have significantly evolved in the last decades, packets are still transmitted from one hop to the next as unalterable pieces of data. Yet this fundamental paradigm has recently been challenged by new techniques like network coding, which promises network performance and reliability enhancements provided nodes can mix packets together. Wireless networks rely on various network technologies such as WiFi and LTE. They can however be unreliable due to obstacles, interferences, and these issues are worsened in wireless mesh network topologies with potential network relays. In this work, we focus on the application of intra-flow network coding to unicast flows in wireless networks. The main objective is to enhance reliability of data transfers over wireless links, and discuss deployment opportunities and performance. First, we propose a redundancy lower bound and a distributed opportunistic algorithm, to adapt coding to network conditions and allow reliable data delivery in a wireless mesh. We believe that application requirements have also to be taken into account. Since network coding operations introduce a non negligible cost in terms of processing and memory resources, we extend the algorithm to consider the physical constraints of each node. Then, we study the interactions of intra-flow coding with TCP and its extension MPTCP. Network coding can indeed enhance the performances of TCP, which tends to perform poorly over lossy wireless links. We investigate the pratical impact of fairness issues created when running coded TCP flows besides legacy non-coded TCP flows. Finally, we explore two different ways to enhance the performance of MPCTP in wireless environments : running it over network coding, and implementing the coding process directly in MPTCP while keeping it fully TCP-compatible.
100

Analysis and generation of highly dynamic motions of anthropomorphic systems : application to parkour / Analyse et génération des mouvements hautement dynamiques des systèmes anthropomorphes : application au Parkour

Maldonado Toro, Galo Xavier 08 December 2017 (has links)
Cette thèse propose une approche interdisciplinaire originale du traitement du mouvement humain corps-complet grâce à l'utilisation couplée d'approches issues de la biomécanique, du contrôle moteur et de la robotique. Les méthodes biomécaniques sont utilisées pour l'enregistrement, le traitement et l'analyse du mouvement humain. L'approche << Uncontrolled Manifold >> du contrôle moteur est étendue à l'étude des mouvements hautement dynamiques. Ceci permet de déterminer si d'éventuelles tâches dynamiques sont contrôlées et stabilisées par le cerveau, puis d'inférer une organisation hiérarchique des tâches motrices. Le formalisme de l'espace des tâches utilisé en robotique pour la génération de mouvement corps-complet ainsi que la hiérarchie des tâches extraites dans l'étude du contrôle moteur sont utilisés pour simuler des mouvements humains hautement dynamiques. Cette approche permet de mieux comprendre le mouvement humain et de générer des mouvements inspirés de l'humain pour d'autres systèmes anthropomorphes tel que des robots ou avatars. La discipline du Parkour, impliquant des actions hautement dynamiques tels que des sauts et des techniques d'atterisage, est choisie pour illustrer l'approche proposée. / This thesis proposes an original and interdisciplinary approach to the treatment of whole-body human movements through the synergistic utilization of biomechanics, motor control and robotics. Robust methods of biomechanics are used to record, process and analyze whole-body human motions. The Uncontrolled Manifold approach (UCM) of motor control is extended to study highly dynamic movements processed in the biomechanical study, in order to determine if hypothesized dynamic tasks are being controlled stably by the central nervous system. This extension permits also to infer a hierarchical organization of the controlled dynamic tasks. The task space formalism of motion generation in robotics is used to generate whole-body motion by taking into account the hierarchy of tasks extracted in the motor control study. This approach permits to better understand the organization of human dynamic motions and provide a new methodology to generate whole-body human motions with anthropomorphic systems. A case study of highly dynamic and complex movements of Parkour, including jumps and landings, is utilized to illustrate the proposed approach.

Page generated in 0.6229 seconds