Nous étudions la commandabilité du système de contrôle décrivant le procédé de roulement, sans glissement ni pivotement, de deux variétés riemanniennes n-dimensionnelles, l'une sur l'autre. Ce modèle est étroitement associé aux concepts de développement et d'holonomie des variétés, et il se généralise au cas de deux variétés affines. Les contributions principales sont celles données dans quatre articles, attachés à la fin de la thèse.Le premier d'entre eux "Rolling manifolds and Controllability : the 3D case"traite le cas où les deux variétés sont 3-dimensionelles. Nous donnons alors, la liste des cas possibles pour lesquelles le système n'est pas commandable.Dans le deuxième papier "Rolling manifolds on space forms", l'une des deux variétés est supposée être de courbure constante. On peut alors réduire l'étude de commandabilité à l'étude du groupe d'holonomie d'une certaine connexion vectorielle et on démontre, par exemple, que si la variété à courbure constante est une sphère n-dimensionelle et si ce groupe de l'holonomie n'agit pas transitivement, alors l'autre variété est en fait isométrique à la sphère.Le troisième article "A Characterization of Isometries between Riemannian Manifolds by using Development along Geodesic Triangles" décrit, en utilisant le procédé de roulement (ou développement) le long des lacets, une version alternative du théorème de Cartan-Ambrose-Hicks, qui caractérise, entre autres, les isométries riemanniennes. Plus précisément, on prouve que si on part d'une certaine orientation initiale, et si on ne roule que le long des lacets basés au point initial (associé à cette orientation), alors les deux variétés sont isométriques si (et seulement si) les chemins tracés par le procédé de roulement sur l'autre variété, sont tous des lacets.Finalement, le quatrième article "Rolling Manifolds without Spinning" étudie le procédé de roulement et sa commandabilité dans le cas où l'on ne peut pas pivoter. On caractérise alors les structures de toutes les orbites possibles en termes des groupes d'holonomie des variétés en question. On montre aussi qu'il n'existe aucune structure de fibré principal sur l'espace d'état tel que la distribution associée à ce modèle devienne une distribution principale, ce qui est à comparer notamment aux résultats du deuxième article.Par ailleurs, dans la troisième partie de cette thèse, nous construisons soigneusement le modèle de roulement dans le cadre plus général des variétés affines, ainsi que dans celui des variétés riemanniennes de dimensiondifférente.

