Submitted by Maria Cristina (library@lncc.br) on 2017-08-14T19:07:20Z No. of bitstreams: 1 Tese-AlanAmad.pdf: 11294057 bytes, checksum: cadab8a6da3988a5a62791507562b196 (MD5) / Approved for entry into archive by Maria Cristina (library@lncc.br) on 2017-08-14T19:07:34Z (GMT) No. of bitstreams: 1 Tese-AlanAmad.pdf: 11294057 bytes, checksum: cadab8a6da3988a5a62791507562b196 (MD5) / Made available in DSpace on 2017-08-14T19:07:45Z (GMT). No. of bitstreams: 1 Tese-AlanAmad.pdf: 11294057 bytes, checksum: cadab8a6da3988a5a62791507562b196 (MD5) Previous issue date: 2016-02-26 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (Capes) / Wave propagation modeling is a challenging problem with many important practical applications in engineering and applied sciences. These applications include the modeling in acoustic, scattering, vibration, structural dynamic response, earthquake, seismic, electromagnetism, photonic, and so on. In fluid-structure modeling, the applications include, for example, simulations in aircraft, rockets, turbines, marine structures, storage tanks, dams, suspension bridges and noise reduction. Our interest is the development of numerical methods to accurately solving time-harmonic wave problems. In this thesis, we propose finite difference and finite element methods to solve the acoustic and elastic problems and a coupled acoustic fluid-structure problem. We also develop a numerical model to simulate hyperthermia therapy, based on topological derivatives and on a stabilized hybrid method. / Modelagem em propagação de ondas é um problema desafiador, com muitas aplicações práticas importantes em engenharia e ciências aplicadas. Estas aplicações incluem a modelagem em acústica, dispersão, vibração, resposta dinâmica estrutural, terremoto, sísmica, eletromagnetismo, fotônica, e assim por diante. Em modelagem de fluido-estrutura, as aplicações incluem simulações em aviões, foguetes, turbinas, estruturas marítimas, tanques de armazenamento, barragens e pontes suspensas, redução de ruído, por exemplo. Nosso interesse é o desenvolvimento de métodos numéricos para resolver precisamente problemas de ondas harmônicas no tempo. Nesta tese consideramos métodos de diferenças finitas e elementos finitos para resolver problemas acústicos e elásticos e um problema acoplado de fluido-estrutura acústica. Também desenvolvemos um modelo numérico para simular terapia por hipertermia, baseado em derivadas topológicas e um método híbrido estabilizado.

