Determinação física e numérica de corridas de lama resultantes de ruptura de barreira retendo material viscoplástico

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

Da noção ao texto: um estudo enunciativo da produção textual

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

Zoneamento geoambiental do município de Praia Grande (SP): uma contribuição aos estudos sobre a Baixada Santista

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

Avaliação em modelo fotoelástico do sistema de força gerado pela mola T de retração

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

Agricultura familiar e desenvolvimento rural sustentável na Amazônia

O artigo apresenta uma discussão crítica dos conceitos teóricos e metodológicos nos quais se baseiam as análises da pequena produção agrícola na Amazônia a partir dos anos sessenta. A visão da agricultura amazônica como agricultura itinerante, pouco produtiva, destrutora do meio ambiente e condenada ao desaparecimento devido ao avanço das grandes propriedades (o modelo do ciclo de fronteira) é contrastada com a tendência para uma consolidação da agricultura familiar baseada em sistemas de produção mais complexos, que incluem culturas permanentes, a pequena criação e gado. Essa tendência foi detectada mais claramente no Nordeste paraense, mas comprovada estatisticamente para o estado do Pará e a região Norte. Isso significa que a tese do ciclo de fronteira tem uma validez limitada, sobretudo nas regiões de colonização mais antiga. Contudo, pesquisas sobre as fronteiras mais recentes mostram sistemas de produção que se baseiam mais fortemente na pecuária no Sul do Pará e nas culturas permanentes na Transamazônica. Esses sistemas fogem à classificação simplificada de agricultura itinerante, mas representam trajetórias diferentes do Nordeste paraense.

Desenvolvimento de framework para análise e simulação dinâmica de sistemas elétricos de potência

Esta tese apresenta uma metodologia flexível orientada a objetos (OO) para a aplicação no projeto e implementação de sistemas de software utilizados na realização de estudos dinâmicos de sistemas elétricos de grande porte. A metodologia OO proposta objetiva tornar mais simples o desenvolvimento, a atualização e a manutenção de complexos sistemas de software para estudos de transitórios eletromecânicos em sistemas elétricos de potência. Os requisitos de usuário são mapeados para um conjunto de classes básicas, as quais são usadas para efetuar a modelagem de dispositivos dinâmicos tais como geradores elétricos. Para avaliação da metodologia foram realizados dois estudos de casos. No primeiro estudo caso o Framework foi aplicado na simulação das unidades geradoras da Usina Hidrelétrica de Tucuruí. Os resultados da simulação foram comparados com medições obtidos em ensaios no campo e mostrou a boa performance do Framework na reprodução dos fenômenos eletromecânicos desta usina de grande porte. No segundo estudo de caso, por outro lado, o Framework foi aplicado na modelagem de um sistema de geração fotovoltaico (PV) com seu sistema de Rastreamento da Potência Máxima (MPPT). O controle MPPT foi implementado usando técnicas digitais. Os resultados das simulações demonstram a performance do Framework na modelagem do sistema de controle de corrente, assim como no controle MPPT, dos sistemas de geração PV.

Uma arquitetura multiagente para sistemas de supervisão e controle de processos

Pós-graduação em Ciência da Computação - IBILCE

O designer e a prática profissional na indústria automobilística no Brasil

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

Ultrastructural features of spermatogenesis in Melanorivulus punctatus (Cyprinodontiformes: Rivulidae)

