De nos jours, les objets virtuels sont devenus omniprésents. On les trouve dans de nombreux domaines comme le divertissement (cinéma, jeux vidéo, etc.), la conception assistée par ordinateur ou encore la réalité virtuelle. Nous nous intéressons en particulier à la modélisation d'objets 3D dans le domaine de la création artistique. Ici, la création d'images riches nécessite de faire appel à des modèles très détaillés et donc extrêmement complexes. Les surfaces de subdivision, traditionnellement utilisées dans ces domaines, voient leur complexité croître rapidement lorsqu'on ajoute des détails, et la gestion de la connectivité du maillage de contrôle devient trop contraignante. Une approche standard pour gérer la complexité de tels modèles est d'utiliser des représentations différentes pour la forme générale de la surface et les détails. Cependant, ces détails sont représentés par des cartes matricielles qui ne possèdent pas la plupart des avantages des représentations vectorielles, et cela complexifie certaines tâches, comme par exemple l'animation. Dans cette thèse, nous proposons deux nouvelles représentations vectorielles, la première pour les surfaces de base, la deuxième pour les détails. Nous utilisons pour cette dernière une représentation vectorielle appelée images de diffusion permettant de créer des variations lisses à l'aide d'un ensemble réduit de contraintes. Cela nous permet de représenter aussi bien la géométrie que la couleur ou d'autres paramètres nécessaires au rendu de façon purement vectoriel, en conservant des contrôles de haut niveau.Notre première contribution est une représentation de surfaces, baptisée LS3, issue de la combinaison entre surfaces de subdivision et -point set surfaces. Cette approche réduit notablement les artefacts des surfaces de subdivision aux alentours de sommets dits extraordinaires, qui sont connus pour poser problème. Nous présentons une analyse numérique des propriétés de ces surfaces, qui tend à montrer que du point de vue de la continuité elles se comportent au moins aussi bien que les schémas de subdivision linéaires traditionnels. Notre deuxième contribution est un solveur pour les images de diffusion dont le principal avantage est de produire en sortie une autre représentation vectorielle légère et très rapide à évaluer. Nous illustrons la force de note solveur sur de nombreux exemples difficiles ou impossibles à réaliser avec les méthodes précédentes. Pour conclure, nous montrons comment combiner nos deux contributions pour obtenir une représentation de surface entièrement vectorielle capable de représenter des détails sans avoir à manipuler la connectivité d'un maillage. / Nowadays, virtual objects have become omnipresent. We can find them in various domains such as entertainment (movies, video games, etc.), computer-aided design or virtual reality. Our main focus in this document is the modeling of 3D objects in the domain of artistic creation, where rich images creation requires highly detailed and complex models.Subdivision surfaces, the most used surface representation in this domain, quickly become very dense as the user add details, and manual handling of the connectivity becomes too cumbersome. A standard approach to handle the complexity of such models is to separate the overall shape of the surface and the details. Although, these detail maps are often stored in bitmap images that does not provide the advantages of vectorial representation, which complicate some tasks, like animation.In this document, we present two new vectorial representations: the first one for the base surface, the second one for the detail maps. For the later, we use a vectorial representation called diffusion images that allow to create smooth or sharp variations from a small set of constraints. This enables us to represent geometry as well as color or any other parameter required for rendering, while keeping high-level controls.Our first contribution is a surface representation, called LS3, based on the combination of subdivision surfaces and point set surfaces. This approach reduces notably artifacts that subdivision surfaces produce around so called extraordinary vertices. We also present a numerical analysis of the mathematical properties of these surfaces, that show that they behave at least as well as classical subdivision schemes.Our second contribution is a solver for diffusion images that has the particularity to produce as output a denser vectorial representation which is light and fast to evaluate. We show the advantages of this approach on several examples that would be hard or impossible to produce with former methods.To conclude, we show how these two contributions can be used together to obtain a fully vectorial surface representation able to produce detailed surfaces without needing to deal with complex connectivity.

