Análise estática de vigas em materiais compósitos usando computação simbólica

Na presente dissertação estuda-se o comportamento mecânico em vigas construídas em materiais compósitos, abordando diferentes teorias de base. Foram desenvolvidos dois elementos Lagrangeanos de viga-barra, baseados na teoria ao corte de primeira ordem e na teoria ao corte de ordem superior, quadráticos e cúbicos, respectivamente. Os modelos foram implementados na aplicação de computação simbólica MAPLE e comparados com soluções alternativas. Foram realizados estudos em análise estática linear e nesse contexto foi estudada a influência da variação dos ângulos de orientação das fibras e do número de camadas de empilhamento do laminado. Foi iniciado um estudo sobre o comportamento de materiais FGM.

Balanço dos nutrientes Ca+2, Mg+2, Na+, K+e NO3, em uma bacia de primeira ordem com vegetação Natural na Amazônia Central

O estudo foi conduzido em uma bacia hidrográfica experimental de primeira ordem de aproximadamente 3,5 km2 localizada próximo ao km 16 da estrada secundária ZF-02, do km 60 da rodovia BR-174 que liga Manaus - Boa Vista. O principal objetivo foi quantificar o balanço dos nutrientes Ca+2, Mg+2 Na+, K+e NO3 através da entrada via precipitação e saída via deflúvio. As coletas de água e os cálculos do fluxo de nutrientes foram feitos em base mensal por um período de um ano. Observou-se que as concentrações iônicas apresentaram pouca variação ao longo do tempo. As maiores concentrações na precipitação ocorreram em função do acúmulo de aerosóis na atmosfera, após um período longo sem chuva. Aparentemente a vegetação exerceu influência mais evidente sobre o nitrato em relação aos demais nutrientes. O fluxo dos nutrientes foi variável, onde principalmente a entrada total destes deu-se em função de eventos individuais de chuva de grande magnitude. O balanço em kg.ha-1.ano-1 foi positivo para todos os nutrientes com os seguintes ganhos líquidos: Ca+2 (2,33); Mg+2 (1,66); Na+ (2,07); K+ (l,80) e NO3 (5,84).

Colonização de macroinvertebrados bentônicos em detritos foliares em um riacho de primeira ordem na Floresta Atlântica do nordeste brasileiro

O objetivo do estudo foi avaliar a colonização de macroinvertebrados bentônicos em detritos foliares de Inga ingoides (Leguminosae) em experimentos de campo em um riacho de primeira ordem da Mata Atlântica do Estado de Pernambuco no nordeste do Brasil. Um total de 270 bolsas de folhiço, distribuídas em três trechos do riacho com características similares em relação à morfologia e parâmetros físicos e químicos da água foram submersas, entre fevereiro a julho de 2013 e retiradas após 7, 30, 60, 90 e 120 dias. Dois tratamentos foram utilizados: colonização e exclusão da macrofauna. O percentual de biomassa remanescente final (%R) foi maior para bolsas de colonização do que para as de exclusão, evidenciando a efetiva participação dos macroinvertebrados no processo de decomposição. Os fragmentadores apresentaram menor participação no processo de decomposição foliar de I. ingoides, sendo Tripletides (Trichoptera: Leptoceridae), Polypedillum e Stenochironomus (Diptera, Chironomidae) os táxons predominantes na macrofauna. Filtrador foi o grupo trófico funcional predominante (45,6%), seguido por predador (31,2%), coletor (11,8%), raspador (6,7%) e fragmentador (4,8%).

Larvas de Chironomidae ( Diptera) em depósitos de folhiço submerso em um riacho de primeira ordem da Mata Atlântica (Rio de Janeiro, Brasil)

Neste estudo investigamos a fauna de larvas de Chironomidae presente em depósitos submersos de matéria orgânica (folhiço) em um riacho de primeira ordem na região serrana (cerca de 1100 m) do Estado do Rio de Janeiro. A fauna de Chironomidae do folhiço submerso foi quantitativamente amostrada durante o outono, inverno, primavera e verão. A fragmentação do folhiço foi estimada e a presença de folhas, madeira, raízes e frutos foi investigada. Foram estudadas variações na composição da fauna e na estrutura do folhiço entre as estações do ano e levantadas hipóteses acerca de possíveis fatores que influenciariam os quironomídeos nestes depósitos de folhiço. As subfamílias Chironominae, Orthocladiinae e Tanypodinae foram encontradas e as participações de freqüência de cada subfamília e gênero calculadas em cada estação. Chironominae e Orthocladiinae foram identificados até o nível genérico, e 23 gêneros foram encontrados. Lauterborniella, Polypedilum e Tanytarsus foram os gêneros mais abundantes. Foi observada uma variação na estrutura do folhiço submerso entre as estações do ano, sendo provavelmente influenciada pelas interações entre fatores climáticos (principalmente precipitações) e o relevo e seus efeitos na bacia de drenagem. A fauna de Chironomidae também apresentou mudanças durante o período estudado, com grupos variando quanto à participação relativa e quanto à ocorrência entre as estações. Os efeitos do clima na vegetação e nas características físicas do riacho foram discutidos para elucidar suas influências nos depósitos de folhiço e na fauna de Chironomidae.

