• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1504
  • 621
  • 146
  • 4
  • 1
  • 1
  • 1
  • Tagged with
  • 2269
  • 580
  • 494
  • 476
  • 410
  • 386
  • 345
  • 239
  • 212
  • 208
  • 208
  • 193
  • 190
  • 189
  • 183
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
51

Etude de composants optiques à base de fibres optiques non-linéaires

Nguyen, Thanh Nam 03 October 2008 (has links) (PDF)
Ce travail de thèse examine la possibilité d'utiliser de nouvelles fibres optiques fortement non-linéaires pour des applications de régénération tout-optique à 40 Gbit/s. Les fibres optiques étudiées sont des fibres optiques microstructurées en verre de silice et en verre de chalcogénure fabriquées dans le cadre d'une collaboration avec la Plate-forme d'Etudes et de Recherche sur les Fibres Optiques Spéciales (PERFOS, Lannion) et l'Equipe Verres et Céramiques (EVC) de l'UMR Sciences Chimiques de Rennes. Le régénérateur optique étudié est le régénérateur proposé par P.V. Mamyshev, basé sur le phénomène d'automodulation de phase dans une fibre optique non-linéaire. Les résultats originaux obtenus lors de ce travail de thèse se situent sur les trois plans suivants : la modélisation de la propagation non-linéaire dans les fibres optiques, la caractérisation de fibres optiques non linéaires et l'étude d'un régénérateur tout-optique à 40 Gbit/s. <br />En ce qui concerne la modélisation de la propagation non-linéaire, ce travail passe en revue plusieurs méthodes de résolution de l'équation non-linéaire de Schrödinger (ENLS) connues sous le nom de méthodes split-step Fourier. Pour trois de ces méthodes, une modification astucieuse de l'algorithme de résolution numérique de l'ENLS permettant d'augmenter l'efficacité de la méthode est proposée. Ce travail présente également une nouvelle méthode split-step Fourier permettant de résoudre l'ENLS avec une précision choisie.<br />Pour la partie concernant la caractérisation de fibres optiques non-linéaires, ce travail présente, pour la première fois, les caractérisations optiques de fibres optiques microstructurées en verre de chalcogénure et démontre leur fort potentiel pour des applications non-linéaires. Des caractérisations non-linéaires de fibres optiques microstructurées en verre de silice présentant une faible atténuation et un gain Raman record sont également présentées. Une nouvelle méthode pour mesurer simultanément la dispersion chromatique et le coefficient non-linéaire de fibres optiques, basée sur l'effet de compression soliton, est proposée.<br />Concernant l'étude du régénérateur de Mamyshev, ce travail propose une étude théorique conduisant à l'élaboration d'un abaque pour le dimensionnement du régénérateur et permettant d'étudier le rôle du pré-filtrage et le mécanisme de gigue temporelle introduite par le régénérateur. L'étude expérimentale du régénérateur met en évidence le rôle néfaste de l'effet Brillouin et du mélange à quatre ondes sur les performances d'un régénérateur à 40 Gbit/s. Une nouvelle architecture de régénérateur, basée sur l'utilisation d'un compresseur d'impulsions, est proposée afin d'éliminer ces effets indésirables. Son efficacité est démontrée au cours d'une expérience de régénération en boucle à recirculation.
52

Simulation non linéaire en ultrasons : application à l'imagerie du paramètre de non linéarité des tissus en mode écho

Varray, François 05 October 2011 (has links) (PDF)
L'imagerie ultrasonore harmonique, qui repose sur la non linéarité du milieu de propagation, est une technique d'imagerie clinique qui améliore la résolution des images. La mesure ultrasonore du paramètre local de non linéarité d'un milieu est une voie de recherche qui amènerait de nouvelles perspectives dans le domaine de la caractérisation des tissus. Cependant, l'accès à cette information se heurte à deux écueils : d'une part il n'existe pas actuellement de méthode de mesure de ce paramètre à partir du mode écho classique et d'autre part, les outils de simulation prenant en compte la non-linéarité du milieu sont peu développés. Une méthode de spectre angulaire a donc été proposée afin de calculer le champ de pression dans des milieux de non linéarité inhomogène. Ce champ de pression est ensuite utilisé pour engendrer des images échographiques contenant l'information harmonique. Cette méthode spectrale a été portée sur GPU afin d'accélérer le calcul et a été intégrée dans un logiciel libre : CREANUIS. Dans un deuxième temps, une extension d'une méthode comparative (ECM) a été proposée pour prendre en compte des milieux de non linéarité non homogène, fonctionnant en mode écho. Grâce aux outils de simulation développés, différentes configurations ont été utilisées pour la mise au point de l'ECM qui a ensuite été validée à partir d'objets tests et in vitro sur foies d'animaux. Même si la méthode de mesure présente une résolution relativement faible, les images obtenues démontrent le potentiel de l'imagerie du paramètre de non linéarité des tissus.
53