L'exploitation des documents multimédias pose des problèmes de représentation des informations textuelles et visuelles contenues dans ces documents. Notre but est de proposer un modèle permettant de représenter chacune de ces informations et de les combiner en vue de deux tâches : la catégorisation et la recherche d'information. Ce modèle représente les documents sous forme de sacs de mots nécessitant la création de vocabulaires spécifiques. Le vocabulaire textuel, généralement de très grande taille, est constitué des mots apparaissant dans les documents. Le vocabulaire visuel est quant à lui construit en extrayant des caractéristiques de bas niveau des images. Nous étudions les différentes étapes de sa création et la pondération tfidf des mots visuels dans les images, inspirée des approches classiquement utilisées pour les mots textuels. Dans le contexte de la catégorisation de documents textuels, nous introduisons un critère qui sélectionne les mots les plus discriminants pour les catégories afin de réduire la taille du vocabulaire sans dégrader les résultats du classement. Nous présentons aussi dans le cadre multilabel, une méthode permettant de sélectionner les différentes catégories à associer à un document. En recherche d’information, nous proposons une approche analytique par apprentissage pour combiner linéairement les résultats issus des informations textuelles et visuelles, permettant d'améliorer significativement la recherche. Notre modèle est validé pour ces différentes tâches en participant à des compétitions internationales telles que XML Mining et ImageCLEF et sur des collections de taille conséquente / Exploiting multimedia documents leads to representation problems of the textual and visual information within documents. Our goal is to propose a model to represent these both information and to combine them for two tasks: categorization and information retrieval. This model represents documents as bags of words, which requires to define adapted vocabularies. The textual vocabulary, usually very large, corresponds to the words of documents while the visual one is created by extracting low-level features from images. We study the different steps of its creation and the tf.idf weighting of visual words in images usually used for textual words. In the context of the text categorization, we introduce a criterion to select the most discriminative words for categories in order to reduce the vocabulary size without degrading the results of classification. We also present in the multilabel context, a method that lets us to select the number of categories which must be associated with a document. In multimedia information retrieval, we propose an analytical approach based on machine learning techniques to linearly combine the results from textual and visual information which significantly improves research results. Our model has shown its efficiency on different collections of important size and was evaluated in several international competitions such as XML Mining and ImageCLEF

