ANALYSE NUMERIQUE

Auteur: GONZALEZ RODRIGUEZ PEDRO.
Année: 2004.
Université: CARLOS III DE MADRID [Plus de la thèse de l'université] [www.uc3m.es].
Lieu de l'exposition: ESCUELA POLITECNICA SUPERIOR.
Lieu de préparation: UNIVERSIDAD CARLOS III DE MADRID.

Résumé: Cette thèse explore deux questions d'une grande importance dans le domaine de l'ingénierie du pétrole, la simulation et la caractérisation des réservoirs. La première partie décrit et analyse la méthode des lignes électriques comme une alternative au problème de simulation très efficace de récupération secondaire processus. Nous analysons la stabilité et la convergence numérique, et l'utilisation de techniques de la division opérateur de simuler des dépôts dans lesquels la gravité et la pression capillaire sont importantes. Pour réduire la dispersion a été utilisé méthode numérique avant de suivi dans la résolution de l'équation de l'entretien sur les lignes électriques. La précision et l'efficacité de la méthode a été testée en comparant leurs résultats à ceux obtenus avec des méthodes différences finies. La deuxième partie examine le problème de la caractérisation des dépôts mobilisés comme un problème dans le calcul de renverser un ou plusieurs paramètres du modèle. Le problème résolu dans la thèse est de déterminer la répartition spatiale de la perméabilité du réservoir de façon à minimiser les erreurs dans la production des données concernant le modèle de données expérimentales. À cette fin, elle utilise une méthode de propagation catadioptres propagation obtenu des résultats très satisfaisants de la convergence. Il ya eu également inclus deux régularisation des techniques qui permettront de stabiliser l'algorithme et aussi permettre l'ajout de certains types d'informations concernant les caractéristiques du paramètre ou les paramètres doivent être calculés.

Auteur: SELGAS BUZNEGO VIRGINIA.
Année: 2005.
Université: OVIEDO [Plus de la thèse de l'université] [www.uniovi.es].
Lieu de l'exposition: SALA DE USOS MULTIPLES DE LA ESCUELA.
Lieu de préparation: FACULTAD DE MATEMATICAS DE LA UNIVERSIDAD DE SANTIAGO.

Résumé: Dans cette thèse, nous conception et l'analyse d'une nouvelle méthode numérique pour résoudre des équations de Maxwell cuasiestaticas soulevées dans R3. Ce problème est apparu modèle des équations de Maxwell lorsque méprisent les flux de circulation et son usage est très répandu en génie électrique. Dans un premier temps, nous supposons que les champs (magnétiques et électriques) avec une sinusoïdale comportement dans le temps et que le domaine qui représente le conducteur est simplement connexe. Dans cette situation, on obtient une formule variationnelle soulevées dans la région de la conduite. Nous incorporer des informations en provenance du terrain pour la formulation à travers nos lointains équations intégrales sur la frontière du domaine de calcul. Nous proposons à cet Galerkin formulation d'un plan fondé sur l'application simultanée de la méthode des éléments finis de pointe et Nedelec méthode des éléments frontière. Nous avons testé la fois la persistance du problème de la discrétion sont soulevées. Nous montrons que ce système a une convergence de asymptotique numérique optimale afin selon le paramètre discrtización. Nous obtenons des résultats numériques qui supportent nos affirmations théoriques. Alors envisager le cas d'un conducteur pas seulement liés. Ici, nous introduisons une calcul fini qui contient la région d'intérêt (le conducteur). Cela implique une restriction sur le champ magnétique linéaire, nous essayons introduction d'un multiplicateur de lagrange. Nous obtenons avec cette technique variationnelle formulation d'une approche mixte en utilisant une méthode de combiner des éléments finis de Galerkin Nedelec et Raviart - Thomas. Ici aussi montré que la croissance continue et discrète formulations sont solution unique et à fournir une analyse de la convergence de la méthode nombre. Enfin, nous considérons le problème de l'évolution dans le temps topologique sans restrictions à la zone de conducteurs. Pour ce problème parabolique nous variationnelle déduire une formulation qui convient pour le traitement numérique des éléments finis et des éléments frontière. En vertu accession à la régularité des données sur le problème, nous proposons une analyse de la convergence du régime semi discreto dans l'espace, que nous avons proposé.

Auteur: LIFANTE NAVARRETE CONCEPCIO.
Année: 2005.
Université: POLITÉCNICA DE CATALUÑA [Plus de la thèse de l'université] [www.upc.edu].
Lieu de l'exposition: a sala de conferències de l'ETSEIAT:.
Lieu de préparation: ETSEIB, EDIFICI H PLANTA 8 Campus SUD.

Auteur: BELTRAN ALVAREZ CARLOS.
Année: 2005.
Université: CANTABRIA [Plus de la thèse de l'université] [www.unican.es].
Lieu de l'exposition: FACULTAD DE CIENCIAS.
Lieu de préparation: FACULTAD DE CIENCIAS.

Résumé: En l'an 2000, le lauréat de la médaille Fields Stephen Smale proposé 18 problèmes de mathématiques pour le siècle prochain. Le numéro 17 de ces problèmes, la question sur l'existence d'un algorithme qui se rapproche de solutions de systèmes d'équations multivariées avec des coefficients complexes, en un temps polilnomial dans la moitié de la taille de l'entrée. Cette thèse présente la première probabiliste solution à ce problème. C'est là, un algorithme est décrit à la propriété qui, compte tenu d'un système d'équations polynomiales, trouver une solution approchée en temps polynomial, en acceptant une faible probabilité d'erreur qui peut être réglé en fonction des besoins et des ressources. Comme une étape préalable à la solution de ce problème, il introduit de nombreux résultats intermédiaires d'analyser le comportement de la moyenne des montants liés à la complexité de la résolution, ainsi que la stabilité du problème. En particulier, elles attirent hauteurs volume des tubes et tuyaux d'intersection avec les variétés qui permettent d'estimation en utilisant une technique généralement tous les problèmes du nombre de conditionnement linéaires et non-linéaires, dans une largement généralisé. Les résultats sont étudiés tant du point de vue de la continuité de l'informatique que d'une manière discrète, a contribué à la réalisation de ce dernier objectif belles hauteurs connue jusqu'au début de transfert des résultats discrets continue, en particulier dans le cas de problèmes de conception définie mode. D'autres résultats montrent aussi purement géométriques et algébriques avec leur propre intérêt, ainsi que d'autres montants sont estimés assistants certaine pertinence, que la moyenne, les solutions d'un système d'équations polynomiales à coefficients complexes.

Auteur: DADVAND POOYAN.
Année: 2006.
Université: POLITÉCNICA DE CATALUÑA [Plus de la thèse de l'université] [www.upc.edu].
Lieu de l'exposition: Sala de Seminarios del C.I.de M.N. en I..
Lieu de préparation: EDIFICI C1 Campus NORD.

Résumé: Le monde de l'informatique de simulation a connu beaucoup de progrès ces dernières années et exige plus exigeants multidisciplinaire défis à venir de satisfaire les nouvelles exigences. Accroître l'importance de résoudre les multiples problèmes disciplinaires fait développeurs mettre davantage l'attention sur ces problèmes et de faire face aux difficultés inhérentes à l'élaboration de logiciels dans ce domaine. Conventional éléments finis plusieurs codes ont des difficultés pour faire face aux multiples problèmes disciplinaires. Bon nombre de ces codes sont conçus et exécutés pour un certain type de résoudre les problèmes, impliquant généralement un seul domaine. Etendre ces codes pour faire face à un autre champ d'analyse généralement constitué de plusieurs problèmes et de grandes quantités de modifications et de mise en œuvre. Certaines difficultés sont typiques: ensemble prédéfini de degrés de liberté par noeud, avec la structure de données fixe de variables définies, la liste complète des variables pour toutes les entités, une interface basée domaine, IO restriction dans la lecture et l'écriture de nouvelles données et de nouveaux résultats à l'intérieur de l'algorithme de définition Code. Une approche commune est de relier différents solveurs par l'intermédiaire d'un maître qui met en oeuvre le programme de l'interaction des algorithmes et permet également de transférer des données d'un à l'autre solveur. Cette approche a été utilisée avec succès dans la pratique, mais la mise en œuvre et les résultats dupliqués généraux licenciés du stockage et de transfert de données qui peuvent être importantes selon les solveurs à la structure de données. L'objectif de cette thèse est de concevoir et d'appliquer un cadre pour l'instauration pluridisciplinaire, les programmes d'éléments finis. Généralité, la réutilisation, extendibility, bonne performance d'efficacité et de la mémoire sont considérés comme les principaux points dans la conception et la mise en œuvre de ce cadre. Préparation de la structure de l'équipe de développement est un autre objectif en raison généralement d'une équipe d'experts dans différents domaines sont impliqués dans le développement de multiples code disciplinaire. Kratos, créé dans le cadre de ces travaux, fournit plusieurs outils pour faciliter la mise en oeuvre des éléments finis, des applications et fournit également une plate-forme commune d'interaction naturelle de ses applications de différentes façons. Cela se fait non seulement par un certain nombre d'innovations, mais aussi par la collecte et la réutilisation de plusieurs ouvrages existants. Dans ce travail, une nouvelle interface à base de variables est conçu et mis en œuvre qui est utilisé à différents niveaux d'abstraction et montré à être très clair et très extensible. Une autre innovation est très souple et efficace, la structure de données qui peut être utilisée pour stocker tout type de données dans une fiche de façon sûre. Un extensible IO est également créé un autre obstacle à surmonter pour faire face aux multiples problèmes disciplinaires. Différentes conceptions de la collecte d'œuvres existantes et de les adapter aux problèmes de couplage est considéré comme une autre innovation dans ce travail. Des exemples en sont l'aide d'un interprète, des données différentes organisations et nombre variable de dofs par noeud. Le noyau et l'application approche est utilisée pour réduire les éventuels conflits survenant entre les développeurs de différents domaines et de couches sont conçues pour tenir compte de l'espace de travail des différents promoteurs aussi l'examen de leurs connaissances en programmation. Enfin, plusieurs détails techniques sont appliquées dans le but d'augmenter les performances et l'efficacité de Kratos qui rend pratiquement utilisable. Ce travail est terminé en démontrant le cadre de la fonctionnalité dans la pratique. Tout d'abord quelques classiques comme le seul domaine des applications thermiques, des fluides et des structures mises en oeuvre et les applications sont utilisées comme points de référence pour prouver sa performance. Ces applications sont utilisées pour résoudre des problèmes couplés dans le but de démontrer l'interaction naturelle moyens fournis par le cadre. Enfin certains moins classique couplée éléments finis algorithmes sont mis en œuvre pour montrer sa grande flexibilité et extendibility.

Auteur: HERRERO VIÑAS PAU.
Année: 2006.
Université: GIRONA [Plus de la thèse de l'université] [www.udg.es].
Lieu de l'exposition: ESCOLA POLITÈCNICA SUPERIOR.
Lieu de préparation: UNIVERSITAT DE GIRONA.

Résumé: Une restriction réelle chiffrés, quantifiés Royal Constraint (QRC) en anglais, est un formalisme mathématique qui permet de modéliser un grand nombre de problèmes physiques représentés par des systèmes d'équations non linéaires et logiques quantifiés sur variables réelles. Le QRCs apparaître de grands champs, com ou le contrôle d'ingénierie, le génie électrique ou de la biologie. Différentes approches ont été proposées pour résoudre QRCs (peeliminación de quantificateurs et les méthodes approximatives), mais tous ont des limites importantes en raison de sa complexité. Dans cette thèse, présente une nouvelle méthodologie pour résoudre QRCs fondée sur l'analyse Intervelar modale, une théorie mathématique mise au point par des chercheurs de l'Université de Barcelone et de l'Université de Girona. En ce qui concerne les méthodes existantes, la méthode proposée résolu, d'une manière efficace, une large classe de QRCs.