• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 46
  • 31
  • 11
  • 11
  • 3
  • 2
  • 2
  • 2
  • 2
  • 1
  • Tagged with
  • 117
  • 73
  • 38
  • 26
  • 25
  • 23
  • 20
  • 17
  • 16
  • 16
  • 15
  • 13
  • 12
  • 12
  • 11
  • 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.
101

Caractérisation et modélisation des structures de solidification en soudage TIG d’alliages austénitiques / Characterization and modelling of solidification structures in GTAW of austenitic alloys

Billotte, Thomas 06 July 2017 (has links)
La nécessité de garantir l’intégrité des structures soudées pousse les industriels à augmenter leur domaine de compétences en matière de simulation numérique du soudage. La solidification est l’étape clé de ce procédé. Dès lors que la sélection des grains est reproduite correctement par les simulations, le comportement mécanique et la réponse aux contrôles non destructifs de l’assemblage peuvent être déduits. Ce travail cherche à définir les phénomènes thermométallurgiques décrivant les mécanismes de formation des microstructures du soudage. Ces mécanismes servent ensuite à valider l’usage d’un nouveau modèle de solidification qui réalise un post-traitement du calcul de thermique avec un automate cellulaire (modèle CAFE_WELD). Pour se faire, des expériences de soudage sont réalisées et caractérisées par EBSD. Ces analyses permettent de suivre la sélection des grains dans la soudure. L’effet de la refusion sur la sélection des grains est bien mis en évidence lors du soudage multi-passes. Ces caractérisations sont complétées par une analyse fine de la solidification du métal d’apport utilisé pour le soudage. Ces résultats permettent la mise en données du modèle nécessaire à la réalisation numérique des mêmes expériences de soudage. Les comparaisons entre les soudures vraies et numériques montrent que les phénomènes physiques intégrés au modèle ne sont pas suffisants pour reproduire les propriétés microstructurales générées par le soudage / Today, industrials want to upgrade their welding numerical simulation knowledge’s in order to be able to guarantee the welded structure integrity. Solidification is the main step of welding process. As soon as the grain selection in welded region is well reproduced by simulation software, mechanical properties and nondestructive test response can be deduced. This work tries to find thermometallurgical phenomena in order to describe the microstructures formation during welding. These mechanisms are used for validating a new solidification model which realizes a thermal calcul post-treatment with a cellular automaton (CAFE_WELD). In this aim, welding experiences were done and characterized with EBSD. These analyses allow following the grain selection into the weld. The refusion effect is clearly seen in the case of multi-pass weld. These results are completed by the fine solidification characterizations on filler metal employed in welding experiences. In this way, the model implementation can be done in order to do numerical simulation of the same experiences. The comparisons between real and numerical experiences show that the physical laws taken into account in CAFE_WELD model are not sufficient to reproduce the microstructural properties occurring in welding
102

Sincronização de oscilação magnética com processos de soldagem a arco / Synchronization of magnetic oscillation with arc welding processes

