Neste estudo é proposto um método para resolução de problemas de tangências, especificamente para o décimo caso do problema de Apolônio. Este método é baseado na transformação geométrica inversão e no uso do conceito de feixes de circunferências. Além de permitir a resolução de todas as configurações do problema, ele é aplicável também à resolução de outros problemas. Através do trabalho indicamos a importância do tema Desenho Geométrico no ensino de Desenho que há muito tempo enfatiza apenas o desenvolvimento da visualização espacial. Destacamos ao longo do texto como o ensino de Desenho Geométrico pode ser utilizado eficazmente para fomentar o raciocínio lógico-dedutivo dos estudantes através da prática de demonstrações. / A new method to solve the tenth case of Appolonius problem is presented in this study. This method is based on the geometric transformation called inversion and the concept of coaxal circumferences. Besides allowing the resolution of all configurations of the problem, it can also be used to solve other problems. We indicate the importance of the subject about geometric constructions in teaching Drawing, which, since a long time ago has given attention only to the development of the spatial visualization ability. We detach along the text how the teaching of geometric construction can be used efficiently to foment the deductive logical reasoning of the students through the practice of demonstrations.

As variáveis de processo determinam as propriedades dos produtos resultantes dos processos de fundição ou de soldagem, que são função da sua macro e microestrutura bruta de solidificação. Um dos parâmetros importantes para se determinar as propriedades de um produto é a posição da transição colunarequiaxial (CET) e, por este motivo, o entendimento dos fenômenos físicos que causam esta transição é essencial. Com o intuito de se prever a formação da CET, surgiram os métodos empíricos e os modelos matemáticos, que são divididos em dois grandes grupos: modelos determinísticos e modelos estocásticos. Estes dois grupos foram bem estudados, porém nunca foram comparados entre si, particularmente em relação à previsão da posição da CET. O presente trabalho tem como um primeiro objetivo preencher esta lacuna através da comparação entre estes modelos. No entanto, o objetivo principal é apresentar, implementar e validar um novo modelo matemático, denominado de híbrido estocástico-determinístico (CADE -\"Cellular Automaton Deterministic\"), que combine características importantes e vantajosas de cada um dos dois grupos de modelos. Inicialmente, um modelo representante do grupo dos modelos estocásticos foi implementado e validado frente a resultados disponíveis na literatura. Durante esta validação, foi necessária a elaboração de um critério baseado na razão de aspecto dos grãos para a identificação da CET nas macroestruturas calculadas pelo modelo. Estes resultados foram então comparados com os resultados de modelos determinísticos para, após cuidadosa discussão, possibilitar a proposta e implementação do modelo híbrido. Os modelos determinísticos que utilizam o critério mecânico para prever o bloqueio de grãos colunares e a ocorrência da CET mostram regiões colunares em geral maiores que as previstas pelo modelo estocástico. Por outro lado, os modelos determinísticos que utilizam um critério de bloqueio a partir da interação do campo de concentração de soluto ao redor dos grãos prevêem uma CET em posições semelhantes às calculadas pelos modelos estocásticos. O modelo implementado no presente trabalho é capaz de prever a macroestrutura bruta de solidificação e ainda utilizar as equações tradicionalmente empregadas nos modelos determinísticos, sem a necessidade de qualquer método extra para prever a posição da frente de crescimento colunar ou o seu bloqueio por grãos equiaxiais. / The processing variables determine many properties of the products obtained by casting and welding processes and these properties, on the other hand, are strongly affected by the as-cast micro and macrostructure. Particularly the position of the columnar-to-equiaxed transition (CET), which determines the amount of columnar and equiaxed grains in the macrostructure, has an important effect on the properties of as-cast parts. Therefore, understanding the important physical phenomena that cause and affect the formation of the CET plays a crucial role in predicting the ascast macrostructure. To predict the CET formation, empirical methods and mathematical models have been developed. These models are frequently divided into two main groups: deterministic and stochastic. Both groups have been thoroughly studied, but a comparison between them was never attempted, especially regarding the prediction of the CET position. One of the main objectives of the present work is to fulfill this gap by carefully comparing these models. Nevertheless, the most important objective is to propose, implement, and validate a hybrid stochastic-deterministic model, referred to as CADE (Cellular Automaton Deterministic), that combines some important and well-known features of each model. Initially, a model from the stochastic group was implemented and validated using results available in the literature and then used to analyze the effects of some processing variables on the CET prediction. To carry out this analyzes, a criteria based on the aspect ratio of the grains was proposed and developed to identify the CET region from macrostructure images calculated by the model. The results were compared with those obtained by deterministic models and finally led to the development of the new proposed model. This new model has some characteristics from each group of mathematical models and, for this reason, was denoted as hybrid. A deterministic model based on a mechanical blocking criterion to block columnar grains and define the CET position showed, for the most part, larger columnar regions than those predicted by the stochastic model. A deterministic model with a solutal blocking criterion to predict the CET showed results similar to those calculated with the stochastic model. The model proposed in the present work (CADE) was able to predict the as-cast macrostructure using the well-established deterministic equations, without the need for a new method to track columnar grains or predict their blocking by equiaxed grains.

A proposta de desenvolvimento deste trabalho de dissertação veio de encontro com o objetivo de adaptar um laboratório para pesquisas em transformações de fases, utilizando o método dilatométrico, onde foram estudadas as reações no estado sólido que sofrem os materiais submetidos a ciclos térmicos. Para atingir este objetivo, instalou-se recentemente um dilatômetro de resfriamento rápido, modelo DT 1000 da Adamel Lhomargy. Completada a etapa de instalação do equipamento, o passo seguinte consistiu em explorar, através de ciclos térmicos variados, todos os recursos manipuláveis do dilatômetro. Aplicando a técnica dilatometrica em um aço de características termomecânicas conhecidas - SAE 1070 - possibilitou-se, a partir deste trabalho, que pesquisas mais complexas pudessem ser executadas com tal equipamento ou que o mesmo servisse como um instrumento complementar para estudos de transformações de fases. Nessa fase inicial de investigações estudou-se as curvas dilatométricas a fim de verificar os tempos de início e fim de transformação isotérmica em várias temperaturas de decomposição da austenita. Traçou-se as curvas de transformação isotérmica - curvas TTT - para o aço ensaiado (tratado termicamente), onde analisou-se a influência desse tratamento térmico prévio (recozimento) sobre a transformação \'alfa\' para \'gama\'. Finalizando a parte prática deste trabalho, comprovou-se as transformações de fases isotérmicas nas várias temperaturas ensaiadas, através de análise metalográfica e de medidas de microdureza dos produtos obtidos. A fim de solucionar eventuais problemas relacionados ao manuseio e manutenção do equipamento, com base na experiência adquirida ao longo do desenvolvimento deste trabalho, são dadas sugestões de possíveis aplicações do dilatômetro de têmpera rápida DT 1000 em pesquisas de transformações de fases. / The purpose of this work comes together with the objective to adapt a phase transformation research laboratory using dilatometric method, where it will be possible to study the solid state reactions of materials submited to thermal cycles. To fulfil this purpose, it was installed a high speed quenching dilatometer, model DT 1000 manufactured by Adamel Lhomargy. After this stage, our next step was to explorer all equipment resources through variable thermal cycles. Appling dilatometric method to a well known thermomechanical steel - SAE 1070 - it becomes possible the accomplishment of more complex experiments with this equipment. This equipment, itself, may be a powerfull auxilliary instrument to phase transformations studies. In this first investigation, it was studied the dilatometric curves to find the beginning and the end times of isothermal phase transformation for several austenite decomposition temperatures - TTT diagram - for the tested steel (thermal treated). The effect of this previous heat treatment (annealing) on the \'alfa\' for \'gama\' transformation were observed. Finally, the isothermal phase transformation at the different tested temperatures could be confirmed through metallographic and microhardness analysis. In order to solve possible problems associated to the equipment use or maintenance, some suggestions of applications of the high speed quenching dilatometer are indicated for further works.

Orientador: Rubens Caram Junior / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-08-12T05:26:08Z (GMT). No. of bitstreams: 1 Souza_SandraAndreiaStwartdeAraujo_D.pdf: 29406912 bytes, checksum: 599ca950936f4d1a34c07ae03af24fb6 (MD5) Previous issue date: 2008 / Resumo: Freqüentemente, os implantes femorais falham devido à transferência insuficiente de carregamento a partir da haste metálica para o osso adjacente. Este problema está relacionado à diferença de rigidez entre osso e prótese, que depende em parte de seus módulos de elasticidade. Dessa forma, ligas com módulos de elasticidade menores são desejáveis, a fim de melhorar a distribuição de tensões nos tecidos ósseos adjacentes. Adições de Nb e Ta ao titânio propiciam a redução do módulo de elasticidade, além de não provocarem reação alérgica nos tecidos ao redor do implante. Como as propriedades das ligas de titânio são fortemente dependentes de suas fases constituintes, este estudo teve como objetivo avaliar o efeito da taxa de resfriamento sobre as transformações de fases das ligas Ti-(25; 30; 35)%Nb-(0; 2,5; 5; 7,5)%Ta (% em peso), com ênfase na identificação das relações entre propriedades e microestrutura. Assim, foi verificado que as adições desses elementos promoveram a formação das fases a", ß-metaestável e ? em uma ampla faixa de taxas de resfriamento e que a dureza e o módulo de elasticidade das ligas foram fortemente influenciados pela precipitação da fase ?. Em geral, as ligas submetidas a altas taxas de resfriamento apresentaram limite de escoamento variando de 303 a 457 MPa e alongamento variando de 6 a 38%. As ligas Ti-35Nb e Ti-35Nb-7,5Ta foram também envelhecidas e os resultados obtidos mostraram que a liga Ti-35Nb-7,5Ta apresenta a melhor combinação entre alta resistência mecânica e baixo módulo de elasticidade. / Abstract: Life time of femoral implants is usually shortened by insufficient transfer of load from implant to adjacent bone; this problem is attributed to the different stiffness of bone and implant that partially depends on their elastic moduli. Therefore, alloys exhibiting lower values of elastic modulus are desirable in order to improve the distribution of stress in the adjacent bone tissue. On this purpose, additions of Nb and Ta to titanium permit to reduce the elastic modulus, not provoking allergic reactions. Since properties of titanium alloys are strongly dependent on their constituent phases, this study aims to evaluate the effect of cooling rates on the phase transformations of the Ti-(25; 30; 35)%Nb-(0; 2.5; 5; 7.5)%Ta (wt. %) alloys; the work is focused on identifying the microstructure-property relationship. Thus, it was observed that additions of the alloying elements led to the formation of a", ß-metastable and ? phases in a wide range of cooling rates. Moreover, ? phase precipitation strongly influences hardness and elastic modulus. When cooled at high cooling rates the alloys presented yield strength ranging from 303 to 457 MPa and elongation ranging from 6 to 38%. Aging treatments were also applied to the Ti- 35Nb and Ti-35Nb-7.5Ta alloys and the results show that the Ti-35Nb-7.5Ta alloy presents the best combination between high strength and low modulus. / Doutorado / Materiais e Processos de Fabricação / Doutor em Engenharia Mecânica

Orientador: Claudina Izepe Rodrigues / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-12T05:50:13Z (GMT). No. of bitstreams: 1 Sousa_AlexandrePereira_M.pdf: 2225572 bytes, checksum: cfb663a28dc18e6cca11fb9f1f98c872 (MD5) Previous issue date: 2008 / Resumo: Neste trabalho estudamos isometrias e similaridades no espaço Euclidiano de dimensão três com o objetivo de suas classificações. Apresentamos inicialmente alguns fatos históricos referentes à Geometria, e, a seguir, desenvolvemos um estudo sobre isometrias e similaridades usando ferramentas e conceitos de grupos. Finalmente, sugerimos algumas atividades úteis para uma familiarização e desenvolvimento de habilidades na investigação de simetrias de figuras. / Abstract: The objective of this work is to classify isometries and similarities on three dimensional Euclidean space. We present some historic facts about Geometry followed by a study on isometries and similarities using tools and concepts from groups. We also suggest some helpful activities to develop abilities in the investigation of symmetry groups of figures. / Mestrado / Geometria / Mestre em Matemática

Submitted by isabela.moljf@hotmail.com (isabela.moljf@hotmail.com) on 2016-08-18T14:46:47Z No. of bitstreams: 1 antoniocarlosoliveirademagalhaes.pdf: 2011514 bytes, checksum: 615ba12d8c66022ab83e8c0115516c8d (MD5) / Rejected by Adriana Oliveira (adriana.oliveira@ufjf.edu.br), reason: verificar palavras do resumo on 2016-08-19T11:48:03Z (GMT) / Submitted by isabela.moljf@hotmail.com (isabela.moljf@hotmail.com) on 2016-08-19T11:51:13Z No. of bitstreams: 1 antoniocarlosoliveirademagalhaes.pdf: 2011514 bytes, checksum: 615ba12d8c66022ab83e8c0115516c8d (MD5) / Rejected by Adriana Oliveira (adriana.oliveira@ufjf.edu.br), reason: on 2016-08-19T11:54:43Z (GMT) / Submitted by isabela.moljf@hotmail.com (isabela.moljf@hotmail.com) on 2016-08-19T11:56:54Z No. of bitstreams: 1 antoniocarlosoliveirademagalhaes.pdf: 2011514 bytes, checksum: 615ba12d8c66022ab83e8c0115516c8d (MD5) / Rejected by Adriana Oliveira (adriana.oliveira@ufjf.edu.br), reason: on 2016-08-19T12:07:22Z (GMT) / Submitted by isabela.moljf@hotmail.com (isabela.moljf@hotmail.com) on 2016-08-19T12:25:30Z No. of bitstreams: 1 antoniocarlosoliveirademagalhaes.pdf: 2011514 bytes, checksum: 615ba12d8c66022ab83e8c0115516c8d (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-08-19T12:41:02Z (GMT) No. of bitstreams: 1 antoniocarlosoliveirademagalhaes.pdf: 2011514 bytes, checksum: 615ba12d8c66022ab83e8c0115516c8d (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-08-19T12:41:36Z (GMT) No. of bitstreams: 1 antoniocarlosoliveirademagalhaes.pdf: 2011514 bytes, checksum: 615ba12d8c66022ab83e8c0115516c8d (MD5) / Made available in DSpace on 2016-08-19T12:41:36Z (GMT). No. of bitstreams: 1 antoniocarlosoliveirademagalhaes.pdf: 2011514 bytes, checksum: 615ba12d8c66022ab83e8c0115516c8d (MD5) Previous issue date: 2013-03-22 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Neste trabalho apresentamos um projeto desenvolvido para o Ensino Médio. Iremos mostrar no decorrer deste trabalho como as transformações de reflexão, translação e dilatação (compressão) afetam os gráficos das funções de uma maneira geral, até chegarmos ao estudo das funções trigonométricas. Todos os gráficos apresentados neste trabalho foram obtidos com o uso do programa Maxima e a atividade em sala de aula desenvolvida usando o programa Geogebra. A ideia principal do nosso trabalho é fazer com que os alunos inicialmente façam as atividades em sala de aula e depois usando os recursos computacionais façam uma veri cação dos resultados obtidos. Iremos dividir os alunos em grupos e acompanhar o rendimento de cada grupo. / In this work we will present a project developed for the High School. We will show in elapsing of this work as the re ection transformations, translation and dilation (compression) they a ect the graphs of the functions in a general way, until we arrive to the study of the trigonometrical functions. All the graphs presented in this work were obtained with the use of the Maxima and the activity in classroom was developed using Geogebra. The main idea of our work is to do with that the students initially make the activities in classroom and later using the resources computacionais makes a veri cation of the obtained results, we will divide the students in groups and to accompany the income of each group.

Orientador: Rubens Caram Junior / Tese de Doutorado - Universidade Estadual de Campinas, Faculdade de Engenharia Mecânica / Made available in DSpace on 2018-08-22T19:13:03Z (GMT). No. of bitstreams: 1 Contieri_RodrigoJose_D.pdf: 5581364 bytes, checksum: b95f94b00d984d338e4134cd12621962 (MD5) Previous issue date: 2013 / Resumo: Ligas do sistema Ti-Cu com composições próximas à eutetóide exibem potencial para aplicações estruturais, pois apresentam interessantes propriedades mecânicas, baixa densidade e alta resistência à corrosão. O comportamento mecânico dessas ligas depende diretamente das condições de processamento e tratamentos térmicos aplicados. Em condições de equilíbrio, a microestrutura dessas ligas é formada pela fase ? e pelo composto intermetálico Ti2Cu. Dependendo das condições de processamento, estruturas metaestáveis podem ser formadas. O objetivo deste trabalho foi avaliar o efeito de diferentes tratamentos térmicos na microestrutura e nas propriedades mecânicas de ligas Ti-Cu. Inicialmente, amostras com composições hipoeutetóide, eutetóide e hipereutetóide foram resfriadas a partir de altas temperaturas em um dispositivo de ensaio Jominy modificado e por ensaios de "splat colling". Na sequência, ensaios de envelhecimento aplicados a amostras com microestruturas metaestáveis também foram realizados. A caracterização das amostras envolveu microscopia óptica, eletrônica de varredura e de transmissão, difração de raios-X, tomografia atômica tridimensional e ensaios mecânicos. Os resultados obtidos indicam que altas taxas de resfriamento resultam na formação de microestruturas formadas por martensita ? ' e pelo composto Ti2Cu com composições diferentes das de equilíbrio. O módulo de elasticidade não apresentou variação com a taxa de resfriamento. Resultados de envelhecimento sugerem que o máximo valor de dureza Vickers e de resistência mecânica correspondem à perda de coerência entre os precipitados do composto intermetálico Ti2Cu e a matriz de fase ? / Abstract: Alloys in the Ti-Cu system with compositions close to the eutectoid exhibit potential for structural applications because they present interesting mechanical properties, low density and high corrosion resistance. The mechanical behavior of these alloys depends directly on the processing conditions and heat treatments applied. Under equilibrium conditions, the microstructure of these alloys is formed by the ? phase and the Ti2Cu intermetallic compound. Depending on the processing conditions imposed, metastable structures may be formed. The aim of this study was to evaluate the effect of different heat treatments on the microstructure and mechanical properties of Ti-Cu alloys. Initially, sample of hypoeutectoid, eutectoid and hypereutetoid compositions were cooled from high temperatures by in a modified Jominy test setup and by the "splat cooling technique". Following, aging heat treatments were applied to the samples with metastable microstructures. The sample's characterization included optical microscopy, scanning and transmission electron microscopy, X-ray diffraction, 3-dimensional atomic tomography and mechanical testing. The results suggests that high cooling rates result in the formation of microstructures formed by martensite ? ' and the Ti2Cu compound with compositions different from the equilibrium composition. The elastic modulus does not vary with the cooling rate. Aging results suggest that the maximum values of Vickers hardness and mechanical strength correspond to the loss of coherence between the Ti2Cu intermetallic compound precipitates and the ? phase matrix / Doutorado / Materiais e Processos de Fabricação / Doutor em Engenharia Mecânica

Orientador: Heloise de Oliveira Pastore / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Quimica / Made available in DSpace on 2018-08-04T07:57:52Z (GMT). No. of bitstreams: 1 Martins_GesleyAlexVeloso_M.pdf: 1455290 bytes, checksum: 08f03d8c3470e472f93117bab22182ac (MD5) Previous issue date: 2005 / Mestrado / Quimica Inorganica / Mestre em Química

Model Driven Development (MDD) is considered as a powerful emerging paradigm for developing system software and services. MDD relies heavily on the models to generate part of the code for implementation. It is virtually inevitable that changes at the model level result in breaking the compatibility with the existing code base. The study presented in this thesis is performed in an industrial setting. Our industrial partner is involved in MDD and has experienced compatibility problems described above. The aim of this thesis is to identify the changes that can be made to UML class diagram and investigate what kind of negative impact they pose on the compatibility with already existing Java implementations. Apart from identifying possible model changes and assessing their negative impact the thesis provides suggestions and guidelines of how to perform such modifications so that their negative impact will be minimized. / +46 455-395070

Event-triggered real-time systems are desirable to use in environments where the arrival of events are hard to predict. The semantics of an event-triggered system is well mapped to the behaviour of an active database management system (ADBMS), specified using event-condition-action (ECA) rules. The benefits of using an active database, such as persistent data storage, concurrency control, timely response to event occurrences etc. highlights the need for a development method for event-triggered real-time systems using active databases. However, there are problems left to be solved before an ADBMS can be used with confidence in real-time environments. The behaviour of a real-time system must be predictable, which implies a thorough analysed specification with e.g. specified worst case execution times. The predictability requirement is an obstacle for specifying real-time systems as ECA rules, since the rules may affect each other in many intricate ways which makes them hard to analyse. The interaction between the rules implies that it is not enough to verify the correctness of single rules; an analysis must consider the behaviour of the entire rule set. In this dissertation, an approach for developing active applications is presented. A method is examined which starts with an analysed high-level timed automaton specification and transforms the specified behaviour into an implicitly analysed rule set. For this method to be useful, the transformation from timed automata to rules must preserve the exact behaviour of the high level specification. Hence, the aim of this dissertation is to verify transformations between timed automaton specifications and ECA rules. The contribution of this project is a structured set of general transformations between timed automata specifications and ECA rules. The transformations include both transformations of small timed automata constructs for deterministic environments and formally verified timed automata patterns specifying the behaviour of composite events in recent and chronicle context.