Prédiction phénotypique et sélection de variables en grande dimension dans les modèles linéaires et linéaires mixtes / Phenotypic prediction and variable selection in high dimensional linear and linear mixed models

Rohart, Florian 07 December 2012 (has links)
Les nouvelles technologies permettent l'acquisition de données génomiques et post-génomiques de grande dimension, c'est-à-dire des données pour lesquelles il y a toujours un plus grand nombre de variables mesurées que d'individus sur lesquels on les mesure. Ces données nécessitent généralement des hypothèses supplémentaires afin de pouvoir être analysées, comme une hypothèse de parcimonie pour laquelle peu de variables sont supposées influentes. C'est dans ce contexte de grande dimension que nous avons travaillé sur des données réelles issues de l’espèce porcine et de la technologie haut-débit, plus particulièrement le métabolome obtenu à partir de la spectrométrie RMN et des phénotypes mesurés post-mortem pour la plupart. L'objectif est double : d'une part la prédiction de phénotypes d’intérêt pour la production porcine et d'autre part l'explicitation de relations biologiques entre ces phénotypes et le métabolome. On montre, grâce à une analyse dans le modèle linéaire effectuée avec la méthode Lasso, que le métabolome a un pouvoir prédictif non négligeable pour certains phénotypes importants pour la production porcine comme le taux de muscle et la consommation moyenne journalière. Le deuxième objectif est traité grâce au domaine statistique de la sélection de variables. Les méthodes classiques telles que la méthode Lasso et la procédure FDR sont investiguées et de nouvelles méthodes plus performantes sont développées : nous proposons une méthode de sélection de variables en modèle linéaire basée sur des tests d'hypothèses multiples. Cette méthode possède des résultats non asymptotiques de puissance sous certaines conditions sur le signal. De part les données annexes disponibles sur les animaux telles que les lots dans lesquels ils ont évolués ou les relations de parentés qu'ils possèdent, les modèles mixtes sont considérés. Un nouvel algorithme de sélection d'effets fixes est développé et il s'avère beaucoup plus rapide que les algorithmes existants qui ont le même objectif. Grâce à sa décomposition en étapes distinctes, l’algorithme peut être combiné à toutes les méthodes de sélection de variables développées pour le modèle linéaire classique. Toutefois, les résultats de convergence dépendent de la méthode utilisée. On montre que la combinaison de cet algorithme avec la méthode de tests multiples donne de très bons résultats empiriques. Toutes ces méthodes sont appliquées au jeu de données réelles et des relations biologiques sont mises en évidence / Recent technologies have provided scientists with genomics and post-genomics high-dimensional data; there are always more variables that are measured than the number of individuals. These high dimensional datasets usually need additional assumptions in order to be analyzed, such as a sparsity condition which means that only a small subset of the variables are supposed to be relevant. In this high-dimensional context we worked on a real dataset which comes from the pig species and high-throughput biotechnologies. Metabolomic data has been measured with NMR spectroscopy and phenotypic data has been mainly obtained post-mortem. There are two objectives. On one hand, we aim at obtaining good prediction for the production phenotypes and on the other hand we want to pinpoint metabolomic data that explain the phenotype under study. Thanks to the Lasso method applied in a linear model, we show that metabolomic data has a real prediction power for some important phenotypes for livestock production, such as a lean meat percentage and the daily food consumption. The second objective is a problem of variable selection. Classic statistical tools such as the Lasso method or the FDR procedure are investigated and new powerful methods are developed. We propose a variable selection method based on multiple hypotheses testing. This procedure is designed to perform in linear models and non asymptotic results are given under a condition on the signal. Since supplemental data are available on the real dataset such as the batch or the family relationships between the animals, linear mixed models are considered. A new algorithm for fixed effects selection is developed, and this algorithm turned out to be faster than the usual ones. Thanks to its structure, it can be combined with any variable selection methods built for linear models. However, the convergence property of this algorithm depends on the method that is used. The multiple hypotheses testing procedure shows good empirical results. All the mentioned methods are applied to the real data and biological relationships are emphasized
54