Larquer, Thiago Resende 28 August 2015 (has links)
Conselho Nacional de Desenvolvimento Científico e Tecnológico / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Fundação de Amparo a Pesquisa do Estado de Minas Gerais / Atualmente a busca por melhorias de processos e técnicas de soldagem mecanizados/automatizados tem sido intensa devido à escassez de mão de obra qualificada. Nesta linha, a combinação de processos e mesmo de modos operacionais (polaridade e/ou modo de transferência metálica) dentro de um só processo, em adição à possibilidade de combinar níveis de corrente de soldagem, vem ganhando espaço. Por meio dos modos operacionais e/ou dos níveis de corrente, é possível variar a energia do arco (tanto térmica quanto cinética) entregue à peça de trabalho. Combinando este recurso com o movimento do arco, pode-se distribuir a energia do mesmo de forma otimizada para controlar a formação do cordão de solda. Uma forma relativamente simples de controlar o movimento do arco é por meio de oscilação magnética – deflexão do arco elétrico através de um eletroímã. Assim, este trabalho explora a sincronização da oscilação magnética com processos de soldagem a arco de modo a controlar a distribuição da energia do arco sobre a peça. Para tal, foi desenvolvido um sistema de oscilação sincronizada, incluindo hardware e software, para permitir controlar a oscilação magnética e a fonte de soldagem (multiprocesso) de forma sincronizada. Em seguida, foi feita uma caracterização da deflexão (em função da tensão do eletroímã, da corrente e do comprimento do arco de soldagem) baseada em filmagens de alta velocidade. Como forma de explorar a técnica de oscilação magnética sincronizada com diferentes processos de soldagem, foram realizadas duas abordagens, ambas com oscilação do arco transversal à direção de soldagem, e depois comparadas a condições de referência (soldagem sem oscilação e com oscilação não sincronizada). O processo TIG foi sincronizado à oscilação magnética variando o nível de corrente de soldagem de acordo com a posição do arco, tendo como base de análise o efeito sobre o controle da largura dos cordões de solda formados. Já o processo MIG/MAG foi sincronizado à oscilação magnética variando os modos operacionais de soldagem de acordo com a posição do arco, avaliando o efeito sobre o controle da geometria das áreas fundidas dos cordões resultantes. O sistema de oscilação magnética sincronizada demonstrou ser capaz de controlar a formação do cordão tanto na soldagem TIG quanto na MIG/MAG. No caso do TIG sincronizado, foi possível aumentar a largura do cordão do lado com maiores corrente e tempo de parada lateral e vice-versa. Já no caso do MIG/MAG sincronizado, foi possível controlar a geometria da zona fundida formada, podendo-se diminuir a diluição dos cordões resultantes, com pouca variação no reforço superior e ao mesmo tempo com aumento de largura dos cordões e com tendência de maior concentração da penetração nas laterais dos mesmos. Acredita-se que a técnica de oscilação magnética sincronizada com processos de soldagem possa ser explorada visando diversas aplicações, nas quais é importante otimizar a distribuição de energia do arco sobre a peça de trabalho. / Currently the search for improvements in processes and mechanized/automated welding techniques has been intense due to the skilled labor shortage. In this line, the combination of processes and even operational modes (polarity and/or metal transfer mode) within a process, in addition to the possibility of combining welding current levels, has gained attention. Through operational modes and/or current levels, the arc energy (both thermal and kinetic) delivered to the workpiece can be changed. By combining this feature with the arc motion, the arc energy can be optimally distributed to control the formation of the weld bead. A relatively simple way to control the arc motion is by magnetic oscillation - deflection of the electric arc by an electromagnet. Thus, this work exploits the synchronization between the arc oscillation and the welding process to control the arc energy distribution on the workpiece. To this end, a synchronized oscillation system, including hardware and software, was devised to enable to control the magnetic oscillation and a multiprocess welding power source synchronously. Then, a characterization of the magnetic arc deflection was carried out (according to the electromagnet voltage, welding current and arc length) based on high-speed filming. In order to exploit the synchronized magnetic oscillation technique with different welding processes, two approaches were executed, both with arc oscillation transverse to the welding direction, and then compared to reference conditions (welding without oscillation and with unsynchronized oscillation). The TIG process was synchronized to the magnetic oscillation varying the level of welding current according to the arc position, being the effect on the control of the weld beads width the basis for analysis. The MIG/MAG process was synchronized to the magnetic oscillation with different welding operational modes according to the arc position, being the effect on the control of the molten zone geometry the basis for evaluation. The synchronized oscillation system was able to control the formation of the weld beads for the TIG as well as for the MIG/MAG welding. In the case of the synchronized TIG, it was possible to increase the weld bead width on the side with higher current and lateral stop time and vice versa. In the case of the synchronized MIG/MAG, it was possible to control the molten zone geometry, besides reduce the dilution of the resulting beads, with little variation in the top reinforcement and at the same time with increasing in the bead widths and with tendency for more side penetration. It is believed that the magnetic oscillation technique synchronized with the welding processes can be exploited in several applications, where it is important to optimize the arc energy distribution on the workpiece. / Dissertação (Mestrado)
103

Développement d’une méthode numérique pour la prédiction des dimensions d’un cordon de soudure tig : application aux superalliages bases cobalt et nickel

