Spelling suggestions: "subject:"problème"" "subject:"roblème""
581 |
Formules de monotonie appliquées à des problèmes à frontière libre et de modélisation en biologieBlanchet, Adrien 12 December 2005 (has links) (PDF)
Ce mémoire présente des résultats de régularité pour des problèmes d'équations aux dérivées partielles paraboliques. Dans la première partie nous nous intéressons à des problèmes à frontière libre issus du problème de<br />l'obstacle parabolique à coefficients variables. Nous montrons des résultats de régularité de la solution et de la frontière libre. Cette étude utilise des méthodes d'explosion et des formules de monotonie. La seconde partie est consacrée à l'étude d'un problème issu de la modélisation de l'agrégation en biologie : le système de<br />Keller-Segel. En utilisant une énergie libre, nous montrons l'existence d'une masse critique en deçà de laquelle les solutions existent et au delà de laquelle elles explosent en temps fini. Nous précisons leur comportement asymptotique, dans le cas où les solutions existent en temps long.
|
582 |
Modèles multi-échelles pour les fluides viscoélastiquesLelievre, Tony 21 June 2004 (has links) (PDF)
Ce travail porte principalement sur l'analyse mathématique de modèles multi-échelles pour la simulation de fluides polymériques. Ces modèles couplent, au niveau microscopique, une description moléculaire de l'évolution des chaînes de polymère (sous forme d'une équation différentielle stochastique) avec, au niveau macroscopique, les équations de conservation de la masse et de la quantité de mouvement pour le solvant (sous forme d'équations aux dérivées partielles). Le chapitre 1 introduit les modèles et donne les principaux résultats obtenus. Dans les chapitres 2, 4, 5 et 7 on montre en quel sens les équations sont bien posées pour divers modèles de polymère, en considérant soit des écoulements homogènes, soit des écoulements cisaillés plans. Dans les chapitres 2, 3, 6 et 7, on analyse et on prouve la convergence de méthodes numériques pour ces modèles. Enfin, le chapitre 8 concerne le comportement en temps long du système. Une deuxième partie de ce document est constituée de trois chapitres portant sur un travail en magnétohydrodynamique (MHD), en collaboration avec l'industrie. Le chapitre 9 est une introduction à la problématique ainsi qu'aux méthodes numériques utilisées. Le chapitre 10 décrit un nouveau cas-test en MHD. Enfin, le chapitre 11 donne une analyse de la stabilité du schéma numérique utilisé.
|
583 |
Simulation numérique en volume finis, de problèmes d'écoulements multidimensionnels raides, par un schéma de flux à deux pasMOHAMED, Kamel 12 October 2005 (has links) (PDF)
Cette thèse est consacrée à la simulation numérique de problèmes d'écoulements de fluides raides régis par des systèmes de lois de bilan non homogènes, dans des configurations monodimensionnelles et bidimensionnelles. La méthode numérique utilisée est une extension d'un schéma à deux pas (SRNH), comportant un paramètre \alpha^n_(j+\frac(1)(2)) ajustable, proposé par le professeur F.Benkhaldoun dans un cadre monodimensionnel. Ainsi, en un premier temps on a introduit une variante SRNHR, obtenue en remplaçant la vitesse numérique (\frac(\Delta x)(\Delta t)) par la vitesse de Rusanov locale, en vue de l'extension du schéma au cas bidimensionnel. Par la suite, une analyse de stabilité du schéma, révèle que celui-ci peut être d'ordre 1 ou 2 selon la valeur du paramètre \alpha^n_(j+\frac(1)(2)). Une stratégie de variation de ce paramètre, basée sur la théorie des limiteurs a alors été adoptée. Le schéma peut ainsi être rendu d'ordre 1 dans les zones à forte variation de l'écoulement, et d'ordre 2, là où l'écoulement est régulier. Ensuite on a établi les conditions pour que ce schéma respecte la C-propriété exacte introduite par Bermùdez et Vazquez. Une étude d'implémentation des conditions aux limites, adaptée à ce schéma, a également été menée en se basant sur les invariants de Riemann. Dans la deuxième partie de la thèse, on a appliqué ce schéma à des systèmes monophasiques homogènes et non homogènes. Par exemple on a réalisé la simulation du problème de rupture de barrage sur une marche, pour des configurations 1D et 2D, en menant en particulier une étude de convergence numérique via la détermination des courbes d'erreurs. Enfin, on a utilisé le schéma pour la simulation numérique de systèmes diphasiques (Ransom 1D et 2D).
|
584 |
Formalisation préalable d'un problème de conception, pour l'aide à la décision en conception préliminaireSCARAVETTI, Dominique 12 1900 (has links) (PDF)
La conception architecturale est souvent réalisée grâce aux habitudes professionnelles et à l'expérience des concepteurs, qui leur permettent d'identifier les paramètres de conception pertinents à prendre en compte pour commencer l'étude et de faire les choix qu'impliquent une démarche séquentielle de détermination d'architecture. Ces décisions sont difficiles à prendre car les concepteurs ne disposent pas forcément d'éléments suffisants pour comparer les différentes alternatives. Ainsi, ils procèdent souvent par essai-erreur, jusqu'à l'obtention d'une configuration opérationnelle, mais qui n'est pas nécessairement optimale. Ces itérations sont, de plus, coûteuses en temps. Nous proposons un système d'aide à la décision en conception préliminaire, permettant de partir de plusieurs concepts de solution pertinents, pour arriver à une architecture validée et prédimensionnée en objectivant les choix de conception. Les grandes étapes sont: (i) l'écriture du problème de conception préliminaire sous forme de Problème par Satisfaction de Contraintes (PSC), (ii) la recherche exhaustive des architectures solutions, (iii) l'exploitation et la réduction de l'espace des solutions pour aider à la décision. C'est seulement ensuite qu'un choix est à faire parmi ces solutions, qui n'ont pas été arbitrairement restreintes par des choix initiaux. Les étapes (i) et (iii) nécessitent une analyse préalable du problème de conception. Il faut, d'une part, le limiter aux seules caractéristiques nécessaires et suffisantes pour la conception architecturale, que nous nommons caractéristiques structurantes. D'autre part, il faut exprimer les objectifs de conception et les critères de qualification de la conception, qui permettent de hiérarchiser les architectures-solutions obtenues et ainsi aider au choix final parmi elles. Nous proposons pour cela une démarche systématique d'analyse et structuration du problème de conception, basée sur quatre étapes, depuis l'analyse du besoin jusqu'à une approche physique, en passant par des approches fonctionnelle et organique du produit à concevoir. Des tableaux systématiques sont proposés. Notre approche est confrontée avec la démarche 'classique' d'un groupe de concepteurs, pour une même conception architecturale. L'utilisation du système d'aide à la décision permet une amélioration de la satisfaction des objectifs de conception, le choix du concept de solution le plus performant, l'obtention d'architectures-solutions valides et respectant toutes les contraintes énoncées. On dispose ainsi d'éléments dimensionnels pour poursuivre en conception détaillée sans subir les itérations engendrées par le processus essai-erreur.
|
585 |
Méthodes d'ondelettes pour l'analyse numérique d'intégrales oscillantesGoujot, Daniel 10 December 2004 (has links) (PDF)
Nous utilisons trois discrétisations connues pour leur localisation fréquentielle et spatiale: les bases d'ondelettes, les paquets d'ondelettes et les bases de cosinus locaux. Nous avons construit et programmé deux algorithmes: --- pour l'équation parabolique non-linéaire $\Delta(u)+\1e^(c*u)=f$ avec $f$ présentant une singularité, notre algorithme calcule la compression optimale en dimension 1 et 2, avec résultats numériques pour la dimension 1. --- pour l'équation intégrale oscillante correspondant à la Combined Integral Field Equation qui est en rapport avec le problème de diffraction des ondes (Helmholtz) par un obstacle régulier 2D, lorsque la longueur d'onde diminue vers $0$. Les trois discrétisations ci-dessus sont testées, et nous étudions sa bonne compressibité dans une analyse précise des obstacles à la compression menée de manière asymptotique. Des résultats originaux, montrant que N degrés de liberté par longueur d'onde suffisent à hautes fréquences, ont été démontrés, et les matrices résultant de ce seuillage ont été étudiées, illustrations et preuves à l'appui.
|
586 |
Contribution à l'étude mathématique et à la simulation numérique des écoulements des fluides géophysiquesDI MARTINO, Bernard 14 December 2004 (has links) (PDF)
Les travaux présentés concernent l'étude de problèmes d'existence, d'unicité et de régularité de problèmes d'écoulement de fluides géophysiques. On s'intéresse en particulier aux écoulements des masses d'eau à travers des modèles bi-dimensionnels et tri-dimensionnels. Dans une première partie est présentée différentes approches de la simulation de ces écoulements par les méthodes de Galerkin linéaire et non linéaire. Les résultats de convergence de ces méthodes numériques sont présentés dans le cas bidimensionnel. Dans une seconde partie l'impact de l'hypothèse du toit rigide sur le comportement des solutions est étudié. Différents schémas numériques de résolution sont proposés, permettant de traiter efficacement les différentes contraintes globales liées à cette hypothèse. Des résultats de convergence de la méthode sont présentés pour des modèles de shallow water mono-couche et bi-couche. La dernière partie de ces travaux est consacrée à l'étude d'un couplage entre les vibrations de la croûte terrestre et la masse d'eau océanique. Cette approche utilisant un opérateur de plaque pour la modélisation de la croûte terrestre permet d'obtenir des résultats d'existence et d'unicité des solutions. Ce type de modèle est adaptée, entre autre, la modélisation de phénomènes de tsunami.
|
587 |
Approximation des phases aleatoires self-consistante. Applications a des systemes de fermions fortement correlesJemai, Mohsen 01 July 2004 (has links) (PDF)
Dans cette thèse nous avons appliqué la RPA auto-consistante (SCRPA) au modéle de Hubbard avec un petit nombre de sites (une chaîne à 2, 4, 6, ... sites). La SCRPA avait précédemment donné de très bon résultats dans d'autres modèles comme le modèle d'appariement de Richardson. Il était donc intéressant de voir quel genre de résultats la méthode allait produire pour un modèle plus complexe comme le modèle de Hubbard. A notre grande satisfaction le cas à 2 sites et deux électrons (demi-remplissage) est résolu exactement par la SCRPA. Ceci peut sembler un peu trivial mais le fait est que d'autres approximations toute à fait respectables telles que la "GW" ou l'approche avec la fonction d'onde de Gutzwiller restent loin du compte. Avec ce bon point de départ le cas à 6 sites a été regardé ensuite. Pour ce cas la SCRPA n'est, évidemment, plus exacte, cependant les résultats SCRPA s'en écartent uniquement de très peu sur une grande plage de valeurs de la constante de couplage U et notamment dans la région de la transition de phase vers un état avec magnétisation non nulle. Ceci est vrai pour l'énergie du fondamental, les excitations et les nombres d'occupations. On peut considérer cela comme un bon succès de la théorie. Cependant, le cas à 4 sites (plaquette), comme tous les cas à 4n sites, pose un problème à cause d'une dégénérescence au niveau Hartree-Fock. Une généralisation de la présente méthode en incluant en plus des paires, des quadruples opérateurs de Fermions (seconde RPA) est proposée pour traiter ces cas dans la présente approche. En effet pour une plaquette, on peut ainsi également retrouver le résultat exact. C'est donc une perspective intéressante de ce travail.
|
588 |
Le rôle médiateur de la verbalisation entre les aspects figuraux et théoriques dans un problème de démonstration en géométrie planeRobotti, Elisabetta 19 June 2002 (has links) (PDF)
Notre recherche porte sur l'analyse du rôle du langage naturel dans les allers et retours entre domaine théorique et domaine graphique lors d'un processus de démonstration en géométrie plane par des élèves qui travaillent en dyade. Nous nous appuyons en d'abord sur deux hypothèses de recherche : l'une qui considère le langage comme outil d'analyse du discours en tant que révélateur des démarches de résolution, l'autre qui considère le langage comme outil de résolution pour les élèves en tant que médiateur pour la construction et la maîtrise de la pensée. En outre, nous faisons l'hypothèse que l'avancement du processus de résolution passe par l'évolution des échanges verbaux, en se déplaçant d'un mode d'expansion discursive d'accumulation à un mode d'expansion discursive de substitution, et par le changement de la valeur des propositions émises, en passant d'une valeur épistémique à une valeur de vérité. Nous proposons de relever les traces de ces évolutions grâce à l'analyse du discours des binômes observés en retenant l'usage de certaines unités linguistiques comme révélateur d'un type d'expansion discursive. En revanche, pour ce qui concerne l'analyse fonctionnelle du langage en tant qu'outil de résolution, nous retenons l'idée que le langage est outil pour la construction et la maîtrise de la pensée du sujet. Cette perspective nous a permis de dégager les conditions et les modalités d'apparition de diverses fonctions du langage telles la fonction de guide (rôle des verbalisations des théorèmes et de l'instanciation), la fonction de planification (planification d'un enchaînement de pas de déductions), la fonction de contrôle (liée à la fonction de guidage qui permet de revenir sur les pas du processus) et les fonctions de référence et d'association (rôle des mots et des configurations-étiquettes). Cette catégorisation permet de repérer l'importance relative des fonctions exercées par le langage dans les protocoles en tant qu'outil pour l'avancement du processus, et de repérer des conditions pour que ces fonctions se mettent en place et s'exercent.
|
589 |
Méthodes non-perturbatives en théorie quantique des champs. Au-delà du champ moyen, l'approximation de la phase aléatoire.Hansen, Hubert 17 October 2002 (has links) (PDF)
L'étude de problèmes de physique hadronique dans le cadre de la théorie des champs nécessite l'emploi de méthodes non-perturbatives, les approches perturbatives ne pouvant s'appliquer pour QCD à basse énergie. L'équivalence formelle existant entre la théorie des champs et le problème à N corps nous a conduit à adapter des techniques non-perturbatives usuelles de la théorie du problème à N corps, comme l'approximation de champ moyen (ou approximation gaussienne) et l'approximation de la phase aléatoire (RPA).<br> En se plaçant au-delà du champ moyen où seules sont prises en compte les corrélations entre une particule et un potentiel "moyen" à un corps, la RPA va permettre de rajouter dans le calcul de l'état fondamental des corrélations entre particules.<br> Afin de mettre en place le formalisme, on applique la RPA, sons différentes formes (standard, renormalisée, en termes de fonctions de Green), à l'une des plus simples théories des champs en interaction, la théorie scalaire lambda x phi^4. On montre qu'il se produit une transition de phase due à une brisure dynamique de symétrie dont le paramètre critique se rapproche des résultats obtenus sur réseaux et par la technique des "clusters". Les résultats sont aussi présentés à température finie pour le champ moyen.<br> On étudie également un modèle effectif réaliste de la transition de phase chirale, le modèle sigma-linéaire et on montre que le théorème de Goldstone est restauré, contrairement à l'approximation gaussienne.<br> Enfin pour éclaircir quelques points de la RPA et, aller au-delà des corrélations obtenues dans la forme renormalisée, on considère l'oscillateur anharmonique en mécanique quantique, en introduisant les corrélations minimales au-delà du champ moyen et on montre que les corrélations RPA améliorent grandement le résultat obtenu en champ moyen.
|
590 |
Symétrie et géométrie du problème à N-corps. Application à la physique nucléaireCHAU, Huu-Tai 17 October 2002 (has links) (PDF)
La résolution du problème à N-corps constitue aussi bien en mécanique classique qu'en mécanique quantique un des grands enjeux de la physique. En physique nucléaire, diverses méthodes ont été développées pour obtenir des solutions approchées permettant de décrire convenablement les propriétés des noyaux (spectres, transitions électromagnétiques...). Dans cette thèse, nous avons tout d'abord rappelé comment les symétries pouvaient être utilisées pour obtenir des solutions exactes. Nous avons notamment insisté sur le rôle occupé par l'algèbre unitaire en mécanique quantique et nous avons développé et implémenté une façon de construire les représentations irréductibles de cette algèbre à partir d'un état dit de poids maximal et dans lesquelles ont été calculés les spectres de systèmes bosoniques et fermioniques aussi bien avec des interactions réalistes qu'avec des interactions aléatoires. L'utilisation d'interactions aléatoires à 1- et 2-corps conservant le moment angulaire a révélé que certaines caractéristiques des spectres (état fondamental de moment angulaire nul, existence de bandes rotationnelles, vibrationnelles...) étaient robustes. Ainsi dans une seconde partie, nous avons montré que le choix de l'espace de valence conditionne fortement les spectres possibles d'un système quantique : en particulier, nous avons élaboré une méthode géométrique qui, dans certains cas, permet de prévoir les propriétés du fondamental. Nous avons également présenté des résultats numériques dans des situations où la méthode géométrique ne s'applique pas. Dans la dernière partie, nous nous sommes intéressés au lien entre le chaos et les spectres des noyaux obtenus avec des interactions réalistes.
|
Page generated in 0.021 seconds