Métodos não convencionais para avaliação da porosidade e da densidade do solo de um latossolo vermelho

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

Geração de algoritmos de escalonamento para simulação de grades computacionais

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

Paralelização da ferramenta de alinhamento de sequências MUSCLE para um ambiente distribuído

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

Estudo e implementação do método de Ewins-Gleeson para identificação de parâmetros modais

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

Rotulagem como mecanismo de compartilhamento de informações com agentes da cadeia produtiva do café

The Agroindustrial System coffee after decades of state regulation has become a decentralized economic activity. This situation compelled most of the actors in the production chain to resort to self r egulatory systems offered by certification agencies, which have specific criteria and procedures. However the diversity criteria of the agencies do not offer resources able to ensure efficient management of the governance structure. There is a need to reduce the asymmetry of information, which is possible through the sharing of data compatible with the production tracking feature. This work is supported in this contextualized problem, based on Transaction Cost Theory and the use of qualitative and quantitative research methodologies. The first part of the work seeks to know the procedures required by leading regulatory agencies in Brazil, with perspective to emphasize the similarities and compatibilities between them, which was reached after analysis of standards and comparison of similarities. Next is registered the operation and the coffee traceability of the structure, in order to identify, through observation, documental and bibliographical analysis, the systems in place and traceable information in line with the recommendations of the coffee certification. Finally, he sought to create a labeling model that allows to generate and share information about the product from the field to the sale for consumption. The information obtained in the previous steps were the basis for data collection with the production chain agents through a structured questionnaire administered to 618 agents of the production chain, whose answers were treated by multivariate methods of statistical analysis. The results showed that actors in the chain are in favor of inclusion and sharing information related to rural production and economic and environmental data. This knowledge enabled develop a labeling model where the information sharing agents is an efficient mechanism to mitigate the governance problems identified.

Paralelismo de inversores monofásicos, isolados ou em conexão com a rede, com otimização da resposta dinâmica

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

Supressão de interferência em sistemas de banda ultra larga e classificação automática de modulação

Esta tese apresenta duas contribuições distintas na área de sistemas de comunicações sem fi o. Primeiro, é apresentada uma formulação analítica para a análise de desempenho de sistemas utilizando multiplexação multibanda por divisão ortogonal na frequência (MB-OFDM, do inglês Multi-Band Orthogonal Frequency-Division Multiplexing ) com um ltro notch para mitigar a interferência em banda estreita causada por outros sistemas que operam dentro da faixa de frequências alocada para sistemas UWB. Em seguida, um novo front end para classificação automática de modulações com o uso de aprendizado discriminativo é proposto. Esse front end pode ser utilizado por qualquer classi cador discriminativo e consiste em ordenar magnitude e fase do símbolos recebidos. Os resultados obtidos pelo classi cador proposto mostraram-se competitivos com outros algoritmos já existentes na literatura.

O aprendizado de regras matemáticas: uma pesquisa de inspiração wittgensteiniana com crianças da 4ª série no estudo da divisão

Neste trabalho, investigamos o aprendizado de regras matemáticas no contexto da sala de aula, com ênfase, principalmente, nas discussões sobre a linguagem. Nosso objetivo principal foi pesquisar as dificuldades de ordem lingüística, enfrentadas pelos alunos no decurso do aprendizado das regras matemáticas, em especial, o conceito/algoritmo da divisão. Para tanto, discutimos, entre outras coisas, o tema “seguir regras”, proposto pelo filósofo austríaco Ludwig Wittgenstein em sua obra Investigações Filosóficas. Nosso trabalho e nossas análises foram fundamentadas, principalmente, na filosofia deste autor, que discute, entre outros temas, a linguagem e sua significação e os fundamentos da matemática, bem como nas reflexões do filósofo Gilles-Gaston Granger que analisa as linguagens formais. Realizamos uma pesquisa de campo que foi desenvolvida na Escola de Aplicação da Universidade Federal do Pará, em uma turma da quarta série do ensino fundamental. As aulas ministradas pela professora da turma foram observadas e, posteriormente, foi solicitado aos alunos que resolvessem problemas de divisão verbais e não-verbais, seguido de uma breve entrevista, na qual indagamos, entre outras questões, como os alunos resolveram os problemas envolvendo a divisão. Em nossas análises destacamos algumas dificuldades dos alunos, percebidas nas observações e em seus registros escritos ou orais: alguns alunos, em suas estratégias de resolução, inventam novas “regras matemáticas”. Há ainda aqueles que “confundem” os contextos na resolução de problemas matemáticos verbais, bem como a dificuldade de compreensão de problemas que trazem informações implícitas.

A atividade pesqueira nas ilhas do entorno de Belém