Pichot, François 17 February 2012 (has links)
Le procédé de soudage TIG est actuellement le plus utilisé dans l’industrie aéronautique du fait de la qualité des joints de soudure qu’il permet d’obtenir et de sa simplicité d’automatisation. Une opération de soudage provoque des gradients thermiques dus au passage de la source de chaleur sur la pièce qui induisent des déformations et des contraintes résiduelles pouvant impacter la durée de vie de l’assemblage. Ce travail vise à mettre en place un modèle de simulation de ce procédé dans le but d’optimiser les paramètres opératoires.Avant d’envisager un couplage thermomécanique, il convient de représenter convenablement les transferts thermiques au cours du soudage et en particulier l’apport de chaleur lié au procédé. Dans cette étude, on propose une source de chaleur prédictive simplifiée représentative des paramètres opératoires qui permet en particulier d’estimer les dimensions caractéristiques du cordon de soudure et de traduire fidèlement l’évolution thermique dans la pièce. Cette source est définie par un flux de chaleur homogène dépendant d’une puissance P, réparti sur un disque de rayon R, ces 2 paramètres numériques étant liés aux principaux paramètres opératoires de soudage que sont l’intensité I et la hauteur d’arc h.Une campagne d’essais expérimentaux dans laquelle on étudie les variations des dimensions de la Zone Fondue (ZF) pour des cas non pénétrants et pénétrants en fonction des paramètres opératoires (I, h) est présentée. Pour chaque essai, un couple de paramètres d’entrée de la source de chaleur (P, R) permettant de reproduire les dimensions du bain fondu est identifié. La confrontation des résultats obtenus numériquement et expérimentalement permet de mettre en place des relations entre les paramètres opératoires de soudage (I, h) et les paramètres numériques (P, R) conférant un caractère prédictif à la source de chaleur. Ce modèle de source a été validé pour différentes configurations de soudage en termes d’épaisseurs de tôles, de matériaux à assembler, de vitesses d’avance de la torche, ...Notre modèle thermique a ensuite servi de base pour la simulation thermomécanique du procédé. Le modèle est appliqué à l’assemblage de deux composants d’un turbomoteur en superalliage base Nickel. / Gas Tungsten Arc Welding (GTAW) is the most widely used welding process in aeronautics, due to its weld quality. During a welding operation, the thermal source induces thermal gradients causing strains and stresses that could affect assembly’s life duration. The aim of this study is to develop a numerical model of the welding process in order to get optimized process parameters.Before coupling thermal and mechanical phenomena, we must modelize heat transfers during welding. We propose a simplified heat source linked to the process parameters which enables to predict the main dimensions of the weld pool and the thermal evolution in the solid part. This source is defined by an homogeneous heat flux depending on a power P distributed in a R radius disk. These two parameters relate to process parameters, the arc height (h) and the current intensity I.Experiment tests was achieved to study the weld pool dimensions for both cases : incomplete penetration and full penetration weld. For each test, we identified the heat source parameters (P, R) which allow to obtain the experimental weld pool dimensions. The confrontation of numerical and experimental results enables to get links between the heat source parameters (P, R) and the welding parameters (I, h), producing a predictive heat source. The heat source reliability was verified taking into account several welding configurations with various superalloys sheet thickness, welding speed, materials.A coupled thermal-mechanical analysis, based on our thermal model, was applied to an industrial case: a nickel based superalloy components assembly of a gas turbine.
104

Svařování trubek z CrMo oceli / Welding of pipes made of CrMo steel

Matějek, Martin January 2019 (has links)
The aim of this diploma thesis is to compare mechanical properties of welded joints on tubes from 32x2 mm. Tubes are made from 25CrMo4 steel, which is used for production of racing kart chassis. The steel has a tensile strength of Rm = 800 MPa and up to 1200 MPa after refinement. For welding of samples are used technologies MAG and TIG.
105

Influence of multiple welding cycles on microstructure and corrosion resistance of a super duplex stainless steel