Esta tese investiga a denotação dos nomes comuns nas línguas naturais. De forma mais específica enfoca a denotação dos nomes comuns no português brasileiro (PB). O objetivo é investigar os mecanismos que licenciam contabilidade no PB. Primeiramente investiga-se a denotação dos nomes no PB frente à proposta de Borer (2005). A autora defende que interpretações contáveis são licenciadas estruturalmente, mas que interpretações massivas não, e, nesse sentido, interpretações massivas são default. Segundo Borer (2005), o plural, em línguas como o inglês, e os classificadores, em línguas como o chinês, são sintagmas de classificação que originam interpretações contáveis, cujo núcleo tem um valor aberto div, onde DIV é um operador de divisão. A ausência desses sintagmas confere uma interpretação massiva aos nomes. Diferentemente da maioria das línguas germânicas e românicas que permitem a ocorrência do plural nu, mas não permitem a ocorrência do singular nu, no PB, o singular nu é extremamente produtivo. Assim, se Borer (2005) estiver certa, no PB os nomes são massivos, pois os nomes nessa língua podem ocorrer sem nenhuma estrutura que os divida, denotando uma massa amorfa, sem divisão. No entanto, a análise dos dados do PB mostra, contra as previsões de Borer (2005), que a denotação default dos nomes, independentemente de ser indeterminada para número, pode ser massiva ou contável e que tais nomes já vêm com essa denotação marcada do léxico. Em segundo lugar, investiga-se a denotação dos nomes lexicalmente contáveis em estruturas não marcadas para contabilidade. Como Rullmann e You (2003) defendem para o chinês, o PB é uma língua em que os nomes possuem número geral, isto é, não são singular nem plural, são neutros para número, como defendem Müller (2001) e Schmitt e Munn (1999, 2002) para o PB. Línguas que possuem número geral geralmente não possuem morfologia de número, entretanto, o PB é um exemplo de língua que possui número geral, classificação e morfologia de número. Em terceiro lugar, investiga-se a denotação dos nomes segundo a proposta de Rothstein (2007). A autora defende que interpretações contáveis são licenciadas por um mecanismo de contabilidade gramatical. Segundo Rothstein (2007), o singular em línguas como o inglês e os classificadores numéricos em línguas como o chinês são operações gramaticais que licenciam interpretações contáveis. Como o PB é uma língua que possui número geral, classificadores numéricos e morfologia de número, defende-se a tese de que nessa língua o que licencia contabilidade são as operações de número e de classificação. / This thesis investigates common noun denotations in natural languages. To be more specific, it encompasses common noun denotations in Brazilian Portuguese (BP). Its objective is to investigate the mechanisms which licence countability in BP. Firstly, noun denotation in BP is investigated according to Borers proposal (2005). The author argues that count interpretations are structurally licensed, while mass interpretations are not, thus in this sense, mass interpretations are default. According to Borer (2005), the plural morphology, in languages such as English, and the classifiers, in languages such as Chinese, are classifiers phrases which originate count interpretations with opened value nucleus div, where DIV is a division operator. The absence of these classifiers phrases bestows mass interpretation to the nouns. Contrary to most Germanic and Romance languages which permit bare plurals, but do not permit bare singulars, in BP, the bare singular is extremely productive. Thus, if Borer (2005) is right, nouns are mass-denoting in BP since they can occur without any distinctive structure, denoted amorphous mass, undivided. However, data analysis in BP opposes the predictions of Borer (2005) that a default noun denotation, regardless of being indeterminate in number, can be a mass or count denotation, and that such nouns already have this lexical denotation. Secondly, lexical denotation of count nouns in unmarked structures is investigated for countability. As Rullman and Aili You (2003) defend Chinese, BP is a language in which nouns have general number, that is, they are neither singular nor plural, they are neutral for number, as defended by Müller (2001) and Schmitt e Munn (1999, 2002). Languages with general number do not have plural morphology, but BP is an example of a language that has general number, numeral classifier and plural morpheme. Thirdly, denotation of names according to Rothstein (2007) is investigated. The author argues that countable interpretations are licensed by a mechanism of grammatical countability. According to Rothstein (2007), singular morphology in languages such as English and numeral classifiers in languages such as Chinese are grammatical operations which licence count interpretations. Since BP is a language that has general number, numeral classifiers and plural morphology, the thesis that, in this language, number and classification operations licence countability is defended.

objetivo principal do trabalho é determinar a capacidade última de tração (arrancamento) de uma fundação com solo tratado no topo a partir de uma modelagem numérica com o programa computacional Abaqus a partir dos ensaios feitos em solos tratados. Os modelos numéricos foram feitas a partir dos ensaios ao arrancamento em solos tratados por Ruver, 2011 e Girardello, 2014 para um aterro de areia (proveniente da cidade de Osório/RS) e areia com fibra (monofilamentos de polipropileno). Foi feito um modelo numérico inicial com as propriedades geotécnicas de ensaios feitos em laboratório e campo para depois fazer um ajuste do modelo com os ensaios ao arrancamento. Foi avaliado o modelo numérico de areia e areia-fibra para as tensões iniciais, deslocamentos inciais e a etapa geostatic porque não só é ter bons resultados nas figuras do ajuste, mas se ter um modelo numérico bem feito que apresente um comportamento próximo da realidade numericamente. Foram avaliados os benefícios gerados pelo aumento da capacidade de carga de fundações escavadas e reaterradas com areia fina e homogênea, areia-fibra, avaliando sua influência geotécnica (coesão, ângulo de atrito e módulo de elasticidade) a partir de uma análise paramétrica. Foi feito um método de dimensionamento e estimativa da capacidade ao arrancamento para um aterro com areia e areia-fibra a partir das metodologias internacionais e os modelos numéricos. / The main objective of the work is to determine the ultimate traction (pullout) capacity of a foundation with treated soil at the top from a numerical modeling with the Abaqus computational program from the tests on treated soils. The numerical models were made from the pullout tests on soils treated by Ruver, 2011 and Girardello, 2014 for a sand dump (from the city of Osório / RS) and sand with fiber (polypropylene monofilaments). An initial numerical model was made with the geotechnical properties of laboratory and field tests to later calibrate the model with the pullout tests. It was evaluated the numerical model of sand and sand-fiber for the initial stresses, displacements and the geostatic step because not only is it to have good results in the figures of the calibration, but it is necessary to have a well-designed numerical model that presents behavior close to reality numerically. It was evaluated the benefits generated by the increase of the load capacity of excavated foundations and recovered with fine sand and homogeneous, sand-fiber, evaluating its geotechnical influence (cohesion, friction angle and modulus of elasticity) from a parametric analysis. A method of dimensioning and estimation of the pullout capacity for a backfill with sand and sand-fiber was done from the international methodologies and the numerical models.

