De nombreuses applications en vision par ordinateur nécessitent la détection et le suivi des objets en mouvement dans une séquence d'images. La plupart des méthodes existantes ne donnent de bons résultats que pour des séquences avec des fonds peu changeants, ou si le fond et les objets sont rigides. Le but de cette thèse est de détecter et suivre les objets mobiles dans des séquences (telles que des séquences de conducteurs) ayant un fond dynamique, avec de forts changements d'illumination, de faibles contrastes et éventuellement acquises par une caméra mobile. Cette thèse est décomposée en deux parties. Dans la première, une méthode de détection est proposée. Elle repose sur la définition d'une grille de points décrits par leur mouvement et leur photométrie. Ces points sont ensuite regroupés en "clusters en mouvement" avec un algorithme mean shift à noyau variable et une méthode de sélection automatique de la taille des noyaux. La deuxième partie propose une méthode de suivi combinant des distributions de couleur et de mouvement, la prédiction de l'objet et des observations extérieures (pouvant être les clusters en mouvement) dans une fonction d'énergie minimisée par coupe minimale/flot maximal dans un graphe. Les algorithmes de détection et de suivi sont validés sur différentes séquences aux contenus dynamiques complexes.

La quantité totale de lipides et la composition en acides gras participent au déterminisme de la qualité des produits carnés et jouent un rôle dans de nombreuses pathologies. Par conséquent la maitrise du métabolisme des lipides constitue un important enjeu industriel et de santé publique. De nombreuses données expérimentales et bibliographiques sont actuellement disponibles sur le métabolisme des lipides dans différentes espèces. Néamoins, la hiérarchie d'importance des voies métaboliques et les régulateurs clefs de ce métabolisme dans différentes conditions expérimentales restent mal connus. Cette these propose d'utiliser les outils de la modélisation pour intégrer les données disponibles sur le métabolisme des lipides et des acides gras. Pour cela, deux modèles complémentaires ont été développés : un modèle dynamique simple comprenant le minimum de fonctions biologiques et de régulations nécessaire pour expliquer des données expérimentales métaboliques, et un modèle à large échelle comprenant un maximum d'informations issues des bases de données de connaissances. Le premier est un ensemble d'équations différentielles ordinaires décrivant les principales voies biochimiques du métabolisme des lipides indépendamment de l'espèce, de l'organe et des conditions expérimentales. Ce modèle a été confronté aux données biologiques décrivant les variations des acides gras dans le foie et le tissu adipeux lors de 72 heures de mise à jeun chez des souris de génotype sauvages et knockout pour PPARα (un facteur de transcription responsable notamment de l'activation de l'oxydation des acides gras). Nous mettons ainsi en évidence l'importance de la captation des acides gras sanguins par le foie, de l'oxydation hépatique des acides gras mais aussi et de maniere plus surprenante, des voies de désaturation et élongation des acides gras actives meme chez l'animal a jeun. L'existence d'un régulateur inconnu de l'élongation-désaturation des acides gras autre que PPARα est également suggérée. Le second modèle est un graphe d'influence qui réunit un maximum d'informations bibliogra- phiques pour les croiser avec des données transcriptomiques obtenues à haut débit. L'analyse de trois bases de connaissances bibliographiques (Gardon, une base interne experte ; TRANSPATH et Ingenuity, deux bases commerciales) a permis de mettre en évidence une forte complémenta- rité de la bibliographie extraite et des influences exploitables qu'elles référencent. Suite à cette analyse un graphe d'influence a été construit et l'analyse de sa topologie a permis de mettre en évidence les éléments les plus connectés possédant un lien avec le métabolisme énergétique. Ces deux démarches ont souligné l'intéret de la modélisation pour mettre en exergue des voies connues mais aussi inconnues, et suggérer ainsi de nouvelles expérimentations.

L'augmentation des cadences de production nécessite la recherche de performances dynamiques toujours plus élevées pour les dispositifs de positionnement, conduisant à l'utilisation d'axes multi-actionneurs parallèles. Une configuration bi-actionnée en gantry est une solution mécanique qui permet de conférer une accélération élevée à l'axe, mais pose la problématique de la synchronisation des actionneurs mis en collaboration. Un état de l'art de la commande de tels dispositifs électromécaniques met en évidence un manque général de prise en compte du couplage mécanique entre les deux actionneurs, conduisant à des architectures de commande complexes sur le plan structurel et du réglage. L'approche proposée dans cette étude constitue une alternative à ces commandes en mettant en œuvre une approche graphique structurée selon les lois de la causalité physique. Dans un premier temps, l'axe en gantry sert de support à l'étude de propriétés graphiques du formalisme Graphe Informationnel Causal (GIC) développé au L2EP. L'ordonnancement des représentations selon la causalité intégrale conduit à une simplification globale de l'analyse structurelle des systèmes physiques, facilitant le choix des variables d'état indépendantes à contrôler. La modélisation dynamique proposée pour l'axe considéré, associée à des méthodes d'identification expérimentale, est exploitée pour la déduction d'architectures de commande et de méthodes de réglage permettant d'améliorer les performances de synchronisation dynamique des deux actionneurs par une meilleure gestion du couplage. Les problématiques de la modélisation et de la compensation des ondulations de force générées par les moteurs linéaires synchrones à aimants permanents, ainsi que de la gestion énergétique de l'ensemble de l'axe sont également abordées.