Hosseini, Vahid January 2016 (has links)
Super duplex stainless steel (SDSS) has found a wide use in demanding applications such as offshore, chemical and petrochemical industries thanks to its excellent combination of mechanical properties and corrosion resistance. Welding of SDSS, however, is associated with the risk of precipitation of secondary phases and formation of excessive amounts of ferrite in the weld metal and heat affected zone. The present study was therefore aimed at gaining knowledge about the effect of multiple welding thermal cycles on the microstructure and possible sensitization to corrosion of welds in SDSS.Controlled and repeatable thermal cycles were produced by robotic welding. Oneto four autogenous TIG-remelting passes were applied on 2507 type SDSS plates using low or high heat inputs with pure argon as shielding gas. Thermal cycles were recorded using several thermocouples attached to the plates. Thermodynamic calculations and temperature field modelling were performed in order to understand the microstructural development and to predict the pitting corrosion resistance. Etching revealed the formation of different zones with characteristic microstructures: the fused weld zone (WZ) and the heat affected zone composed of the fusion boundary zone (FBZ), next to the fusion boundary, and further out Zone 1 (Z1) and Zone 2 (Z2). The WZ had a high content of ferrite and often nitrides which increased with increasing number of passes and decreasing heati nput. Nitrogen content of the WZ decreased from 0.28 wt.% to 0.17 wt.% after four passes of low heat input and to 0.10 wt.% after four passes of high heatinput. The FBZ was reheated to high peak temperatures (near melting point) and contained equiaxed ferrite grains with austenite and nitrides. Zone 1 was free from precipitates and the ferrite content was similar to that of the unaffected base material. Sigma phase precipitated only in zone 2, which was heated to peak temperatures in the range of approximately 828°C to 1028°C. The content of sigma phase increased with the number of passes and increasing heat input.  All locations, except Z1, were susceptible to local corrosion after multiplere heating. Thermodynamic calculations predicted that a post weld heat treatment could restore the corrosion resistance of the FBZ and Z2. However, the pitting resistance of the WZ cannot be improved significantly due to the nitrogen loss. Steady state and linear fitting approaches were therefore employed to predict nitrogen loss in autogenous TIG welding with argon as shielding gas. Two practical formulas were derived giving nitrogen loss as functions of initial nitrogen content and arc energy both predicting a larger loss for higher heat input and higher base material nitrogen content. A practical recommendation based on the present study is that it is beneficial to perform welding with a minimum number of passes even if this results in a higherheat input as multiple reheating strongly promotes formation of deleterious phases.
106

Aging of FeCrAl Surface Coatings

Alsaifi, Fadi January 2019 (has links)
This Thesis is about the aging of FECRAL surface coatings. In this thesis various substrates have been investigated such as 16 Mo3, 304, 347, Sanicro 31, 800HT, Nikrothal 80 and Kanthal APMT. These substrates have been coated with different FeCrAl alloys, using two different coating methods spraying with (High Velocity Air Force) and welding with (Metal Inert Gas). The purpose of coating is to achieve specific properties of the layer without affecting the original properties of the substrate. Therefore, it is important to investigate the boundary layer between these two different materials to observe how the interdiffusion of different substances such as Cr, Al, Fe and C is affected, which is the purpose of this project. The method used to investigate this purpose was to expose these combinations in different temperatures and in different environments for different time intervals. Then, using LOM, SEM and EDS analysis, the change that the boundary layers have undergone is examined. Some calculations in DICTRA have also been performed to see if it was possible to find any connection between experimental data and simulation results. The result showed carburization of FeCrAl-coatings on 16Mo3 substrates which can lead to deterioration of mechanical properties in the substrates but also decreased corrosion resistance for the coated layers. The result has also shown that it is difficult to perform spraying for small cylindrical products. The reason for this may be the high powder dispersion and the expansion of certain products when spraying, which causes the layer to loosen due to the shrinkage followed by cooling. APMT sprayed with Nikrothal 80 has shown high porosity in the substrates and high interdiffusion of Fe and Ni. High Ni diffusion in low Al alloys such as K 198 may be a reason why the coated layer cannot optimally form the protective oxide. / Detta projekt handlar om åldring av FECRAL ytbeläggningar. I den här avhandlingen så har olika substrat blivit undersökta såsom 16Mo3, 304, 347, Sanicro 31, 800HT, Nikrothal 80 och Kanthal APMT. Dessa substrat har blivit belagda med olika FeCrAl legeringar, med hjälp av två olika beläggningsmetoder, påsprutning (High Velocity Air Force) och påsvetsning (Metal Inert Gas). Syftet med att materialet beläggs är att uppnå specifika egenskaper utan att påverka substratens ursprungliga egenskaper. Det är därför viktigt att undersöka gränsskiktet mellan dessa två olika material för att se hur interdiffusionen av olika element såsom Cr, Al, Fe och C påverkas av värmebehandling. Metoden som användes för att undersöka detta var att exponera dessa kombinationer i olika temperaturer och i olika miljöer för olika tidsintervall. Därefter med hjälp av LOM, SEM och EDS analys undersöktes förändringen som gränsskikten har genomgått. Några beräkningar i DICTRA har även utförts för att se om det var möjligt att hitta någon koppling mellan experimentella data och simuleringsresultatet. Resultaten visade att 16Mo3 kombinationer fått en tydlig hög uppkolning i skiktet vilket kan påverka mekaniska egenskaperna och korrosionbeständigheten under användning vid höga temperaturer. Resultatet har även visat att det är svårt att utföra påsprutning för små cylindriska produkter. Anledningen till detta kan vara hög pulverspridningen samt den termiska expansionen av vissa produkter vid påsprutning som leder till att skiktet kan lossna på grund av krympningen vid svalning. APMT påsprutad med Nikrothal 80 har visat hög porositet i substraten och hög interdiffusion av Fe, Al och Ni under exponering vid 1200°C. Hög uppblandning och diffusion av nickel för det FECRAL belagda skiktet med relativt låg halt av aluminium K 198 kan vara en anledning till att belagda skiktet inte kan forma en skyddande oxid på ett optimalt sätt.
107