O Estuário Amazônico é uma região com condições propícias de produtividade, tornando a área favorável a pesca. As ilhas do Combu, Ilha das Onças e Mosqueiro, alvo deste estudo, fazem parte do Estuário Amazônico e a pesca é uma atividade praticada constantemente pelos moradores dessas ilhas. Baseando-se nessas informações, o objetivo do presente estudo foi descrever e comparar as diferentes modalidades de pesca das ilhas do Combu, Ilha das Onças e Mosqueiro, identificando os atributos que mais contribuem para a formação dos sistemas de produção, para o posterior acompanhamento das pescarias nas ilhas do entorno de Belém, considerando as dimensões econômica, social, ecológica e tecnológica. Deste modo espera-se auxiliar a geração de subsídios para a formulação de políticas públicas para o setor pesqueiro. Variáveis descritivas e numéricas considerando as diferentes dimensões foram utilizadas com a finalidade de descrever os sistemas de produção pesqueira de forma que tornassem comparativos tanto os sistemas quanto as ilhas estudadas. Para a análise estatística comparativa foram utilizadas apenas as variáveis numéricas (médias e porcentagens), provenientes tanto de dados coletados em campo quanto da pesquisa em dados secundários. Análise multivariada de agrupamento e ordenação (MDS), comparando os sistemas foi aplicada visando identificar os agrupamentos e as possíveis causas da semelhança entre os sistemas de pesca por ilha. Na ilha do Combu foram identificados os sistemas de matapi, emalhe consumo, tapagem, espinhel anzol médio e espinhel anzol grande. Na ilha das Onças foram observados os sistemas de matapi, emalhe consumo, emalhe comercial, tapagem, espinhel anzol médio e espinhel anzol grande. Em Mosqueiro identificou-se a pesca de matapi, emalhe comercial, espinhel anzol médio e espinhel anzol grande. As análises dos sistemas em todas as dimensões mostraram que a ilha de Mosqueiro se diferencia das demais ilhas estudadas. Quando analisadas por dimensão separadamente o sistema matapi, tapagem e emalhe consumo das ilhas do Combu e Ilha das Onças se mostraram muito similares. Entretanto os sistemas observados em Mosqueiro se diferenciam principalmente na dimensão econômica. Com base nos resultados observados pode-se afirmar que a pesca nas ilhas do Combu e Ilha das Onças é de subsistência e a atividade principal é o extrativismo vegetal enquanto em Mosqueiro a pesca caracteriza-se principalmente como comercial. Apesar da pesca nas ilhas do Combu e Ilha das Onças servirem apenas para subsistência representam importante fonte de alimento e renda extra para os moradores. Em Mosqueiro a pesca tem importância econômica elevada, porém as áreas de pesca são exploradas também por pescadores de outros locais do Estado sem que existam iniciativas de manejo por parte dos governantes.

Caracterização geotécnica com base na compartimentação fisiográfica: aplicação em Poços de Caldas - MG

This work presents a comparison of alkaline and cristaline terrains of an area inside a Poços de Caldas (MG) contry for appropriate urban expansion. The study area has 52km2 through rural and urban terrains with geological and geomorphological differences. At present Poços de Caldas has more than 130 thousand people and expansion government plans are from 1993 showing the necessity of studies of infrastructure to population and tourists. At last 40 years the city became a place with job offers in bauxite minning causing a population increase about 200%. At this way this work uses the Vedolvello (2000)´s method of terrains physiographic compartimentalization (UBCs) with integrated analysis (Land Systems) made by remote sensing products (air photos). After that field trips was performed to check unity limits by observation of rocks, relief and weathering soil profile. The main results are Engineering Geological Map and a classification table of Basic Units of Compartimentalization to presents the characteristics to uses and soil occupation.

Considerações e avaliações das solicitações em estruturas de edificações de paredes de concreto pré-moldado utilizando o modelo de pórtico tridimensional: estudo de caso

The present study is in reference to precast concrete (panels) walls as the main structural system. The diversification of the structural systems is a reality due to specific characteristics', as a result there is a lack of study and analysis. Some systems are already established in their applications, for instance: conventional reinforced concrete, structural masonry, metal structures, and wood structure. Apart from this precast concrete elements has had a growth in building sites in Brazil, therefore professionals should be more aware. Affordable house funding initiatives to address the housing shortage has been recurrent throughout the country, additionally precast concrete walls has been an alternative that meets the three basic concepts of engineering, which are: the technique, economy, and security. The objective of this study is to gather concepts from the literature and TOMO (2012) about precast concrete walls and make a didactic synthesis of how they are viewed. The modeling structure method of the system was performed following the concept of assigning bars, using the computer program of calculations SAP2000. Initially will be presented a theoretical part, furthermore a case study to illustrate the sizing of the walls using EXCEL tables programmed with calculation routine. The results will be presented in calculated efforts by the program for further analysis. Finally, will be highlighted important items of modeling and interpretation of the results

Genetic diversity, virulence genes and antimicrobial resistance of Salmonella Enteritidis isolated from food and humans over a 24-year period in Brazil