Proposition de stratégies de commande pour la culture de microalgue dans un photobioréacteur continu / Proposition de stratégies de commande pour la culture de microalgue dans un photobioréacteur continu

Becerra-Celis, Giuliana 07 April 2009 (has links)
Cette thèse porte sur la commande d’un photobioréacteur continu pour la culture des microalgues. La modélisation du système et l’identification des paramètres du modèle ont été particulièrement abordées. Les paramètres cinétiques et de transfert de l’énergie lumineuse ont été obtenus à partir des données acquises le long de la phase exponentielle de la culture de Porphyridium purpureum en mode batch sous différentes conditions expérimentales dans un photobioréacteur de 2,5 litres. La concentration en biomasse est la quantité physique la plus importante à réguler. Puisque elle n’est pas toujours facile à mesurer en ligne, un capteur logiciel permettant d’estimer la quantité de biomasse produite à partir des mesures en ligne est proposé. Il s’agit d’un filtre de Kalman étendu (EKF) qui combine le modèle du système avec la mesure de la concentration du carbone inorganique total et d’autres variables physiques (pH, intensité lumineuse,…) afin d’estimer en ligne la concentration de la biomasse. Ce capteur logiciel a été validé expérimentalement en utilisant un nouveau photobioréacteur de 9,6 litres de type colonne à bulles, équipé de plusieurs dispositifs destinés à mettre en place un système de commande et de régulation, et de techniques de mesure permettant d’accéder à l’évolution des principales variables. Plusieurs démarches pour la commande de la culture de microalgues ont été également proposées : commande non-linéaire et linéaire, régulation par PID, commande par modèle générique GMC, commande linéarisante par retour d’état et commande prédictive non-linéaire. Ces différentes commandes ont été mises oeuvre en simulation ce qui nous a permis de choisir les stratégies les plus performantes et de les valider sur le photobioréacteur instrumenté. / This thesis deals with the control of closed microalgal photobioreactor. Mathematical modeling and model parameters identification are particularly approached. The kinetics and light transfer model parameters were obtained by fitting the experimental data acquired along the exponential phase of batch cultivation of Porphyridium purpureum under different conditions in the photobioreactor (2.5 liters). Biomass is one of the most valuable variables to control. Because biomass concentration is very difficult to measure on-line, a software sensor for its estimation is proposed. An extended Kalman filter (EKF) is developed, based on a dynamic process model in combination with total inorganic carbon measurement within an algorithm of state observation. This software sensor leads to good results and was experimentally validated in a new bubble column photobioreactor (9.6 liters) which carried different probes and sensors necessary to implement a control system. Several control strategies for microalgae culture were also proposed: non-linear and linear controllers, PID controller, generic model controller (GMC), input-output linerarizing controller and non-linear predictive controller. We illustrated our approaches with numerical simulations which allowed us to choose the most successful strategies and to validate them on the instrumented photobioreactor.
55

Dynamique non-linéaire des instabilités vibratoires induites par le frottement dans les freins aéronautiques : études numériques et confrontations essais-simulations