Prozesssimulation des WIG – Schweißens zur Entwicklung eines Automaten – Roboterbrenners mit einer Heatpipe – Brennerkopfkühlung

Khaled, Alaluss, Mayr, Peter 02 July 2018 (has links)
• Für eine exakte Lichtbogenpositionierung zum Schweißpunkt werden beim Roboter – WIG-Schweißprozess folgende technische Anforderungen am Brennerkopf und dessen Wechselsystem gestellt wie: konstante Wärmeableitung und -führung im Brennerkopfbereich, schnelle Wechsel von Verschleißteilen insbesondere der Kathode, reproduzierbare Wechsel der Schweißbrennerköpfe. • Entwicklung eines neuartigen physikalischen Wirkprinzips auf Basis der Wärmeableitung – Heatpiperohr zur Gestaltung einer optimierten Wärmebilanz und Brennerkopfkühlung. • Mit dem entwickelten thermo – strömungs-mechanischen/magneto-hydro-dynamischen FE-Modells wurde die technisch-konstruktive Brennerkonstruktion mit der integrierten Wärmeableitung – Heatpiperohr für ein äußerst effektives Brennerkühlsystem unter Variation der Schweißprozessparameter zur Erzielung einer höheren Brennerdauerbelastung prozesstechnisch untersucht, analysiert und erkenntnisbezogen optimiert. • Beeinflussbar sind Lichtbogenausbildung, dessen Intensität, Verhalten sowie Temperatur- und Strömungsverhältnisse durch Prozessparameter.
108

O Teorema da Incompletude de Gödel em cursos de Licenciatura em Matemática / The Gödel's incompleteness theorem in Mathematics Education undergraduate courses

