.

L'évaluation de performances est primordiale pour la conception et le développement des systèmes informatiques. Ces derniers sont de plus en plus complexes et leur modèle sont de plus en plus gros. Pour résoudre ces modèles sur un calculateur, nous sommes confrontes a deux problèmes: la capacité mémoire et la rapidité avec laquelle on résout ces modèles. L'avènement des calculateurs parallèles constitue une bonne opportunité pour résoudre ces deux problèmes. Dans cette thèse, nous allons mettre en service le parallélisme pour résoudre les problèmes de l'évaluation de performance. Dans le cadre du calcul parallèle, nous abordons un probleme essentiel qui est le cout des communications dans les machines a mémoires distribuées. Une autre composante importante en parallélisme est le placement des données. Nous verrons l'impact de différents placements de données pour effectuer le produit vecteur-matrice qui constitue la brique de base des méthodes numériques itératives pour résoudre les modèles. Nous proposons des schémas itératives pour résoudre les problèmes markoviens. D'autre part, nous avons développe une parallélisation du solveur de modèles issus des réseaux d'automates stochastiques. En résolvant des problèmes de placement de taches et en réduisant le cout des communications, cette parallélisation nous permet de traiter des modèles de l'ordre de plusieurs millions d'états en un temps de calcul raisonnable

Ce travail concerne la simulation d'écoulements viscoélastiques compressibles appliquée à l'injection de polymères. La compressibilité est intégrée dans Rem3D en supposant que la densité du matériau suit une loi d'évolution du type loi de Tait. La conservation de la masse est écrite comme une équation en vitesse, pression et température, à travers des coefficients de compressibilité isotherme et de dilatation isobare. Le système obtenu est désigné "Stokes compressible" et sa résolution numérique est faite par la méthode des éléments finis mixtes. Le système obtenu est non-linéaire et non-symétrique. Le couplage thermique et l'extension à des problèmes avec surface libre sont aussi consid ér és. Le modèle viscoélastique choisi est le modèle Pom-Pom, issu de la dynamique moléculaire. L'extra-contrainte est fonction des propriétés microscopiques du matériau, comme l'orientation moléculaire et son étirement. L'élasticité est vue comme une perturbation dans le problème mécanique, et une méthode de stabilisation du type DEVSS est utilisée. L'orientation et l'étirement sont déterminés par la résolution de deux équations d'évolution via une méthode espace-temps Galerkin discontinu. Finalement, la thermoviscoélasticité est abordée brièvement. Dans le contexte de l'injection de polymères, REM3D couvre aujourd'hui toutes les phases du proc éd é. Néanmoins, la solidification et la transition liquide-solide sont approximées par un comportement du type liquide de très haute viscosité. L'introduction de la compressibilité permet de compenser le retrait du matériau par un apport supplémentaire de matière. D'un autre côté, la prise en compte d'un comportement viscoélastique détecte d'éventuelles anisotropies des propriétés de la pièce injectée. Les diverses comparaisons des résultats obtenus avec la littérature et l'expérience montre une bonne concordance, validant les modèles implémentés.

Le produit tensoriel non abélien construit à partir de modules croisés sur un même groupe est en surjection sur le sous-groupe de commutateurs induit par les images des modules croisés. Les factorisations à travers chacun des modules croisés définissent des commutateurs généralisés. Les noyaux associés sont des quotients de groupes de relations entre commutateurs généralisés par des relations universelles. Toute l'homologie d'un groupe peut s'exprimer sous la forme de tels quotients. L'étude des identités vérifiées par le produit tensoriel, de l'exactitude à droite et de l'obstruction à l'exactitude à gauche permet d'expliciter plus ou moins complètement certains de ces quotients et d'établir des liens entre différents groupes de cette forme. Ces questions sont également liées à l'existence de sections compatibles avec les structures de module croisé et à l'éventuelle nullité de morphismes canoniques induits par la suite centrale descendante entre troisièmes groupes d'homologie.