Esta tese investiga a denotação dos nomes comuns nas línguas naturais. De forma mais específica enfoca a denotação dos nomes comuns no português brasileiro (PB). O objetivo é investigar os mecanismos que licenciam contabilidade no PB. Primeiramente investiga-se a denotação dos nomes no PB frente à proposta de Borer (2005). A autora defende que interpretações contáveis são licenciadas estruturalmente, mas que interpretações massivas não, e, nesse sentido, interpretações massivas são default. Segundo Borer (2005), o plural, em línguas como o inglês, e os classificadores, em línguas como o chinês, são sintagmas de classificação que originam interpretações contáveis, cujo núcleo tem um valor aberto div, onde DIV é um operador de divisão. A ausência desses sintagmas confere uma interpretação massiva aos nomes. Diferentemente da maioria das línguas germânicas e românicas que permitem a ocorrência do plural nu, mas não permitem a ocorrência do singular nu, no PB, o singular nu é extremamente produtivo. Assim, se Borer (2005) estiver certa, no PB os nomes são massivos, pois os nomes nessa língua podem ocorrer sem nenhuma estrutura que os divida, denotando uma massa amorfa, sem divisão. No entanto, a análise dos dados do PB mostra, contra as previsões de Borer (2005), que a denotação default dos nomes, independentemente de ser indeterminada para número, pode ser massiva ou contável e que tais nomes já vêm com essa denotação marcada do léxico. Em segundo lugar, investiga-se a denotação dos nomes lexicalmente contáveis em estruturas não marcadas para contabilidade. Como Rullmann e You (2003) defendem para o chinês, o PB é uma língua em que os nomes possuem número geral, isto é, não são singular nem plural, são neutros para número, como defendem Müller (2001) e Schmitt e Munn (1999, 2002) para o PB. Línguas que possuem número geral geralmente não possuem morfologia de número, entretanto, o PB é um exemplo de língua que possui número geral, classificação e morfologia de número. Em terceiro lugar, investiga-se a denotação dos nomes segundo a proposta de Rothstein (2007). A autora defende que interpretações contáveis são licenciadas por um mecanismo de contabilidade gramatical. Segundo Rothstein (2007), o singular em línguas como o inglês e os classificadores numéricos em línguas como o chinês são operações gramaticais que licenciam interpretações contáveis. Como o PB é uma língua que possui número geral, classificadores numéricos e morfologia de número, defende-se a tese de que nessa língua o que licencia contabilidade são as operações de número e de classificação. / This thesis investigates common noun denotations in natural languages. To be more specific, it encompasses common noun denotations in Brazilian Portuguese (BP). Its objective is to investigate the mechanisms which licence countability in BP. Firstly, noun denotation in BP is investigated according to Borers proposal (2005). The author argues that count interpretations are structurally licensed, while mass interpretations are not, thus in this sense, mass interpretations are default. According to Borer (2005), the plural morphology, in languages such as English, and the classifiers, in languages such as Chinese, are classifiers phrases which originate count interpretations with opened value nucleus div, where DIV is a division operator. The absence of these classifiers phrases bestows mass interpretation to the nouns. Contrary to most Germanic and Romance languages which permit bare plurals, but do not permit bare singulars, in BP, the bare singular is extremely productive. Thus, if Borer (2005) is right, nouns are mass-denoting in BP since they can occur without any distinctive structure, denoted amorphous mass, undivided. However, data analysis in BP opposes the predictions of Borer (2005) that a default noun denotation, regardless of being indeterminate in number, can be a mass or count denotation, and that such nouns already have this lexical denotation. Secondly, lexical denotation of count nouns in unmarked structures is investigated for countability. As Rullman and Aili You (2003) defend Chinese, BP is a language in which nouns have general number, that is, they are neither singular nor plural, they are neutral for number, as defended by Müller (2001) and Schmitt e Munn (1999, 2002). Languages with general number do not have plural morphology, but BP is an example of a language that has general number, numeral classifier and plural morpheme. Thirdly, denotation of names according to Rothstein (2007) is investigated. The author argues that countable interpretations are licensed by a mechanism of grammatical countability. According to Rothstein (2007), singular morphology in languages such as English and numeral classifiers in languages such as Chinese are grammatical operations which licence count interpretations. Since BP is a language that has general number, numeral classifiers and plural morphology, the thesis that, in this language, number and classification operations licence countability is defended.