Batistela, Rosemeire de Fátima [UNESP] 02 February 2017 (has links)
Submitted by ROSEMEIRE DE FATIMA BATISTELA null (rosebatistela@hotmail.com) on 2017-02-11T02:22:43Z No. of bitstreams: 1 tese finalizada 10 fevereiro 2017 com a capa.pdf: 2263896 bytes, checksum: 413948c6a47fb47a21e1587275d29c03 (MD5) / Approved for entry into archive by Juliano Benedito Ferreira (julianoferreira@reitoria.unesp.br) on 2017-02-15T16:56:58Z (GMT) No. of bitstreams: 1 batistela_rf_dr_rcla.pdf: 2263896 bytes, checksum: 413948c6a47fb47a21e1587275d29c03 (MD5) / Made available in DSpace on 2017-02-15T16:56:58Z (GMT). No. of bitstreams: 1 batistela_rf_dr_rcla.pdf: 2263896 bytes, checksum: 413948c6a47fb47a21e1587275d29c03 (MD5) Previous issue date: 2017-02-02 / Apresentamos nesta tese uma proposta de inserção do tema teorema da incompletude de Gödel em cursos de Licenciatura em Matemática. A interrogação norteadora foi: como sentidos e significados do teorema da incompletude de Gödel podem ser atualizados em cursos de Licenciatura em Matemática? Na busca de elaborarmos uma resposta para essa questão, apresentamos o cenário matemático presente à época do surgimento deste teorema, expondo-o como a resposta negativa para o projeto do Formalismo que objetivava formalizar toda a Matemática a partir da aritmética de Peano. Além disso, trazemos no contexto, as outras duas correntes filosóficas, Logicismo e Intuicionismo, e os motivos que impossibilitaram o completamento de seus projetos, que semelhantemente ao Formalismo buscaram fundamentar a Matemática sob outras bases, a saber, a Lógica e os constructos finitistas, respectivamente. Assim, explicitamos que teorema da incompletude de Gödel aparece oferecendo resposta negativa à questão da consistência da aritmética, que era um problema para a Matemática na época, estabelecendo uma barreira intransponível para a demonstração dessa consistência, da qual dependia o sucesso do Formalismo e, consequentemente, a fundamentação completa da Matemática no ideal dos formalistas. Num segundo momento, focamos na demonstração deste teorema expondo-a em duas versões distintas, que para nós se nos mostraram apropriadas para serem trabalhadas em cursos de Licenciatura em Matemática. Uma, como possibilidade de conduzir o leitor pelos meandros da prova desenvolvida por Gödel em 1931, ilustrando-a, bem como, as ideias utilizadas nela, aclarando a sua compreensão. Outra, como opção que valida o teorema da incompletude apresentando-o de maneira formal, portanto, com endereçamentos e objetivos distintos, por um lado, a experiência com a numeração de Gödel e a construção da sentença indecidível, por outro, com a construção formal do conceito de método de decisão de uma teoria. Na sequência, apresentamos uma discussão focada na proposta de Bourbaki para a Matemática, por compreendermos que a atitude desse grupo revela a forma como o teorema da incompletude de Gödel foi acolhido nessa ciência e como ela continuou após este resultado. Nessa exposição aparece que o grupo Bourbaki assume que o teorema da incompletude não impossibilita que a Matemática prossiga em sua atividade, ele apenas sinaliza que o aparecimento de proposições indecidíveis, até mesmo na teoria dos números naturais, é inevitável. Finalmente, trazemos a proposta de como atualizar sentidos e significados do teorema da incompletude de Gödel em cursos de Licenciatura em Matemática, aproximando o tema de conteúdos agendados nas ementas, propondo discussão de aspectos desse teorema em diversos momentos, em disciplinas que julgamos apropriadas, culminando no trabalho com as duas demonstrações em disciplinas do último semestre do curso. A apresentação é feita tomando como exemplar um curso de Licenciatura em Matemática. Consideramos por fim, a importância do trabalho com um resultado tão significativo da Lógica Matemática que requer atenção da comunidade da Educação Matemática, dado que as consequências deste teorema se relacionam com a concepção de Matemática ensinada em todos os níveis escolares, que, muito embora não tenham relação com conteúdos específicos, expõem o alcance do método de produção da Matemática. / In this thesis we present a proposal to insert Gödel's incompleteness theorem in Mathematics Education undergraduate courses. The main research question guiding this investigation is: How can the senses and meanings of Gödel's incompleteness theorem be updated in Mathematics Education undergraduate courses? In answering the research question, we start by presenting the mathematical scenario from the time when the theorem emerged; this scenario proposed a negative response to the project of Formalism, which aimed to formalize all Mathematics based upon Peano’s arithmetic. We also describe Logicism and Intuitionism, focusing on reasons that prevented the completion of these two projects which, in similarly to Formalism, were sought to support mathematics under other bases of Logic and finitists constructs. Gödel's incompleteness theorem, which offers a negative answer to the issue of arithmetic consistency, was a problem for Mathematics at that time, as the Mathematical field was passing though the challenge of demonstrating its consistency by depending upon the success of Formalism and upon the Mathematics’ rationale grounded in formalists’ ideal. We present the proof of Gödel's theorem by focusing on its two different versions, both being accessible and appropriate to be explored in Mathematics Education undergraduate courses. In the first one, the reader will have a chance to follow the details of the proof as developed by Gödel in 1931. The intention here is to expose Gödel’ ideas used at the time, as well as to clarify understanding of the proof. In the second one, the reader will be familiarized with another proof that validates the incompleteness theorem, presenting it in its formal version. The intention here is to highlight Gödel’s numbering experience and the construction of undecidable sentence, and to present the formal construction of the decision method concept from a theory. We also present a brief discussion of Bourbaki’s proposal for Mathematics, highlighting Bourbaki’s group perspective which reveals how Gödel’s incompleteness theorem was important and welcome in science, and how the field has developed since its result. It seems to us that Bourbaki’s group assumes that the incompleteness theorem does not preclude Mathematics from continuing its activity. Thus, from Bourbaki’s perspective, Gödel’s incompleteness theorem only indicates the arising of undecidable propositions, which are inevitable, occurring even in the theory of natural numbers. We suggest updating the senses and the meanings of Gödel's incompleteness theorem in Mathematics Education undergraduate courses by aligning Gödel's theorem with secondary mathematics school curriculum. We also suggest including discussion of this theorem in different moments of the secondary mathematics school curriculum, in which students will have elements to build understanding of the two proofs as a final comprehensive project. This study contributes to the literature by setting light on the importance of working with results of Mathematical Logic such as Gödel's incompleteness theorem in secondary mathematics courses and teaching preparation. It calls the attention of the Mathematical Education community, since its consequences are directly related to the design of mathematics and how it is being taught at all grade levels. Although some of these mathematics contents may not be related specifically to the theorem, the understanding of the theorem shows the broad relevance of the method in making sense of Mathematics.
109

