A partir du concept de paire d'amis dans un graphe (paire de sommets telle que toutes les chaînes sans cordes qui les relient sont de longueur paire) deux classes de graphes parfaits ont été déjà définies. La première notée QPS (graphes de quasi-parité stricte) est définie par l'existence de paires d'amis pour tout sous-graphe induit incomplet. La deuxième notée PC (graphes parfaitement contractibles) est définie à partir de l'idée algorithmique de coloration du graphe ou de ses sous-graphes induits par enchaînement de contractions successives des sommets d'une paire d'amis jusqu'à obtenir une clique, auquel cas la coloration est optimale. Dans cette thèse nous avons abordé deux conjectures: la première (relative à la classe QPS) énoncée par S. Hougardy est proche de la conjecture forte de graphes parfaits et la deuxième énoncée par H. Everett et B. Reed consite à caractériser les graphes PC par sous-graphes exclus. Nous avons pu valider ces deux conjectures dans deux cas: le cas des graphes planaires et le cas des graphes sans griffe. Ces quatre résultats sont assortis d'algorithmes polynomiaux de reconnaissance (ainsi que de coloration pour la classe PC)

Le polyèdre associé à un problème d'optimisation combinatoire est l'enveloppe convexe des (vecteurs d'incidence des) solutions réalisables de ce problème. De nombreux problèmes d'optimisation combinatoire se formulent comme une maximisation de fonctions linéaires sur les polyèdres qui leurs sont associés. La description du polyèdre par un système d'inéquations linéaires est intimement liée à la résolution du problème correspondant, par le biais de la programmation linéaire. Afin de déterminer un tel système, une approche classique consiste à décomposer le problème en sous-problèmes tels que les polyèdres associés soient connus ; une composition ultérieure de ces derniers conduit à une description du polyèdre associé au problème considéré. L'objet principal de cette thèse est l'étude de la composition des polyèdres. Dans un premier temps, une approche de composition, basée sur la programmation dynamique et les méthodes de projection polyédrale, est étudiée et des résultats généraux sont proposés, permettant ainsi d'unifier des recherches existantes dans ce domaine. Cette approche est, ensuite, appliquée à la composition de polyèdres associés au problème du voyageur de commerce. En seconde partie, considérant le problème du stable, des opérations sur les graphes (composition par identification de sous-graphes de deux graphes donnés, adjonction d'une nouvelle arête) sont traitées. Des résultats polyédraux sont donc donnés, et des conséquences concernant la perfection et la h-perfection des graphes sont montrés

La thèse porte sur la réponse d'une plaque couplée à un liquide et soumise au champ de pression créé par une détonation aérienne. Celle-ci correspond au mode d'explosion le plus violent et se caractérise par la propagation d'une onde de choc qui génère sur la plaque un champ de pression mobile dont l'intensité et la vitesse de propagation sont élevées. L'objectif est d'étudier la réponse dynamique du système couplé pendant la durée de propagation de l'onde sur la plaque. Après avoir présenté le chargement de détonation, la mise en équation du problème est exposée. Celle-ci est adaptée au contexte de dynamique rapide imposé par la sollicitation extérieure. La flexion de la plaque est étudiée selon la théorie de Mindlin Reissner et prend en compte les non linéarités géométriques. Les non linéarités matérielles sont décrites par la loi de comportement élastoplastique de Prandtl-Reuss avec écrouissage isotrope. La dynamique du fluide est décrite par les équations d'Euler linéarisées. L'étude analytique permet d'obtenir des solutions au problème d'une bande infinie, reposant sur un domaine liquide non borné, soumise à un chargement mobile stationnaire. Les solutions stationnaires décrivent la réponse du système couplé au voisinage du front de chargement. La résolution numérique du problème réel d'une plaque couplée est obtenue à partir d'un schéma aux différences finies d'ordre 2 en temps et en espace. L'intégration temporelle des équations est obtenue par un schéma explicite. L'étude expérimentale présente le banc d'essai et des exemples de réponse de plaques en contact avec de l'eau, soumises à des détonations. Ces réponses sont comparées aux solutions numériques.

Le travail présenté dans ce manuscrit est consacré à l'élaboration d'un modèle dynamique de la nage pour la commande du futur "Robot Anguille" du projet ROBEA-CNRS du même nom. Dans l'absolu, le calcul des interactions entre un corps déformable et le fluide sur lequel il s'appuie pour se déplacer, est un problème complexe nécessitant l'intégration des équations de Navier-Stokes couplées aux équations non-linéaires de la dynamique du corps soumis à des transformations finies. Poursuivant des objectifs de commande pour la robotique, la solution proposée dans ce travail est basée sur la fusion de deux théories : celle du "corps mince" issue de la mécanique des fluides et celle des "poutres Cosserat" de la mécanique du solide. La première théorie permet de remplacer l'écoulement 3-D autour du poisson par la stratification "tranche par tranche" d'écoulements plans, transverses à l'axe principal du corps de l'animal. Quant à la seconde, elle assimile le poisson à l'assemblage continu de sections rigides modélisant ses vertèbres ou, dans un contexte plus technologique, les plate-formes parallèles de notre robot bio-mimétique. Sur la base de cette modélisation, le travail présenté a pour but d'établir les dynamiques de la tête et des vertèbres du poisson afin d'élaborer in fine un algorithme de simulation numérique basé sur le "formalisme de Newton-Euler" de la robotique, ici étendu aux robots locomoteurs continus. Finalement, le modèle élaboré réalise une généralisation du modèle de Lighthill au cas de la nage tridimensionnelle d'un corps élancé autopropulsé. Outre ce résultat purement analytique, le simulateur qui en résulte nous a permis de mettre au point des allures jamais étudiées jusqu'alors. Qui plus est, il tourne en "temps réel", tout en maintenant un bon niveau de précision (i.e. inférieur à 10%) comparé à la référence basée sur la résolution numérique des équations de Navier-Stokes.

On s'intéresse au problème de retrouver la forme d'un objet 2d par la mesure des ondes qu'il diffracte. On développe ainsi des couplages de méthodes issue des méthodes d'échantillonnage et des méthodes d'optimisation de forme dans les cadres des conducteurs parfaits et des objets diélectriques. Après avoir calculé les dérivées de forme (du premier ou second ordre) et/ou topologiques et avoir effectué des tests numériques en scilab/Fortran dans ces deux cadres, cette thèse a permis de créer un couplage LSM-DGLS2-GT précis et robuste avec un coût de calcul modéré. On y recherche aussi d'autres types de fonctionnelles à minimiser et cherchons à calculer la dérivée seconde de forme difficile à obtenir dans une forme pratique à implémenter afin d'accélerer la convergence du précédent couplage mis en place.

Dans [PRID], Pridham a montré que tout n-champs d'Artin M admet une présentation en tant que schéma simplicial X. → M, telle que le schéma simplicial X satisfait à certaines propriétés notées par G.Pn,k de [GROTH]. Dans la présentation (...→ X2 → X1 → X0 → M), le schéma X1 représente une carte pour X0 x MX0. Donc, la lissité de X0 → M est équivalente à la lissité des deux projections ә0,ә1 : X1 → X0. Ce sont les deux premières parties de la condition de Grothendieck-Pridham, notées G.P1,0 et G.P1,1. Dans [BENZ12] nous avons introduit un n-champ d'Artin M des éléments de Maurer-Cartan d'une dg-catégorie. On a construit une carte, et on a déjà fait la preuve des premières conditions de lissité explicitement. Pour tout n et tout 0 ≤ k ≤ n Pridham considère un schéma noté MatchΛkn(X) avec un morphisme Xn → MatchΛkn(X). On construira explicitement le schéma simplicial de Grothendieck-Pridham X, on montrera la lissité formelle de cette carte précédente, ainsi que M est un n-champ géométrique.

De nombreux problèmes appliqués peuvent être modélisés par le problème de la coloration des sommets d'un graphe, qui est NP-complet en général mais polynomial sur la classe des graphes parfaits introduite par Berge. L'algorithme de coloration des graphes parfaits, de Grötschel, Lovasz et Schrijver, n'est pas réellement efficace d'un point de vue pratique et il est toujours intéressant de trouver un algorithme ''purement'' combinatoire permettant de colorier les graphes parfaits en temps polynomial. Dans cette thèse, nous donnons plusieurs algorithmes simples et rapides permettant de colorier des sous-classes de graphes parfaits. Ces algorithmes utilisent en particulier la notion de contraction de paire d'amis, introduite par Fonlupt et Uhry, à propos de laquelle plusieurs conjectures sont encore ouvertes. Nous utilisons aussi des algorithmes de parcours comme LexBFS, de Rose, Tarjan et Lueker, pour prouver des résultats structuraux sur les graphes considérés.

Cette thèse vise à une meilleure compréhension de la dynamique du voilier et à la validation des outils numériques de prédiction de performances et d'optimisation par l'étude expérimentale in situ du problème aéro-élastique d'un gréement. Une instrumentation est développée sur un voilier de 8m de type J80 pour la mesure dynamique des efforts dans le gréement, de la forme des voiles en navigation, du vent et des attitudes du bateau. Un effort particulier est apporté à la mesure des caractéristiques géométriques et mécaniques des éléments du gréement, la calibration des capteurs et au système d'acquisition des données. Les principaux résultats montrent que le voilier instrumenté est un outil adapté pour les mesures instationnaires et soulignent l'amplitude de variation d'effort rencontrée en mer (20 à 50% de l'effort moyen dans une houle modérée). En outre, les variations du signal d'effort sont déphasées avec l'angle d'assiette, créant un phénomène d'hystérésis. Le comportement dynamique d'un voilier en mouvement diffère ainsi de l'approche quasi-statique. Les simulations numériques proviennent du code ARAVANTI, couplage implicite d'un code structure éléments finis ARA et d'un code fluide parfait, limitant son domaine de validité aux allures de près Les résultats de simulation sont très proches des cas stationnaires et concordent bien avec les mesures en instationnaire dans une houle de face. L'expérimentation numérique d'un gréement soumis à des oscillations harmoniques en tangage souligne l'importance de l'approche Interaction Fluide Structure (IFS) et montre que l'énergie échangée par le système avec la houle est reliée à la fréquence réduite et l'amplitude du mouvement. Certaines informations n'étant pas disponibles sur le voilier instrumenté, une expérience contrôlée en laboratoire est développée. Elle consiste en un carré de tissu tenu par deux lattes en oscillation forcée. Les mesures sur cette " voile oscillante " permettent d'étudier les phénomènes IFS avec décollement et sont utilisées pour la validation du couplage ARA-ISIS entre un code fluide Navier-Stokes (RANS) et le même code structure.

Soit k un corps quelconque. Dans cette th±se, on étudie le groupe de Picard des k-groupes algébriques unipotents (lisses et connexes).Tout k-groupe algébrique unipotent est extension itérée de formes du groupe additif; on va donc d'abord s'intéresser au groupe de Picard des formes du groupe additif. L'étude de ce groupe est faite avec une méthode géométrique qui permet de traiter le cas plus général des formes de la droite affine. On obtient ainsi une borne explicite sur la torsion du groupe de Picard desformes de la droite affine et sur la torsion de la composante neutre du foncteur de Picard de leur complétion régulière. De plus, on trouve une condition suffisante pour que le groupe de Picard d'une forme de la droite affinesoit non trivial et on construit des exemples de formes non triviales de la droite affine dont le groupe de Picard est trivial.Un k-groupe algébrique unipotent est une forme de l'espace affine. Afin d'étudier le groupe de Picard d'une forme X de l'espace affine avec une méthode géométrique, on définit un foncteur de Picard "restreint". On montre que si X admet une complétion régulière, alors le foncteur de Picard "restreint" est représentable par un k-groupe unipotent (lisse, non nécessairement connexe).Avec ce foncteur de Picard "restreint" et des raisonnements purement géométriques, on obtient que le groupe de Picard d'une forme unirationnelle de l'espace affine est fini. De plus, on généralise un résultat dû à B. Totaro: si k est séparablement clos, et si le groupe de Picard d'un k-groupe algébrique unipotent commutatif est non trivial, alors il admet une extension non triviale par le groupe multiplicatif. / Let k be any field. In this Ph.D. dissertation we study the Picard group of the (smooth connected) unipotent k-algebraic groups.As every unipotent algebraic group is an iterated extension of forms of the additive group, we will study the Picard group of the forms of the additive group. In fact we study the Picard group of forms of the additive group and the affine line simultaneously using a geometric method. We obtain anexplicit upper bound on the torsion of the Picard group of the forms of the affine line and their regular completion, and a sufficient condition for the Picard group of a form of the affine line to be nontrivial. We also give examples of nontrivial forms of the affine line with trivial Picard groups.In general, a unipotent k-algebraic group is a form of the affine n-space. In order to study the Picard group of a form X of the affine n-space with a geometric method, we define a "restricted" Picard functor; we show that if X admits a regular completion then the "restricted" Picard functor is representable by a unipotent k-algebraic group (smooth, not necessarly connected). With this "restricted" Picard functor and geometric arguments we show that the Picard group of a unirational form of the affine n-space is finite. Moreover we generalise a result of B. Totaro: if k is separablyclosed and if the Picard group of a unipotent k-algebraic group is nontrivial then it admits a nontrivial extension by the multiplicative group.

The master's thesis examines the meaning of the past tenses used by Albert Camus in his novels The Stranger and The Fall and the possibility of their transfer to Czech. The present thesis takes a theoretical and empirical approach. The theoretical part provides an overview of the French past tenses and their meanings and deals with their functions within the narrative text. It also attempts to express the specific use of French past tenses in Camus's works analysed. The thesis does not omit describe the possibilities that the Czech language has to express the past. The empirical part is devoted to the analysis of the existing Czech translations of the novels The Stranger and The Fall with an emphasis on capturing the meanings of the past tenses defined in the theoretical part. Using the Czech translations, it seeks ways of creating equivalent effects in Czech and compares the translators' approaches. Key words: the role of the past tenses in the narrative text, passé composé, passé simple, imparfait, plus-que-parfait, Albert Camus, The Stranger, The Fall