INTRODUÇÃO: As humanidades médicas têm sido cada vez mais valorizadas mundialmente. No entanto, são poucos os estudos psiquiátricos nessa área no Brasil. A obra de Lima Barreto (1881-1922) reveste-se de importância para o psiquiatra pelo fato de este escritor ter tido grande contato com o meio psiquiátrico de sua época, em virtude da doença mental de seu pai e de seu quadro de alcoolismo, que motivou duas internações no Hospício Nacional de Alienados do Rio de Janeiro. Neste trabalho, procuramos relacionar a obra de Lima Barreto ao contexto histórico da psiquiatria e à sua biografia, testando ainda a hipótese de que o autor tenha apresentado declínio cognitivo expresso na elaboração de sua última obra, em virtude do alcoolismo. MÉTODOS: A obra do autor foi pesquisada, sendo analisadas as representações de doença mental. Como referencial teórico, utilizou-se os conceitos de carnavalização e de cronotopo de Mikhail Bakhtin. Foi usado, ainda, um software (WordSmith tools 3.0) para encontrar variáveis linguísticas que pudessem ter relação com declínio cognitivo do autor. RESULTADOS: Nas primeiras obras, há tendência para caracterizar a doença mental de forma idealizada ou caricatural; nas últimas, de forma mais naturalista e objetiva. Os percursos dos personagens dos últimos romances têm tendências mais fatalistas, com menor grau de mudança psicológica dos personagens, quando comparados com os romances iniciais. Com os relatos do autor sobre sua internação, tem-se acesso a uma descrição das condições do Hospício Nacional de Alienados, de seus internos e do caráter das internações. Observou-se, também, menor diversidade lexical na última obra do autor, aferido pelo software. CONCLUSÕES: A obra de Lima Barreto é uma fonte representativa para aqueles que estudam história da psiquiatria brasileira do início do século XX e fornece elementos diversos daqueles presentes em vários estudos, principalmente ligados a ideologias críticas à psiquiatria. As diferenças nas representações da doença mental no início e no fim da obra provavelmente refletem elementos biográficos e psicológicos do autor. O achado de menor diversidade lexical presente na última obra pode ter relação com declínio cognitivo do autor. / INTRODUCTION: The medical humanities have been increasingly valued worldwide. However, there are few psychiatric studies in this area in Brazil. The work of Lima Barreto (1881-1922) is important to the psychiatrist because this writer had great contact with the psychiatric medium of his time, because of his father\'s mental illness and because of his picture of alcoholism, which led him to two hospitalizations in the National Asylum for the Insane in Rio de Janeiro. In this paper we try to relate the work of Lima Barreto to the historical context of psychiatry and his biography, testing also the hypothesis that the author had cognitive decline expressed in the preparation of his latest book, due to alcoholism. METHODS: The author\'s work was investigated, and the representations of mental illness analyzed. The theoretical framework used included Mikhail Bakhtin\'s concepts of chronotope and carnivalization. It was also used a software (WordSmith tools 3.0) to find linguistic variables that could be related to cognitive decline of the author. RESULTS: In early works, there is a tendency to characterize mental illness in an idealized or caricatured way, and in the late ones, in a more naturalistic and objective way. The paths of the characters in later novels have more fatalistic tendencies, with lower levels of psychological change of the characters, when compared to the early novels. With the reports of the author on his admission in the psychiatric hospital, we have access to a description of condition of the National Asylum for the Insane, its internals and the character of admissions. It was also observed that there was less lexical diversity in the last work of the author, as measured by the software. CONCLUSIONS: Lima Barreto\'s work is a representative source for those studying the history of psychiatry of the early twentieth century and provides different elements compared to those present in several studies, mainly linked to ideologies critical to psychiatry. The differences in the representations of mental illness at the beginning and the end of the work probably reflect biographical and psychological elements of the author. The finding of lower lexical diversity present in the latest work may be related to cognitive decline of the author.