Etude expérimentale et numérique d'un essai de soudage TIG statique et estimation des paramètres du flux de chaleur / Static GTAW experimental and numerical investigations and heat flux parameter estimation

Unnikrishnakurup, Sreedhar 29 January 2014 (has links)
Le procédé de soudage à l'arc sous atmosphère inerte (TIG) est souvent employé pour des assemblages nécessitant une grande qualité du joint soudé. Les propriétés du joint soudé dépendent essentiellement du cycle thermique imposé par l'opération de soudage, de la composition chimique du matériau métallique et des mouvements convectifs du métal fondu dans le bain de fusion. L'écoulement du métal liquide dans le bain de fusion modifie la distribution de température en son sein et à proximité, ainsi que la forme géométrique du joint. Afin d'améliorer l'opération de soudage TIG, par exemple pour accroitre la productivité ou éviter des défauts rédhibitoires, il est nécessaire de bien comprendre les phénomènes physiques mis en jeu dans le bain de fusion ainsi que l'effet des paramètres opératoires (intensité, hauteur d'arc, gaz …) sur ces phénomènes physiques. Dans le but d'appréhender les phénomènes mis en jeu au cours de l'opération TIG et dans le bain de fusion, un modèle multi-physique 2D axisymétrique a été établi et résolu par la méthode des éléments finis (MEF). Les forces telles que Lorentz (électromagnétique), Marangoni (Tension superficielle), Boussinesq et la force de cisaillement du plasma d'arc ont été prises en compte au niveau du bain de fusion. Le modèle TIG établi est utilisé pour prédire la distribution de température et la distribution des vitesses dans le bain de fusion ainsi que la forme géométrique du bain de fusion. Un protocole expérimental a été développé dans le but de valider le modèle proposé. Pour cela, une opération de soudage TIG stationnaire (pas de mouvement de la torche) a été réalisée sur un disque métallique. L'opération a été contrôlée par des mesures de température, par une observation de la formation et de l'évolution de la surface du bain de fusion avec une caméra rapide et un enregistrement des paramètres opératoires (intensité et tension). Toutes les données sont synchronisées entre elles pour permettre une analyse expérimentale pertinente. La confrontation des résultats expérimentaux avec le modèle multi-physique du soudage TIG a fait apparaître une assez bonne adéquation, mais des différences existent, essentiellement liées à la méconnaissance des paramètres décrivant le flux de chaleur utilisé dans la simulation. Le flux de chaleur a été modélisé par une fonction Gaussienne qui nécessite la connaissance du rendement du procédé TIG et la distribution spatiale (ou rayon de la Gaussienne). L'estimation de ces paramètres a été réalisée par une méthode inverse. Cette méthode inverse a consisté à estimer les paramètres inconnus à partir des données expérimentales disponibles. La méthode d'optimisation dite de Levenberg-Marquardt, associée à une technique de régularisation itérative, a été utilisée pour estimer les paramètres. La pertinence et la robustesse de cette méthode ont été validées au travers de plusieurs cas numériques ; soit des cas utilisant des données « exactes » ou des données « bruitées ». Trois types d'erreurs ont été analysés séparément : bruit de mesure, erreur sur la position du capteur et imprécision sur la valeur des propriétés thermophysiques. Les deux dernière erreurs sont celles qui impactent fortement le résultat de l'estimation, essentiellement l'estimation du rendement du procédé TIG. Enfin, une partie des données expérimentales a été utilisée pour résoudre le problème inverse. Les paramètres ont été estimés avec une marge d'erreur inférieure à 10% et ils sont en bon accord avec les valeurs trouvées dans la littérature. / Gas Tungsten Arc Welding (GTAW) process is generally used for assemblies that requires high quality weld joint. The microstructure and the weld joint relies mainly on the thermal cycle due to the welding operation, the chemical composition of the metallic material and the complex flow of molten metal in the weld pool. Moreover the fluid flow in the weld pool play a major role in the temperature distribution and the final weld pool shape. Better understanding of the physical phenomena involved in the welding operation, more exactly in the weld pool, are the fundamental step for improving the GTAW operation, for example increase the productivity or avoid defects. In the present research work, a two dimensional axi-symmetric multiphysics model was established in order to predict the weld pool shape evolution in the frame of a stationary Gas Tungsten Arc Welding using a finite element numerical approach. The weld pool model included various driving forces such as self-induced electromagnetic (Lorentz force), surface tension (Marangoni force), buoyancy and the arc plasma drag force. The stated GTAW model is used for predicting the velocity and temperature distribution in the fusion zone and the final weld pool shape. In order to validate the GTAW model, an experimental set up was defined for synchronizing the acquisition of time dependent data such as temperature, weld pool radius and welding process parameters (current and voltage). Image processing algorithms were developed for the time dependent weld pool size identification from the high speed camera images. Comparison between experimental and calculated data exhibited important discrepancies on the temperature field and weld pool radius. These discrepancies are due to the incoming heat flux from the arc plasma into the work piece. The heat flux was modeled with a Gaussian function itself described with few parameters;two of these required to be estimated: GTAW efficiency and Gaussian distribution.An inverse approach is used for estimating these parameters from the available experimental data: temperature, weld pool radius and macrographs. The Levenberg-Marquardt method is used to solve the inverse heat transfer problem coupled to an iterative process regularization. Afterward the inverse heat transfer problem was investigated through few numerical cases in order to verify its robustness to three sorts of error in the input data (measurement noise, sensor location error and inaccuracies associated with the thermophysical properties). The inverse approach was robust to errors introduced on measurement data. However, errors on the position of sensors or on the knowledge of material thermo-physical properties are problematic on the GTAW efficiency estimation. Finally the inverse problem was solved with experimental measurement. The estimated parameters are in good agreement with the literature. The evaluated error on the estimated parameters is less than 10%.
110

Etude de l'influence des procédés de fabrication sur les propriétés mécaniques des alliages de nickel / Study of effect of welding on mechanical behavior on nickel alloys

Blaizot, Jérôme 25 March 2016 (has links)
Dans l’industrie nucléaire, différents composants des réacteurs à eau pressurisée sont soudés par le procédé TIG (Tungsten Inert Gas). Pour obtenir une résistance à la corrosion et une tenue en service suffisante, ces pièces sont réalisées en alliage base nickel NY690. La compréhension des phénomènes physiques impliqués durant le soudage est nécessaire afin de connaître l’évolution de la microstructure et leur influence sur le comportement mécanique. Pour améliorer la qualité des produits soudés, il est crucial de déterminer les contraintes résiduelles après soudage ce qui implique de connaître le comportement mécanique de l’alliage NY690. En effet, le soudage de ces pièces massives dont l’épaisseur est comprise entre 50 et 250 mm nécessite un grand nombre de passes et donc grand nombre de cycles thermo-mécaniques. Pour reproduire ces chargements complexes se produisant dans la zone affectée thermiquement, des essais mécaniques ont été réalisés en utilisant la machine Gleeble 3500 et une machine de traction/torsion MTS-809. Des essais de traction et des essais cycliques ont été réalisés pour différents états microstructuraux à température ambiante et à 750°C. Plus précisément, l’influence de la taille de grain et de la présence des carbures de chrome sur le comportement mécanique a été étudiée dans le but de déterminer les paramètres à prendre en compte pour modéliser le comportement mécanique. Le comportement mécanique en chargement monotone a ensuite été modélisé en fonction de la température et de la vitesse de déformation en utilisant le formalisme de Kocks-Mecking-Estrin. Ce modèle ensuite été implémenté sous Sysweld pour simuler des expériences de soudage. / Mechanical behavior of nickel alloy 690 (NY690) is characterized from 25°C to 1100°C and for a strain rate ranging from 10-4 to 5×10-3s-1. The effects of chromium carbides and grain size (50-150 µm) on the tensile properties of NY690, were studied at 25°C and 750°C. Chromium carbides have negligible influence on the yield stress and on the strain hardening whereas the grain size slightly decreases the yield stress and the hardening rate at room temperature. The grain size has little influence on the strain-hardening but increases the steady-state stress. The dislocation density is the major microstructural parameter governing the mechanical behavior of the alloy for the studied experimental conditions. The Kocks-Mecking-Estrin formalism is adapted to a wide range of temperature and strain rate to predict the mechanical behavior.

Page generated in 0.0683 seconds