• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 652
  • 270
  • 152
  • 149
  • 62
  • 56
  • 22
  • 20
  • 16
  • 13
  • 13
  • 10
  • 8
  • 8
  • 7
  • Tagged with
  • 1697
  • 612
  • 180
  • 171
  • 139
  • 131
  • 123
  • 96
  • 85
  • 84
  • 84
  • 82
  • 82
  • 73
  • 71
  • 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.
701

Microscopie et spectroscopie de photodétachement; mesure de la section efficace de photodétachement de H- à 1064 nm par observation du comportement asymptotique du régime saturé / Photodetachment spectroscopy and microscopy; measurement of the photodetachment cross section of H- at 1064 nm by the observation of the asymptotic behaviour in the saturated regime

Vandevraye, Mickael 13 December 2013 (has links)
Dans cette thèse, nous initions la démonstration, à échelle réduite, de la faisabilité du photodétachement presque total, par laser, d’un jet d'ions négatifs d'hydrogène en cavité optique Fabry-Perot pour les futurs injecteurs de neutres destinés au chauffage des plasmas des réacteurs de fusion nucléaire.Nous élaborons une nouvelle méthode de mesure d’une section efficace de photodétachement, dont la connaissance à la longueur d’onde d’excitation est requise pour le dimensionnement de la cavité Fabry-Perot, basée sur l’observation de la saturation en régime d’éclairement impulsionnel. Le calcul analytique de l’accroissement du signal de détachement produit lors de l’éclairement d’un jet d’ions par une impulsion laser supposée gaussienne, fait apparaître une contrainte mathématique sur le flux requis pour transiter vers le régime saturé. Cette contrainte est une caractéristique de la transition vers la saturation pour toutes les expériences réalisées en faisceau gaussien et pour tous les processus d’interaction lumière-matière linéaires. Avec cette méthode, nous déduisons une section efficace de photodétachement de H- à 1064 nm – longueur d’onde sélectionnée pour les futurs injecteurs de neutres – en léger désaccord avec les prédictions théoriques.Pour réduire les exigences technologiques sur la cavité et le laser, nous étudions les résonances de Landau qui apparaissent dans le spectre de photodétachement en champ magnétique. S’asservir sur l’une de ces résonances permettrait d’augmenter la probabilité de photodétachement à un flux donné.Par ailleurs, nous présentons nos mesures des affinités électroniques du phosphore, du sélénium et de l’étain, réalisées avec le microscope de photodétachement. L'expérience de microscopie de photodétachement du phosphore est la première où l’atome neutre est laissé dans un terme excité. / In this thesis, we initiate the demonstration, at a reduced scale, of the feasibility of the almost-complete laser photodetachment of negative hydrogen ion beams in a Fabry-Perot optical cavity for future neutral beam injectors for the heating of fusion power plants plasmas.We develop a new method to measure a photodetachement cross section, the knowledge of which at the exciting wavelength is needed to scale the Fabry-Perot cavity, based on the observation of the saturation in a pulsed lighting regime. The analytical calculus of the detachment signal growth produced while illuminating a negative ion beam with a Gaussian laser pulse bring out a mathematical constraint on the required flux to pass through the saturated regime. This constraint is the signature of the transition toward the saturation for all experiment carried out in Gaussian beam and for all linear light-matter interaction processes. With this method, we measure the photodetachement cross section of H- at 1064 nm – selected wavelength for future neutral beam injectors – in slight disagreement with theoretical predictions.To reduce the technological requirement on the Fabry-Perot cavity and the laser, we study Landau resonances which appear in the photodetachement spectrum. Locking the laser on one of these resonances would allow increasing the photodetachment probability at a given flux.We also present our phosphorus, selenium and tin electron affinity measurements carried out with the photodetachment microscope. The photodetachment microscopy experiment of phosphorus is the first one where the neutral atom is left in an excited term.
702

Studies on K-shell photoionization of nitrogen ions and on valence photoionization of atomic and small molecular ions / Étude de la Photoionisation en Couche K des Ions d'Azote et de la Photoionisation en Couche de Valence d’Ions Atomiques et de Petits Ions Moléculaires