Les liquides magnétorhéologiques sont des suspensions de particules magnétiques micrométriques dans des liquides amagnétiques. Lorsqu'un tel liquide est exposé à un champ magnétique, les particules s'agrègent sous la forme de "chaînes" qui augmentent de façon importante la résistance à l'écoulement. Dans ce mémoire de thèse, on présente la conception d'un frein discoïde à liquide magnétorhéologique et sa caractérisation dans deux cas de fonctionnement. Dans le premier, l'axe décrit des triangles de vitesse lentement variables à courant constant, ce dernier étant varié à l'arrêt entre deux triangles. On a pu observer que le couple doit typiquement croître jusqu'à un seuil pour que la rotation s'amorce, puis qu'il "chute" avant de croître de nouveau tandis que la vitesse augmente. On a également remarqué que les seuils de couple mesurés aux premiers triangles après les variations du courant sont différents de ceux mesurés aux triangles suivants, qui se repètent. Une modélisation du frein a été proposée, valable uniquement pour le courant maximum admissible et dans le cas où l'axe a déjà décrit au moins un triangle de vitesse. Cette modélisation, élaborée en utilisant le formalisme Graphe Informationnel Causal (G.I.C.), permet de rendre compte de l'évolution du couple à l'amorçage de la rotation pour le premier triangle de vitesse, mais pas pour les suivants. Dans le second cas de fonctionnement, le frein est alimenté en courant lentement variable à vitesse constante. Différents relevés de l'hystérésis du couple en fonction du courant ont été obtenus. On a pu rendre compte précisément de ces derniers sur la base d'un modèle Eléments Finis 2D du frein et d'un modèle de comportement hystérétique pour l'acier.

Cette thèse porte sur l'aide à la construction de machines d'états UML de systèmes réactifs. Elle vise à définir un cadre théorique et pragmatique pour mettre en oeuvre une approche incrémentale caractérisée par une succession de phases de construction, évaluation et correction de modèles. Ce cadre offre des moyens de vérifier si un nouveau modèle est conforme à ceux définis durant les étapes précédentes sans avoir à demander une description explicite des propriétés à vérifier. Afin de pouvoir analyser les machines d'états, nous leur associons une sémantique LTS ce qui nous a conduit à définir une procédure de transformation automatique de machines d'états en LTS. Dans un premier temps, nous avons défini et implanté des techniques de vérification de relations de conformité de LTS (red, ext, conf, et confrestr). Dans un second temps, nous nous sommes intéressés à la définition d'un cadre de construction incrémentale dans lequel plusieurs stratégies de développement peuvent être mises en \oe uvre en s'assurant que le modèle final élaboré sera une implantation conforme à la spécification initiale. Ces stratégies reposent sur des combinaisons de raffinements qui peuvent être de deux types : le raffinement vertical pour éliminer l'indéterminisme et ajouter des détails ; le raffinement horizontal pour ajouter de nouvelles fonctionnalités sans ajouter d'indéterminisme. Enfin, nous transposons la problématique de construction incrémentale d'une machine d'états à la construction d'architectures dont les composants sont des machines d'états. Des conditions sont définies pour assurer la conformité entre des architectures dans le cas de la substitution de composants.