O presente trabalho tem como objetivo investigar o comportamento elasto-plástico em baixas deformações do fio máquina laminado em aço AISI 1045 destinado a trefilação e processos subsequentes de beneficiamento. Inicialmente, foi obtido material de quatro diferentes lotes de fabricação, sendo todas as amostras retiradas após a etapa de pré-endireitamento do processo de trefilação. O material foi caracterizado através de análise da composição química, metalográfica, determinação de tamanho de grão e segregação. Além disso, o comportamento elasto-plástico do material em ciclos de tração e compressão foi investigado, identificando-se o efeito Bauschinger para três diferentes temperaturas. Os modelos numéricos de Ramberg-Osgood e Ludwig-Hollomon foram utilizados para a definição de uma modelo numérico da curva para utilização em trabalhos futuros de simulação computacional. O modelo de Ludwig-Hollomon foi avaliado como mais satisfatório para baixas deformações e foi então utilizado para o cálculo da curva média de quatro lotes. A partir de curvas de escoamento de aço similar obtidas da literatura, foi possível obter-se uma extrapolação da curva para diferentes taxas de deformação, além da taxa de 0.05s-1, original dos ensaios: 1.6 s-1, 8 s-1, e 40 s-1. / The purpose of this work is to investigate the elastic-plastic behavior at low strains of steel rolled coil AISI 1045 intended for cold-drawing and subsequent processes. First, the material was withdrawn from four different manufacturing batches and all samples were taken from the pre-straightening process step. The material was characterized by means of chemical and metallography analysis, grain size and segregation. Furthermore, the elastic-plastic behavior in tension and compression cycles was investigated and the Bauschinger effect was identified for three different temperatures. The numerical models Ramberg-Osgood and Ludwig-Hollomon were the models used in this work to define the flow curve which can be used in future computer simulation works. The analysis showed that the Ludwig-Hollomon model is more adequate for low strains ranges. Ludwig-Hollomin was used to calculate the average flow curve based on the curves of the four batches. By using literature flow curves of similar steels, it was possible to make an extrapolation and to obtain flow curves at different strain rates beyond the experimental one: 1.6 s-1, 8 s-1, e 40 s-1.