Alshorman, Mohammad 25 February 2014 (has links)
Dans ce travail de thèse, la photoionisation en couche K d’ions multichargés a été étudiée ainsi que la photoionisation en couche de valence d’ions atomiques et de petits ions moléculaires. Les sections efficaces de photoionisation en couche K ont été mesurées pour les ions de la série iso-nucléaire de l’azote, de N+ à N4+, en utilisant le montage de faisceaux ion-photon colinéaires, et la photoionisation en couche de valence des ions Xe+ et Kr+ et des petits ions moléculaires CO2+ et N2+ en utilisant à la fois la technique de faisceaux colinéaires et un piége à ions . Toutes les expériences ont utilisé le rayonnement synchrotron émis par l’anneau de stockage SOLEIL à Saint-Aubin, France. La combinaison des deux techniques permet la mesure sur une échelle absolue des sections efficaces de photoionisation des ions dans l'état fondamental pur.Les sections efficaces expérimentales de photoionisation en couche K sont comparées aux résultats théoriques existants utilisant différentes méthodes : Multi-Configuration Dirac–Fock (MCDF), R-matrice et la Constante d’Ecran par Unité de charge Nucléaire (SCUNC). L’interaction entre l’expérience et la théorie a permis l’identification et la caractérisation des résonances 1s→2p et 1s→3p observées dans les spectres. Les sections efficaces expérimentales de photoionisation en couche de valence mesurées pour les ions Xe+ et Kr+ ont été comparées aux résultats de calculs MCDF obtenus pour le processus de photoionisation directe.La qualité des mesures absolues de section efficace utilisant la technique de faisceaux colinéaires est fortement dépendante de la performance de la source d’ions ECR (Electron Cyclotron Resonance). Afin d'améliorer le courant d'ions dans la région d'interaction, différents systèmes d'extraction des ions à deux et trois électrodes ont été simulés en utilisant les programmes ECRopt et IGUN. / In this thesis work, the K-shell photoionization of multi-charged ions has been studied as well as the valence photoionization of atomic and small molecular ions. The K-shell photoionization cross sections were measured for nitrogen iso-nuclear series, from N+ to N4+ ions using the ion–photon merged beam technique and the valence photoionization cross sections for Xe+ and Kr+ ions and the small molecular ions CO_2^+ and N_2^+ using both the merged beam and ion trap techniques at the SOLEIL synchrotron radiation facility in Saint–Aubin, France. Combination of the two techniques allows for the measurement of the pure ground state ionization cross section on an absolute scale.The experimental K-shell photoionization cross sections are compared with theoretical results obtained from the multi-configuration Dirac–Fock (MCDF), R-matrix and the Screening Constant by Unit Nuclear Charge (SCUNC) methods. The interplay between experiment and theory enables the identification and characterization of the strong 1s→2p and 1s→3p resonances observed in the spectra. The experimental valence photoionization cross sections for Xe+ and Kr+ ions are compared with MCDF calculations results obtained for the direct photoionization process. The quality of the absolute cross section measurements using the merged beam techniques is strongly dependent on the performance of Electron Cyclotron Resonance Ion Source (ECRIS). In order to improve the current of ions in the interaction region, the ions extraction system and transport was simulated by using IGUN program and ECRopt.
703

Etude de la méthode de substitution à partir de la mesure simultanée des probabilités de fission et d'émission gamma des actinides 236U, 238U, 237Np et 238Np / Study of the surrogate method through the simultaneous measurement of the gamma-decay and fission-decay probabilities for the actinides 236U, 238U, 237Np and 238Np

