|
|<
<< Page précédente
1
2
Page suivante >>
>|
|
documents par page
|
Tri :
Date
Editeur
Auteur
Titre
|
|
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é, UFC, UTBM
/ 26-02-2008
Monticolo Davy
Voir le résumé
Voir le résumé
Ce travail est fondé sur une approche organisationnelle pour la gestion des connaissances lors des projets de conception mécanique. Lors de ces travaux, nous avons pris en compte les aspects sociaux et coopératifs du processus de conception où les acteurs métier travaillent ensemble, créent, utilisent et partagent leurs connaissances pour atteindre le même objectif : le développement d un nouveau système mécanique. Quatre aspects ont été développés dans ce travail : l élaboration d un modèle organisationnel du processus de conception où sont représentés les rôles des acteurs métier, leurs compétences, leurs interactions ainsi que les connaissances qu ils utilisent et partagent tout au long des activités de conception. Ce modèle est un guide pour la capitalisation et la réutilisation des connaissances lors des projets de conception ; la définition d un modèle de mémoire organisationnelle, MemoDesign, fournissant un cadre pour la structuration et l indexation des connaissances à archiver lors des projets de conception ; la construction d une ontologie appelée OntoDesign permettant de manipuler les connaissances du domaine ; la conception et l implantation du système multi-agents "KATRAS" prenant en compte les aspects sociaux et coopératifs du processus de conception et chargé de la construction de mémoires de projet au fil de l eau des projets de conception mécaniques.
|
|
Université de Franche-Comté, UFC, UTBM
/ 04-12-2007
Kanta Abdoul-fatah
Voir le résumé
Voir le résumé
La projection plasma est un procédé dans lequel les propriétés du dépôt sont indirectement couplées aux paramètres opératoires (paramètres de puissance, paramètres d'injection, paramètres cinématiques et paramètres environnementaux). Ce procédé se caractérise par des phénomènes de fluctuations et des dérives paramétriques à différents temps caractéristiques, phénomènes qui ont pour origine l'usure des électrodes et les fluctuations intrinsèques de l'arc électrique. L'objectif de cette thèse est de développer un système expert qui permettre d'ajuster en temps réel les paramètres opératoires du procédé en fonction, dans un premier temps, des valeurs mesurées sur les caractéristiques en vol des particules (température de surface et vitess) pour réaliser le dépôt. Considérant l'amplitude de ces dérives, la stratégie à adopter pour développer ce système expert dépend des corrections à appliquer aux caraxtéristiques en vol des particules. L'intelligence artificielle basée sur lé réseau de neurones et le contrôleur flou s'avèrent être des outils pertinents pour atteindre cet objectif. En effet, la logique floue permet de définir les règles de correction paramétrique et le réseau des neurones permet de prédire les caractéristiques en vol des particules et celles du dépot. Coupler les protocoles neuronaux à la logique floue permet alors de développer un contrôleur indépendant. Ce système offre la possibilité d'ajuster les paramètres opératoires dans le but d'assurer la reproductibilité du procédé et également, d'optimiser les conditions de la réalisation du dépôt en tenant compte des effets de l'usure de l'électrode en particulier.
|
|
Université de Franche-Comté, UFC, UTBM
/ 30-11-2007
Devarenne Isabelle
Voir le résumé
Voir le résumé
Toutes les méthodes d'optimisation ont des paramètres internes qui prennent une part prépondérante dans leurs performances. La difficulté pour les utilisateurs est de trouver un bon réglage pour chaque problème. Depuis quelques années une part importante de la recherche en optimisation combinatoire porte sur la conception de méthodes adaptives. L'objectif de cette démarche est de définir les procédés qui tentent d'adapter dynamiquement le paramétrage des méthodes en fonction du problème. Dans ce contexte, cette thèse porte sur les mécanismes de mémoire et d'adaptation dans le but de mettre au point une méthode de Recherche Locale Adapative (RLA) combinant des mécanismes d'extension et de restriction du voisinage. L'extension du voisinage est définie par une procédure de détection de blocage de la recherche en étudiant l'historique des choix effectués par la méthode afin d'intervenir sur son comportement. Le mécanisme de restriction quant à lui est basé sur l'utilisation d'une liste Tabou à paramétrage adaptatif pour gérer l'accès aux variables. La méthode ainsi obtenue a été appliquée à deux problèmes : un problème académique, la k-coloration de graphes, et un problème réel, l'affectation de fréquences en réseaux de radiocommunications. Plusieurs variantes de RLA ont élé développées et comparées à des résultats publics sur les deux problèmes.
|
|
Université de Franche-Comté
/ 05-09-2007
Djemili Tolba Fatiha
Voir le résumé
Voir le résumé
La limitation d'énergie et la mobilité des nœuds dans les réseaux ad hoc constituent un défi majeur pour la communauté scientifique de réseaux et télécommunications. Malgré la mobilisation permanente et les avancées significatives dans ce domaine, force est de constater que ces problèmes demeurent importants. La plupart des solutions élaborées jusqu'à présent reposent sur des techniques de généralisation. En d'autres termes, ces solutions supposent que les nœuds mobiles sont homogènes en terme de capacité de traitement et de réserve d'énergie, alors que la réalité montre le contraire. De ce constat, nous nous sommes intéressés à l'étude des méthodes de conservation d'énergie afin de prolonger la durée de vie du nœud et maintenir une communication sans interruption. Dans ce contexte, nous avons présenté un algorithme de réserve d'énergie qui repose sur une technique d'adaptation du rayon de transmission. Cette technique se révèle mieux adaptée pour intégrer le besoin des nœuds dans la conservation d'énergie. Nous nous sommes également attachés au problème de maintien de la connectivité de communication et de la gestion de la mobilité pour apporter plus de stabilité au réseau et pour favoriser l'acheminement du trafic vers l'utilisateur mobile sans dégrader les performances de routage. Dans ce cadre, un algorithme de clustering dans les réseaux mobiles ad hoc a été développé. L'objectif de cet algorithme consiste à concevoir une approche flexible qui tient compte de la métrique de l'hétérogénéité des nœuds dans l'élection des clusters head. Ces algorithmes sont testés et comparés par rapport à des travaux existants en utilisant le simulateur Network Simulator (NS-2).
|
|
Université de Franche-Comté
/ 28-06-2007
Abbas Amine
Voir le résumé
Voir le résumé
Au cours de ces dernières années a émergé un nouveau type de réseaux sans fil , à savoir les réseaux de capteurs. Une problématique majeure dans ce type de réseaux est la maîtrise de l’énergie consommée par chaque nœud capteur, puisque chaque nœud est alimenté par une batterie. Des mécanismes doivent donc être développés afin d’utiliser à bon escient l’énergie et maintenir le réseau en activité aussi longtemps que possible. Dans cette thèse, nous proposons un algorithme itératif décentralisé pour augmenter la durée de vie d’un réseau de capteurs. L’approche proposée consiste à faire participer chaque nœud proportionnellement à son énergie. Pour cela, à chaque nœud est associé un ratio d’énergies, ratio qu’il s’agira d’équilibrer à travers le réseau en faisant migrer des tâches entre nœuds voisins. L’algorithme a été validé par des simulations en OMNet++, qui mettent en évidence la pertinence de l’approche proposée.
|
|
Université de Franche-Comté
/ 06-04-2006
Couchot Jean-François
Voir le résumé
Voir le résumé
Le prouveur de théorèmes haRVey implante une procédure de décision pour les formules équationnelles non quantifiées dans des théories des tableaux. Ce travail étudie son applicabilité à la vérification, par construction d'invariants, de propriétés de sûreté exprimées sur des systèmes paramétrés. La correction du programme paramétré doit être assurée pour toutes les valeurs des paramètres, interdisant le model-checking. Elle peut s'entreprendre par un calcul de point fixe dont les conditions d'évolution sont déchargées dans un prouveur supportant les formules quantifiées. Graf et Saïdi ont ouvert cette voie en exploitant le prouveur PVS. D'autres ont suivi en exprimant leur système à l'aide de contraintes arithmétiques linéaires obtenues par une abstraction de comptage. Nous proposons un cadre plus basique mais unificateur où les paramètres sont des ensembles finis. Nous montrons que ce cadre convient pour des exemples industriels et des systèmes uniformes distribués. Les spécifications sont écrites dans le langage des machines abstraites B et nous exploitons les calculs de plus faible précondition déjà définis pour cette méthode. Nous introduisons ensuite un calcul de point fixe, obtenu par raffinement d'un calcul de point fixe trivial. Nous proposons ensuite diverses traductions en logique équationnelle des conditions d'évolution, dans l'objectif de faire converger le plus rapidement le prouveur haRVey qui les décharge. Nos expérimentations sur un exemple industriel montrent que la démarche supplante celle du prouveur de l'Atelier B. Théoriquement, nous montrons la décidabilité de certaines obligations de preuve dans le cadre de systèmes uniformes distribués.
|
|
Université de Franche-Comté
/ 14-02-2006
Kuroda Kyoko
Voir le résumé
Voir le résumé
Des phrases obtenues à l’issue de traduction montrent des divergences variées et importantes surtout quand il s’agit de langues éloignées comme le japonais et le français. Le but du présent travail est de mettre en évidence la divergence de traduction de ces langues et d’appliquer ce qui en sera dégagé à un système de transfert. Pour ce faire nous nous intéressons particulièrement à leur disparité qui s’observe au niveau de la structure prédicat-arguments. Nous y avons entre autres recensé des changements de catégorie prédicative, changement de voix, une diversification de la distribution actancielle et différentes formes du prédicat actualisé. Ces disparités sont souvent, d’après nous, corrélées et ont des souches communes. Elles peuvent s’expliquer par ce que Pottier appelle statuts événementiels du prédicat, c’est-à-dire que selon que le procès à exprimer est au statif ou à l’évolutif, la façon de le représenter devient différente. Cette différenciation dépend largement du lexique dont chaque langue dispose et des contraintes syntactico-sémantiques que chaque langue impose à son lexique. Nous avons ainsi essayé de dégager des facteurs qui sont à la fois corrélés entre les faits divergents et communs à nos deux langues. Nous les avons par la suite inscrits dans la description de chaque item lexical, en considérant qu’ils permettent au système de transfert de déclencher des opérations qui neutralisent la disparité. Après avoir présenté la formalisation de ces descriptions lexicales qui sont basées sur la grammaire de l’unification, nous montrons le processus de transfert que le système mène à l’aide des indications des facteurs communs
|
|
|<
<< Page précédente
1
2
Page suivante >>
>|
|
documents par page
|