Chevillot, Fabrice 04 December 2009 (has links)
Ce travail porte sur l’étude de la stabilité et l’analyse non-linéaire transitoire des instabilités mécaniques induites par le frottement dans les systèmes de freinage aéronautique. La compréhension de ces instabilités, par la combinaison d’approches expérimentales et théoriques, permet de réduire ou de supprimer leur risque d’apparition. Cette thèse a pour objectif de prédire les niveaux des vibrations induites par le frottement dans les freins aéronautiques à l’aide d’un modèle phénoménologique non-linéaire capable de reproduire les mécanismes responsables des instabilités. L’approche est focalisée sur les deux phénomènes vibratoires principaux apparaissant entre 0 et 1 000 Hz connus sous le nom de squeal et whirl. Pour appuyer cette démarche, les essais expérimentaux réalisés au sein de Messier-Bugatti - Groupe SAFRAN seront utilisés. La première approche est une étude ”statico-dynamique” dans laquelle la linéarisation des équations dynamiques non-linéaires autour de la position d’équilibre permet de déterminer la stabilité du système par un calcul aux valeurs propres. La stabilité du frein est alors déterminée en fonction de différents paramètres : coefficient de frottement, pression hydraulique, raideur non-linéaire, etc... Une attention particulière a été portée sur l’étude des effets de l’amortissement sur les instabilités vibratoires issues d’un couplage de modes : l’amortissement peut avoir des effets néfastes sur la stabilité du système, qui vont à l’encontre des idées reçues. La deuxième approche concerne l’étude ”dynamique non-linéaire”. L’analyse de stabilité ne permet pas, dans le cas où le système est instable, de connaître les amplitudes vibratoires générées. Une intégration temporelle des équations dynamiques non-linéaires permet alors de calculer les régimes transitoire et stationnaire du système. Des études d’influence sont ensuite menées pour évaluer la sensibilité de la réponse dynamique non-linéaire du frein vis-a-vis de ses paramètres. Le rôle de l’amortissement a été étudié avec attention : les conclusions établies grâce aux études de stabilité sont alors étendues à la dynamique non-linéaire. Des phénomènes transitoires complexes où plusieurs instabilités se développent seront également mis en évidence et analysés. Enfin, les essais expérimentaux montrent une dispersion importante dans l’amplitude des vibrations générées au cours des freinages, bien que les conditions expérimentales soient identiques. L’introduction de lois statistiques dans les paramètres du freinage permet alors de reproduire avec satisfaction la variabilité des amplitudes vibratoires observée en essais. / This study deals with the linear and non-linear transient analyses of instabilities induced by friction in aircraft braking systems. The investigation of these instability phenomena, under experimental and theoretical considerations, is useful to design brakes in which vibrations will not be harmful. The aim of this thesis is to predict the amplitude of the oscillations generated by frictioninduced instabilities in an aircraft braking system. To achieve this, a non-linear analytical model of the brake is built in order to reproduce the mechanisms responsible for friction-induced vibrations. Experimental records of the brake under working conditions performed by Messier-Bugatti- SAFRAN Group allow identifying two main vibrations identified in the 0-1,000 Hz range : squeal and whirl. The work is focused on these two phenomena. The first step in the study of a vibration problem is a stability analysis obtained by calculation of the eigenvalues of the Jacobian matrix of the system of non-linear equations linearized at the equilibrium point. The stability of the brake is then investigated with respect to brake parameters : coefficient of friction, hydraulic pressure, non-linear stiffness, etc... In particular, the effects of damping in mode-coupling instabilities are assessed. It appears that the addition of damping into the equations of motion does not lead systematically to the stabilization of the system, which runs counter to the generally accepted idea. The second step concerns the non-linear dynamics. If the system is unstable, the stability analysis gives no information on the amplitude of the oscillations or on the non-linear transient behavior. By integration of the full set of non-linear equations, the stationary and transient regimes are computed. The sensibility of the non-linear response of the brake is then studied with respect to brake parameters. In particular, the effects of damping are investigated in details : the conclusions established on the stability analysis are extended to the non-linear dynamics. Complex non-linear transient behaviors when several instabilities occur are also highlighted and analyzed. Finally, experimental tests reveal that the brake can generate vibrations of various amplitude, although the experimental conditions are identical. The introduction of statistical laws in the braking parameters allow simulating with a good agreement the variability of the vibratory levels observed when a series of tests is performed.
56

Transport non-linéaire et génération Terahertz dans des systèmes bidimensionnels sous forte irradiation optique / Nonlinear transport and Terahertz generation in two-dimensional systems under strong optical irradiation