Les méthodes de décomposition de domaine en espace ont prouvé leur utilité dans le cadre des architectures parallèles. Pour les problèmes d’évolution en temps, il est nécessaire d’introduire une dimension supplémentaire de parallélisme dans la direction du temps. Ceci peut alors être couplé avec des méthodes de type optimisé Schwarz waveform relaxation. Nous nous intéressons dans cette thèse aux méthodes directes de décomposition en temps. Nous en étudions particulièrement deux. Dans une première partie nous étudions la méthode de produit tensoriel, introduite par R. E. Lynch, J. R. Rice, et D. H. Thomas in 1963. Nous proposons une méthode d’optimisation des pas de temps, basée sur une étude d’erreur en variable de Fourier en temps. Nous menons cette étude sur les schémas d’Euler et de Newmark pour la discrétisation en temps de l’équation de la chaleur. Nous présentons ensuite des tests numériques établissant la validité de cette approche. Dans la seconde partie, nous étudions les méthodes dites de Bloc, introduites par Amodio et Brugnano en 1997. Nous comparons diverses implémentations de la méthode, basées sur différentes approximations de l’exponentielle de matrice. Nous traitons l’équation de la chaleur et l’équation des ondes, et montrons par une étude numérique bidimensionnelle la puissance de la méthode. / Domain decomposition methods in space applied to Partial Differential Equations (PDEs) expanded considerably thanks to their effectiveness (memory costs, calculation costs, better local conditioned problems) and this related to the development of massively parallel machines. Domain decomposition in space-time brings an extra dimension to this optimization. In this work, we study two different direct time-parallel methods for the resolution of Partial Differential Equations. The first part of this work is devoted to the Tensor-product space-time method introduced by R.E. Lynch, J. R. Rice, and D. H. Thomas in 1963. We analyze it in depth for Euler and Crank-Nicolson schemes in time applied to the heat equation. The method needs all time steps to be different, while accuracy is optimal when they are all equal (in the Euler case). Furthermore, when they are close to each other, the condition number of the linear problems involved becomes very big. We thus give for each scheme an algorithm to compute optimal time steps, and present numerical evidences of the quality of the method. The second part of this work deals with the numerical implementation of the Block method of Amodio and Brugnano presented in 1997 to solve the heat equation with Euler and Crank- Nicolson time schemes and the elasticity equation with Euler and Gear time schemes. Our implementation shows how the method is accurate and scalable.

Dans le premier chapitre, nous commençons par définir certains produits tensoriels et identifions leur dual. Nous donnons ensuite quelques propriétés des classes de Schatten. La fin du chapitre est dédiée à l’étude des espaces de Bochner à valeurs dans l'espace des opérateurs factorisables par un espace de Hilbert. Le deuxième chapitre est consacré aux multiplicateurs de Schur linéaires. Nous caractérisons les multiplicateurs bornés sur B(Lp, Lq) lorsque p est inférieur à q puis appliquons ce résultat pour obtenir de nouvelles relations d'inclusion entre espaces de multiplicateurs. Dans le troisième chapitre, nous caractérisons, au moyen de multiplicateurs de Schur linéaires, les multiplicateurs de Schur bilinéaires continus à valeurs dans l'espace des opérateurs à trace. Dans le quatrième chapitre, nous donnons divers résultats concernant les opérateurs intégraux multiples. En particulier, nous caractérisons les opérateurs intégraux triples à valeurs dans l'espace des opérateurs à trace puis nous donnons une condition nécessaire et suffisante pour qu'un opérateur intégral triple définisse une application complètement bornée sur le produit de Haagerup de l'espace des opérateurs compacts. Enfin, le cinquième chapitre est dédié à la résolution des problèmes de Peller. Nous commençons par étudier le lien entre opérateurs intégraux multiples et théorie de la perturbation pour le calcul fonctionnel des opérateurs autoadjoints pour finir par la construction de contre-exemples à ces problèmes. / In the first chapter, we define some tensor products and we identify their dual space. Then, we give some properties of Schatten classes. The end of the chapter is dedicated to the study of Bochner spaces valued in the space of operators that can be factorized by a Hilbert space.The second chapter is dedicated to linear Schur multipliers. We characterize bounded multipliers on B(Lp, Lq) when p is less than q and then apply this result to obtain new inclusion relationships among spaces of multipliers.In the third chapter, we characterize, by means of linear Schur multipliers, continuous bilinear Schur multipliers valued in the space of trace class operators. In the fourth chapter, we give several results concerning multiple operator integrals. In particular, we characterize triple operator integrals mapping valued in trace class operators and then we give a necessary and sufficient condition for a triple operator integral to define a completely bounded map on the Haagerup tensor product of compact operators. Finally, the fifth chapter is dedicated to the resolution of Peller's problems. We first study the connection between multiple operator integrals and perturbation theory for functional calculus of selfadjoint operators and we finish with the construction of counter-examples for those problems.