L'objectif de cette thèse est d'étudier des propriétés des points d'équilibre dans des réseaux de transport multi-critères et de développer des méthodes numériques permettant de trouver l'ensemble des points d'équilibre ou une partie représentative de cet ensemble. Le travail est structure comme suit. Dans le premier chapitre nous donnons une introduction de la thèse. Le chapitre 2 est un rappel de certaines notions que nous utilisons dans les autres. Nous y rappelons le concept de point optimal de Pareto, les fonctions multivoques et les problèmes d'inégalité variationnelle. Nous introduisons certaines fonctions de scalarisation et puis établissons quelques propriétés importantes. Dans le chapitre 3, nous décrivons les réseaux de transport qui sont étudiés dans cette thèse. Dans chaque modèle, nous rappelons les définitions des points d'équilibre et donnons une relation entre ces définitions. Dans le chapitre 4 nous traitons les réseaux de transport multi-critères mono-produit sans contraintes de capacité. Tout d'abord, nous construisons deux problèmes d'optimisation dont les solutions sont exactement l'ensemble des points d'équilibre du modèle initiale et établissons certaines propriétés importantes de continuité et de dérivabilité génériques des fonctions objectifs. Puis nous donnons une formule permettant de calculer le gradient des fonctions objectifs. Nous proposons également un algorithme et prouvons sa convergence pour générer une représentation de l'ensemble des points d'équilibre. Puisque les fonctions objectifs de nos problèmes d'optimisation ne sont pas continues, une méthode de lissage est également considérée afin d'utiliser quelques techniques d'optimisation globale. En fin, nous introduisons le concept de point d'équilibre robuste, puis nous établissons des critères de robustesse et une formule permettant de calculer le rayon de robustesse. Dans le chapitre 5 nous étudions des points d'équilibre vectoriel dans le réseau de transport multi-critères mono-produit sous contraintes de capacité.Tout d'abord, nous proposons un problème d'optimisation équivalent. En utilisant des techniques analogues à celles du chapitre 4 nous obtenons également un sous-ensemble des points d'équilibre du modèle proposé. Dans le dernier chapitre nous considérons des points d'équilibre fort dans le réseau de transport multi-critères multi-produit sous contraintes de capacité. Nous établissons des conditions d'existence des points d'équilibre fort, des relations entre des points d'équilibre fort et des points d'équilibre par rapport à une famille de fonctions ainsi qu'une relation entre des points d'équilibre fort et les points efficaces de l'ensemble des valeurs de la fonction de coût. En plus nous construisons des problèmes d'inéqualité variationnellle, dont les solutions sont les points d'équilibre fort. La dernière partie de ce chapitre est consacrée à un algorithme permettant de trouver des points d'équilibre d'un réseau multi-critères sous contraintes de capacité. Certains exemples numériques sont donnés pour illustrer notre méthode. Nous fermons la thèse avec une liste de références et appendice contenant le code matlab de nos algorithmes. / The purpose of this thesis is to study equilibria in multi-criteria trafficnetworks and develop numerical methods to find the set of all equilibria oronly one representative part of this set. The thesis is structured as follows.In the first chapter we present an introduction of the thesis. Chapter 2is of preliminary character. We recall the concept of Pareto minimal pointsand some notions related to set-valued maps and variational inequality pro-blem. We introduce some scalarizing functions, in particular the so-calledaugmented biggest/smallest monotone functions and augmented signed distance functions, and establish some properties we shall use later.Chapter 3 describes the traffic network models to be studied in this thesis.We define equilibrium for each model and determine a relationship betweenthem. We also give some counter examples for some existing results in therecent literature on this topic.In Chapter 4 we develop a new solution method for multi-criteria net-work equilibrium problems without capacity constraints. To this end we shallconstruct two optimization problems the solutions of which are exactly theset of equilibria of the model, and establish some important generic conti-nuity and differentiability properties of the objective functions. Then we givethe formula to calculate the gradient of the objective functions which enablesus to modify Frank-Wolfe's reduced gradient method to get descent directiontoward an optimal solution. We prove the convergence of the method whichgenerates a nice representative set of equilibria. Since the objective functionsof our optimization problems are not continuous, a method of smoothingthem is also considered in order to see how global optimization algorithmsmay help.We shall also introduce the concept of robust equilibrium, establishcriteria for robustness and a formula to compute the radius of robustness.In Chapter 5 we consider vector equilibrium in the multi-criteria single-product traffic network with capacity constraints.We propose an equivalent optimization problem and establish some im-portant generic continuity and differentiability properties of the objectivefunction. Then we give a formula which allows us to calculate the gradientof the objective function. After that we apply the approach of Chapter 4 toobtain an algorithm for generating equilibria of this network. We also givesome numerical examples to illustrate our approach.In the last chapter we consider strong vector equilibrium in the multi-criteria multi-product traffic network with capacity constraints.We establish conditions for existence of strong vector equilibrium.We alsoestablish relations between equilibrium and efficient points of the value set ofthe cost function and with equilibrium with respect to a family of functions.Moreover we exploit particular increasing functions discussed in Chapter 2 toconstruct variational inequality problems, solutions of which are equilibriumflows. The final part of this chapter is devoted to an algorithm for findingequilibrium flows of a multi-criteria network with capacity constraints. Somenumerical examples are given to illustrate our method and its applicability.A list of references and appendices containing the code Matlab of ouralgorithms follow.