Método Melhorado para Calcular a Leitura Infinita de Cinéticas de Primeira Ordem

Infinity readings for first order kinetics can be calculated from any three measurements (triads) of a physical property l at three equallyspaced times. Accurate results can be obtained from time intervals aslow as 0.4 half-life. Calculation of infinity readings l¥ from severaltriads at increasing values of time gives an insight into the deviation of the first order kinetics when parallel, consecutive or other spurious reactions occur along with the main first order reaction, not allowing direct measurements or calculation of l¥. The proposed method is more sensitive in distinguishing between first and second order kinetics than the Guggenheim and Kezdy-Swinbourne methods.

Influência da construção da usina hidroelétrica de Porto Primavera na evolução de canais de primeira ordem da rede de drenagem do Ribeirão das Anhumas - UGRHI Pontal do Paranapanema

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Determinação das velocidades intervalares usando a teoria paraxial do raio: aproximação de segunda ordem dos tempos de trânsito

Neste trabalho foi desenvolvido um método de solução ao problema inverso para modelos sísmicos compostos por camadas homogêneas e isotrópicas separadas por superfícies suaves, que determina as velocidades intervalares em profundidade e calcula a geometria das interfaces. O tempo de trânsito é expresso como uma função de parâmetros referidos a um sistema de coordenadas fixo no raio central, que é determinada numericamente na superfície superior do modelo. Essa função é posteriormente calculada na interface anterior que limita a camada não conhecida, através de um processo que determina a função característica em profundidade. A partir da função avaliada na interface anterior se calculam sua velocidade intervalar e a geometria da superfície posterior onde tem lugar a reflexão do raio. O procedimento se repete de uma forma recursiva nas camadas mais profundas obtendo assim a solução completa do modelo, não precisando em nenhum passo informação diferente à das camadas superiores. O método foi expresso num algoritmo e se desenvolveram programas de computador, os quais foram testados com dados sintéticos de modelos que representam feições estruturais comuns nas seções geológicas, fornecendo as velocidades em profundidade e permitindo a reconstrução das interfaces. Uma análise de sensibilidade sobre os programas mostrou que a determinação da função característica e a estimação das velocidades intervalares e geometria das interfaces são feitos por métodos considerados estáveis. O intervalo empírico de aplicabilidade das correções dinâmicas hiperbólicas foi tomado como uma estimativa da ordem de magnitude do intervalo válido para a aplicação do método.

Algoritmo de resolução de EDO de primeira ordem com implementação em HTML

This work presents a theoretical study of ordinary differential equations of first order directed so as to provide basis for the development of an educational software that helps students and researchers confronted with this issue. The algorithm was developed in HTML language in to that the results provide a website that allows the audience to access the software anywhere which has internet connection

Efeito da paisagem na incidência da ictiofauna em rios de primeira ordem na bacia do Corumbatai, SP

Não disponível

Dinâmica secular rotacional de corpos tri-axiais: expansão de V em ressonâncias de primeira ordem

Consider a finite body of mass m (C1) with moments of inertia A, B and C. This body orbits another one of mass much larger M (C2), which at first will be taken as a point, even if it is not completely spherical. The body C1, when orbit C2, performs a translational motion near a Keplerian. It will not be a Keplerian due to external disturbances. We will use two axes systems: fixed in the center of mass of C1 and other inertial. The C1 attitude, that is, the dynamic rotation of this body is know if we know how to situate mobile system according to inertial axes system. The strong influence exerted by C2 on C1, which is a flattened body, generates torques on C1, what affects its dynamics of rotation. We will obtain the mathematical formulation of this problem assuming C1 as a planet and C2 as the sun. Also applies to case of satellite and planet. In the case of Mercury-Sun system, the disturbing potential that governs rotation dynamics, for theoretical studies, necessarily have to be developed by powers of the eccentricity. As is known, such expansions are delicate because of the convergence issue. Thus, we intend to make a development until the third order (superior orders are not always achievable because of the volume of terms generated in cases of first-order resonances). By defining a modern set of canonical variables (Andoyer), we will assemble a disturbed Hamiltonian problem. The Andoyer's Variables allow to define averages, which enable us to discard short-term effects. Our results for the resonant angle variation of Mercury are in full agreement with those obtained by D'Hoedt & Lemaître (2004) and Rambaux & Bois (2004)

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Sobre interações escalares e vetoriais na teoria de Duffin-Kemmer-Petiau

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Metodologia para aplicação da L-['INTPOT.13C1']metionina como traçador em tecidos de frangos de corte

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Turnover do carbono (δ13c) em linhagens de frangos de corte tipo colonial

Pós-graduação em Zootecnia - FMVZ

Método dos elementos de contorno na resolução do problema de segunda ordem em placas delgadas

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)