Cette thèse est axée sur le problème de l'identification de modèles factoriels de séries temporelles et est à la rencontre des deux domaines de la Statistique, l'analyse des séries temporelles et l'analyse des données avec ses méthodes descriptives. La première étape de notre travail a pour but d'étendre à plusieurs séries temporelles discrètes, l'étude des composantes principales de Jenkins développée dans les années 70. Notre approche adapte l'analyse en composantes principales "classique" (ou ACP) aux séries temporelles en s'inspirant de la technique Singular Spectrum Analysis (ou SSA). Un principe est déduit et est appliqué au processus multidimensionnel générateur des séries. Une matrice de covariance à structure "remarquable" est construite autour de vecteurs al9;atoires décalés: elle exploite la chronologie, la stationnarité et la double dimension du processus. A l'aide de deux corollaires établis par Friedman B. dans les années 50 basés sur le produit tensoriel de matrices, et de propriétés de covariance des processus circulaires, nous approchons les éléments propres de la matrice de covariance. La forme générale des composantes principales de plusieurs séries temporelles est déduite. Dans le cas des processus "indépendants", une propriété des scores est établie et les composantes principales sont des moyennes mobiles des séries temporelles. A partir des résultats obtenus, une méthodologie est présentée permettant de construire des modèles factoriels de référence sur des ARMA vectoriels "indépendants". L'objectif est alors de projeter une nouvelle série dans un des modèles graphiques pour son identification et une première estimation de ses paramètres. Le travail s'effectue dans un cadre théorique, puis dans un cadre expérimental en simulant des échantillons de trajectoires AR(1) et MA(1) stationnaires, "indépendantes" et à coefficients symétriques. Plusieurs ACP, construites sur la matrice temporelle issue de la simulation, produisent de bonnes qualités de représentation des processus qui se regroupent ou s'opposent selon leur type en préservant la propriété des scores et la symétrie dans le comportement des valeurs propres. Mais, ces modèles factoriels reflètent avant tout la variabilité des bruits de la simulation. Directement basées sur les autocorrélations, de nouvelles ACP donnent de meilleurs résultats quels que soient les échantillons. Un premier modèle factoriel de référence est retenu pour des séries à forts coefficients. La description et la mesure d'éventuels changements structurels conduisent à introduire des oscillateurs, des fréquences et des mesures entropiques. C'est l'approche structurelle. Pour établir une possible non-linéarité entre les nombreux critères et pour augmenter la discrimination entre les séries, une analyse des correspondances multiples suivie d'une classification est élaborée sur les entropies et produit un deuxième modèle de référence avec trois classes de processus dont celle des processus à faibles coefficients. Ce travail permet également d'en déduire une méthode d'analyse de séries temporelles qui combine à la fois, l'approche par les autocorrélations et l'approche par les entropies, avec une visualisation par des méthodes factorielles. La méthode est appliquée à des trajectoires AR(2) et MA(2) simulées et fournit deux autres modèles factoriels de référence.

Les méthodes de décomposition de domaine en espace ont prouvé leur utilité dans le cadre des architectures parallèles. Pour les problèmes d'évolution en temps, il est nécessaire d'introduire une dimension supplémentaire de parallélisme dans la direction du temps. Ceci peut alors être couplé avec des méthodes de type optimisé Schwarz waveform relaxation. Nous nous intéressons dans cette thèse aux méthodes directes de décomposition en temps. Nous en étudions particulièrement deux. Dans une première partie nous étudions la méthode de produit tensoriel, introduite par R. E. Lynch, J. R. Rice, et D. H. Thomas in 1963. Nous proposons une méthode d'optimisation des pas de temps, basée sur une étude d'erreur en variable de Fourier en temps. Nous menons cette étude sur les schémas d'Euler et de Newmark pour la discrétisation en temps de l'équation de la chaleur. Nous présentons ensuite des tests numériques établissant la validité de cette approche. Dans la seconde partie, nous étudions les méthodes dites de Bloc, introduites par Amodio et Brugnano en 1997. Nous comparons diverses implémentations de la méthode, basées sur différentes approximations de l'exponentielle de matrice. Nous traitons l'équation de la chaleur et l'équation des ondes, et montrons par une étude numérique bidimensionnelle la puissance de la méthode.

Soient K/Qp une extension finie et GK le groupe de Galois absolu de K. Cette thèse est consacrée à l'étude de produits tensoriels cristallins (ou semi-stables, ou de de Rham, ou de Hodge-Tate) de représentations p-adiques de GK,, ainsi que de produits tensoriels triangulins de représentations p-adiques de GK. On étudie également la situation où l'image d'une représentation p-adique par un foncteur de Schur (tel Symn ou Λn) est cristalline (ou semi-stable, ou de de Rham, ou de Hodge-Tate). Les résultats présentés dans cette thèse sont énoncés pour les B-paires, et ils s'appliquent donc en particulier aux représentations p-adiques.

Dans cette thèse on développe une théorie générale des objets tressés et on l'applique à une étude de structures algébriques et topologiques. La partie I contient une théorie homologique des espaces vectoriels tressés et modules tressés, basée sur le coproduit de battage quantique. La construction d'un tressage structurel qui caractérise diverses structures - auto-distributives (AD), associatives, de Leibniz - permet de généraliser et unifier des homologies familières. Les hyper-bords de Loday, ainsi que certaines opérations homologiques, apparaissent naturellement dans cette interprétation. On présente ensuite des concepts de système tressé et module multi-tressé. Appliquée aux bigèbres, bimodules, produits croisés et (bi)modules de Hopf et de Yetter-Drinfel'd, cette théorie donne leurs interprétations tressées, homologies et actions adjointes. La no- tion de produits tensoriels multi-tressés d'algèbres donne un cadre unificateur pour les doubles de Heisenberg et Drinfel'd, ainsi que les algèbres X de Cibils-Rosso et Y et Z de Panaite. La partie III est orientée vers la topologie. On propose une catégorification des groupes de tresses virtuelles en termes d'objets tressés dans une catégorie symétrique (CS). Cette approche de double tressage donne une source de représentations de V Bn et un traitement catégorique des racks virtuels de Manturov et de la représentation de Burau tordue. On définit ensuite des structures AD dans une CS arbitraire et on les munit d'un tressage. Les techniques tressées de la partie I amènent alors à une théorie homologique des structures AD catégoriques. Les algèbres associatives, de Leibniz et de Hopf rentrent dans ce cadre catégorique.