Salmonellosis is a major health problem worldwide. Serovar Enteritidis has been a primary cause of Salmonella outbreaks in many countries. In Brazil, few molecular typing studies have been performed. The aims of this study were to molecularly type Salmonella Enteritidis strains isolated in Brazil in order to determine the genetic relationship between strains of food and human origin, as well as, to assess their pathogenic potential and antimicrobial resistance. A total of 128 S. Enteritidis strains isolated from human feces (67) and food (61) between 1986 and 2010 were studied. The genotypic diversity was assessed by ERIC-PCR and PFGE using Xbal, the antimicrobial resistance by the disc-diffusion assay and the presence of the SPI-1, SPI-2 and pSTV virulence genes assessed by PCR. The ERIC-PCR results revealed that 112 strains exhibited a similarity of >85.4% and the PFGE that 96 strains exhibited a similarity of >80.0%. Almost all strains (97.6%) harbored all 13 virulence genes investigated. Thirty-six strains (28.12%) were resistant to nalidixic acid. In conclusion, the nalidixic acid resistance observed after 1996 is indicative of an increase in the use of this drug. It may be suggested that these 128 strains might have descended from a common ancestor that differed little over 24 years and has been both contaminating food and humans and causing disease for more than two decades in Brazil. (c) 2012 Elsevier Ltd. All rights reserved.

Higher-Order Concurrency: Expressiveness and Decidability Results

Higher-order process calculi are formalisms for concurrency in which processes can be passed around in communications. Higher-order (or process-passing) concurrency is often presented as an alternative paradigm to the first order (or name-passing) concurrency of the pi-calculus for the description of mobile systems. These calculi are inspired by, and formally close to, the lambda-calculus, whose basic computational step ---beta-reduction--- involves term instantiation. The theory of higher-order process calculi is more complex than that of first-order process calculi. This shows up in, for instance, the definition of behavioral equivalences. A long-standing approach to overcome this burden is to define encodings of higher-order processes into a first-order setting, so as to transfer the theory of the first-order paradigm to the higher-order one. While satisfactory in the case of calculi with basic (higher-order) primitives, this indirect approach falls short in the case of higher-order process calculi featuring constructs for phenomena such as, e.g., localities and dynamic system reconfiguration, which are frequent in modern distributed systems. Indeed, for higher-order process calculi involving little more than traditional process communication, encodings into some first-order language are difficult to handle or do not exist. We then observe that foundational studies for higher-order process calculi must be carried out directly on them and exploit their peculiarities. This dissertation contributes to such foundational studies for higher-order process calculi. We concentrate on two closely interwoven issues in process calculi: expressiveness and decidability. Surprisingly, these issues have been little explored in the higher-order setting. Our research is centered around a core calculus for higher-order concurrency in which only the operators strictly necessary to obtain higher-order communication are retained. We develop the basic theory of this core calculus and rely on it to study the expressive power of issues universally accepted as basic in process calculi, namely synchrony, forwarding, and polyadic communication.

Analisi statica dei Deadlock in Featherweight Java con Futuri

Abbiamo studiato ABSFJf, un linguaggio ad oggetti concorrente con tipi di dato futuro ed operazioni per acquisire e rilasciare il controllo delle risorse. I programmi ABSFJf possono manifestare lock (deadlock e livelock) a causa degli errori del programmatore. Per individuare staticamente possibili com- portamenti non voluti abbiamo studiato e implementato una tecnica per l'analisi dei lock basata sui contratti, che sono una descrizione astratta del comportamento dei metodi. I contratti si utilizzano per formare un automa i cui stati racchiudono informazioni di dipendenza di tipo chiamante-chiamato; vengono derivati automaticamente da un algoritmo di type inference e model- lati da un analizzatore che sfrutta la tecnica del punto

Coordination and Control of Autonomous Mobile Robots Swarms by using Particle Swarm Optimization Algorithm and Consensus Theory

This thesis presents some different techniques designed to drive a swarm of robots in an a-priori unknown environment in order to move the group from a starting area to a final one avoiding obstacles. The presented techniques are based on two different theories used alone or in combination: Swarm Intelligence (SI) and Graph Theory. Both theories are based on the study of interactions between different entities (also called agents or units) in Multi- Agent Systems (MAS). The first one belongs to the Artificial Intelligence context and the second one to the Distributed Systems context. These theories, each one from its own point of view, exploit the emergent behaviour that comes from the interactive work of the entities, in order to achieve a common goal. The features of flexibility and adaptability of the swarm have been exploited with the aim to overcome and to minimize difficulties and problems that can affect one or more units of the group, having minimal impact to the whole group and to the common main target. Another aim of this work is to show the importance of the information shared between the units of the group, such as the communication topology, because it helps to maintain the environmental information, detected by each single agent, updated among the swarm. Swarm Intelligence has been applied to the presented technique, through the Particle Swarm Optimization algorithm (PSO), taking advantage of its features as a navigation system. The Graph Theory has been applied by exploiting Consensus and the application of the agreement protocol with the aim to maintain the units in a desired and controlled formation. This approach has been followed in order to conserve the power of PSO and to control part of its random behaviour with a distributed control algorithm like Consensus.