Dans un contexte de développement spectaculaire des nano-objets, il est nécessaire de développer des moyens de caractérisation électrique haute fréquence sous pointes adaptés aux petites échelles. En particulier, deux verrous instrumentaux doivent être levés. D’une part, la principale difficulté pour caractériser des nano-composants est qu’ils présentent en régime dynamique de fortes valeurs d’impédances comparativement à celles des systèmes de mesure hyperfréquence usuels. D’autre part, Il existe une discontinuité de taille entre les nano-objets et les systèmes de mesure conventionnels. Compte tenu du challenge scientifique et d’un état de l’art relativement limité, plusieurs voies ont été explorées de concert. En premier lieu, dans le cadre d’un projet européen regroupant les acteurs de la métrologie, et du laboratoire commun IEMN-STMicroelectronics®, la traçabilité des mesures hautes impédances de nano-dispositifs est établie. Par ailleurs, il s’agit de développement de nouvelles générations de sondes GSG (Ground-Signal-Ground) en technologie MEMS (Microelectromechanical systems), miniaturisées et adaptées à la taille des nano-dispositifs. Les sondes sont montées sur une plateforme de nano-positionnement robotisée et intégrée dans un microscope électronique à balayage. / In the frame of the spectacular development of nano-objects, innovative on-wafer electrical measurement methods must be addressed at the nanoscale. In particular, two main issues have been identified. On one hand, nano-devices exhibit very high dynamic impedance in contrast with conventional measuring microwave instruments. On the other hand, there is an inherent size discontinuity between nano-objects and conventional measurement systems. Given the scientific challenge and a relatively limited state of the art, several avenues of investigation have been explored. First, as part of a European project bringing together metrology laboratories, and the joint laboratory IEMN-STMicroelectronics®, the traceability of nano-devices high impedance measurements is established. In a second step, the development of an electrical on-wafer measuring platform for nano-devices is described. This includes the development of new generations of GSG (Ground-Signal-Ground) miniaturized probes in MEMS (Microelectromechanical systems) technology with reduced access pads. The probes are mounted on a robotic nano-positioning platform integrated in a scanning electron microscope.

La communication visuelle tire profit de la grande variété d'apparences qu'une image peut avoir. En ignorant les détails, les images simplifiées concentrent l'attention de l'observateur sur le contenu essentiel à transmettre. Les images stylisées, qui diffèrent de la réalité, peuvent suggérer une information subjective ou imaginaire. Des variations plus subtiles, comme le changement de l'éclairage dans une photographie, ont également un impact direct sur la façon dont le message transmis va être interprété. Le but de cette thèse est de permettre à un utilisateur de manipuler le contenu visuel et créer des images qui correspondent au message qu'il cherche à transmettre. Nous proposons plusieurs manipulations qui modifient, simplifient ou stylisent des images pour augmenter leur pouvoir d'expression. Nous présentons d'abord deux méthodes pour enlever les détails d'une photographie ou d'une vidéo. Le résultat de cette simplification met en valeur les structures importantes de l'image. Nous introduisons ensuite une nouvelle primitive vectorielle, nommée Courbe de Diffusion, qui facilite la création de dégradés de couleurs et de flou dans des images vectorielles. Les images créées avec des courbes de diffusion présentent des effets complexes qui sont difficiles à reproduire avec les outils vectoriels existants. Dans une seconde partie, nous proposons deux algorithmes pour la création d'animations stylisées à partir de vidéos et de scènes 3D. Ces deux méthodes produisent des animations qui ont l'apparence 2D de média traditionnels comme l'aquarelle. Nous décrivons enfin une approche pour décomposer l'information d'illumination et de réflectance dans une photographie. Nous utilisons des indications utilisateurs pour résoudre ce problème sous-contraint. Les différentes manipulations d'image proposées dans ce mémoire facilitent la création d'une variété de représentations visuelles, comme illustré par nos résultats.

