4 resultados para B formal method
em Universidade Federal do Pará
Resumo:
A globalização impulsionou a transformação dos locais a partir de suas potencialidades e identidades, dinamizando as transformações socioeconômicas, político-institucionais e ambientais em relação aos espaços e recursos naturais fornecidos ao homem. Dessa forma, a presente dissertação tem o objetivo de expor e analisar os resultados acerca da percepção dos moradores das comunidades São Leandro, Mata Sede e Braço Grande em relação as mudanças ocorridas a partir da extração de calcário na Jazida B-17 da Fábrica de Cimentos do Brasil S/A (CIBRASA) no Município de Capanema (PA). Todavia, a pesquisa constitui-se em um estudo de caso e, o método de interpretação da análise utilizado foi o Método Indutivo, no qual realizamos a aplicação de questionários e entrevistas abertas, utilizando a perspectiva de análise qualitativa e, secundariamente quantitativa. Portanto, a partir da pesquisa in loco foi constatado que as relações entre CIBRASA e vizinhança se caracterizam a partir de uma contraditória realidade, no qual de um lado tem-se a fábrica com sua extração de calcário e produção de cimento, e, do outro, as comunidades vizinhas da B-17 com sua agricultura familiar, convivendo com o efeito poluidor da extração de calcário, que pode impactar o ecossistema da região, suas produções e moradores. A atuação da CIBRASA gerou mudanças nas condições de vida da população e o desenvolvimento econômico do município através da geração de emprego e renda para uma parte da população, pois não inclui a vizinhança da Jazida B-17 que não percebe nenhum tipo de investimento, benefício econômico e social a partir da geração de emprego, renda, melhorias de saneamento básico, educação, transporte, segurança e saúde advindos após o início de lavra na Jazida B-17, enfatizando assim, a ausência de diálogo e inter-relação entre a CIBRASA, o Poder Público e a Vizinhança.
Resumo:
In this letter, a methodology is proposed for automatically (and locally) obtaining the shape factor c for the Gaussian basis functions, for each support domain, in order to increase numerical precision and mainly to avoid matrix inversion impossibilities. The concept of calibration function is introduced, which is used for obtaining c. The methodology developed was applied for a 2-D numerical experiment, which results are compared to analytical solution. This comparison revels that the results associated to the developed methodology are very close to the analytical solution for the entire bandwidth of the excitation pulse. The proposed methodology is called in this work Local Shape Factor Calibration Method (LSFCM).
Resumo:
Nesta dissertação é apresentado o desenvolvimento de algoritmos para aplicação do método Bridge-Weigh In Motion (B-WIM) para a pesagem em movimento de trens e para a caracterização do tráfego ferroviário, permitindo-se obter informações sobre a velocidade de passagem dos trens, número e espaçamento entre eixos. Os sistemas B-WIM a partir de uma simples instrumentação permitem determinar as cargas por eixo de veículos em movimento, eliminando o efeito dinâmico. Foram implementados os algoritmos para a determinação dos valores referentes a geometria do trem e das cargas, que foi validado a partir de um exemplo teórico, onde se simulou a passagem de um trem de características conhecidas sobre a ponte e as cargas por eixos foram determinadas com 100% de exatidão. Além disso, foi feito um exemplo numérico em elementos finitos, de um viaduto em concreto armado para aplicação do método, onde foi feita a determinação das cargas por eixo para diferentes velocidades de passagem do trem. A fim de reduzir o tempo de processamento nas análises do exemplo numérico, foi desenvolvido um algoritmo para a geração de cargas nodais no modelo numérico que reduziram o tempo de processamento em até 96% quando comparado com a análise de múltiplos passos (“Multi-Step”), que simula automaticamente a passagem do trem sobre a estrutura. Finalmente, o método foi testado em um caso real a partir de monitorações realizadas em um viaduto de concreto armado da Estrada de Ferro Carajás. Apesar de não ter sido possível a determinação das cargas por eixo da locomotiva, foi possível medir precisamente o peso bruto total da locomotiva quando se utilizou o modelo constitutivo de Collins & Mitchell (1991) para o concreto.
Resumo:
An analysis of the dietary content of haematophagous insects can provide important information about the transmission networks of certain zoonoses. The present study evaluated the potential of polymerase chain reaction-restriction fragment length polymorphism (PCR-RFLP) analysis of the mitochondrial cytochrome B (cytb)gene to differentiate between vertebrate species that were identified as possible sources of sandfly meals. The complete cytb gene sequences of 11 vertebrate species available in the National Center for Biotechnology Information database were digested with Aci I, Alu I, Hae III and Rsa I restriction enzymes in silico using Restriction Mapper software. The cytb gene fragment (358 bp) was amplified from tissue samples of vertebrate species and the dietary contents of sandflies and digested with restriction enzymes. Vertebrate species presented a restriction fragment profile that differed from that of other species, with the exception of Canis familiaris and Cerdocyon thous. The 358 bp fragment was identified in 76 sandflies. Of these, 10 were evaluated using the restriction enzymes and the food sources were predicted for four: Homo sapiens (1), Bos taurus (1) and Equus caballus (2). Thus, the PCR-RFLP technique could be a potential method for identifying the food sources of arthropods. However, some points must be clarified regarding the applicability of the method, such as the extent of DNA degradation through intestinal digestion, the potential for multiple sources of blood meals and the need for greater knowledge regarding intraspecific variations in mtDNA.