Ducasse, Quentin 26 October 2015 (has links)
Les sections efficaces induites par neutrons des noyaux de courte durée de vie jouent un rôle important dans des domaines variés parmi la physique fondamentale, l'astrophysique ou l'énergie nucléaire. Malheureusement de nombreuses contraintes liées à la radiotoxicité des cibles rendent la mesure de ces sections efficaces souvent très difficiles. La méthode de substitution est une technique de mesure indirecte de sections efficaces neutroniques de noyaux radioactifs qui à l'avantage de s'affranchir de ces contraintes. Pour la première fois dans ce type d'expérience,les probabilités de fission et d'émission gamma sont mesurées simultanément, pour les actinides236U, 238U, 237Np et 238Np dans le but d'étudier la validité de la méthode. Une des difficultés provient de la soustraction des gammas des fragments de fission et cette mesure constitue en cela un véritable défi. Cette expérience de mesure simultanée a été effectuée au cyclotron d'Oslo.A une énergie d'excitation fixée du noyau formé, les résultats montrent que les probabilités de fission de substitution sont en bon accord avec celles induites par neutron alors que les probabilités d'émission gamma mesurées sont plusieurs fois plus élevées. Ces écarts sont liés à la différence distribution spin peuplée par le noyau entre les deux méthodes. Des calculs de modèles statistiques avec des paramètres standards n'ont pas permis de reproduire cette insensibilité de la probabilité de fission vis à vis du spin du noyau. La reproduction des observations expérimentales devient possible en considérant un moment d'inertie du noyau fissionnant qui augmente plus rapidement avec la déformation du noyau que ne le préconisent les paramètres standards. De nouveaux efforts théoriques sont à fournir pour améliorer la compréhension de nos résultats. / Neutron-induced cross sections of short-lived nuclei are important in various fields such as fundamental physics, astrophysics or nuclear energy. However, these cross sections are often extremely difficult to measure due to high radioactivity of the targets involved. The surrogate-reaction method is an indirect way to determine neutron-induced cross sections of short-lived nuclei. In order to study the validity of the method, we have measured for the very first time in a surrogate-reaction experiment simultaneously fission and gamma-decay probabilities for the actinides 236U, 238U, 237Np and 238Np. This is challenging because one has to remove the gamma rays emitted by the fission fragments. The measurement was performed at the Oslocyclotron.Our results show that for a given excitation energy, our gamma-decay probabilities are several times higher than neutron-induced probabilities, which can be attributed to differences in spin distribution between the two types of reactions. On the other hand, our fission probabilities are in good agreement with neutron-induced data. Statistical-model calculations applied with standardparameters cannot reproduce the weak spin sensibility to variations of the angular momentum observed for the fission probabilities. However, it is possible to reproduce the experimental observations by considering a stronger increase of the moment of inertia of the fissionning nucleus with deformation. Further theoretical efforts are needed to improve the understanding of our results
704

Etude de la réaction de capture neutronique radiative pour le noyau instable du ¹⁷³Lu par méthode directe et par réaction de substitution / Study of radiative neutron capture reaction for the unstable nucleus of ¹⁷³Lu by direct method and by surrogate reaction