Pour les entraînements à vitesse variable, la machine électrique n'étant plus directement couplée au réseau triphasé, le choix du nombre de phases peut être reconsidéré. On s'intéresse dans la thèse à la conception d'entraînements comportant des machines synchrones à aimants permanents à pôles lisses et non saturées mais à plus de trois phases. L'objectif est d'examiner simultanément les contraintes liées à la machine et à l'ensemble onduleur de tension/commande dans le but de réaliser un ensemble polyphasé performant. Les travaux développés dans cette étude explorent la possibilité spécifique des machines polyphasées de posséder des harmoniques spatiaux de force magnétomotrice et de force électromotrice tout en présentant des couples pulsatoires de très faible amplitude tant en mode normal que dégradé avec une ou deux phases non alimentées. Dans le chapitre II, pour une structure de bobinage imposée, nous examinons lors de la conception d'une machine à 7 phases à flux axial à double rotor l'effet d'une modulation des forces électromotrices en jouant sur la nature et la distribution des aimants permanents sur les rotors. Dans le chapitre III, une comparaison entre résultats expérimentaux et résultats obtenus par approches analytique et numérique (calcul 3D) est effectuée. Elle permet de valider l'approche analytique multi-harmoniques et met en exergue l'apport du calcul numérique. Dans le chapitre IV, une structure de commande est élaborée par inversion causale et une commande vectorielle est décrite et implantée expérimentalement pour un fonctionnement en mode normal ou dégradé.

Dans la plupart des systèmes de CFAO actuels, les tolérances sont indiquées grâce à des outils de représentation graphique symbolique (cotes, cadres de tolérances, repères, textes, ...). Cette représentation doit être correcte du point de vue syntaxique et sémantique. Les règles de bases de la syntaxe sont en général prises en compte par le logiciel, mais pas toutes. Il est encore possible d'écrire des tolérances qui ne sont pas correctes du fait même de leur écriture. Pour vérifier que la sémantique d'une tolérance est correcte, il faut pouvoir lui donner une interprétation conformément aux règles définies par les normes. Or ces règles sont complexes. Jusqu'à présent seul un technicien, avant une connaissance approfondie, est capable de vérifier si une tolérance indiquée sur le dessin est correcte du point de vue sémantique. Je développe un système intégré au logiciel TopSolid qui permet d'inscrire les tolérances sur le plan à partir du modèle 3D de la pièce. L'utilisateur travaillera sur un modèle 3D. Après avoir indiquer sur la pièce les surfaces tolérancées, le logiciel propose alors de contrôler les paramètres et les choix possibles de l'utilisateur. Le concepteur pourra ensuite définir des références de tolérance dont la cohérence avec le cadre de tolérance sera automatiquement vérifiée au fur et à mesure de leurs créations. Il s'agira, ensuite, d'aider le concepteur à déterminer quelles sont les surfaces à prendre en références et celles qui doivent être tolérancées. Cette partie permettra alors de définir un tolérancement complet à partir d'un ensemble de surfaces fonctionnelles hiérarchisées. Cette thése propose d'assister le concepteur dans sa démarche de tolérancement. Pour ce faire, je mets à sa disposition au travers de mes travaux un outil de transfert des connaissances sur le tolérancement et un atelier d'aide à la prise de décision.

L'objet de cette thèse est l'étude de la parallélisation d'algorithmes du calcul scientifique et<br />leur implémentation sur des ordinateurs parallèles à mémoire partagée et sur des réseaux systoliques.<br /> Un accent particulier est mis sur l'obtention de résultats de complexité. La thèse est organisée autour<br /> d'articles et textes de conférences qui sont analysés et discutés dans une première partie de façon à <br />permettre de replacer les problèmes traités dans leur contexte.<br />Dans le premier chapitre, nous présentons les principaux résultats théoriques concernant <br />l'étude de complexité des algorithmes parallèles, ainsi qu'une description critique de l'architecture <br />de référence, qui est une machine de type MIMD à mémoire partagée. Le chapitre suivant est dédie" à <br />l'ensemble des résultats de complexité concernant les algorithmes de diagonalisation et <br />l'élimination de Gauss, il a pour but d'illustrer la méthodologie. Il existe en tout dix écritures possibles de la méthode de Gauss, qui conduisent principalement à deux grandes classes de graphes de précédente, conceptuellement différents : les graphes de type "glouton" et ceux du type "2 pas".<br />Ces types de graphes se rencontrent d'une manière plus générale dans d'autres problèmes <br />d'algèbre linéaire et même dans certaines méthodes non numériques de la théorie des graphes. <br />Nous développons les résultats de complexité concernant ces deux types de graphes sur les exemples<br /> les plus courant (versions kji et kij de Gauss en parallèle), puis nous montrons comment adapter<br /> l'étude en prenant en compte t'es temps de communication entre tes processeurs, ce qui rend le modèle<br /> théorique plus réaliste.<br />Le chapitre 6 est consacré aux architectures systoliques. Le problème du chemin algébrique permet <br />d'unifier plusieurs problèmes informatiques. Nous présentons un réseau résolvant ce problème en Sn-2 <br />pas sur un réseau de taille n(n+l ). De plus, quelques modifications permettent de calculer des projections<br /> en filtrage adaptatif en vu d'obtenir une solution en temps réel pour le traitement numérique des signaux.<br />Avant de conclure, nous présentons des résultats complémentaires de parallélisation effective sur d'autres<br /> types d'architectures : l'étude de l'algorithme du gradient conjugué sur des super calculateurs <br />(CRAY-XMP et IBM 3090-VF).