Huppert, Simon 29 September 2014 (has links)
Cette thèse traite de comportements non-linéaires dans deux types de systèmes bidimensionnels différents: les hétérostructures semiconductrices ainsi qu'un matériau monocouche, le graphène. Elle comporte deux axes principaux: l'étude de la quantification de Wannier-Stark dans les super-réseaux de puits quantiques biaisés électriquement, et la modélisation d'effets nouveaux pour la génération de rayonnement électromagnétique dans le domaine Terahertz. Dans les super-réseaux de puits quantiques soumis à une tension externe, le champ électrique induit un confinement bidimensionnel des porteurs de charge nommé quantification de Wannier-Stark. On modélise deux conséquences originales de cette quantification: d'une part, les fortes non-linéarités de photocourant dans un super-réseau placé entre deux barrières tunnel épaisses, et d'autre part, la possibilité de contrôler électriquement le couplage lumière-matière et le gain dans la gamme Terahertz dans un super-réseau biaisé couplé à une microcavité planaire. Dans un second temps, on étudie quantitativement deux effets non-linéaires nouveaux pour la génération Terahertz. Le premier est l'exaltation de l'émission Terahertz dans un système polaritonique en régime de laser à polaritons. On modélise précisément cet effet et on propose un nouveau dispositif utilisant une microcavité double et permettant de réduire très significativement les pertes par diffusion. Le second effet étudié est le transfert d'impulsion photonique dans le graphène sous excitation impulsionnelle. On construit un modèle microscopique prédictif de ce phénomène qui permet de déterminer les paramètres importants pour l'optimisation de l'impulsion Terahertz générée. Ce travail théorique a été mené en étroite collaboration avec plusieurs équipes expérimentales. / This thesis treats of nonlinear behaviors in two different types of bidimensional systems: semiconductor heterostructures as well as a monolayer material, graphene. It consists into two main parts: the study Wannier-Stark quantification in electrically biased quantum well superlattices, and the modelling of new effects for electromagnetic wave generation in the Terahertz range. In quantum well superlattices under an external voltage, the electric field induces bidimensional confinement of the charge carriers, this effect is known as Wannier-Stark quantification. We examine two interesting consequences of this confinement: the strong photocurrent nonlinearities induced when the superlattice is placed between thick tunnel barriers, and the possibility to control light-matter coupling as well as Terahertz gain in superlattices coupled to a semiconductor microcavity. In a second part of this work, we study quantitatively two new nonlinear effects for Terahertz generation. The first one is Terahertz emission exaltation in a polaritonic system reaching the polariton lasing regime. We model precisely this effect and suggest a new scheme using a double microcavity and providing very significant reduction of the diffusion losses. The second effect is photon drag in graphene under pulsed excitation. We build a microscopic and predictive model for this phenomenon which provides a comprehensive insight on the relevant parameters for the optimisation of the Terahertz generation. This theoretical work was done in tight collaboration with several experimental groups.
57

Polarized positron sources for the future linear colliders / Sources de positrons polarisés pour les futurs collisionneurs linéaires