Theroine, Camille 01 February 2013 (has links)
L’objectif de ce document est de présenter une étude sur la réaction de capture neutronique radiative du noyau instable du ¹⁷³Lu afin de déterminer sa section efficace (n,γ). Si globalement, pour les noyaux stables de nombreuses informations sont à disposition, il reste un véritable manque de données pour les noyaux radioactifs. La première partie de cette thèse se consacre à la présentation des différents formalismes impliqués dans le calcul d’une section efficace ainsi qu’à l’utilisation du code TALYS basé sur ces différents modèles. TALYS nous a permis d’évaluer la section efficace (n,γ) sur le ¹⁷³Lu en s’appuyant sur la connaissance de la réaction de capture sur le ¹⁷⁵Lu. Dans un deuxième temps, la section efficace (n,γ) sur le ¹⁷³Lu a été mesurée sur l’installation LANSCE avec le détecteur 4π DANCE. Cette expérience s’est révélée être un véritable défi tant pour la fabrication de la cible de ¹⁷³Lu que pour l’obtention de données dû à la grande radioactivité de cet isotope. Nous avons pu extraire des informations intéressantes comme le taux de capture total, identifier et caractériser de nouvelles résonances, déterminer des paramètres comme l’espacement moyen, les largeurs neutroniques et les largeurs γ ainsi que la valeur de la fonction densité. Tous ces nouveaux renseignements nous ont permis de reconstruire la section efficace (n,γ) sur le ¹⁷³Lu jusqu’à 200 eV. Grâce à ces différentes informations, nous avons estimé une correction à appliquer sur la section efficace évaluée par TALYS permettant in fine d’obtenir une nouvelle évaluation de cette quantité. La troisième partie de cette thèse est consacrée à apporter des informations supplémentaires sur la réaction ¹⁷³Lu(n,γ)¹⁷⁴Lu en utilisant la méthode de substitution. En premier lieu, nous avons testé la validité de cette méthode sur une réaction connue : ¹⁷⁵Lu(n,γ)¹⁷⁶Lu avec la réaction ¹⁷⁴Yb(³He,p)¹⁷⁶Lu puis dans un second temps nous avons regardé la réaction ¹⁷³Lu(n,γ)¹⁷⁴Lu avec la réaction ¹⁷⁴Yb(³He,t)¹⁷⁴Lu. Pour cela, la probabilité d’émission γ dans ces deux voies a été mesurée et comparée à un calcul TALYS. Cette comparaison a révélé de grandes disparités entre les réactions de transfert utilisées et les réactions induites par des neutrons. Notre investigation s’est alors orientée à regarder de plus près la distribution de spins du noyau composé formé. Celle-ci a pu être extraite grâce à un ajustement de la probabilité d’émission γ mesurée. Cette distribution montre que les réaction (³He,X) peuplent en réalité des spins beaucoup plus grands que ceux issus de la réaction (n,γ). La mesure des rapports des intensités de transitions γ corroborent aussi ce résultat même si les spins peuplés semblent être plus faibles. Cette expérience a mis clairement en évidence qu’une réaction induite par un faisceau d’³He ne pouvait pas se substituer à une réaction (n,γ). Tout au long de ce document, nous avons montré par différents aspects, à quel point il peut être difficile d’obtenir des informations sur les noyaux radioactifs tels que le ¹⁷³Lu et que pour le futur de nombreux défis tant expérimentaux que théoriques sont encore à relever. / This PhD report presents a study of radiative neutron capture reaction of the ¹⁷³Lu to determine the (n,γ) cross section. Contrary to stable nuclei for which a huge amount of data is available, there is a real lack of information for radioactive nuclei. The first part of this PhD focuses on the presentation of different formalisms involved in cross section calculations and on the use of TALYS code based on these models. TALYS allowed us to evaluate the (n,γ) cross section on ¹⁷³Lu with data from the capture reaction on the ¹⁷⁵Lu. In a second step, the (n,γ) cross section on ¹⁷³Lu was measured at the LANSCE facility with the 4π detector DANCE. This experience turned out to be a real challenge for both the target production of ¹⁷³Lu and for obtaining data due to the high radioactivity of this isotope. Interesting informations have been extracted such as the total capture yield, the identification and the characterization of new resonances, the determination of parameters like average spacing, neutron and γ widths and the value of the density function. All these new informations enabled us to reconstruct the (n,γ) cross section on ¹⁷³Lu up to 200 eV. We could then estimate a correction for the cross section evaluated by TALYS in order to obtain a new evaluation. The third part of this PhD deals with getting additionnal information on the ¹⁷³Lu(n,γ)¹⁷⁴Lu reaction by using the surrogate method. Firstly, this technique has been tested on a well-known reaction : ¹⁷⁵Lu(n,γ)¹⁷⁶Lu with the reaction ¹⁷⁴Yb(³He,p)¹⁷⁶Lu. Secondly, we studied the ¹⁷³Lu(n,γ)¹⁷⁴Lu reaction with the ¹⁷⁴Yb(³He,t)¹⁷⁴Lu reaction. The γ decay probability in different ways have been measured and compared with a TALYS calculation. This comparison showed large discrepancies between the transfer reactions and the reactions induced by neutrons. Then our investigation was focused on the spin distribution of the formed compound nucleus. It has been extracted thanks to a fit of the measured γ decay probability. This distribution has shown (³He,X) reactions populate much higher spins than observed in (n,γ) reactions. The measurement of the γ transitions intensities ratios also corroborates this result even if the mean value of the populated spins seem to be lower. This experiment clearly demonstrated a reaction induced by a ³He beam could not to be substituted to a (n,γ) reaction. Throughout this document, we have shown by different aspects on one hand, how it can be difficult to extract information on unstable nuclei such as ¹⁷³Lu and on the other hand that both experimental and theoretical challenges still remain for the future.
705

