Existe uma variedade de modelos de dispersão de poluentes, em geral, os modelos gaussianos são usados em todo o mundo por agências ambientais com intuito de regulação. O modelo CALPUFF é um deles. Neste estudo, _e avaliada a influência de escalas de tempo de descorrelação no sistema de modelagem CALPUFF, sob condições atmosféricas neutras. Para fazer isso uma nova parametrização das escalas de tempo descorrelação é proposta. Uma distribuição espectral de um perfil de velocidade euleriana e uma for- mutação da evolução das escalas temporais de descorrelação Lagrangiana são utilizadas como os mecanismos forçantes na dispersão turbulenta, numa camada limite dominada pelo cisalhamento do vento. O desempenho do modelo foi estabelecido com a comparação das concentrações superficiais do experimento Over-Land Alongwind Dispersion. Emissões de fontes em linha foram avaliadas com o modelo CALPUFF com distintas formas de inicialização. Um segundo modelo também foi testado, normalmente utilizado para estudar e prever o impacto ambiental e validar parametrizações turbulentas. É o modelo estocástico de partículas Lagrangiano LAMBDA. Também neste estudo, os resultados do modelo LAMBDA e CALPUFF enfatizam a capacidade da nova derivação de escalas de tempo em representar o comportamento estocástico desconhecido do fenômeno da dispersão de poluentes. / There exists a variety of pollution of dispersion models and in general, Gaussian models are used worldwide by environmental agencies in regulatory applications. The CALPUFF model is one of them. In this study, the in uence of decorrelation time scales in the CALPUFF modeling system under neutral conditions is evaluated. To do this a new parameterization of decorrelation time scales is proposed. A spectral distribution of an Eulerian velocity pro le and a formulation of the evolution of the Lagrangian decorrela- tion timescales are used as the forcing mechanisms (shear-dominated boundary layer) for the turbulent dispersion. The model performance was established by comparing ground- level concentrations with Over-Land Alongwind Dispersion experimental results. Line source emissions was evaluated using the CALPUFF model with different forms of the initialization. A second model was also tested, normally used to study and predict the environmental impact and validate turbulent parameterizations. Is the stochastic La- grangian dispersion model LAMBDA (Ferrero and Anfossi, 1998). Also in this study the model LAMBDA and CALPUFF results emphasized the ability of the new derivation of decorrelation time scales to represent the unknown stochastic behavior.

Orientador: Saulo Henrique Pereira / Resumo: Neste trabalho é construída a evolução completa do Universo impulsionada pelo espinor escuro com dimensão de massa um, chamado MDO. O modelo começa pela inflação cósmica, passando pela era dominada pela matéria escura, terminando com a recente expansão acelerada. Além disso, é feita uma primeira aproximação à teoria de perturbação escalar. Foi mostrado que a dinâmica do campo fermiônico MDO, respeitando um potencial com quebra de simetria, pode reproduzir todas as fases do Universo de uma maneira natural e elegante. As equações dinâmicas em geral e as condições de Slow-Roll, no limite H mp, também são apresentadas para o referido sistema. A análise numérica para o número de e-folds durante a inflação, densidade de energia após este período, o tempo presente e o tamanho real do Universo estão de acordo com o modelo padrão de cosmologia. Uma interpretação da fase inflacionária como resultado do princípio de exclusão de Pauli também é possível se o campo de MDO for tratado como um valor médio de seu análogo quântico / Doutor

