51 resultados para Automatos finitos
Resumo:
Um dos métodos clássicos da geofísica de exploração é o Método de Eletrorresistividade, estabelecido há um século pelos irmãos Schlumberger e desde então amplamente empregado em prospecção mineral, estudos ambientais e hidrogeologia e em pesquisa de fontes geotermais. Conceitualmente o método consiste de injeção de corrente elétrica na subsuperfície e de medida de diferença de potencial elétrico, resultante da interação da corrente com o meio. As localizações dessas fontes e receptores são determinadas pelo arranjo escolhido para o levantamento. Após o processamento, obtém-se pseudo-seções de resistividade aparente que indicam a distribuição de condutividade em subsuperfície. Devido à simplicidade dos fundamentos físicos de sua formulação, o método apresenta fácil implementação computacional quando comparado aos métodos eletromagnéticos de fonte controlada. Na literatura há inúmeros trabalhos de modelagem computacional, onde se calcula a resposta para problemas 2-D e 3-D. Nestes trabalhos, as pseudo-seções são obtidas a partir do cálculo do potencial elétrico total. Neste trabalho, apresentaremos a resposta da modelagem de eletroresistividade 2-D com o arranjo dipolo-dipolo, obtida a partir do potencial elétrico secundário. A solução é calculada através do método de elementos finitos usando malhas não estruturadas. Para efeito de validação, os resultados são comparados com a resposta 2-D obtida a partir dos potencias totais.
Resumo:
As distorções estáticas são um grave problema que afeta o método magnetotelúrico e muitas tentativas têm sido feitas para eliminar ou minimizar os seus efeitos. Este trabalho trata de uma técnica nova que trata deste problema, o método EMAP, que é uma adaptação do método magnetotelúrico na qual as medidas de campo elétrico são feitas em uma linha contínua de dipolos conectados entre si, e os dados coletados desta maneira são tratados com um filtro espacial passa-baixa dependente da frequência. Este trabalho é composto de duas partes principais, a simulação numérica dos dados contaminados com as distorções estáticas e a filtragem destes dados com o filtro espacial passa-baixa. Na primeira parte, aplicamos o método dos elementos finitos para simular a resposta dos dipolos elétricos, os quais fazem as medidas do campo elétrico. Na segunda parte aplicamos a janela de Hanning como filtro passa-baixa apropriado para tratar os dados.
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:
O presente trabalho trata da análise teórica da plurifuncionalidade da Segurança Alimentar e Nutricional (SAN) no meio ambiente, que se sustenta como um dever de solidariedade agroambiental. O trabalho foi dividido em três partes, cada uma com dois capítulos, que foram desenvolvidos inicialmente com o estabelecimento do contexto em que se encontram os assuntos abordados, e finalizados com observações acerca das principais ideias estudadas, até a elaboração de considerações finais, que demonstram os resultados alcançados pelo trabalho. Utiliza-se a metodologia teórica e o raciocínio indutivo-crítico, pois se parte do estudo de um fenômeno individualizado, a SAN, para se prejetarem hipóteses que considerem seus efeitos e interações com o meio ambiente natural, para ao final buscar generalizar as soluções encontradas, notadamente a solidariedade em sua dimensão de dever jurídico. Procura-se sustentar a argumentação com obras de referência bibliográficas e outras produções científicas de entidades nacionais e estrangeiras. Discute-se introdutoriamente alguns motivos que levaram à realização da tese, quais sejam os graves problemas que envolvem a alimentação humana na contemporaneidade, destaca sua aproximação com os direitos humanos, especialmente com o princípio da solidariedade e suas características de transdisciplinaridade metodológica, que gera necessariamente efeitos em vários outros campos do conhecimento. São revisados criticamente conceitos firmados pela Organização das Nações Unidas para Agricultura e Alimentação (FAO), especialmente os referentes ao direito à alimentação, direito a estar alimentado, soberania alimentar, Segurança Alimentar e Nutricional (SAN), desnutrição, subnutrição e má nutrição. Considera-se a SAN em sua dimensão plurifuncional porque implica necessariamente em repercussões éticas e jurídicas no âmbito dos direitos humanos, a partir da ideia teórica da solidariedade, que é estudada desde a sua formação antiga, quando associada à virtude, até à modernidade e a aproximação com a política e o direito, entendida no presente como princípio que sustenta o dever jurídico ligado à gestão racional de bens ambientais voltados à alimentação, delimitados em especial no direito agroambiental, percebendo-se a solidariedade então como fundamento de direitos, valor superior qualificada pela fraternidade, e ao mesmo tempo prevista em documentos internacionais de direitos humanos e em diversas constituições. Os interesses difusos são necessariamente examinados, pois a SAN é um interesse geral da sociedade humana, e implica na preservação dos bens ambientais alimentares, considerados indivisíveis na visão solidária, que deve ser integrada aos valores liberdade e igualdade, tornando-os princípios com interpretação mais humana, limitando seu exercício absoluto e ainda justificando-os. A ideia de solidariedade faz com que seja possível chegar aos direitos partindo do dever agroambiental e, diante das várias correntes teóricas que tratam do dever jurídico, considera-se que seja autônomo em relação ao direito subjetivo, mas traduzindo deveres ligados a finalidades sociais, de interesse público, que se manifestam em ambiente democrático, podendo o dever agroambiental ser considerado fenômeno com raízes de ética pública, com elevados valores ambientais, decisivos em sua dimensão jurídica de obrigações e responsabilidades, de todos em relação a todos, inclusive com normas objetivas nacionais e internacionais de proteção de bens agroambientais. Sustenta-se que nesse sentido a ética pública ligada à ética ambiental pode ser decisiva na observância ao direito, para além do convencimento meramente externo, mas enquanto manifestação também interna, ética, que carrega de sentido o dever jurídico solidário ligado à plurifuncionalidade da SAN. Também são elaboradas críticas à tradicional argumentação acerca dos direitos das gerações futuras, pela imprecisão e incerteza científica que os cinge, afastando-os da possibilidade de figurarem como objeto do direito, para assentar que os direitos de que se falam são precisamente traduzidos como deveres das gerações presentes, sendo estes deveres o vínculo jurídico entre gerações sucessivas. Nesse sentido, a solidariedade intergeracional passa a ter um liame jurídico contínuo, estudado através da teoria dos direitos fundamentais, o que lhe confere como característica a fluidez entre as gerações, e que por isso exige o aproveitamento racional dos recursos ambientais naturais, amparado nos princípios da precaução e informação, na ética da responsabilidade dirigida a todas as gerações, que demanda a incorporação de longo tempo nas ações humanas, que possibilite a ampla educação ambiental, e o desenvolvimento do pensamento altruísta, transtemporal, que considere problemas ambientais transfonteiriços e os bens ambientais naturais finitos, sendo indispensável conscientização da geração presente e de sua classe política para a afirmação da solidariedade. Estuda-se ainda que o dever de gestão racional dos bens ambientais naturais alimentares é dever de solidariedade, pois se considera que cada indivíduo usa uma parcela imaterial e indivisa desse bem coletivo, que pode ser público ou privado, mas que se sujeita à solidariedade. Nesse contexto só prevalece o direito de propriedade, em relação aos seus atributos tradicionais, se o objetivo comum de preservação dos bens ambientais alimentares não fornecer uma justificativa suficiente para impor readequação da atividade, abstenção de conduta, ou mesmo medidas sancionadoras decorrentes de responsabilização objetiva. Finalmente, enquanto contribuição científica, o trabalho apresenta um ensaio para a construção das características do dever de solidariedade agroambiental, quais sejam, o seu objeto e os sujeitos, a sua estrutura, que abrange a natureza das obrigações dele decorrente, e o regime principiológico. A conclusão geral apresentada é que o dever de solidariedade agroambiental, demonstrado sua ocorrência pela plurifuncionalidade da SAN, corresponde à ideia de justiça e moralidade política, fenômeno no qual é percebida intensa conexão entre o direito e a ética ambiental, compreensão relevante para resolução de conflitos que envolvam alimentação humana e a utilização de bens ambientais naturais.
Resumo:
São apresentadas análises das recomendações para estimar a resistência ao puncionamento de lajes lisas de acordo com a versão atual da norma brasileira, a NBR 6118:2003, que não considera o efeito da retangularidade de pilares internos, e sua predecessora, a NBR 6118:1980. Em seções transversais retangulares, o índice de polarização das tensões de cisalhamento é crescente. Isto altera a forma de ruptura da laje, já que a punção se inicia em torno das extremidades da seção do pilar, não se estendendo para os lados maiores, como prescreve a norma, comportamento este que reduz a resistência última das lajes frente às estimativas normativas. São apresentados os resultados de uma análise numérica por elementos finitos (M.E.F.) e uma proposta para melhorar a ductilidade das lajes lisas através das dimensões mínimas dos pilares. Observou-se que a NBR 6118:1980 mostrou-se conservadora e que as estimativas da NBR 6118: 2003 podem ser melhoradas.
Resumo:
O presente trabalho visa a fornecer uma contribuição ao estudo dos perfis formados a frio sob altas temperaturas, em conseqüência da deflagração de um incêndio. Especificamente, abordam–se assuntos inerentes ao fenômeno da transferência de calor em paredes do tipo steel frame – dry wall com ou sem isolamento térmico na cavidade. Para tanto, propõem–se modelos computacionais capazes de fornecer, com certa precisão, o valor de temperatura em qualquer ponto do sistema estudado. Dessa forma, é possível, então, traçar configurações de distribuição de temperatura (uniforme ou não–uniforme) na seção transversal dos montantes que constituem o painel, fornecendo subsídios para análise de estabilidade e pós–flambagem dos elementos estruturais em questão. As simulações numéricas de transferência de calor são efetuadas com auxílio dos programas computacionais ABAQUS e SAFIR, ambos baseados no método dos elementos finitos.