|
|<
<< Page précédente
1
2
3
4
5
6
Page suivante >>
>|
|
documents par page
|
Tri :
Date
Editeur
Auteur
Titre
|
|
Université de Franche-Comté
/ 29-05-2008
Tavares Ribeiro Floric
Voir le résumé
Voir le résumé
Cette thèse participe de la théorie des représentations p-adiques, et plus particulièrement de la théorie de Fontaine. On construit un (phi,Gamma)-module adapté à une extension métabélienne d'un corps local, puis on fournit des généralisations de certains outils usuels associés à ce (phi,Gamma)-module tel qu'un complexe calculant la cohomologie de la représentation. On établit ensuite des formules explicites du dictionnaire entre le monde des représentations et celui des (phi,Gamma)-modules pour le complexe de Herr, le cup-produit ou l'application de Kummer. La seconde partie de ce travail est dévolue à la preuve de la loi de réciprocité de Brückner- Vostokov pour un groupe formel. On combine pour cela des méthodes relevant des (phi,Gamma)-modules à l'aide des résultats de la première partie et des techniques spécifiques introduites par Abrashkin à travers une interprétation cohomologique de ses travaux. Une preuve de la loi de réciprocité est ainsi obtenue, libre de toute assertion non naturelle sur l'appartenance de racines de l'unité au corps de base.
|
|
Université de Franche-Comté
/ 20-10-2008
Jacon Nicolas
Voir le résumé
Voir le résumé
On peut associer à tout groupe de réflexions complexes, son algèbre de Hecke H(W). Celle-ci peut etre vue comme une déformation de l'algèbre du groupe W. La théorie d'Ariki-Lascoux-Leclerc-Thibon a permis de montrer que les représentations de ces algèbres sont dans certains cas intimement reliées à des objets remarquables provenant de la théorie des groupes quantiques en type A affine (comme les cristaux ou les bases canoniques de Kashiwara-Lusztig). Le principal objectif de ce mémoire est d'étudier puis d'étendre les liens unissant ces deux théories. Nous obtenons entre autres des paramétrisations des modules simples pour H(W) grace à l'étude des cristaux du groupe quantique, calculons les matrices de décompositions associées ou encore étudions certaines involutions remarquables de H(W). Des résultats concernant la théorie des représentations des algèbres de Hecke affines de type A sont également présent\és (règle de branchement modulaire, calcul de l'involution de Zelevinsky etc.)
|
|
Université de Franche-Comté
/ 15-12-2008
Saoussany Amina
Voir le résumé
Voir le résumé
Quelles sont les principales difficultés en argumentation écrite rencontrées par les étudiants de l Ecole Nationale de Commerce et de Gestion d Agadir lors de leur production des lettres commerciales à visée persuasive et comment réussir l amélioration de leur compétence argumentative en français sur objectifs spécifiques dans cette institution ? Telle est la question centrale de cette étude. Ce travail présente d abord un état des lieux de la situation sociolinguistique du Maroc, pays multilingue et présente l institution de formation qui est notre cadre de recherche. A partir de deux méthodes différentes de recueil de données: le questionnaire et les productions écrites effectives des étudiants, l étude a abordé les questions fondamentales relatives à l enseignement de la communication spécialisée en milieu institutionnel. Le cadre théorique porte essentiellement sur les concepts de base de la linguistique textuelle (ADAM, 2005, 1999, 1998, 1990, 1985 ; BRONCKART, 1996 ; RASTIER, 1989 .) et expose les caractéristiques du français sur objectifs spécifiques avec une attention particulière pour la communication épistolaire (ADAM, 1998, GRASSI, 1998 ). Il développe également les différentes théories de l argumentation qui servent de base à la détermination des critères entrant dans la construction de notre grille d analyse (ANSCOMBRE & DUCROT, 1980 ; GRIZE, 1996 ; PERELMAN & OLBRECHTS-TYTECA, 1970, AMOSSY, 2000 ; MAINGUENEAU & CHARAUDEAU, 2005 ). Les conclusions tirées de l analyse des données suggèrent des réajustements pédagogiques pour améliorer l enseignement du français sur objectifs spécifiques à l ENCG d Agadir.
|
|
Université de Franche-Comté, UFC, UTBM, Northwestern Polytechnical University (Chine)
/ 11-12-2008
Qiu Kepeng
Voir le résumé
Voir le résumé
La thèse concerne les performances de l’analyse et de l’optimisation de structures composites légères du type solides cellulaires et sandwich. Une étude spécifique est consacrée à l’optimisation topologique de solides cellulaires à périodicité. La méthode de super-élément est développée et appliquée à l’analyse statique et dynamique de plaques composites en considérant l’influence de la topologie et des dimensions de cellules périodiques constituant la structure. La méthode multi-phase d’homogénéisation 3D est appliquée pour calculer les propriétés élastiques équivalentes de structures nid d’abeille. Ensuite, une méthode inverse d’homogénéisation est appliquée pour obtenir une configuration de la microstructure. Elle concerne la maximisation de propriétés élastiques ainsi que de conductivités thermiques. L’optimisation topologique est mise en œuvre pour maximiser la rigidité globale des structures cellulaires comprenant les cellules carrées ou cylindriques à symétrie cyclique. Tous les éléments volumiques représentatifs (RVE representative volume element) d’une structure cellulaire périodique sont modélisés en utilisant la méthode de super-élément (SE). La technique de liaison des variables d’optimisation est utilisée pour la périodicité dans les structures optimales. Les différentes configurations optimales RVE-SE étudiées permettent d’illustrer l’influence du paramètre d’échelle entre RVE et SE sur le processus d optimisation. Des relations entre les dimensions d’une cellule et le nombre de cellules dans une plaque avec différentes conditions aux limites et leurs influences sur les solutions optimales en statique et en dynamique sont étudiées.
|
|
Université de Franche-Comté
/ 24-11-2008
Mesfar Slim
Voir le résumé
Voir le résumé
La langue arabe, bien que très importante par son nombre de locuteurs, elle présente des phénomènes morpho-syntaxiques très particuliers. Cette particularité est liée principalement à sa morphologie flexionnelle et agglutinante, à l’absence des voyelles dans les textes écrits courants, et à la multiplicité de ses formes, et cela induit une forte ambiguïté lexicale et syntaxique. Il s'ensuit des difficultés de traitement automatique qui sont considérables. Le choix d'un environnement linguistique fournissant des outils puissants et la possibilité d'améliorer les performances selon nos besoins spécifiques nous ont conduits à utiliser la plateforme linguistique NooJ. Nous commençons par une étude suivie d’une formalisation à large couverture du vocabulaire de l arabe. Le lexique construit, nommé El-DicAr , permet de rattacher l’ensemble des informations flexionnelles, morphologiques, syntactico-sémantiques à la liste des lemmes. Les routines de flexion et dérivation automatique à partir de cette liste produisent plus de 3 millions de formes fléchies. Nous proposons un nouveau compilateur de machines à états finis en vue de pouvoir stocker la liste générée de façon optimale par le biais d’un algorithme de minimisation séquentielle et d’une routine de compression dynamique des informations stockées. Ce dictionnaire joue le rôle de moteur linguistique pour l’analyseur morpho-syntaxique automatique que nous avons implanté. Cet analyseur inclut un ensemble d’outils: un analyseur morphologique pour le découpage des formes agglutinées en morphèmes à l aide de grammaires morphologiques à large couverture, un nouvel algorithme de parcours des transducteurs à états finis afin de traiter les textes écrits en arabe indépendamment de leurs états de voyellation, un correcteur des erreurs typographiques les plus fréquentes, un outil de reconnaissance des entités nommées fondé sur une combinaison des résultats de l analyse morphologique et de règles décrites dans des grammaires locales présentées sous forme de réseaux augmentés de transitions (ATNs), ainsi qu’un annotateur automatique et des outils pour la recherche linguistique et l’exploration contextuelle. Dans le but de mettre notre travail à la disposition de la communauté scientifique, nous avons développé un service de concordances en ligne NooJ4Web: NooJ pour la Toile permettant de fournir des résultats instantanés à différents types de requêtes et d afficher des rapports statistiques ainsi que les histogrammes correspondants. Les services ci-dessus cités sont offerts afin de recueillir les réactions des divers usagers en vue d une amélioration des performances. Ce système est utilisable aussi bien pour traiter l’arabe, que le français et l’anglais.
|
|
Université de Franche-Comté
/ 30-10-2008
Münch Arnaud
Voir le résumé
Voir le résumé
Ce document de synthèse des travaux effectués depuis septembre 2004 comporte deux parties non indépendantes : la première aborde la résolution de quelques problèmes de contrôlabilité exacte. La seconde s’inscrit dans la thématique de l’optimisation de forme utilisant des techniques de relaxation.
|
|
Université de Franche-Comté, UFC, UTBM
/ 24-09-2008
Desaulty Anne-Marie
Voir le résumé
Voir le résumé
Afin de déterminer la provenance et le procédé d élaboration d objets en fer archéologiques, cette étude a cherché à préciser le comportement des éléments traces dans les filières sidérurgiques anciennes (procédé direct, indirect). Dans ce but, les compositions en éléments majeurs et traces d échantillons archéologiques provenant du Pays de Bray ont été déterminées (EDS, LA/ICP-MS, INAA). Cette étude a montré que les inclusions des objets issues de la réduction directe contiennent la plupart des éléments traces présents initialement dans le minerai, alors que les inclusions de l indirect sont issues de l affinage d une fonte considérablement épurée. Ce sont donc les ordres de grandeur des teneurs de ces éléments (La, Ce, Sm, U ) dans les inclusions des objets, qui permettent de distinguer les procédés. Une méthodologie afin de caractériser la signature chimique d une région géologique a également été établie. La signature déchet permet de relier les scories, et les inclusions de l objet fini aux minerais employés (Sm/Th, Th/U, La/Yb, Y/Yb ). Le pouvoir de discrimination de la signature déchet du Pays de Bray a été validé en la comparant à celles d autres régions. Afin d établir les échanges commerciaux entre Rouen et le Bray au Moyen Âge, la signature déchet de fers de construction d églises rouennaises a été déterminée. Il apparaît que les signatures de ces objets sont très variables d un échantillon à l autre et différentes de celle du Bray. Ces résultats permettent de réfuter l hypothèse d une arrivée massive de fer brayon à Rouen et plaident pour un approvisionnement des chantiers de la ville fortement lié aux opportunités économiques et politiques.
|
|
Université de Franche-Comté
/ 09-12-2008
Neuwirth Stefan
Voir le résumé
Voir le résumé
3 cas de figure pour l'inconditionnalité, définition des suites basiques inconditionnelles, matrices et multiplicateurs de Schur pour les classes de Schatten-Von-Neumann, suites de matrices élémentaires et graphes bipartis, matrices lacunaires et inconditionnalité, matrices lacunaires et inconditionnalité et 1-inconditionnalité, graphes bipartis sans cycle de longue durée, matrices lacunaires et ensembles lacunaires d'un groupe abélien discret, sous espace SpI 1-complémentarités, matrice de rang 1 partiellement spécifiées, propriété d'approximation métriquement inconditionnelle dans SpI, inégalités matricielles, transferts entre multiplicateurs de Schur et de Fourier, ensembles lacunaires somme de 2 ensembles infinis,problèmes extrémaux pour les polynômes trigonométriques, problèmes extrémaux pour les trinômes trigonométriques, points extrémaux et points exposés de la boule de l'espace CÙ, la variation du module maximum en fonction de l'argument, problèmes extrémaux pour les quadrinômes trigonométriques
|
|
Université de Franche-Comté
/ 11-09-2008
Chedevergne Fany
Voir le résumé
Voir le résumé
L'analyse des pressions plantaires est un procédé auquel les praticiens recourent de plus en plus pour observer les troubles de l'équilibre et de la marche de leur patient. Qualifier et quantifier l'appui du pied au sol permet de juger de la santé du système neuro-musculaire, d'établir un diagnostic médical, de réaliser un suivi, mais aussi de prévenir de futurs traumatismes. Les outils d'acquisition des pressions plantaires, ou baropodomètres, sont multiples et variés mais leur fonctionnalité ne répond pas complètement au besoin médical. Peu d'entre eux permettent l'observation de la marche pieds nus et aucun ne la permet de façon reproductible sur de nombreux pas consécutifs. C'est pourquoi, cette étude porte sur un nouvel outil baropodométrique préalablement mis au point dans notre laboratoire : un chausson équipé de capteurs de force. Un premier prototype est d'abord analysé, testé et caractérisé. Il se révèle n'être adapté qu'à une utilisation clinique avec des individus sains. Après plusieurs améliorations mécatroniques, un nouveau prototype est proposé pour l'analyse de la marche de tout individu quelle que soit sa pathologie. Le traitement des données est également développé à l'intention du praticien pour lui permettre une analyse aisée et rapide de la marche grâce à un système d'affichage graphique précis. Les premières applications cliniques montrent que l'outil est encore perfectible quant à sa précision de mesure. Cependant, l'évolution de la répartition des pressions plantaires est clairement indiquée au cours du temps. L'outil est utilisable aussi bien en milieu clinique qu'en contexte écologique chez le patient lui-même. L'analyse de l'équilibre comme celle de la locomotion pourront se faire de façon plus spontanée et régulière que ce soit chez les patients âgés sujets aux risques de chutes, ou chez les patients diabétiques sujets aux risques d'ulcères, ou encore de façon post-opératoire chez un individu en rééducation, et de façon large quelle que soit la pathologie du sujet.
|
|
Université de Franche-Comté
/ 28-11-2008
Chaouachi Nadia
Voir le résumé
Voir le résumé
Cette thèse présente une contribution à l'amélioration de certains résultats concernant les algorithmes en Algèbre linéaire et plus particulièrement les algorithmes sur les matrices structurées. Nous présentons un nouvel algorithme de diagonalisation par blocs des matrices de Hankel, particulièrement efficace. Dans le cas où la matrice de Hankel correspond à une suite récurrente linéaire, nous retrouvons ainsi l'algorithme de Berlekamp-Massey, mais dans une version simplifiée (plus facile à expliquer et à programmer) et accélérée par des troncatures. En outre notre version permet une gestion dynamique des données. Notre diagonalisation par blocs, qui s'applique sur un corps arbitraire, nous permet de donner une démonstration purement algébrique et simple d'un délicat théorème de Frobenius pour la signature d'une forme de Hankel réelle. Nous donnons également une étude approfondie de l'algorithme d'Euclide signé et de ses versions matricielles pour les matrices de Hankel et de Bezout associées à un couple de polynômes. Nous expliquons les rapports existants entre différents algorithmes connus dans la littérature.
|
|
|<
<< Page précédente
1
2
3
4
5
6
Page suivante >>
>|
|
documents par page
|