Two-Photon Interactions in Proton-Proton Collisions with the ATLAS Experiment at the LHC / Interactions photon-photon en collisions proton-proton dans l'expérience ATLAS au LHC

Dyndal, Mateusz 21 September 2015 (has links)
Cette thèse présente la première mesure de la section efficace exclusive photon-photon-> di-leptons en collisions proton-proton à une énergie dans le centre de masse de 7 TeV dans l'expérience ATLAS au LHC. La mesure est réalisée avec toutes les données accumulées en 2011, pour une luminosité intégrée de 4.6/fb. La première partie de la thèse est dédiée à la description théorique de ce type d'interaction. Le calcul de l'amplitude de la réaction photon-photon-> di-leptons est bien connu dans le cadre du modèle standard de la physique des particules. Cependant, une complication apparaît au LHC avec la prise en compte des effets de taille finie du proton. Le calcul de cet effet est l'une de mes contributions personnelles. Il a donné lieu à une publication. La section efficace nominale est réduite d'environ 20% du fait de cet effet, ce qui n'est pas négligeable. La seconde partie de la thèse concerne la description des détecteurs de l'expérience ATLAS. J'y décris en particulier le travail que j'ai réalisé sur la simulation de certains de ces détecteurs, en particulier les détecteurs situés dans la ligne de vol des protons, qui permettent la mesure de la trajectoire de ces derniers. Enfin, la dernière partie de la thèse concerne la mesure expérimentale de la section efficace de la réaction photon-photon-> di-leptons en collisions proton-proton, comme mentionnée plus haut. Lorsque la paire de leptons est une paire de muons, on trouve que la section efficace exclusive est égale à 0.628 ± 0.032(stat) ± 0.021(syst) pb, pour le domaine cinématique suivant M(di-muons)>20 GeV, pT(muons)>10 GeV et |muons)<2.4. Lorsque la paire de leptons est une paire électron-positrons, nous avons obtenu une section efficace exclusive égale à 0.428 ± 0.035(stat) ± 0.018(syst) pb, pour M(ee)>24 GeV, pT(e)>12 GeV et |muons (e)|<2.4. De plus, ces mesures confirment que le facteur de réduction par rapport à la prédiction théorique nominale (sans prendre en compte les effets de taille finie du proton) est bien de 20% dans le domaine d'énergie de la mesure. Cette analyse a été publiée par la collaboration ATLAS. Une perspective pour cette mesure est de la réaliser à plus haute énergie avec les nouvelles données accumulées par l'expérience ATLAS à partir de 2015. De plus, une mesure directe de la trajectoire des protons pourrait aider à la sélection exclusive. / This thesis presents a first measurement of the exclusive cross section for the reaction photon-photon-> di-leptons in proton-proton collisions at center of mass energy of 7 TeV in the ATLAS experiment at the LHC. The measurement is realized with all data accumulated during the year 2011 with an integrated luminosity of 4.6/fb. The first part of the thesis is dedicated to the theoretical description of this kind of interactions. The calculus of the amplitude for the reaction photon-photon-> di-leptons is well known in the context of the standard model of particle physics. However, the situation at the LHC is more complex. It requires taking into account the finite size effects of the protons. The understanding of this effect and its evaluation is one of my personal contributions, which has been published. The nominal cross section is then reduced by about 20% following this effect, which is non negligible. The second part of the thesis concerns the description of the detectors of the ATLAS experiment. In particular, I describe the work I have realized on the simulation of some of these devices, mainly the detectors located in the direction of flight of the protons that allows a measurement of the trajectory of the scattered (intact) protons. Finally, the last part of the thesis is devoted to the experimental measurement of the cross section of the reaction photon-photon-> di-leptons in proton-proton collisions, as mentioned above. When the lepton pair is a pair of muons, we find an exclusive cross section of 0.628 ± 0.032(stat) ± 0.021(syst) pb, for the kinematical domain M(di-muons)>20 GeV, pT(muons)>10 GeV and |muons|<2.4. When the lepton pair is a pair of electrons (positrons), we have obtained an exclusive cross section of 0.428 ± 0.035(stat) ± 0.018(syst) pb, for M(ee)>24 GeV, pT(e)>12 GeV et |muons(e)|<2.4. Moreover, these measurements confirm that the reduction (suppression) factor with respect to the nominal theory prediction (without taking into account the finite size effect of the protons) is of the order of 20% in the energy domain of the measurement. A perspective for this work is to make the measurement at larger energy with the new data recorded by the ATLAS experiment since 2015. Moreover, a direct measurement of the trajectory of protons could help for the exclusive selection.
706