Chaikovska, Iryna 10 December 2012 (has links)
Au cours des prochaines années les expériences au grand collisionneur de hadrons (LHC) au CERN vont explorer méticuleusement les lois fondamentales de la physique des hautes énergies à une énergie qui n'a jamais été atteinte auparavant. Afin de compléter les recherches du LHC, plusieurs projets de Collisionneur Linéaire (CL) de lepton de prochaine génération utilisant des collisions e+ – e- ont été proposé pour permettre des études de haute précision. Dans ce cadre il existe deux grands projets: le collisionneur linéaire international (ILC) pour explorer une plage d'énergie dans le centre de masse de s = 0.5 – 1 TeV et le collisionneur linéaire compact (CLIC) qui devrait fonctionner à s = 0.5 – 3 TeV. Le programme de physique du futur CL profitera grandement de collisions où les deux faisceaux seront polarisés. Cette thèse présente la source de positrons polarisés qui est un élément clef du future CL. Dans ce contexte, les différents concepts de source de positrons polarisés sont présentés en mettant en avant les principaux défis technologiques. Plus spécifiquement, le centre d'intérêt principal est sur la source de positrons Compton adoptée par CLIC comme option préférée pour l'amélioration de la future source de positrons. Dans cette source, les rayons gamma de haute énergie produits par diffusion Compton sont envoyés sur une cible où les interactions électromagnétiques produisent des positrons dans des e+ – e- . Pour améliorer l'efficacité de l'étape de production de rayons gamma, une ligne de multiples points de collisions est proposée intégrée à un linac à récupération d'énergie. Les simulations de la production de positrons, de leur capture et de leur accélération initiale permettent d'estimer l'efficacité de production de positrons et de fournir une paramétrisation simple de la source de positrons polarisés basée sur l'interaction Compton dans la perspective des besoins futurs du CL. L'option d'une source Compton basée sur un anneau de stockage appelé anneau Compton est aussi décrite. La principale contrainte de ce concept provient de la dynamique faisceaux à cause de la grande dispersion en énergie et l'augmentation de la longueur du paquet ce qui affecte le taux de production des rayons gamma. Une contribution théorique originale est présentée pour calculer la dispersion en énergie induite par la diffusion Compton. De plus, une expérience pour tester la production de rayons gamma par diffusion Compton en utilisant un système laser au fait de la technologie et développé au LAL est en cours dans le cadre du projet "MightyLaser" à l'ATF, KEK. La configuration expérimentale ainsi que les résultats principaux obtenus sont discutés en détails. Les recherches décrites dans cette thèse montrent que la source de positrons polarisés basée sur la diffusion Compton est un candidat prometteur pour la source de positrons polarisés du futur CL. Pour atteindre les performances requises des travaux supplémentaires et de la R&D sont nécessaires dans le domaine des lasers de puissance, des cavités optiques et des accélérateurs d'électrons à fort courant tels que les linacs à récupération d'énergie. / During the next few years experiments at the Large Hadron Collider (LHC) at CERN will continue to explore carefully fundamental high energy physics principles at a an energy domain which has never been reached before. Possible designs for the next-generation lepton Linear Collider (LC) based on e+–e- collisions have already been proposed to perform high precision studies complementary to the LHC. In this framework, there are two large projects: the International Linear Collider (ILC) exploring a centre-of-mass energy range of de s = 0.5 – 1 TeV and the Compact Linear Collider (CLIC) expected to operate at s = 0.5 – 3 TeV. The physics programme of the future LC will benefit strongly of colliding both polarised electron and positron beams. This thesis introduces the polarized positron source as one of the key element of the future LC. In this context, the different schemes of the polarized positron source are described highlighting the main issues in this technology. In particular, the main focus is on the Compton based positron source adopted by the CLIC as a preferred option for the future positron source upgrade. In this case, the circularly polarized high energy gamma rays resulting from Compton scattering are directed to a production target where an electromagnetic cascade gives rise to the production of positrons by e+–e- pair conversion. To increase the efficiency of the gamma ray production stage, a multiple collision point line integrated in energy recovery linac is proposed. The simulations of the positron production, capture and primary acceleration allow to estimate the positron production efficiency and provide a simple parametrization of the Compton based polarized positron source in the view of the future LC requirements. The storage ring based Compton source option, so-called Compton ring, is also described. The main constraint of this scheme is given by the beam dynamics resulting in the large energy spread and increased bunch length affecting the gamma ray production rate. An original theoretical contribution is shown to calculate the energy spread induced by Compton scattering. Moreover, an experiment to test the gamma ray production by Compton scattering using a state-of-art laser system developed at LAL has been conducted in the framework of the "MightyLaser" project at the ATF, KEK. The experimental layout as well as the main results obtained are discussed in details. The studies carried out in this thesis show that the polarized positron source based on Compton scattering is a promising candidate for the future LC polarized positron source. To attain the required performance, further developments and R&D in field of the high power laser systems, optical cavities and high current electron accelerators such as the energy recovery linacs should be pursued in the future.
58

λ-calcul différentiel et logique classique : interactions calculatoires

Vaux, Lionel 23 November 2007 (has links) (PDF)
Cette thèse de théorie de la démonstration étudie les interactions entre le λ-calcul différentiel d'Ehrhard et Regnier d'un côté, et certaines émanations calculatoires de la logique classique (le λμ-calcul de Parigot et le λ-barre-μ-calcul de Herbelin) de l'autre. L'étude est initiée et guidée par la décomposition de ces calculs dans des extensions de la logique linéaire de Girard.<br /><br />Dans une première partie, on définit un cadre commun pour ces extensions, dans le formalisme des réseaux d'interaction de Lafont, et on y rappelle des résultats de la littérature ou du folklore. On donne en particulier la traduction du λμ-calcul et du λ-barre-μ-calcul dans les réseaux polarisés de Laurent et celle du fragment finitaire du λ-calcul différentiel dans les réseaux différentiels d'Ehrhard et Regnier.<br /><br />Dans la deuxième partie, on introduit les réseaux différentiels polarisés (RDP), comme l'extension par une polarisation à la Laurent des réseaux différentiels. La pertinence des règles de réduction nouvelles est soulignée par l'étude d'un modèle dénotationnel commun aux réseaux différentiels et aux réseaux polarisés.<br /><br />Enfin, on présente trois calculs de termes, chacun pouvant être considéré comme une lecture en arrière de tout ou partie des interactions définies par les RDP : un λμ-calcul différentiel, qui correspond à la réunion des réseaux différentiels et des réseaux polarisés ; un λ-barre-μ-calcul avec produit de convolution sur les piles, qui fait intervenir la structure de bigèbre des types polarisés introduite dans les RDP, mais pas la dérivée ; enfin, un λ-barre-μ-calcul différentiel qui développe toute l'expressivité des RDP.
59