Les pronoms jouent un rôle primordial dans toutes les langues humaines en tant qu'éléments fondamentaux pour assurer la cohésion sémantique d'un texte. Le probl`eme de l'automatisation de la résolution d'anaphores (reconnaissance de leur contenu sémantique) est un défi majeur pour toute application informatique qui vise une analyse sémantique ?ne du langage humain. La théorie du liage (Binding Theory) est une partie de la linguistique générative dédiée à l'identi?cation des principes qui régissent la distribution et l'interpretation des pronoms dans une phrase. Nous proposons une procédure algorithmique pour intégrer les principes de la théorie du liage dans une sémantique computationnelle. Notre algorithme combine des éléments des trois plus importantes approches de la théorie du liage et les intègre dans une synthèse originale. Nous étudierons aussi les points de convergence et de divergence entre notre approche et celle purement sémantique récemment proposée par Philippe Schlenker.

Les substitutions explicites ont été introduites comme un raffinement du lambda-calcul, celui-ci étant le<br />formalisme utilisé pour étudier la sémantique des langages de programmation. L'objet de cette thèse<br />est l'étude de leurs propriétés de normalisation forte et de préservation de la normalisation forte. Ce<br />manuscrit rend compte de plusieurs travaux autour de ces propriétés de normalisation, regroupés en<br />trois volets.<br /><br />Le premier d'entre eux formalise une technique générale de preuve de normalisation forte utilisant<br />la préservation de la normalisation forte. On applique cette technique à un spectre assez large de calculs<br />avec substitutions explicites afin de mesurer les limites de son utilisation. Grâce à cette technique, on<br />prouve un résultat nouveau : la normalisation forte du lambda-upsilon-calcul simplement typé.<br /><br />Le deuxième travail est l'étude de la normalisation d'un calcul symétrique non-déterministe issu de<br />la logique classique formulée dans le calcul des séquents, auquel est ajouté des substitutions explicites.<br />La conjonction des problèmes posés par les calculs symétriques et ceux posés par les substitutions<br />explicites semble vouer à l'échec l'utilisation de preuves par réductibilité. On utilise alors la technique<br />formalisée dans le premier travail, ce qui nous demande de prouver tout d'abord la préservation de la<br />normalisation forte. A cette fin, on utilise un fragment de la théorie de la perpétuité dans les systèmes<br />de réécriture.<br /><br />La définition d'une nouvelle version du lambda-ws-calcul avec nom, le lambda-wsn-calcul, constitue le troisième<br />volet de la thèse. Pour prouver sa normalisation forte par traduction et simulation dans les réseaux<br />de preuve, on enrichit l'élimination des coupures de ceux-ci avec une nouvelle règle, ce qui nous oblige<br />à prouver que cette nouvelle notion de réduction est fortement normalisante.

Cette thèse s'inscrit dans la problématique de la reconstruction de surfaces à partir de nuages de points. Les récentes avancées faites dans le domaine de l'acquisition de formes 3D à l'aide de scanners donnent lieu à de nouveaux besoins en termes d'algorithmes de reconstruction. Il faut être capable de traiter de grands nuages de points bruités tout en donnant une représentation compacte de la surface reconstruite.<br>La surface est reconstruite comme le niveau zéro d'une fonction. Représenter une surface implicitement en utilisant des fonctions de base radiales (Radial Basis Functions) est devenu une approche standard ces dix dernières années. Une problématique intéressante est la réduction du nombre de fonctions de base pour obtenir une représentation la plus compacte possible et réduire les temps d'évaluation.<br>Réduire le nombre de fonctions de base revient à réduire le nombre de points (centres) sur lesquels elles sont centrées. L'objectif que l'on s'est fixé consiste à sélectionner un "petit" ensemble de centres, les plus pertinents possible. Pour réduire le nombre de centres tout en gardant un maximum d'information, nous nous sommes affranchis de la correspondance entre centres des fonctions et points de donnée, qui est imposée dans la quasi-totalité des approches RBF. Au contraire, nous avons décidé de placer les centres sur l'axe médian de l'ensemble des points de donnée et de montrer que ce choix était approprié.<br>Pour cela, nous avons utilisé les outils donnés par la géométrie algorithmique et approximé l'axe médian par un sous-ensemble des sommets du diagramme de Voronoi des points de donnée. Nous avons aussi proposé deux approches différentes qui échantillonnent de manière appropriée l'axe médian pour adapter le niveau de détail de la surface reconstruite au budget de centres alloué par l'utilisateur.

L'expérience de physique nucléaire GRAAL installée à Grenoble auprès du synchrotron européen (ESRF) produit, par rétrodiffusion Compton, un faisceau de gammas polarisés linéairement ou circulairement. <br /><br />Les caractéristiques d'un tel faisceau rendent possible l'étude des réactions de photoproduction de mésons pseudoscalaires (pion, eta, kaon) dont certains aspects théoriques sont explicités dans le cadre de cette thèse. <br /><br />Une description précise des programmes d'analyse permet de comprendre le traitement complet des informations depuis l'acquisition des données jusqu'à la présentation des premiers résultats expérimentaux sur l'asymétrie Sigma du faisceau pour les réactions gamma + p -> p + X (X = pi, eta) dans le domaine d'énergie situé entre 700 et 1100 MeV. <br /><br />Des méthodes d'extraction des observables de polarisation de la réaction gamma + p -> K+ + Lambda ont été mises au point à partir de la simulation Monte Carlo. La reproduction précise des trois observables de simple polarisation (P, Sigma, T) et des quatre observables de double polarisation faisceau-recul (Ox, Oz, Cx, Cz), pour un ensemble de données correspondant à 100000 réactions gamma + p -> K+ + Lambda, montre que ces quantités peuvent être mesurées dans l'expérience GRAAL.

Cette thèse étudie les propriétés calculatoires des présentations d'opérades, ou systèmes de réécriture de diagrammes de Penrose, et leurs liens avec divers types de systèmes de réécriture classiques. Grâce à des nouveaux critères pour la terminaison et la confluence, on démontre la conjecture sur la convergence de la présentation L(Z2) des Z/2Z-espaces vectoriels, une théorie équationnelle commutative. On montre que les présentations d'opérades sont des généralisations des systèmes de réécriture de mots et des réseaux de Petri et qu'elles fournissent un calcul de gestion explicite des ressources pour les systèmes de réécriture de termes linéaires à gauche. Enfin, on étudie les obstructions à ce même résultat concernant le lambda-calcul. Des annexes présentent les liens entre les opérades et d'autres structures de l'algèbre universelle, ainsi qu'un calcul de substitutions explicites.

Nous étudions plusieurs propriétés fonctionnelles d'inconditionnalité en les exprimant à l'aide de multiplicateurs. La première partie est consacrée à l'étude de phénomènes d'inconditionnalité isométrique et presqu'isométrique dans les espaces de Banach séparables. Parmi ceux-ci, la notion la plus générale est celle de ``propriété d'approximation inconditionnelle métrique''. Nous la caractérisons parmi les espaces de Banach de cotype fini par une propriété simple d'``inconditionnalité par blocs''. En nous ramenant à des multiplicateurs de Fourier, nous étudions cette propriété dans les sous-espaces des espaces de Banach de fonctions sur le cercle qui sont engendrés par une suite de caractères $e^(int)$. Nous étudions aussi les suites basiques inconditionnelles isométriques et presqu'isométriques de caractères, en particulier les ensembles de Sidon de constante asymptotiquement 1. Nous obtenons dans chaque cas des propriétés combinatoires sur la suite. La propriété suivante des normes $L^p$ est cruciale pour notre étude: si $p$ est un entier pair, $\int |f|^p = \int (|f^(p/2)|)^2 = \sum |\widehat(f^(p/2))(n)|^2$ est une expression polynomiale en les coefficients de Fourier de $f$ et $\bar f$. Nous proposons d'ailleurs une estimation précise de la constante de Sidon des ensembles à la Hadamard. La deuxième partie étudie les multiplicateurs de Schur: nous caractérisons les suites basiques inconditionnelles isométriques d'entrées de matrice $e_(ij)$ dans la classe de Schatten $S^p$. Les propriétés combinatoires que nous obtenons portent sur les chemins dans le réseau $\N \times \N$ à sommets dans cet ensemble. La troisième partie étudie le rapport entre la croissance d'une suite d'entiers et les propriétés harmoniques et fonctionnelles de la suite de caractères associée. Nous montrons en particulier que toute suite polynomiale, ainsi que la suite des nombres premiers, contient un ensemble $\Lambda(p)$ pour tout $p$ qui n'est pas de Rosenthal.

Les collisions d'ions lourds ultra-relativistes sont produites expérimentalement dans le but d'observer la matière dense et chaude. Un des objectifs majeurs est de prouver l'existence du plasma de quarks et de gluons (QGP pour Quark Gluon Plasma) et de l'étudier. Cet état serait celui de la matière dans les conditions de température et de densité suffisamment élevées pour rompre le confinement des quarks à l'intérieur de hadrons. Ces conditions sont obtenues auprès des collisionneurs d'ions lourds travaillant dans les domaines d'énergies les plus élevées. Le RHIC (pour Relativistic Heavy Ion Collider) a notamment permis de réaliser des collisions p+p et Au+Au avec une énergie dans le centre de masse de $\sqrt(s_(NN))=$ 200 GeV. Cette thèse porte sur la production des $\Lambda (1520)$ dans ces deux systèmes grâce au dispositif expérimental de la collaboration STAR (pour Solenoid Tracker At RHIC). La production de cette résonance a été également mesurée dans les collisions du SPS (pour Super Proton Synchrotron) à une énergie égale à $\sqrt(s_(NN))=$ 17.3 GeV. Cette mesure a révélé une diminution importante du signal de $\Lambda (1520)$ observé dans les collisions d'ions lourds ultra-relativistes. Cette tendance est confirmée à RHIC grâce au calcul des rapports $\Lambda (1520)/\Lambda $ pour les collisions p+p et Au+Au à $\sqrt(s_(NN))=$ 200 GeV. Ce rapport diminue pour les collisions Au+Au par rapport aux collisions p+p et est par ailleurs surestimé par les modèles statistiques qui supposent une production de particules en équilibre thermique. Ces résultats constituent entre autres choses une forte présomption de l'existence d'un découplement des particules produites en deux étapes : un découplement chimique, à partir duquel les multiplicités sont fixées, suivi par un découplement thermique où cessent toutes les interactions. Cette conclusion constitue une étape importante dans notre compréhension des collisions d'ions lourds ultra-relativistes et du comportement de la matière dans ces conditions.

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.