Comparing the Cognitive Demand of Traditional and Reform Algebra 1 Textbooks

Park, Allison M. 01 May 2011 (has links)
Research has shown that students achieved higher standardized test scores in mathematics and gained more positive attitudes towards mathematics after learning from reform curricula. Because these studies involve actual students and teachers, there are classroom variables that are involved in these findings (Silver and Stein, 1996; Stein et al., 1996). To understand how much these curricula by themselves contribute to higher test scores, I have studied the cognitive demand of tasks in two traditional and two reform curricula. This work required the creation of a scale to categorize tasks based on their level of cognitive demand. This scale relates to those by Stein, Schoenfeld, and Bloom. Based on this task analysis, I have found that more tasks in the reform curricula require higher cognitive demand than tasks in the traditional curricula. These findings confirm other results that posing tasks with higher cognitive demand to students can lead to higher student achievement.
707

La liberté de religion et les intérêts de l'enfant au Canada

Laliberté, Julie 12 1900 (has links)
Nous entamons notre étude par l'examen de cinq justifications avancées au soutien de la liberté de religion: la tolérance, la rationalité, l'utilitarisme, le perfectionnisme et la neutralité. Ensuite, nous exposons de façon générale le droit relatif à liberté de religion tel qu'il est mis en oeuvre au Canada. Ces deux étapes préliminaires nous amènent à analyser de façon critique l'interaction entre la liberté de religion et les droits et intérêts des enfants. La thèse générale que nous développons est la suivante: lorsqu'une situation met en présence la liberté de religion ainsi que les droits et intérêts fondamentaux d'un enfant qui n'est pas assez mature et intellectuellement indépendant pour pouvoir faire des choix éclairés, nous sommes d'avis que le test de proportionnalité n'est pas appliqué par la Cour suprême et que généralement, il ne devrait pas l'être. Nous concluons que l'intérêt et les droits fondamentaux de l'enfant ont un poids prépondérant. / First, the author analyses five reasons that may be advanced to justify freedom of religion: tolerance, rationality, utilitarianism, perfectionism and neutrality. Then, the author generally sets out the mechanisms by which freedom of religion is interpreted in Canada. These two preliminary steps lead to a critical analysis of the interaction between freedom of religion and children's rights and interests. The author submits that when a legal situation involves freedom of religion and the fundamental interests or rights of children that are not capable of autonomous choices, the Supreme Court does not apply a proportionality test and, generally, courts should not apply it. The author concludes that the fundamental rights and interests of children are preponderant. / "Mémoire présenté à la Faculté des études supérieures en vue de l'obtention du grade de LL.M. en droit option recherche"
708

Effective Weld Properties for RHS-to-RHS Moment T-connections

McFadden, Matthew 22 November 2012 (has links)
An experimental program was developed to test various unreinforced RHS-to-RHS 90° T-connections subject to branch in-plane bending moment with the objective of determining the effectiveness of the welded joint. Twelve unique test specimens were designed to be weld-critical and the results from the full-scale tests revealed that the current equation for the effective elastic section modulus for in-plane bending, S_ip, given in Table K4.1 of ANSI/AISC 360 (2010) is conservative. A modification to the current requirements that limit the effective width of the transverse weld elements is proposed, resulting in a safe and more economical weld design method for RHS-to-RHS T-, Y- and X- connections subject to branch axial load or bending moment. It is also concluded that the fillet weld directional strength enhancement factor, (1.00 + 0.50sin1.5Ө), should not be used for strength calculations of welded joints to square and rectangular hollow structural sections.
709