Le raisonnement efficace dans une grande base de connaissance en logique de description est un défi actuel en raison des inférences "insurmontables", même pour des langages des logiques de description relativement inexpressives. En effet, la présence des axiomes dans la terminologie (TBox) est une des raisons importantes causant une augmentation exponentielle de la taille de l'espace de recherche explorée par les algorithmes d'inférence. Le raisonnement dans la logique de description (LD), c'est essentiellement le test de la relation de la subsomption entre les concepts. Par conséquent, on cherche toujours les expédients pour optimiser ce raisonnement. Des techniques d'optimisation pour améliorer la performance du raisonneur d'une LD se divisent donc naturellement en trois niveaux. Le premier est le niveau conceptuel considérant des techniques pour optimiser les structures d'axiomes dans la TBox. Le deuxième, le niveau algorithmique examinant des techniques pour réduire les exigences de stockage de l'algorithme de tableaux et pour optimiser le test de la relation de subsomption (satisfaisabilité). Le troisième, l'optimisation de requête cherchant des stratégies d'exécution optimales d'une requête d'interrogation dans une base de connaissances. Dans ce mémoire, nous avons étudié une approche de décomposition de l'ontologie s'appelant la "décomposition overlay" qui vise à un deux objectifs principaux : l'optimisation du raisonnement et la méthodologie de conception des ontologies. D'une part l'optimisation pour laquelle nous cherchons à diviser une ontologie dans un ensemble de sous ontologies dont chacune contient une partie de l'ensemble d'axiomes de l'ontologie originale permet d'obtenir ainsi une réduction relative du temps de raisonnement ; d'autre part la méthodologie de conception qui permet de remplacer une ontologie par un ensemble d'ontologies dans une organisation plus ou moins "optimale". Pour le premier objectif, la décomposition overlay d'une ontologie a comme résultat un ensemble de sous-ontologies regroupées dans une ontologie distribuée, appelée ontologie-décomposante (TBox-décomposante) et représentée par la logique de description distribuée. Intuitivement, le fait de pouvoir raisonner parallèlement sur ces sous-ontologies ayant chacune un espace de recherche réduit peut conduire à une réduction du temps relatif du raisonnement. Une propriété importante de cette ontologie est d'être interprétée dans le même domaine que l'ontologie originale. Ceci est une base qui nous suggère la proposition de deux algorithmes de raisonnement pour cette ontologie-décomposante. Concernant l'objectif de méthodologie de conception, nous introduisons deux méthodes de décomposition de l'ontologie reposant sur la décomposition heuristique des graphes. Une méthode repose sur la décomposition selon les séparateurs minimaux des graphes triangulaires et la seconde sur la décomposition selon la mesure des coupes normalisées des régions d'un graphe.