Sources de positrons polarisés pour les futurs collisionneurs linéaires

Chaikovska, Iryna 10 December 2012 (has links) (PDF)
Au cours des prochaines années les expériences au grand collisionneur de hadrons (LHC) au CERN vont explorer méticuleusement les lois fondamentales de la physique des hautes énergies à une énergie qui n'a jamais été atteinte auparavant. Afin de compléter les recherches du LHC, plusieurs projets de Collisionneur Linéaire (CL) de lepton de prochaine génération utilisant des collisions e+ - e- ont été proposé pour permettre des études de haute précision. Dans ce cadre il existe deux grands projets: le collisionneur linéaire international (ILC) pour explorer une plage d'énergie dans le centre de masse de s = 0.5 - 1 TeV et le collisionneur linéaire compact (CLIC) qui devrait fonctionner à s = 0.5 - 3 TeV. Le programme de physique du futur CL profitera grandement de collisions où les deux faisceaux seront polarisés. Cette thèse présente la source de positrons polarisés qui est un élément clef du future CL. Dans ce contexte, les différents concepts de source de positrons polarisés sont présentés en mettant en avant les principaux défis technologiques. Plus spécifiquement, le centre d'intérêt principal est sur la source de positrons Compton adoptée par CLIC comme option préférée pour l'amélioration de la future source de positrons. Dans cette source, les rayons gamma de haute énergie produits par diffusion Compton sont envoyés sur une cible où les interactions électromagnétiques produisent des positrons dans des e+ - e- . Pour améliorer l'efficacité de l'étape de production de rayons gamma, une ligne de multiples points de collisions est proposée intégrée à un linac à récupération d'énergie. Les simulations de la production de positrons, de leur capture et de leur accélération initiale permettent d'estimer l'efficacité de production de positrons et de fournir une paramétrisation simple de la source de positrons polarisés basée sur l'interaction Compton dans la perspective des besoins futurs du CL. L'option d'une source Compton basée sur un anneau de stockage appelé anneau Compton est aussi décrite. La principale contrainte de ce concept provient de la dynamique faisceaux à cause de la grande dispersion en énergie et l'augmentation de la longueur du paquet ce qui affecte le taux de production des rayons gamma. Une contribution théorique originale est présentée pour calculer la dispersion en énergie induite par la diffusion Compton. De plus, une expérience pour tester la production de rayons gamma par diffusion Compton en utilisant un système laser au fait de la technologie et développé au LAL est en cours dans le cadre du projet "MightyLaser" à l'ATF, KEK. La configuration expérimentale ainsi que les résultats principaux obtenus sont discutés en détails. Les recherches décrites dans cette thèse montrent que la source de positrons polarisés basée sur la diffusion Compton est un candidat prometteur pour la source de positrons polarisés du futur CL. Pour atteindre les performances requises des travaux supplémentaires et de la R&D sont nécessaires dans le domaine des lasers de puissance, des cavités optiques et des accélérateurs d'électrons à fort courant tels que les linacs à récupération d'énergie.
60

Le modèle linéaire à effets mixtes pour analyser des données génétiques provenant de familles

Allard, Catherine January 2015 (has links)
Nous désirons savoir quelles sont les variations génétiques qui sont associées à une tension artérielle élevée. Pour ce faire, nous avons des données provenant de plusieurs familles, c’est-à-dire qu’il y a des personnes de la même famille qui se retrouvent dans cet échantillon. Dans cette base de données, il y a de l’information sur quelques caractéristiques démographique (âge, sexe, fumeur/non fumeur), il y a aussi la pression diastolique et systolique ainsi qu’un grand nombre de variations génétiques distribuées sur tout le génome. Pour pouvoir analyser des observations qui ne sont pas indépendantes, nous devons utiliser un modèle qui diffère un peu de la régression classique. En effet, nous ne pouvons pas utiliser la régression classique, car notre échantillon ne respecte pas toutes les hypothèses du modèle. Le modèle que nous allons utiliser prend en compte la covariance entre les individus de même famille. Nous allons donc présenter la théorie du modèle linéaire à effets mixtes simple ainsi que sa généralisation pour des données génétiques provenant de familles. Nous allons terminer par une application de ce modèle généralisé à notre base de données sur la tension artérielle pour déterminer quelles parties du génome (quelles variations génétiques) expliquent le mieux la tension artérielle de cet échantillon.

Page generated in 0.0627 seconds