Effective Weld Properties for RHS-to-RHS Moment T-connections

McFadden, Matthew 22 November 2012 (has links)
An experimental program was developed to test various unreinforced RHS-to-RHS 90° T-connections subject to branch in-plane bending moment with the objective of determining the effectiveness of the welded joint. Twelve unique test specimens were designed to be weld-critical and the results from the full-scale tests revealed that the current equation for the effective elastic section modulus for in-plane bending, S_ip, given in Table K4.1 of ANSI/AISC 360 (2010) is conservative. A modification to the current requirements that limit the effective width of the transverse weld elements is proposed, resulting in a safe and more economical weld design method for RHS-to-RHS T-, Y- and X- connections subject to branch axial load or bending moment. It is also concluded that the fillet weld directional strength enhancement factor, (1.00 + 0.50sin1.5Ө), should not be used for strength calculations of welded joints to square and rectangular hollow structural sections.
710

Sections atomiques emboîtées avec échappement de processus légers : sémantiques et compilation / Nested atomic sections with thread escape : semantics and compilation

Pinsard, Thomas 15 December 2014 (has links)
La mémoire transactionnelle est un mécanisme de plus en plus populaire pour la programmation parallèle et concurrente. Dans la plupart des implantations, l’emboîtement de transactions n’est pas possible ce qui pénalise la modularité. Plutôt que les transactions, qui sont un choix possible d’implantation, nous considérons directement la notion de section atomique. Dans un objectif d’améliorer la modularité et l’expressivité, nous considérons un langage impératif simple étendu avec des instructions de parallélisme avec lancement et attente de processus légers et une instruction de section atomique à portée syntaxique, depuis laquelle des processus légers peuvent s’échapper. Dans ce contexte notre première contribution est la définition précise de l’atomicité et de la bonne synchronisation. Nous prouvons que pour des traces bien formées, la dernière implique la forme forte de la première. Ceci est fait sur des traces d’exécution abstraites dans le sens où nous ne définissons par précisément la syntaxe et la sémantique opérationnelle d’un langage de programmation. Cette première partie de notre travail peut être considérée comme une spécification pour un tel langage. Nous avons utilisé l’assistant de preuve Coq pour modéliser et prouver nos résultats. Notre deuxième contribution est la définition formelle du langage Atomic Fork Join (AFJ). Nous montrons que les traces de sa sémantique opérationnelle vérifient effectivement les conditions de bonne formation définies précédemment. La troisième contribution est la compilation de programmes AFJ en programmes Lock Unlock Fork Join (LUFJ) un langage avec processus léger et verrous mais sans sections atomiques. Nous étudions la correction de la compilation de AFJ vers LUFJ. / Transactions are becoming a popular mechanism for parallel and concurrent programming. In most implementations the nesting of transactions is not supported which hinders modularity. Rather than transactions, which are an implementation choice, we consider directly the notion of atomic section. For the sake of modularity with we consider a simple imperative language with fork/join parallelism and lexically scoped nested atomic sections from which threads can escape. In this context, our first contribution is the precise definition of atomicity, well-synchronisation and the proof that the latter implies the strong form of the former. This is done on execution traces without being specific to a language syntax and operational semantics. This first part of our work could be considered as a specification for the design and implementation of such a parallel language. A formalisation of our results in the Coq proof assistant is also available. Our second contribution is a formal definition of the Atomic Fork Join (AFJ) language and its operational semantics. We show that it indeed satisfies the conditions previously defined. The third contribution of our work is a compilation procedure of AFJ programs to programs another language with threads and locks but without atomic sections, named Lock Unlock Fork Join (LUFJ). We study the correctness of the compilation from AFJ to LUFJ.

Page generated in 0.0785 seconds