Le lambda calcul avec constructeurs (de Arbiser, Miquel et Rios) est une extension du lambda calcul avec un mécanisme de filtrage. Le filtrage à la ML y est décomposé en deux étapes: une analyse de cas sur des constantes (telle l'instruction "case" de Pascal), et une commutation de l'application avec la construction de filtrage. Cette règle de commutation entre deux constructions de natures différentes induit une géométrie de calcul surprenante, a priori incompatible avec les intuitions habituelles de typage. Cependant il a été montré que ce calcul est confluent, et vérifie la propriété de séparation (à la Böhm). Cette thèse propose un système de types du polymorphique pour ce calcul, et décrit ensuite un modèle de réalisabilité, qui adapte les candidats de réductibilité de Girard au lambda calcul avec constructeurs. La normalisation forte du calcul typé et l'absence d'erreur de filtrage lors de l'évaluation en découlent immédiatement. Nous nous intéressons ensuite à la sémantique du lambda calcul avec constructeurs non typé. Une notion générique de modèle catégorique pour ce calcul est définie, puis un modèle particulier (le modèle syntaxique dans la catégorie des PERs) est construit. Nous en déduisons un résultat de complétude. Enfin, nous proposons une traduction CPS du lambda calcul avec constructeurs dans le lambda calcul simplement typé avec paires. Le lambda calcul avec constructeurs peut ainsi être simulé dans un calcul bien connu, et cette traduction nous permet aussi de transformer tout modèle par continuation en modèle du lambda calcul avec constructeurs. Une équation catégorique caractéristique de ces modèles apparait alors, qui permet de construire des modèles non syntaxiques (dans les domaines) de Scott du lambda calcul avec constructeurs.

Cette thèse, à dominante expérimentale, tente de décrire, de comprendre et de quantifier le transport sédimentaire pour un système torrentiel caractérisé par une forte pente et des conditions hydrauliques faibles. Une plateforme expérimentale a été mise en place et instrumentée. Elle permet de contrôler quatre paramètres du système : la pente du canal, le débit hydraulique, le débit solide et la granulométrie. La durée des expériences est suffisamment longue pour couvrir l'ensemble des fluctuations gouvernant le transport. L'étude de l'évolution d'un même mélange granulaire soumis à un forçage hydraulique fort, (Shield = 1.37 Shield critique) ou à un forçage hydraulique faible (Shield = 0.94 Shield critique) a permis de mettre en évidence, au sein des structures sédimentaires observées, deux classes de comportement différentes. Pour l'expérience à Faible Transport, le lit est globalement pavé au cours de la durée de l'expérience qui est de 110 heures. Des structures de type step-pools sont présentes et très stables, et contrôlent la dynamique de transport du système à court terme et à long terme. A court terme, le transport solide n'est pas uniforme mais s'effectue à travers des processus transitoires d'érosion et de dépôt " de proche en proche ", associés respectivement à la destruction et à la formation de step-pools dans le système. A long terme, les step-pools conduisent à un pavage uniforme sur l'ensemble du canal. Des destructions périodiques de ce pavage de surface sont également observées et sont associées à une capacité de transport pour le système pouvant atteindre jusqu'à 15 fois le débit solide moyen. Pour l'expérience à Fort Transport, d'une durée de 92 heures, la morphologie du lit fluctue entre deux états extrêmes. Un lit plat dont la surface est formée de particules fines, à forte capacité de transport et un lit pavé à forte pente et à faible capacité de transport. Les step-pools ne sont, ici, que des états éphémères associés à la phase de transition du système qui sont rapidement détruits par les nappes de charriage. Ces dernières sont le mode principal de transport pour le système et expliquent les évolutions cycliques mesurées à court et à long terme. Enfin, nous avons étudié les conséquences des phénomènes décrits ci-dessus en conditions hors équilibre à forte pente. Nous avons pour cela réalisé deux expériences : une première expérience où nous étudions le cas d'un système en phase d'aggradation et une seconde où nous prenons le cas d'un système contrôlé par deux seuils de correction torrentielle. La première a nécessité une longue période afin que le système atteigne une condition d'équilibre dynamique : plus que 210 heures. L'équilibre local du système est atteint progressivement de l'amont vers l'aval, les parties les plus proches de l'alimentation atteignant en premiers l'état d'équilibre. De plus, pendant l'aggradation les fluctuations du système autour de la moyenne sont inférieures à celles mesurées pour un système à l'équilibre. La seconde expérience a montré que l'aménagement d'un système torrentiel avec des seuils peut avoir un impact non négligeable sur la quantité maximum de matériau transporté au cours d'un seul événement. Néanmoins, l'intensité maximale instantanée du transport et le comportement global du système à long terme ne sont en rien affectés par la présence de seuils.

Dans le domaine du transport de l'électricité, les qualités intrinsèques des réseaux alternatifs s'estompent devant la difficulté imposée par le transport de la puissance réactive lorsque les lignes aériennes ou, plus particulièrement, les câbles souterrains ou sous-marins atteignent des longueurs critiques. Dans le cadre des réflexions visant à exploiter au mieux les énergies renouvelables d'origine éolienne off-shore ou hydrolienne, l'hypothèse de la création d'un réseau électrique à haute tension continue pour acheminer ces énergies jusqu'aux centres de consommation est considérée. Ce travail de thèse est en lien avec le projet européen TWENTIES (Transmission system operation with large penetration of Wind and other renewable Electricity sources in Networks by means of innovative Tools and Integrated Energy Solutions, ref 249812), financé dans le cadre du programme FP7 de la Commission Européenne. Ces travaux traitent de la protection des réseaux à courant continu contre les défauts d'isolement dans les câbles et au niveau des jeux de barre. L'étude se concentre sur des réseaux multi-terminaux bouclés et/ou maillés, et propose d'étudier la faisabilité d'un plan de protection comportant un algorithme principal et un secours en cas de défaillance d'un disjoncteur.

Ce travail de thèse présente une étude numérique et théorique de l'influence des effets coopératifs sur la localisation de la lumière dans des vapeurs atomiques, suivie d'une étude expérimentale de ces effets coopératifs dans le régime de diffusion multiple dans des nuages d'atomes froids dilués. Le premier chapitre décrit le modèle que nous utilisons, basé sur l'Hamiltonien effectif d'interaction matière rayonnement, afin d'étudier numériquement la localisation de la lumière et les effets coopératifs. Nous discutons également des différences fondamentales existant entre la situation réelle où la lumière est assimilée à une onde vectorielle et l'approximation scalaire plus facile à traiter analytiquement. Le deuxième chapitre se concentre sur la présentation des résultats numériques complétée d'une comparaison systématique entre les cas scalaire et vectoriel. Nous remarquons dans cette partie que l'approximation scalaire, valable dans la limite des milieux spatialement dilués, présente des différences drastiques avec le cas vectoriel lorsque nous considérons des milieux spatialement denses. Nous n'observons pas également d'indications suffisantes nous permettant de discriminer le fait que les effets coopératifs ne soient pas à la base des mécanismes de localisation de la lumière. Dans la dernière partie nous nous intéressons expérimentalement aux signatures des effets coopératifs dans le régime de diffusion multiple en confrontant à nos résultats expérimentaux plusieurs approches théoriques tenant compte ou pas des effets d'interférences.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Neste trabalho calculamos os fatores de forma e constantes de acoplamento para os vértices B*sBK, B*BsK e BsBK* usando as Regras de Soma da Cromodinâmica Quântica (QCD). Ainda estão incluídos os diagramas não perturbativos. Nós usamos a técnica de considerar dois mésons fora da camada de massa para obter dois fatores de forma diferentes a fim de diminuir as incertezas. Os cálculos das incertezas foram incluídos neste trabalho. / In this work, we calculate the Form Factors and the Coupling Constants for the vertices B*sBK, BsB*K and BsBK* using the QCD Sum Rules. We use the technique of considering two mesons of shell to obtaining two differents form factors in order to give less uncertainty to the obtaining of the coupling constant. The evaluation of the uncertaints were included in this work.

Dans le modèle standard de cosmologie ΛCDM, environ 72% de la densité d'énergie totale de l'Univers se présente sous la forme d'énergie sombre qui causerait la présente accélération de l'Univers. Parmi les sondes cosmologiques couramment utilisées, l'effet de lentille gravitationnel forte dans les amas est une technique prometteuse fournissant des contraintes orthogonales sur les paramètres cosmologiques. Le programme HFF a permis une amélioration significative de l'estimation de la distribution de masse des amas. Cependant, la modélisation de l'effet de lentille forte dans les amas semble ne pas atteindre la résolution angulaire des observations HST. Cette thèse fournit une meilleure compréhension de l'impact des erreurs systématiques dans la modélisation paramétrique de l'effet de lentille forte dans les amas de galaxies et, donc, sur la détermination des paramètres cosmologiques. Premièrement, j'ai analysé deux amas de galaxies simulés, ayant les mêmes caractéristiques que les amas du programme HFF, Ares et Hera. J'ai utilisé plusieurs estimateurs afin d'évaluer la qualité de nos reconstructions obtenues, permettant de quantifier l'impact des erreurs systématiques dues, au choix des profils de densité et configurations et, ensuite, de la disponibilité d'images multiples dans la détermination de paramètres cosmologiques. Deuxièmement, en utilisant deux amas de galaxies, j'ai testé quatre modèles cosmologiques pour lesquels l'équation d'état de l'énergie sombre, w(z), est paramétrisée en fonction du redshift. J'ai réalisé plusieurs modélisations pour quantifier l'impact des erreurs systématiques liées à la position des images multiples sur les paramètres cosmologiques. / In the standard cosmological model ΛCDM, about 70% of the energy density of the Universe is in the form of a dark energy that would cause the current acceleration of the Universe. Among the extensively used cosmological probes, using strong lensing features in galaxy clusters is a promising technique yielding orthogonal constraints on cosmological parameters. The program HFF has led to a significant improvement of cluster mass estimates. However, strong lensing modelling appears to be still unable to match the HST observations angular resolution.This thesis provides a better understanding of how systematic errors impact the retrieval of cosmological parameters in order to use strong lensing clusters as reliable cosmological probes. Firstly, I have analyzed two simulated HFF-like clusters, Ares and Hera, I use several estimators to assess the goodness of our reconstructions by comparing our multiple models, with the input models. This allows to quantify the impact of systematic errors arising from the choice of different density profiles and configurations and, secondly, from the availability of constraints in the parametric modelling of strong lensing clusters and therefore on the retrieval of cosmological parameters. Secondly, I probe four cosmological models in which the equation of state of dark energy, w(z), is parameterized as a function of redshift using strong lensing features in two galaxy clusters. To quantify how the cosmological constraints are biased due to systematic effects in the strong lensing modelling, I carry out several modelling attempts considering different uncertainties for the multiple images positions.

La turbulence d'onde faible (TTF) est une théorie statistique appliquée à un ensemble d'ondes aléatoires non cohérentes et dispersives. En supposant un domaine infini et une nonlinéarité infinitésimale, une prédiction sur la cascade d'énergie entre échelles par le biais d'interactions résonantes des échelles d'injection aux échelles dissipatives est alors possible. La théorie semble souvent mise en défaut par la confrontation expérimentale pour les ondes de surface. Une explication potentielle de cette divergence entre expérience et théorie est l'aspect fortement restrictif des hypothèses nécessaires à la validité de la théorie. Nous proposons dans cette thèse d'explorer l'impact du non-respect de certaines de ces hypothèses sur les propriétés statistiques de la turbulence. Des expériences à l'interface de deux liquides non-miscibles ont été entreprises afin d'étudier l'impact de l'augmentation de la dissipation visqueuse et donc de la réduction du temps dissipatif sur la mise en place de la cascade d'énergie. Une expérience à la surface de l'eau avec un confinement progressif de la largeur de la cuve a été effectuée afin d'observer une potentielle coexistence de la turbulence discrète, dans la direction confinée, et continue, dans la direction non confinée. Une analyse expérimentale des ondes gravito-capillaires où la dispersion a été réduite a permis de mettre en lumière une transition d'un régime de TTF vers un régime contenant des structures cohérentes localisées que sont les solitons. Afin de vérifier si une telle transition peut être visible sur un système physique différent, une étude expérimentale et numérique ont été conduites sur les ondes dans une plaque élastique précontrainte. Dans ce milieu l'effet de dispersion des ondes de flexion et en compétition avec le caractère non-dispersif des ondes de tension. Nous nous intéresserons par ailleurs numériquement aux régimes faiblement et fortement non-linéaires des ondes purement non-dispersives dans la membrane. / Weak wave turbulence (WTT) is a statistical theory applied to a large number of incoherent and dispersive waves. Based on the hypothesis of small non-linearity and infinite domain the theory predicts an energy cascade from the forcing scales to the dissipative scales. The confrontation of WTT to experiment for surface waves raises many inconsistencies. The strong hypotheses on which is developed the WWT may be the explanation of such disparity between experiment and theory. The aim of this Thesis is to investigate the impact of the invalidation of some of these conditions on the statistical properties of turbulence. Experiments of interfacial waves between two non-miscible fluids with different viscosities have been carried out to characterize the effect of the increase of viscous dissipation on the energy cascade. An experiment at the surface of water with an increasing confinement of the width of the vessel has been done in order to possibly observe a co-existence between discrete turbulence and classical turbulence. An experimental study of gravity-capillary waves with a decrease of dispersion led us to the observation of a transition to a solitonic regime. In order to verify whether such a transition can be observed in a different physical system, an experimental and numerical study were conducted on the waves in a prestressed elastic plate. In this medium, the effect of dispersion of bending waves is competing with the non-dispersive aspect of stretching waves. We also studied weakly and strongly non-linear regimes of purely stretching waves in a membrane.

Les barrages sur les rivières sont des obstacles à la migration piscicole. Les passes à poissons sont des ouvrages permettant aux espèces piscicoles de migrer, autorisant le rétablissement de la continuité écologique des cours d'eau. Le but de ce travail est de mieux comprendre les phénomènes physiques présents dans les passes à poissons naturelles. Ces passes sont des canaux à forte pente, équipé de rangées de plots en quinconce. Pour valider la pertinence de l'utilisation d'un modèle numérique, l'étude s'est limitée à l'écoulement autour d'un cylindre émergent placé au centre d'un canal. Le travail est décomposé en deux parties, une expérimentale et une numérique. La partie expérimentale est conduite dans un canal transparent de 4m de long, 0,4m de large et 0,4m de hauteur. Le diamètre du cylindre est 4cm et sa hauteur 20cm (toujours émergent). Les cas étudiés sont des débits de 5, 10, 15 et 20 l/s pour une pente nulle. Les nombres de Froude sont supérieurs à 0,5 et les nombres de Reynolds, basés sur le diamètre, sont compris entre 15000 et 50000. Les écoulements ont été filmés et un algorithme de suivi de particules (PTV) a été développé. Des zones de faibles vitesses existent, même pour Fr=1, pouvant assurer des zones de refuge pour le poisson. Les forces de trainée ont été mesurées sur le plot. Les évolutions des coefficients de trainée avec le nombre de Froude et des rapports de forme de l'écoulement autour du plot ont ainsi été évaluées. La partie numérique est réalisée avec OpenFOAM pour 4 cas d'étude (Q=10 et 20 l/s, S=0 et 2%) et 2 modèles de turbulence URANS, le RNG k-epsilon et le k-omega SST. Des modélisations en 2D ont également été faites avec Telemac 2D. Les résultats obtenus ont été comparés aux résultats expérimentaux. La modélisation 2D (shallow water) est exploitable seulement pour des nombres de Froude faibles, d'où la nécessité des modélisations en 3D. Le modèle komega SST semble le mieux adapté pour reproduire les écoulements étudiés. Les vitesses locales et les structures en 3D, non quantifiables expérimentalement, ont ensuite été décrites. Les influences du fond et de la surface libre sur le sillage apparaissent clairement en provoquant des vitesses verticales et des tourbillons à grandes échelles. Enfin, une simulation en LES a été conduite. Les structures tourbillonnaires sont mieux représentées que pour les modèles URANS, mais les temps de calcul sont grands. / The dams on rivers are fishes migration obstacles. The fishways are devices allowing the fishes to migrate, permitting the restauration of the ecological continuity. The aim of this work is to better comprehend the physical phenomena existing in the nature-like fishways. This kind of fishway is a high slope channel with staggered rows of blocks. To validate the relevance of the use of a numerical model, the study is limited to the flow around a single free surface piercing cylinder placed in the center of a flume. The work is in two parts, experimental and numérical. The experimental part is conducted in a transparent flume of 4m length, 0.4m width and 0.4m height. The cylinder diameter is 4cm and its height 20cm (always emerged). The studied cases are flow rates of 5 to 20 l/s for a flat bed. The Froude numbers are over 0.5 et the Reynolds numbers, based on the diameter, are in between 15000 and 50000. The flows were filmed and a particules tracking velocimetry (PTV) algorithm was developped. Slow velocities areas exist, even for Fr=1, allowing shelter zones for a fish. The drag forces were also measured. The drag coefficients evolutions with the Froude number and with the flow aspect ratio were estimated. The numerical part is done with OpenFOAM for 4 cases (Q=10 et 20 l/s, S=0 et 2%) and 2 URANS turbulence models, RNG k-epsilon and k-omega SST. 2D simulations are also carried out with Telemac2D. The results are compared with the experimental ones. The 2D modelisation (shallow water) is workable only for small Froude numbers, which justifies the 3D modelisation. The k-omega SST seems the most relevant to reproduce the studied flows. The local velocities and 3D structures, unquantifiable experimentally, were described. The bed and free surface influences on the wake are clearly shown leading to vertical velocities and big scale vorticies. Finally, a LES simulation was conducted. The vortex structures are better reproducted than the URANS simulations, but the computation times are significant.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Neste trabalho calculamos os fatores de forma e constantes de acoplamento para os vértices B*sBK, B*BsK e BsBK* usando as Regras de Soma da Cromodinâmica Quântica (QCD). Ainda estão incluídos os diagramas não perturbativos. Nós usamos a técnica de considerar dois mésons fora da camada de massa para obter dois fatores de forma diferentes a fim de diminuir as incertezas. Os cálculos das incertezas foram incluídos neste trabalho. / In this work, we calculate the Form Factors and the Coupling Constants for the vertices B*sBK, BsB*K and BsBK* using the QCD Sum Rules. We use the technique of considering two mesons of shell to obtaining two differents form factors in order to give less uncertainty to the obtaining of the coupling constant. The evaluation of the uncertaints were included in this work.

Made available in DSpace on 2015-03-03T15:16:23Z (GMT). No. of bitstreams: 1 DarlanAM.pdf: 1538525 bytes, checksum: af051bdcc4894d0bf236b2e6f943baa9 (MD5) Previous issue date: 2008-09-29 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / Esta tese apresenta um abrangente e atualizado estudo de algumas propriedades f?sicas da mol?cula do DNA, tais como seus aspectos termodin?micos (calor espec?fico) e eletr?nicos (transmissividade eletr?nica, fator de localiza??o, entre outros). A mol?cula do DNA pode ser considerada uma seq??ncia simb?lica de quatro letras: guanina (G), adenina (A), citosina (C) e timina (T). Ela ? usualmente descrita como uma cadeia bidimensional aleat?ria com correla??o de curto-alcance, mas n?o h? impedimentos para que a cadeia seja crescida seguindo seq??ncias quasi-peri?dicas, como por exemplo, as sequ?ncias de Fibonacci e Rudin-Shapiro. Com o intuito de investigar a relev?ncia das correla??es subjacentes nas distribui??oes dos nucleot?deos, comparamos os resultados para a sequ?ncia gen?mica do DNA (Ch22) com as duas seq??ncias artificiais citadas acima, que possuem correla??ao de longo alcance. A an?lise do calor espec?fico ? feita considerando-se formalismos apropriados; o cl?ssico, utilizando a distribui??o de Maxwell-Boltzmann; a descri??oo qu?ntica, utilizando a distribui??o de Fermi-Dirac; e o formalismo da n?o-extensividade, usando a entropia de Tsallis. Os espectros de energias s?o calculados utilizando-se a equa??o de Schrodinger unidimensional na aproxima??o de liga??o forte. N?s calculamos tamb?m a transmissividade eletr?nica, o comprimento de localiza??o, bem como I (corrente) vs V (potencial), curva que caracteriza as propriedades el?tricas de uma mol?cula de DNA dupla fita. O modelo te?rico considerado faz uso de um Hamiltoniano efetivo com aproxima??o de liga??o-forte descrevendo um el?tron movendo-se em uma cadeia com um simples orbital por s?tio e intera??es entre vizinhos mais pr?ximos, juntamente com a equa??o de Schrodinger, e a muito conveniente t?cnica da matriz de transfer?ncia