Na presente tese é resolvida a equação de difusão de nêutrons estacionária, bem como problemas de cinética, em geometria unidimensional cartesiana multi-região considerando o modelo de multigrupos de energia. Um dos objetivos e inovação neste trabalho é a obtenção de uma solução aproximada com estimativa de erro, controle de precisão e na forma de uma expressão analítica. Com esse tipo de solução não há a necessidade de recorrer a esquemas de interpolação, geralmente necessários em caso de discretizações do domínio. O fluxo de nêutrons é expandido em uma série de Taylor cujos coeficientes são encontrados utilizando a equação diferencial e as condições de contorno e interface. O domínio é dividido em várias células, cujo tamanho e o grau do polinômio são ajustáveis de acordo com a precisão requerida. Para resolver o problema de autovalor é utilizado o método da potência. A metodologia é aplicada em um benchmark que consiste na solução da equação de difusão como condição inicial e na solução de problemas de cinética para diferentes transientes. Os resultados são comparados com sucesso com resultados da literatura. A convergência da série é garantida pela aplicação de um raciocínio baseado no critério de Lipschitz para funções contínuas. Cabe ressaltar que a solução obtida, em conjunto com a análise da convergência, mostra a solidez e a precisão dessa metodologia. / In the present dissertation the one-dimensional neutron diffusion equation for stationary and kinetic problems in a multi-layer slab has been solved considering the multi-group energy model. One of the objectives and innovation in this work is to obtain an approximate solution with error estimation, accuracy control and in the form of an analytical expression. With this solution there is no need for interpolation schemes, which are usually needed in case of discretization of the domain. The neutron flux is expanded in a Taylor series whose coefficients are found using the differential equation and the boundary and interface conditions. The domain is divided into several layers, whose size and the polynomial order can be adjusted according to the required accuracy. To solve the eigenvalue problem the conventional power method has been used. The methodology is applied in a benchmark problem consisting of the solution of the diffusion equation as an initial condition and solving kinetic problems for different transients. The results are compared successfully with the ones in the literature. The convergence of the series is guaranteed by applying a criterion based on the Lipschitz criterion for continuous functions. Note that the solution obtained, together with the convergence analysis, shows the robustness and accuracy of this methodology.

O principal objetivo deste trabalho é apresentar técnicas de solução para equações não lineares. Especificamente, consideramos equações compostas por funções elementares, dentre elas polinomiais, racionais, trigonométricas, exponenciais e logarítmicas, e por operações algébricas de soma, subtração, multiplicação, divisão, potência e raiz. Exploramos técnicas de resolução analítica e numérica. Como não existem fórmulas resolventes de extensão geral, a técnica analítica consiste em aplicar operações elementares que nos levam a equações equivalentes (que têm a mesma solução) até que se consiga uma equação simples, de fácil resolução. Os métodos numéricos abrangem um conjunto maior de equações e obtêm uma aproximação para a solução por meio de um processo que gera uma sequência de aproximações. Entre os métodos numéricos estudados estão Bissecção, de Newton, das Secantes e do Ponto Fixo (ou Iteração Linear). Recursos Computacionais como calculadora, planilha eletrônica e o software Maxima foram utilizados com objetivo de automatizar os cálculos, tornando essa tarefa mais rápida, e também buscando extrair informações adicionais do processo de resolução como criar tabelas e traçar gráficos. Realizamos testes numéricos com equações de diversos graus de dificuldade. Observamos as vantagens, as desvantagens e as limitações de cada método e de cada recurso. / The goal of this work is to present solution techniques for nonlinear equations. Specifically, we consider equations compounded of elementary functions, among them polynomials, rational, trigonometric, exponential and logarithmic, and of algebraic operations of addition, subtraction, multiplication, division, power and root. We explore analytical and numerical resolution techniques. Since there are no general resolvent formulas, the analytic technique consists of applying elementary operations that lead to equivalent equations (which have the same solution) until a simple and easily to solve equation is obtained. Numerical methods cover a larger set of equations and obtain an approximation to the solution by a process which generates a sequence of approximations. Among the numerical methods we studied Bisection, Newton, Secant and Fixed Point (or Linear Iteration) methods. Computational resources such as calculator, spreadsheet and the software Maxima were used in order to automate calculations, making this task faster, as well as seeking for additional information from the resolution process, such as creating tables and graphics. We perform numerical tests, with equations of varying degrees of difficulty. We note the advantages, disadvantages and limitations of each method and resource.

Dissertação apresentada para obtenção do grau de Doutor em Engenharia Mecânica, na Faculdade de Engenharia da Universidade do Porto, sob a orientação do Prof. Doutor Paulo Jorge de Melo Matias Faria de Vila Real

Tese de doutoramento. Engenharia Civil. Faculdade de Engenharia. Universidade do Porto. 2012