Les thèmes de cette thèse se situent dans le domaine de la géométrie conforme et l'étude des champs de particules sans masse. Elle est portée sur l'étude des morphismes harmoniques et des applications semi-conformes entre les variétés riemanniennes et semi-riemannienes avec ses aspects spinoriels.\\ La base de notre étude est la correspondance twistorielle de Penrose qui associe à chaque géodésique dans l'espace de Minkowski, un point d'une hypersurface de l'espace complexe projectif de dimension 3, ainsi, la résolution d'une équation aux dérivées partielles devient un problème (d'ordre 1) de la géométrie complexe analytique. Les deux objects qui nous permettront de généraliser des constructions connues à d'autres situations, par exemple aux espaces temps avec courbure, aux graphes finis, sont (i) une application semi-conforme, et (ii) une congruence de rayons de lumière sans cisaillement ("shear-free ray congruence" que nous abrégerons ultérieurement par SFR). En effet, une SFR correspond à une famille d'applications semi-conformes évoluant dans le temps (voir le chapitre 3), cette dernière est bien adaptée à un cadre plus général. Cette perspective nous permet d'achever partiellement notre but c'est-à-dire d'obtenir une description combinatoire des champs dans l'esprit des "spin networks" introduits par Penrose en 1971 \cite{R.PENROSE}.\\ Un aspect de mon travail est l'étude des morphismes harmoniques, définis sur un espace-temps à valeurs dans une surface, leurs relations avec les applications semi-conformes (considérées comme des champs physiques) en dimension 3 ainsi que l'évolution de celles-ci au cours du temps. D'autre part, on développe la théorie des applications semi-conformes adaptée à nos besoins. On démontre notamment l'existence des coordonnées canoniques pour de telles applications ; une loi de conservation lorsque les fibres sont de dimension $1$ ; la conservation de la semi-conformalité d'une application par rapport a une évolution naturelle ; on classifie les applications semi-conformes biharmoniques dans $R^3$ dont les fibres sont des arcs de cercles et on obtient une formule intégrale pour la representation d'une famille d'applications biharmoniques (pas nécessairement semi-conformes) plus générale. On va mettre au point un formalisme élégant pour étudier les espaces-temps à quatre dimensions, les applications semi-conformes et les morphismes harmoniques définis sur cet espace, en faisant appel à des objets appelés spineurs. Ce formalisme nous permet d'étudier l'évolution des applications semi-conformes, ainsi l'évolution d'un champ de vecteurs tangents aux feuilletages conformes de ces applications.\\ Lorsqu'on prolonge nos idées aux graphes, on étudie la notion d'applications harmoniques et semi-conformes dans les graphes, dont la définition est proposée par H.Urakawa en 1997 \cite{Ura}. On étudie les applications définies sur les graphes ainsi que leur évolution par rapport à l'équation de la chaleur (en temps discret). On définit la notion de courbure sur un graphe et on donne un analogue au théorème de Gauss-Bonnet \cite{Bonnet} dans le cas discret. Afin de développer la théorie des twisteurs sur un graphe, on introduit notre propre définition d'une fonction holomorphe sur un graphe. Par ailleurs, on introduit la notion de graphe dual twistoriel, autrement connue sous le nom de "line graph". La correspondance entre un graphe et son dual twistoriel montre des aspects tout à fait analogues au cas continu, par exemple un sommet du graphe correspond à un sous graphe complet du graphe dual, qu'on doit considérer comme la correspondance entre un point de l'espace de Minkowski et une copie de $\mathbb{C}P^1$ dans l'espace des twisteurs

De nos jours, l'intérêt porté à la préservation de l'environnement à travers la réduction des émissions de gaz à effet de serre prend de plus en plus d'ampleur. Depuis 2006,la politique multimodale a évolué vers une politique co-modale qui n'oppose plus la voiture au transport public mais encourage une combinaison de tous les modes de transport sans favorisation dans le but d'une optimisation du service. Placés dans ce cadre, le but de cette thèse est de mettre en œuvre un système de gestion de véhicules partagés qui recouvre tous les services de transports existants tel que le transport public, le covoiturage, les véhicules en libre service et qui capable de satisfaire les demandes des utilisateurs en leur fournissant des itinéraires co-modaux optimisés en terme de temps, coût et émission des gaz à effet de serre tout en respectant leurs préférences et priorités. En recevant plusieurs requêtes simultanées en un court laps de temps, le système doit être capable à la fois de décomposer les solutions en tronçons que nous appelons Routes, en respectant toutes les similarités entre les différentes demandes et de regrouper les informations de manière cohérente pour déterminer les combinaisons de Routes possibles. Vu l'aspect dynamique et distribué du problème, une stratégie de résolution efficace mettant à profit une mixture de concepts ; à savoir les systèmes multi-agents et l'optimisation a été mise en place. Les résultats expérimentaux présentés dans cette thèse justifient l'importance de la co-modalité et la nécessité de mettre à profit la complémentarité entre les véhicules partagés et les autres moyens de transport à travers un système intelligent et global

Dans un hypertexte, un document est souvent composé de plusieurs nœuds et non pas d'un seul. L'information véhiculée par un nœud donné peut difficilement être appréhendée à travers la lecture du seul contenu de ce nœud, le contenu des autres nœuds qui composent un document avec le premier nœud lui apportent un contexte .La connaissance de ce contexte est fondamentale dans la compréhension de l'information véhiculée par le premier nœud. Un système de recherche d'information, ou plus couramment un moteur de recherche, appliqué au système hypertexte que constitue le Web devrait considérer dans son fonctionnement la fragmentation des documents hypertextuels en plusieurs pages : une page ne constitue pas un document à part entière, elle n'en est qu'une partie. Ainsi, pour bien indexer une page le contexte de l'information qu'elle véhicule doit être considéré. Les moteurs de recherche considèrent souvent une page comme un document et l'indexent en analysant uniquement son contenu. Le contexte des pages est ignoré. Dans ce travail nous proposons un modèle de recherche d'information pour un moteur de recherche appliqué à un système hypertexte constitué par un site Web. Ce modèle repose sur la construction d'un index à deux niveaux pour chacune des pages du site : un premier niveau, niveau inférieur, construit à partir du seul contenu de la page, et un deuxième niveau, niveau supérieur, construit à partir du contenu des pages qui apportent un contexte au contenu de la page en train d'être indexée. En améliorant la qualité des index des pages on cherche à améliorer l'efficacité du moteur de recherche. Grâce à l'implémentation d'un prototype de moteur de recherche intégrant le modèle proposé ainsi que l'utilisation de la collection de tests WT10g issue des conférences TREC et adaptée à nos besoins, nous avons pu mener des expérimentations. Les résultats de ces dernières, une amélioration dans la qualité des réponses retournées par le moteur prototype, sont des indicateurs favorables de l'utilité de l'information contextuelle des pages. L'efficacité du moteur prototype a été comparée avec celle d'un moteur de recherche adoptant un modèle traditionnel où un seul niveau d'index, celui issu du seul contenu des pages, est utilisé.

Ce travail de thèse s'inscrit dans le domaine de la recherche de structures dans un graphe. <br />On étudie certaines propriétés algorithmiques et combinatoires pour successivement trois types de colorations : orientée, mixte et décomposition acircuitique. <br />Pour la coloration orientée, on obtient des résultats de NP-complétude pour des classes de graphes très spécifiques ainsi que des résultats d'inapproximabilité. Pour dépasser ces difficultés, nous définissons une notion de coloration mixte et obtenons un résultat d'approximation différentielle ainsi qu'une interprétation du polynôme chromatique mixte qui généralise le résultat de Stanley pour certains graphes mixtes. En relachant la contrainte de classe monochromatique stable, nous étudions finalement la complexité de la décomposition acircuitique, caractérisons une famille de tournoi critique indécomposable et établissons les premières propriétés du polynôme chromatique acircuitique.