L'intérêt pour les énergies renouvelables croît continuellement dans le monde. L'objectif de l'Union Européenne est d'attendre à l'horizon 2020 une production de 20% de la consommation énergétique totale à partir des énergies renouvelables. Donc, la vaste majorité des pays ont décidé de réduire les émissions de gaz responsables de l'augmentation de l'effet de serre. Cette décision présume la réduction de la consommation en énergie fossile (gaz naturel, pétrole, charbon, etc.) au profit des énergies renouvelables dont fait partie l'énergie obtenue dans les microcentrales hydroélectriques. La petite hydraulique possède un fort potentiel de développement et on prévoit qu'elle tiendra une place importante dans la production électrique future par énergies renouvelables, les applications visées étant l'alimentation de sites isolés, non électrifiés, ainsi que la fourniture d'appoint au réseau interconnecté, notamment par association avec d'autre sources renouvelable comme l'éolien par exemple. Le but de la thèse concerne l'étude théorique et expérimentale (sur un banc d'essais) de la structure d'une microcentrale hydroélectrique à vitesse variable. Le système est constitue par une machine asynchrone à double alimentation (MADA), excitée, au rotor par une machine synchrone à aimants permanents (MSAP) ; ces deux machine étant montées sur le même arbre. Deux convertisseurs à MLI, réversibles, réalisent la connexion électrique entre les deux machines. Cette étude concerne les aspects liés à la commande des machines électriques, le fonctionnement de la microcentrale en îlotage et en débit sur un réseau puissant et l'association à d'autres sources décentralisés de production. L'association avec une centrale éolienne à vitesse fixe a été étudiée. En plus, on a ajuté un dispositif de stockage à supercondensateurs ayant le rôle d'augmentation de la capacité de pénétration dans le réseaux îlots ou puissantes.

L'objectif de ce travail de thèse est de définir un modèle électromagnétique de la machine asynchrone. Celui-ci permet aux électrotechniciens d'utiliser un outil plus performant que les modèles traditionnels. Cette approche offre de grands avantages comme : - un gain de temps par rapport à l'utilisation d'un logiciel de résolution par éléments finis, la caractérisation de la machine même lorsque le circuit magnétique est saturé. La méthode employée pour définir ce type de modèle associe quelques résultats d'un logiciel de calcul par éléments finis pour différents états de saturation, à la détermination des paramètres du schéma équivalent grâce à l'application du diagramme vectoriel de la machine asynchrone. Par rapport au modèle analytique qui utilise la détermination des paramètres par la géométrie de la machine, ce modèle tient compte de leur variation en fonction de la saturation et fournit les performances de la machine quel que soit son état magnétique. Dans ce mémoire, cette approche est notamment appliquée à l'étude et au dimensionnement d'une machine asynchrone particulière par sa forme discoïde et son utilisation en tant qu'alternateur-démarreur pour automobile.