Fish belonging to the family Rivulidae possess one of the most complex reproductive systems. Rivulus, a genus of freshwater fish in the Rivulidae family, was recently reclassified into five genera, including Melanorivulus. Its type species, M. punctatus, is widely distributed and probably represents a species complex. The ultrastructure of sperm has been broadly used in systematics, and we hereby describe the ultrastructural features of spermatogenesis in M. punctatus. Ten M. punctatus males were collected from the reservoir of Parque Estadual da Quineira, municipality of Chapada dos Guimardes, Mato Grosso, Brazil, and prepared for analysis by light microscopy and transmission electron microscopy. M. punctatus undergoes cystic spermatogenesis. Its cysts consist of groups of germ cells that are in synchronous development and are surrounded by cytoplasmic projections of Sertoli cells. With the breakdown of the cysts, the spermatozoa are released and their maturation is completed in the duct, where part of the cytoplasmic material is discarded through the vesicles. The mature spermatozoon is characterized by a spherical head with homogeneously condensed chromatin, a symmetric midpiece consisting of a pair of perpendicular centrioles, a ring of mitochondria, several vesicles, and one flagellum medial to the nucleus. Early stages of spermatogenesis show no peculiarities; however, in spermiogenesis, we observed that the spermatids remain interconnected by cytoplasmic bridges and have pockets of residual cytoplasm. The sperm is of the aquasperm type and is similar to that observed in the members of the family Rivulidae. The spermatozoa have a single flagellum that consists of a classic axoneme (9 +2), as found in most groups of fish, despite the lateral extensions. (c) 2014 Elsevier Ltd. All rights reserved.

Construção de um sistema de gestão de materiais - MRP - Integrado ao Jogo de Empresas Mercado Virtual

Pós-graduação em Engenharia de Produção - FEB

Avaliação do processo de contaminação e remediação de água subterrânea por hidrocarbonetos

Pós-graduação em Engenharia Civil e Ambiental - FEB

Resgates e abandonos do passado na prática musical litúrgica católica no Brasil entre os pontificados de Pio X e Bento XVI (1903-2013)

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

Rotações no espaço tridimensional por meio de produtos quaterniônicos

Pós-graduação em Matemática Universitária - IGCE

JVM-based Techniques for Improving Java Observability

Observability measures the support of computer systems to accurately capture, analyze, and present (collectively observe) the internal information about the systems. Observability frameworks play important roles for program understanding, troubleshooting, performance diagnosis, and optimizations. However, traditional solutions are either expensive or coarse-grained, consequently compromising their utility in accommodating today’s increasingly complex software systems. New solutions are emerging for VM-based languages due to the full control language VMs have over program executions. Existing such solutions, nonetheless, still lack flexibility, have high overhead, or provide limited context information for developing powerful dynamic analyses. In this thesis, we present a VM-based infrastructure, called marker tracing framework (MTF), to address the deficiencies in the existing solutions for providing better observability for VM-based languages. MTF serves as a solid foundation for implementing fine-grained low-overhead program instrumentation. Specifically, MTF allows analysis clients to: 1) define custom events with rich semantics ; 2) specify precisely the program locations where the events should trigger; and 3) adaptively enable/disable the instrumentation at runtime. In addition, MTF-based analysis clients are more powerful by having access to all information available to the VM. To demonstrate the utility and effectiveness of MTF, we present two analysis clients: 1) dynamic typestate analysis with adaptive online program analysis (AOPA); and 2) selective probabilistic calling context analysis (SPCC). In addition, we evaluate the runtime performance of MTF and the typestate client with the DaCapo benchmarks. The results show that: 1) MTF has acceptable runtime overhead when tracing moderate numbers of marker events; and 2) AOPA is highly effective in reducing the event frequency for the dynamic typestate analysis; and 3) language VMs can be exploited to offer greater observability.

Determination of the critical coupling of explosive synchronization transitions in scale-free networks by mean-field approximations

An explosive synchronization can be observed in scale-free networks when Kuramoto oscillators have natural frequencies equal to their number of connections. The present paper reports on mean-field approximations to determine the critical coupling of such explosive synchronization. It has been verified that the equation obtained for the critical coupling has an inverse dependence on the network average degree. This expression differs from those whose frequency distributions are unimodal and even. In this case, the critical coupling depends on the ratio between the first and second statistical moments of the degree distribution. Numerical simulations were also conducted to verify our analytical results.