L'industrie aéronautique, dans le cadre de l'avion plus électrique, met en oeuvre le remplacement d'actionneurs pneumatiques ou hydrauliques par des actionneurs électromécaniques. Cela permet de réduire le nombre de réseaux de distribution présents dans l'avion, de faciliter la maintenance et d'améliorer le rendement. Le but final est de réduire la masse et d'améliorer l'efficacité énergétique globale d'un avion pour réduire sa consommation en carburant. Les travaux de ce mémoire de thèse s'inscrivent donc la logique de réduction de la masse des convertisseurs tout en assurant des critères de perturbations CEM (Compatibilité ElectroMagnétique). En effet, les normes CEM sont de plus en plus contraignantes, en particulier les domaines sensibles tel que l'aéronautique. Les filtres CEM sont donc de plus en plus nombreux. Dans ces filtres, les composants magnétiques occupent plus de 50 % de la place et surtout de la masse. L'objectif de cette thèse est de faire émerger des solutions innovantes, en dotant les filtres CEM passifs d'un composant magnétique unique pour les perturbations de mode conduites afin de réduire sa masse. Afin de comprendre leur fonctionnement, suite à une étude bibliographique, nous avons réalisé une étude comparative de topologies à composant magnétique unique. Nous avons développé un outil de modélisation fréquentielle du composant magnétique unique. A partir d'une modélisation <> nous avons pu prendre en compte l'environnement du composant magnétique (Réseau Stabilisateur d'Impédance de Ligne (RSIL), Source de perturbations, Capacités) et une modélisation plus fine des propriétés magnétiques du composant. Grâce à un modèle gyrateur-capacité, nous avons pu prédire les performances du filtre complet dans son environnement et l'optimiser. Cette étude nous a permis de réaliser une topologie de composant magnétique unique plus compacte et plus performante que la topologie existante. Par ailleurs, nous avons démontré la faisabilité de l'intégration sur PCB (Printed Board Circuit) d'alliage nanocristallin en réalisant une autre topologie de composant unique basée sur les mêmes facteurs que la précédente mais intégrée dans un PCB. Les verrous technologiques auxquels nous avons été confrontés et les solutions que nous avons proposées pour les résoudre sont détaillés dans le mémoire.

Cette thèse s'inscrit dans le cadre du traitement automatique du langage naturel, et traite plus précisément de l'alignement sous-phrastique bilingue classiquement lié à la traduction automatique statistique. Les travaux exposés s'en distinguent en proposant un fonctionnement évolutif à base d'exemples initialisé par des annotateurs non-experts via une interface adaptée. L'approche est principalement motivée par la recherche d'une expressivité comparable à celle observée dans les alignements manuels. Une partie importante de ce travail consiste à définir un cadre formel sous-tendant une architecture originale à base d'exemples alignés. Plusieurs mémoires d'alignements ont été constituées en tirant parti d'informations provenant d'analyseurs syntaxiques automatiques, en plaçant les prérequis technologiques à un niveau raisonnablement peu élevé. Deux nouvelles méthodes d'alignement sont comparées à des références connues via des mesures d'accord classiques, et trois distances transformationnelles sont introduites.

Un grand nombre de traitements sont aujourd'hui disponibles pour la cancérologie, dont l'objectif est d'éliminer tous les tissus cancéreux en minimisant les dommages occasionnés sur les tissus sains. La chimio-embolisation est considérée comme un régime de traitement localisé, préconisé pour certains cancers. Cependant, le ciblage des tumeurs profondément enfouies par chimio-embolisation est actuellement limité en raison de la taille des cathéters. Compte tenu des échelles envisagées, l'utilisation des microrobots magnétiquement guidés est l'une des approches les plus prometteuses. L'objectif de cette thèse consiste à développer les outils permettant à des microrobots endovasculaires (ou transporteurs magnétiques), de naviguer dans le corps humain, en utilisant les gradients magnétiques d'un appareil IRM clinique amélioré. Pour cela, une compréhension approfondie de l'environnement d'évolution du microrobot est une étape au préalable, en vue d'établir des stratégies de navigation adéquates. La variation des paramètres physiologiques de l'humain et l'utilisation d'un scanner IRM nécessitent d'une part, une robustesse du contrôleur vis-à-vis des erreurs de modélisation, et d'autre part, l'anticipation du comportement du système. A cet effet, la commande prédictive, trouve ici toute son efficacité pour résoudre les problèmes de poursuite. En outre, une plateforme d'instrumentation a été conçue au sein du laboratoire en vue de démontrer les concepts proposés, et de valider les stratégies de navigation prédictives développées dans nos travaux. Puis, dans un deuxième temps, nous avons intégré ces approches dans une plateforme d'IRM clinique.

XML (eXtensible Markup Language) est un format standard pour l'échange de données semi-structurées, qui est utilisé dans services web, les bases de données, et comme format de sérialisation pour échanger des données entre applications. Afin d'avoir un meilleur traitement de données XML, plusieurs langages statiquement typés pour XML ont été récemment définis, tels XDuce, CDuce, XJ, XTatic, XACT, XHaskell, OCamlDuce. Ces langages peuvent vérifier si un programme n'engendra d'erreurs de types à l'exécution. Mais la plupart de ces langages n'incluent pas le polymorphisme paramétrique ou l'incluent sous un forme très limitée. Cependant, le traitement de données XML nécessite du polymorphisme paramétrique, c'est pourquoi il a été demandé et discuté à plusieurs reprises dans diverses groupes de travail de standardisation (par example, RELAX-NG et XQuery). Nous étudions dans cette thèse les techniques pour étendre par le polymorphisme paramétrique les langages de traitement XML. Notre solution se deroule sur deux étapes: (i) nous définissons et étudions une relation de sous-typage polymorphe sémantique pour un système de type avec types récursifs, types des produits, types des flèches, et types des ensemblistes (c'est-à-dire, l'union, l'intersection et la négation); et (ii) nous concevons et étudions un langage fonctionnel d'ordre supérieur qui tire pleinement parti des nouvelles fonctionnalités du système de type. La solution que nous proposons dans cette thèse est générale. Ainsi elle a des domaines d'application autres que les langages pour le traitement de données XML.

L'objectif de ce travail est d'étudier la compréhension et la mémorisation de plusieurs aspects des films sous-titrés, en relation avec le niveau de maîtrise des langues des participants. L'acquisition de vocabulaire d'une autre langue a également été évaluée, selon la combinaison des langues à l'écran (dialogues et sous-titres). Trois séries d'expériences sont présentées afin d'examiner le rôle des sous-titres dans chacun de ces mécanismes. Le traitement de trois types d'information des films a été pris en compte (éléments visuels, dialogues et situation). Les résultats indiquent un rôle facilitateur des sous-titres lorsqu'ils sont nécessaires (faible maîtrise de la langue du film), ou perturbateur lorsqu'ils sont superflus. Ensuite, l'effet des sous-titres sur la mémorisation d'un film a été estimé, selon la version et le niveau de saillance des éléments testés. Les résultats indiquent un effet du type de sous-titrage sur la compréhension et la restitution des informations, en fonction de leur caractère central ou périphérique par rapport à l'intrigue. Enfin, les possibilités d'acquisition de vocabulaire sont envisagées, selon le type de sous-titres, le nombre de visionnages d'un film et une consigne dirigeant l'attention vers les dialogues. La version inversée (dialogues en L1, soustitres en L2) mène à la meilleure restitution du vocabulaire, principalement après le second visionnage de la séquence. La consigne a également un effet positif sur la restitution des mots. Les résultats sont interprétés dans le cadre des théories de l'attention et de la charge cognitive, ainsi qu'à l'aide de divers modèles de l'apprentissage multimédia.

Cette thèse se déroule dans le cadre d'une étude sur la séparation de sources audio dans un milieu réverbérant. Cette étude est menée par l'ENST d'une part et FTR&D (Lannion) d'autre part.<br /><br />Dans le cadre de notre étude nous avons montré comment effectuer la séparation de sources audio en utilisant une méthode basée sur des algorithmes de décomposition modale (EMD ou ESPRIT). Les avantages de cette approche résident dans le fait qu'elle permet de traiter le cas des mélanges instantanés et convolutifs, et elle nous permet en particulier, de traiter le cas sous-déterminé. Cette approche se base sur le fait que les signaux audio (et particulièrement les signaux musicaux) peuvent être bien modélisés localement par une somme de signaux périodiques. Ces signaux seront donc décomposés en utilisant les algorithmes de décomposition modale et recombinés par classification suivant leurs directions spatiales regroupant ainsi les composantes de chacune des sources. Cette méthode peut être utilisée dans le cas du mélange convolutif sur-déterminé, en lui conjuguant une décomposition en valeurs et vecteurs propres et un critère de parcimonie approprié.<br /><br />Toujours dans le cadre de cette thèse, nous avons montré comment effectuer la séparation de mélange instantané de sources audio dans le cas sous-déterminé en utilisant la propriété de parcimonie des signaux audio dans le domaine temps-fréquence. Nous proposons deux méthodes utilisant différentes transformées dans le domaine temps-fréquence. La première utilise les distributions temps-fréquence quadratiques DTFQ (ou STFD pour "Spatial Time Frequency Distribution"), la deuxième utilise la transformée de Fourier à court terme TFCT (ou STFT pour "Short Time Fourier Transform"). Ces deux méthodes supposent que les sources sont disjointes dans le domaine temps-fréquence ; c'est à dire qu'une seule source est présente dans chaque point temps-fréquence. Nous proposons ensuite de relâcher cette contrainte on supposant que les sources ne sont pas forcément disjointes dans le domaine temps-fréquence. En particulier, le nombre de sources présentent en un point temps-fréquence doit être strictement inférieur au nombre de capteur. Pour effectuer la séparation dans ce cas de figure, on utilise la projection en sous-espace qui permet d'identifier les sources présentent dans chaque point temps-fréquence et de déterminer la valeur correspondante à chaque source. Une contribution sous-jacente est celle d'une nouvelle méthode d'estimation de la matrice de mélange dans le cas sous-déterminé.<br /><br />Dans le même esprit, nous avons introduit une approche basée sur la transformation dans le domaine temps-fréquence pour résoudre le problème de séparation de mélange convolutif de sources audio dans le cas sous-déterminé. Cette approche nécessite une pré estimation du canal de mélange qui sera réalisée en exploitant la propriété de parcimonie temporelle des signaux audio et la structure des canaux acoustiques.<br /><br />Nous avons exploité aussi la propriété de parcimonie des signaux audio dans le domaine temporel. Nous avons proposé une méthode itérative utilisant une technique du gradient relatif qui minimise une fonction de contraste basée sur la norme Lp. Cette norme pour p < 2 (ou même p < 1) est considérée comme une bonne mesure de parcimonie. Les simulations prouvent que la méthode proposée surpasse d'autres méthodes basées sur l'indépendance de source.<br /><br />Pour Finir, nous nous sommes intéressés à une méthode itérative de séparation de sources utilisant les statistiques d'ordre deux (SOS pour Second Ordre Statistics). Les statistiques d'ordre deux des données observées s'avèrent suffisantes pour séparer des sources mutuellement non corrélées à condition que les vecteurs de corrélation temporelles des sources considérés soient linéairement indépendants par paires. En appliquant une technique de gradient naturel, on déduit un algorithme itératif qui possède un certain nombre de propriétés attrayantes, comme sa simplicité et sa généralisation aux cas adaptatifs ou convolutifs. Nous proposons aussi une analyse de performances asymptotique de cet algorithme qui sera validée par plusieurs simulations.

Depuis le début des années 1980, l'ouverture de l'économie mondiale a conduit à une évolution rapide des flux d'IDE essentiellement vers les pays en voie de développement. Cette croissance est le résultat du changement structurel de l'activité économique vers la spécialisation verticale internationale. Ainsi, elle a fait émerger un nouveau principe d'analyse pour arbitrer entre l'IDE et la sous-traitance internationale.Notre travail s'intéresse au cas de la Tunisie et examine l'évolution des IDE entrants, essentiellement après la signature de l'accord de partenariat avec l'Union Européenne en 1995. Cet accord représente le point fort du processus d'ouverture de l'économie Tunisienne censé consolider les déterminants économiques traditionnels. Notre analyse empirique des flux entrants entre 1992 et 2008 pour l'ensemble des 58 pays originaires des investissements étrangers en Tunisie, montre que ces investissements se sont concentrés principalement dans le secteur énergétique et dans la branche des textiles et habillement. La principale motivation des investisseurs étrangers demeure la recherche d'une main d'œuvre bon marché, dans une logique de division internationale du travail. En outre, mis à part quelques opérations de privatisation générant des flux importants et concentrés dans la télécommunication et la cimenterie, le processus de libéralisation de l'activité économique n'a pas eu les effets escomptés sur les flux entrants d'IDE.

Dans cette thèse, on s'intéresse en premier aux problèmes sous-riemanniens sur un groupe de Lie nilpotent d'ordre 2. Dans un premier temps, on réalise la classification complète des algèbres de Lie sous-riemanniennes (SR-algèbres de Lie) nilpotentes d'ordre 2 de dimension n compris entre 3 et 7, et celles de dimension arbitraire n telle que l'algèbre dérivée est de dimension une.De plus, nous avons distingué les SR-algèbres de Lie de contact et de quasi-contact et nous avons calculé, en dimension 5, le groupe des SR-symétries infinitésimales. Une fois cette classification réalisée, on étudie les géodésiques sous-riemanniennes associées aux SR-algèbres de Lie nilpotentes d'ordre 2 obtenues dans notre classification. Nous avons étudié l'intégrabilité des équations géodésiques adjointes et donné les contrôles optimaux ainsi que les trajectoires optimales dans chacun des cas. Dans une seconde partie de la thèse, on étudie les géodésiques sous-riemanniennes pour un groupe de Lie sous-riemannien (G;D;B) où G = SO(4) ou G = SO(2; 2) et D est de codimension2 (donnant des espaces SR-homogènes de contact). Nous avons donné un modèle canonique de ces espaces et ensuite montré que les systèmes adjoints de Lie-Poisson associés au modèle étaient toujours intégrables au sens de Liouville. De plus, nous montrons que le système de Lie-Poisson est soit un système linéaire qui est super-intégrable en fonctions trigonométriques du temps ou constantes ; soit un système non linéaire intégrable au sens de Liouville et dont les solutions sont exprimables à l'aide de la fonction elliptique de Weierstrass.

Le traitement des conditions aux limites et la modélisation fine des interactions de sous-maille ont été abordés dans cette thèse. La formulation caractéristique des conditions aux limites a été analysée et une nouvelle procédure 3D-NSCBC est proposée qui autorise la prise en compte de l'évolution de la vitesse et de la pression dans le plan des frontières, afin d'introduire le caractère tridimensionnel de l'écoulement dans les conditions limites. Des nouvelles formulations pour resoudre le couplage des ondes caractéristiques au niveau des arêtes et des coins ont été développées. Dans le cadre de la Simulation des Grandes Échelles, pour reproduire correctement la dynamique de la turbulence à la paroi et pour mieux prendre en compte l'anisotropie du tenseur des contraintes de sous-maille, un modèle structural fondé sur l'hypothèse de similarité est développé pour des écoulements modérément compressibles et validé sur la simulation d'un jet rond en impaction sur une paroi plane.