Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas. Programa de Pós-Graduação em Matemática e Computação Científica / Made available in DSpace on 2012-10-21T15:12:44Z (GMT). No. of bitstreams: 1 221522.pdf: 893831 bytes, checksum: e0f7a25edf5c463738b416dc7b1239f0 (MD5) / O trabalho aqui presente destina-se a fazer uma análise comparativa, no contexo do método de Newton inexato, os desempenhos das metodologias iterativas baseadas em subespaços de Krylov: GMRES (Generalized Minimum Residual Method) e Bi-CGStab (Biconjugate Gradient Stabilized) e um método direto (LU esparso). As características das desempenhos (número de iterações e tempo computacional) das metodologias investigadas são acessadas com o uso de alguns testes padrão largamente utilizados como "benchmark" em mecânica dos fluidos computacional. O método de Newton inexato baseado em GMRES e Bi-CGStab é aplicado no sistema não linear gerado pelo método de elementos finitos (MEF) sobre o problema de valor de contorno composto pelas equações de Navier-Stokes. Uma importante observação diz respeito a condição necessária e suficiente de Brezzi-Babuka (ou condições inf-sup), a qual é satisfeita com o uso de parâmetros de estabilização.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-21T23:14:47Z (GMT). No. of bitstreams: 1 207778.pdf: 429850 bytes, checksum: 5a8ef0bdb25a1cedbc0312a1d037e76b (MD5) / Este trabalho desenvolve uma forma diferente de se obter árvores de prova por tablôs. Denominamos esse método de direto, por causa da característica em que a possível conclusão é inserida no tablô inicial, sem negá-la. Já o método dos tablôs por refutação se utiliza da negação da possível conclusão. No sistema de tablôs por prova direta para a lógica clássica, cada ramo está relacionado semanticamente à disjunção das fórmulas que o compõem, e o tablô completo corresponde semanticamente à conjunção de todas essas disjunções. Em qualquer um dos métodos baseados em tablôs para a Lógica Clássica, tanto direto quanto indireto, um ramo é considerado fechado se o mesmo contiver duas fórmulas contraditórias. No método direto o fechamento de um ramo corresponde à sua validade semântica, a qual implica, no caso do fechamento de todos os ramos, na validade da possível conclusão. Já no método indireto o fechamento de um ramo corresponde à insatisfatibilidade da negação da possível conclusão, o que por sua vez implica na validade da mesma.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção. / Made available in DSpace on 2012-10-22T03:33:59Z (GMT). No. of bitstreams: 0

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas. Curso de Pós-Graduação em Física / Made available in DSpace on 2012-10-19T05:19:12Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T20:36:06Z : No. of bitstreams: 1 182697.pdf: 22554054 bytes, checksum: 6120b4e168f46cfc31a3499cd8f4c542 (MD5) / Utilizamos a teoria de probabilidades para abordar matematicamente o problema de sintetizar as propriedades espectrais de galáxias, usando uma base de populações estelares que varre intervalos de idade e metalicidade. Esta técnica fornece estimativas para o vetor de populações X, que contém as contribuições dos diferentes elementos da base para o espectro integrado de uma galáxia. Também estimamos o avermelhamento AV causado pela poeira inter-estelar. As estimativas são dadas na forma de distribuições de probabilidade, permitindo uma avaliação quantitativa das incertezas. O formalismo é descrito no capítulo 2. Desenvolvemos um código que sintetiza larguras equivalentes e cores (razões de fluxo) no contínuo a partir da combinação dos 12 elementos da base. Esta base é uma versão muito utilizada de uma base maior construída com as observações de aglomerados estelares feitas por Bica & Alloin (1986). Outros estudos com esta base forneceram estimativas médias para o vetor de populações X e AV usando o Procedimento das Combinações Diretas (PDC) para varrer o espaço de parâmetros. Revisitamos este problema e introduzimos um algoritmo Markoviano quasi-randômico baseado no Método Monte Carlo de amostragem para varrer o espaço de parâmetros de 13-D e calcular a probabilidade P(X, AV), guiados pela função Verossimilhança. Testes com este algoritmo são apresentados no capítulo 3. No capítulo 4 analisamos a capacidade do procedimento de síntese de recuperar as histórias de formação estelar e enriquecimento químico como função dos (1) erros observacionais e (2) conjuntos de observáveis utilizados. Encontramos que apenas para erros muito baixos (S/N > 300) todos os 12 componentes do vetor X podem ser recuperados com precisão. A distribuição combinada em idade, entretanto, pode ser recuperada para erros tão baixos quanto 30. Concluímos que a base é capaz de recuperar com precisão a história de formação estelar, mas não é adequada para estudos sobre evolução química, devido `a estrutura interna da base. Concluímos que a síntese das larguras equivalentes em conjunto com as cores produz melhores resultados do que a síntese das larguras equivalentes apenas, apesar da inclusão de AV como um parâmetro extra. No capítulo 5 aplicamos o método a 24 das 55 galáxias do atlas de Kennicutt (1992). Estudamos a relação entre as populações estelares e os tipos morfológicos e espectrais das galáxias e uma excelente consistência geral entre estes diferentes tipos de informação foi encontrada. No capítulo 6, ilustramos graficamente o ``domínio sintético'' gerado pelos 12 elementos da base definida por Schmidt et al. (1991). Este conceito (Pelat 1998) é muito útil para testar a possibilidade algébrica de sintetizar um dado grupo de observáveis e inferir sobre o problema da unicidade das soluções. Finalmente, no capítulo 7 apresentamos as conclusões e indicamos as futuras aplicações da metodologia apresentada neste trabalho.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Fisícas e Matemáticas. / Made available in DSpace on 2012-10-19T08:22:39Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T22:04:20Z : No. of bitstreams: 1 176586.pdf: 1560915 bytes, checksum: 3861db18b3a9af88f187a4f6b00d225d (MD5) / Neste trabalho estudamos modelos teóricos e computacionais de sistemas micelares, a fim de explorar sua fenomenologia. Inicialmente descrevemos as moléculas anfifílicas, classificando-as de acordo com sua função química e ressaltando suas propriedades hidrofílicas e hidrofóbicas. Em seguida, damos os primeiros passos no entendimento da formação de agregados com a utilização da termodinâmica, observando seus tamanhos e formas. Introduzimos então os métodos de simulações em computadores destacando os de dinâmica molecular e de Monte Carlo, mostrando suas principais características e importância. Ao mesmo tempo, exibimos exemplos simples de aplicação de cada método, justificando a utilização do método de Monte Carlo para obtenção de nossos dados. São mostrados também os detalhes das simulações desde a modelagem até a implementação, ressaltando os problemas relacionados ao tempo de relaxação, efeitos de tamanho finito e correlações. Sendo um modelo computacional bastante aceito na literatura, realizamos ensaios de Monte Carlo em sistemas micelares em duas e três dimensões, dos quais obtemos informações sobre a concentração micelar crítica (CMC), polidispersividade e calor específico das soluções de moléculas anfifílicas. Estudamos a importância das várias energias de interação entre os componentes da solução e o comportamento das curvas de distribuição de tamanhos de agregados frente a mudança de comportamento não-micelar para o micelar em função da temperatura. Com o objetivo de resgatar algumas propriedades importantes dos sistemas anfifílicos, estudamos um modelo unidimensional de agregação baseado no modelo de Ising de spin 1. Este é resolvido exatamente a partir do método da matriz de transferência obtendo-se informações das curvas de distribuição de agregados e de uma possível CMC. Verificamos que este modelo unidimensional não é suficiente para representar um sistema anfifílico, dado que as curvas de distribuição de agregados não possuem um máximo e mínimo locais característicos dos sistemas micelares. Para este mesmo modelo unidimensional procuramos também pelas dinâmicas de spins que são necessárias à sua simulação. Observamos que as dinâmicas de Glauber e Kawasaki juntas levam a resultados numéricos em excelente concordância com os resultados exatos, o que nos permitirá realizar simulações em sistemas em maiores dimensões.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-19T12:48:17Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T23:08:48Z : No. of bitstreams: 1 175096.pdf: 15086181 bytes, checksum: 34a31f8b126f1406a9d43215e154487a (MD5) / Aborda a análise e o desenvolvimento de metodologias corretivas para a restauração da solução das equações do fluxo de potência de um sistema de energia elétrica. São apresentados quatro algoritmos utilizando diferentes tipos de técnicas de análise. O primeiro baseia-se no autovetor à esquerda associado ao autovalor nulo da matriz Jacobiana singular do fluxo de carga. Os outros três são baseados em métodos de otimização. Um utiliza o método de Newton e outros dois, o método Preditor-Corretor do Primal-Dual de Pontos Interiores. Mostra-se como as abordagens propostas podem ser aplicadas para considerar aspectos do cenário de desregulamentação do setor elétrico. É, ainda, apresentada uma forma alternativa para a resolução dos sistemas de equações não-lineares através dos métodos Quasi-Newton. No estudo, utilizou-se o método de Broyden no algoritmo do Mínimo Resíduo por Newton.

Made available in DSpace on 2016-01-13T13:27:11Z (GMT). No. of bitstreams: 0 Previous issue date: 1987. Added 1 bitstream(s) on 2016-01-13T13:31:29Z : No. of bitstreams: 1 000027526.pdf: 4306089 bytes, checksum: 3f34e92e12569f1fa3fb8fd15b01c199 (MD5)

Made available in DSpace on 2016-04-01T17:54:48Z (GMT). No. of bitstreams: 0 Previous issue date: 2007-06-15. Added 1 bitstream(s) on 2016-04-01T18:00:28Z : No. of bitstreams: 1 000545464.pdf: 4772196 bytes, checksum: f68c3fe8004accdb448a75c562dc519b (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / The goal of this paper was to simulate through the Finite Element Method, the bone structure of rabbits (tibia), when subjected to a determined static transversal loading, and validate the numerical model obtained in the software Ansys. The mechanical behaviour of biomechanical structures, as tibia, femur, bones in general, are too much similar as mechanical structures, for example beams, bars, pipes, bridges, trusses, and so on. There were several difficulties in generating the three-dimensional model; we can numerate them. The first was to build the model exactly with all the irregular surfaces. For solve this problem, we measured along the length of the tibia for each five millimeters, beginning on the position of the implant. The second difficulty was to separate different materials that constitute the body of the bone, for instance, the cortical bone and the medular bone, as well as the region of implant of titanium. We differentiate the regions where each type of bone occurs, including the osseointegrated region. The third difficulty was to represent the load that acted over the bone structure. We adopt the load as a distributed pressure located over the region of the implant. The finite element model was simulated by Ansys software, where was applied tetrahedricals elements. For validating the model, the results were checked with the bibliography revision. We compare the results of intensity of maximal stress generated by the model with the maximal stress obtained experimentally. We conclude that was a reasonable approach, considering the accuracy of the constructed model.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Física, Programa de Pós-Graduação em Física, 2012. / Submitted by Alaíde Gonçalves dos Santos (alaide@unb.br) on 2012-05-31T16:00:32Z No. of bitstreams: 1 2012_NataliaCoelhodeSena.pdf: 3535758 bytes, checksum: 4b9814064cf9219407824ffeef264da1 (MD5) / Approved for entry into archive by Elzi Bittencourt(elzi@bce.unb.br) on 2012-06-02T15:01:50Z (GMT) No. of bitstreams: 1 2012_NataliaCoelhodeSena.pdf: 3535758 bytes, checksum: 4b9814064cf9219407824ffeef264da1 (MD5) / Made available in DSpace on 2012-06-02T15:01:50Z (GMT). No. of bitstreams: 1 2012_NataliaCoelhodeSena.pdf: 3535758 bytes, checksum: 4b9814064cf9219407824ffeef264da1 (MD5) / O efeito do teor de gadolínio nas propriedades estruturais e magnéticas de ferritas de GdxFe(3-x)O4, com 0≤x≤0,50, foi investigado. As amostras foram preparadas pelo método de coprecipitação química da mistura de cloretos de Gd e Fe em meio alcalino e caracterizadas por difração de Raios-X (DRX), microscopia eletrônica de transmissão (MET), espectroscopia Raman e espectroscopia Mössbauer. O método de Rietveld foi utilizado na discussão dos dados de DRX. Os dados, de modo geral, evidenciaram que íons de Fe foram substituídos por íons de Gd em todas as amostras estudadas. Além do mais, os dados Raman e Mössbauer mostraram que íons de Gd estão presentes tanto no sítio tetraédrico quanto no octaédrico. Este resultado foi confirmado pela análise de Rietveld. A espectroscopia Raman mostrou que as nanopartículas de GdxFe(3-x)O4 apresentaram simetria espinélio cúbica, com o teor de Gd introduzido na estrutura cristalina variando muito pouco de amostra para amostra. A difração de Raios-X revelou a presença de apenas uma fase cristalina e que tanto o diâmetro médio quanto o parâmetro de rede aumentam com o aumento do teor nominal de Gd nas amostras. Contudo, verificou-se que os diâmetros médios obtidos por DRX são muito superiores aos obtidos por MET, sugerindo que as nanopartículas menores são provavelmente amorfas. Da análise de Rietveld, a fórmula química das nanopartículas de GdxFe(3-x)O4 foi determinada, constatando-se que o teor efetivo de Gd na estrura cristalina das amostras está em torno de 10% do total disponível na síntese. Diferentemente do esperado, foi constatado que íons Gd3+ também substituem íons Fe2+ , o que consequentemente induziu a formação de vacâncias na estrutura cristalina das nanopartículas. Finalmente, observou-se que o parâmetro de rede da célula cúbica decresce linearmente com o aumento do teor de vacâncias. _______________________________________________________________________________ ABSTRACT / The effect of the concentration of gadolinium in the structural and magnetic properties of GdxFe(3-x)O4, with 0≤x≤0,50 ferrites was investigated. The samples were prepared by the chemical coprecipitation method of Fe and Gd chlorides in an alkaline medium and characterized by X-ray diffraction (XRD), transmission electron microscopy (TEM), Raman spectroscopy and Mössbauer spectroscopy. The Rietveld method was used to discuss XRD data. In general, the data pointed that iron ions were replaced by gadolinium ions in all samples. Furthermore, Raman and Mössbauer data have shown that Gd ions are in both tetrahedral and octahedral sites, which was confirmed by Rietveld analysis. Raman spectroscopy has shown that the GdxFe(3-x)O4 nanoparticles have cubic spinel symmetry, with little variation of the content of Gd introduced into the crystal structure from sample to sample. XRD revealed the presence of only one crystalline phase and that both the average diameters and the lattice parameters raise with increasing nominal content of Gd in the samples. However, it was found that the average diameters obtained by XRD are far superior than that obtained by TEM, suggesting that the smaller nanoparticles are probably amorphous. From Rietveld analysis, the chemical formula of the nanoparticles of GdxFe(3-x)O4 was determined, verifying that the effective Gd-content in the lattice structure of the samples is around 10% of the total available in the synthesis. Differently from expected, it was verified that Gd3+ ions also replace Fe2+ ions, which induced vacancy formation in the nanoparticles crystalline structure. Finally, it was observed that lattice parameters decreases linearly with increasing vacancy content.

A detecção de Salmonella sp. é fundamental nos programas de controle de salmonelose. Métodos de detecção mais eficientes permitem uma melhor determinação do nível de infecção dos rebanhos, um melhor entendimento da epidemiologia da infecção por Salmonella sp. e o desenvolvimento de programas de controle do patógeno, que visem a segurança biológica do alimento. Nos métodos convencionais, o enriquecimento seletivo é uma etapa crítica, pois inibe a microbiota competitiva e permite a multiplicação de Salmonella sp. Vários caldos de enriquecimento seletivo têm sido comparados quanto à eficiência na recuperação de Salmonella sp. a partir de alimentos, contudo existem poucos estudos relativos a fezes de suínos. O objetivo deste trabalho foi comparar caldos de enriquecimento seletivo para o isolamento de Salmonella sp. a partir de fezes de suínos. Numa primeira fase, amostras de fezes foram contaminadas artificialmente e os caldos Rappaport-Vassiliadis incubado a 42°C (RV), Tetrationato Müller-Kauffmann a 37°C (TMK37) e 42°C (TMK42), e Selenito Cistina (SC) a 37°C foram testados, em associação com meios sólidos seletivos: Rambach (RA), Xilose Lisina Tergitol 4 (XLT4), e Verde Brilhante Vermelho de Fenol Lactose Sacarose (VB). Na segunda fase os caldos RV, TMK37 e TMK42, semeados nos meios XLT4 e VB, foram testados com amostras naturalmente contaminadas. Na primeira fase o RV, TMK42 e TMK37 foram mais eficientes que o SC. No isolamento de Salmonella sp. em amostras naturalmente contaminadas os caldos TMK42 e RV foram superiores ao TMK37. O desempenho destes influenciou diretamente a capacidade seletiva e indicadora dos meios sólidos seletivos. No presente estudo, a associação TMK42/XLT4 demonstrou ser mais sensível, e a RV/XLT4 mais específica. O ágar VB também é recomendado para aumentar a probabilidade de detecção do patógeno. Desta forma os caldos RV e TMK42 e o ágar XLT4 e o VB foram considerados os mais indicados para a implantação de protocolos de detecção de Salmonella sp. em fezes suínas. / Detection of Salmonella is a key point in veterinary Salmonella research and surveillance programs. Through an efficient method for pathogen detection, the herd infection leveI could be better determinated, which would permit the understanding of Salmonella infection epidemiology and the developing of pathogen control programs in order to achieve biological food safety. In a conventional isolation method, the selective enrichment is a critical step because it suppresses competitive microflora and permits Salmonella sp. to proliferate. Several selective enrichment broths have been compared for recovering Salmonella sp. from foods. However the isolation ITomswine feces has been conduct in a few studies. The aim of this study was to compare the efficiency of different selective enrichment methods for the isolation of Salmonella sp. from swine feces. In a first step, swine feces samples were artificially contaminated and Rappaport- Vassiliadis broth incubated at 42°C (RV), MüIler-Kauffmann tetrathionate broth at 37°C (MKT37) and 42°C (MKT42), and Selenite Cystine broth at 37°C (SC) were tested, in association with selective plating media: Xylose Lisine Tergitol 4 (XLT4), Brilliant Green Phenol Red Lactose Sucrose (BG). Later, in a second step, RV, MKT42 and MKT37 broths were streaked in XLT4 and BG media and tested with naturally contaminated samples. At the first step RV, MKT42 and MKT37 broths were more efficient than SC broth. When Salmonella sp. were isolated from naturally contaminated samples MKT42 and RV broth were superior to MKT37. The performance of the broths affected the selectivity and differentiation capacity of the selective plating media used. In the present study the association MKT42/XLT4 was the most sensitive and RV/XLT4 was the most specific. The use of BG agar is also recommended to improve the likelihood of Salmonella sp. detection. Therefore, RVand MKT42 broth, and XLT4 and VB media were considered the most appropriated to be used in detection protocols of Salmonella sp. from swine feces.