Laws of large numbers for non-additive probabilities

We apply the concept of exchangeable random variables to the case of non-additive robability distributions exhibiting ncertainty aversion, and in the lass generated bya convex core convex non-additive probabilities, ith a convex core). We are able to rove two versions of the law of arge numbers (de Finetti's heorems). By making use of two efinitions. of independence we rove two versions of the strong law f large numbers. It turns out that e cannot assure the convergence of he sample averages to a constant. e then modal the case there is a true" probability distribution ehind the successive realizations of the uncertain random variable. In this case convergence occurs. This result is important because it renders true the intuition that it is possible "to learn" the "true" additive distribution behind an uncertain event if one repeatedly observes it (a sufficiently large number of times). We also provide a conjecture regarding the "Iearning" (or updating) process above, and prove a partia I result for the case of Dempster-Shafer updating rule and binomial trials.

Comportamento mecânico e hidráulico de misturas de solo-cimento-bentonita para a aplicação em barreiras verticais de contenção de contaminantes

O presente trabalho tem como objetivo investigar o comportamento hidráulico e mecânico de misturas de solo-bentonita (SB) e de solo-cimento-bentonita (SCB), bem como analisar a influência da variação do teor de bentonita e cimento com a finalidade de propiciar resultados capazes de auxiliar para um projeto construtivo de barreiras verticais de contaminantes. O programa experimental consistiu na realização de ensaios de compressão não-confinada, ensaios triaxiais convencionais adensados não-drenados (CIU) e ensaios de condutividade hidráulica a fim de se estudar o comportamento das misturas de SB e SCB em termos de tensão-deformação-resistência e permeabilidade. Foram analisados diferentes fatores água-cimento, teores de umidade, tensões confinantes. Também foi avaliado o comportamento desses materiais através da definição de três valores distintos de teor de bentonita nas amostras de SCB. Já para as amostras de SB foram avaliados dois teores de bentonita. Em um primeiro instante, os resultados dos ensaios realizados para cada tipo de mistura foram analisados separadamente. A análise global dos resultados permitiu identificar as alterações provocadas na resistência, deformabilidade e condutividade hidráulica pela variação dos parâmetros. Os resultados dos ensaios de compressão não-confinada demonstraram que a variação do teor de umidade não implicou na variação de resistência ao cisalhamento de pico para amostras com mesmo fator águacimento. Os ensaios CIU indicaram que o aumento do teor de bentonita nas amostras acarretou em um aumento da resistência ao cisalhamento de pico e da rigidez do material. A condutividade hidráulica das misturas de SB apresentaram valores inferiores em relação às misturas de SCB.

Projeto, construção e validação de transdutores para medição de esforços em semeadoras-adubadoras

A mecanização agrícola tem sido um importante fator que vem contribuindo para atender o aumento na demanda por alimentos. Porém, o desenvolvimento de máquinas e implementos com maior desempenho operacional ainda carecem de uma base de informações tecnológicas sistematizadas para a implementação em novos projetos de produtos. Desta forma, o principal objetivo deste trabalho foi o de implementar um sistema capaz de gerar informações para auxiliar no desenvolvimento de novos projetos de produtos, ou mesmo na melhoria das máquinas e implementos já existentes. Para tanto, foi construído um conjunto de transdutores de força – dinamômetros do tipo anel octogonal estendido, capazes de medir solicitações em duas direções ortogonais e o momento associado a estes dois esforços. Associados a estes transdutores foram utilizados outros recursos para a formação de uma instrumentação embarcada, a fim de possibilitar os registros, em tempo real, dos dados gerados para serem armazenados em bancos de dados para posterior análises e avaliações. Com o sistema implementado foram realizados diversos conjuntos de testes de campo, onde se ensaiou uma semeadora adubadora comercial com seus elementos ativos e/ou seus componentes isolados da máquina. No primeiro teste, foi avaliada uma linha completa de uma semeadora-adubadora, onde foram medidos os esforços no disco de corte da palha, na haste sulcadora para deposição do adubo e na unidade de semeadura. Nos testes seguintes, foram realizadas avaliações em dois modelos de hastes sulcadoras, trabalhando com diversos parâmetros distintos, a fim de comparar os respectivos desempenhos entre os dois modelos estudados. Também, verificaram-se avaliações das solicitações dos esforços de tração para sulcadores de adubo tipo disco duplo e, para tracionar somente os discos de corte. Finalmente, mediram-se os esforços para o arraste do chassi durante o deslocamento em campo. Os resultados dos sensores de força combinados com a instrumentação embarcada foram considerados satisfatórios durante as medições nos testes de campo, visto a sua repetibilidade tendo como referência um sistema de calibrações prévias. Desta forma, confirmouse que os registros dos testes de campo podem servir de referência para a análise de projeto de máquinas semeadoras-adubadoras, uma vez que os mesmos foram obtidos em condições reais durante as operações de campo.

Estudo da instabilidade de um talude rodoviário em São Jerônimo/RS

Esta dissertação de mestrado apresenta um a investigação das causas que levara mum talude rodoviário à ruptura. Esse talude localiza-se no município de São Jerônimo, no Km 7+500 da rodovia RS/470. A ruptura foi progressiva, tendo início logo após a abertura do corte para a execução da rodovia e envolveu um a extensão demais de 100 metros. Foram levantados aspectos geológicos e geomorfológicos da região, indicando tratar-se de uma área localizada na Depressão Periférica, com relevo suave ondulado. Os dois solos que compõe o talude foram descritos e amostrados. Foram realizados ensaios de caracterização e ensaios de cisalhamento para as diversas condições de deformação dos materiais. Foram feitos diversos ensaios de cisalhamento direto: a) com amostras indeformadas, buscando-se determinar parâmetros de resistência para a condição de pico e, b ) ensaios especiais, utilizando a técnica de reversões múltiplas para determinar parâmetros de resistência na condição de grandes deformações. Foram feitos também ensaios de cisalhamento por torção (ring shear), buscando-se parâmetros de resistência para a condição residual. A estabilidade do talude foi verificada para duas geometrias, a inicial e a pós-ruptura, utilizando-se os parâmetros de resistência ao cisalhamento obtidos nos ensaios realizados. A retro-análise da situação inicial indicou que as rupturas iniciais mobilizaram um valor de resistência ao cisalhamento correspondente a um a condição de deformação intermediária entre a condição de pico e a de grandes deformações. A retro-análise da condição atua lindicou que os solos ainda não atingiram a condição residual, sendo que a resistência mobilizada é melhor representada pelos parâmetros na condição de grandes deformações.

Métodos multigrid paralelos em malhas não estruturadas aplicados à simulação de problemas de dinâmica de fluidos computacional e transferência de calor

Fenômenos naturais, tecnológicos e industriais podem, em geral, ser modelados de modo acurado através de equações diferenciais parciais, definidas sobre domínios contínuos que necessitam ser discretizados para serem resolvidos. Dependendo do esquema de discretização utilizado, pode-se gerar sistemas de equações lineares. Esses sistemas são, de modo geral, esparsos e de grande porte, onde as incógnitas podem ser da ordem de milhares, ou até mesmo de milhões. Levando em consideração essas características, o emprego de métodos iterativos é o mais apropriado para a resolução dos sistemas gerados, devido principalmente a sua potencialidade quanto à otimização de armazenamento e eficiência computacional. Uma forma de incrementar o desempenho dos métodos iterativos é empregar uma técnica multigrid. Multigrid são uma classe de métodos que resolvem eficientemente um grande conjunto de equações algébricas através da aceleração da convergência de métodos iterativos. Considerando que a resolução de sistemas de equações de problemas realísticos pode requerer grande capacidade de processamento e de armazenamento, torna-se imprescindível o uso de ambientes computacionais de alto desempenho. Uma das abordagens encontradas na literatura técnica para a resolução de sistemas de equações em paralelo é aquela que emprega métodos de decomposição de domínio (MDDs). Os MDDs são baseados no particionamento do domínio computacional em subdomínios, de modo que a solução global do problema é obtida pela combinação apropriada das soluções obtidas em cada um dos subdomínios Assim, neste trabalho são disponibilizados diferentes métodos de resolução paralela baseado em decomposição de domínio, utilizando técnicas multigrid para a aceleração da solução de sistemas de equações lineares. Para cada método, são apresentados dois estudos de caso visando a validação das implementações. Os estudos de caso abordados são o problema da difusão de calor e o modelo de hidrodinâmica do modelo UnHIDRA. Os métodos implementados mostraram-se altamente paralelizáveis, apresentando bons ganhos de desempenho. Os métodos multigrid mostraram-se eficiente na aceleração dos métodos iterativos, já que métodos que utilizaram esta técnica apresentaram desempenho superior aos métodos que não utilizaram nenhum método de aceleração.

Sistemas extensos com dimensão instável invariante

Neste trabalho nós investigamos as relações existentes entre a Variação de Dimensão Instável(Unstable Dimension Variability - UDV) e a dimensão do espaço de fases de uma rede de mapas acoplados com acoplamento difuso. damos suporte teórico e evidências numéricas para a afirmação de que a partir de certo valor fixo da dimensão não há presença de UDV.

Comportamento de um solo colapsível artificialmente cimentado

Esta tese apresenta duas técnicas diferentes de preparação de amostras para produzir corpos-de-prova “ideais”, i.e. amostras artificialmente moldadas nas condições desejadas. O desafio fundamental da moldagem de amostras altamente colapsíveis cimentadas artificialmente é conservar a estrutura porosa com elevado índice de vazios enquanto ocorre a cura do cimento. Na primeira técnica isto é alcançado acrescentandose partículas de poliestireno expandido à mistura de solo. A segunda técnica utiliza duas etapas de preparo de forma que a cura parcial do cimento da primeira etapa de mistura já aconteceu quando a segunda etapa for realizada. Ambas as técnicas são utilizadas para produzir amostras colapsíveis que imitam o comportamento de solos altamente colapsíveis naturais. Ao mesmo tempo, as técnicas permitem a variação controlada dos parâmetros fundamentais que podem influenciar comportamento de colapso do solo. O trabalho apresentado nesta tese analisou os parâmetros que caracterizam e controlam o comportamento mecânico de solos colapsíveis. O programa experimental foi executado em amostras colapsíveis cimentadas artificialmente que possuem as características físicas mais relevantes de solos colapsíveis naturais: elevado índice de vazios, baixo nível de cimentação e condições não saturadas antes da inundação. O programa de laboratório foi fundamentado em ensaios de compressão não confinada, ensaios de condutividade hidráulica, testes para obtenção da curva característica do solo, análises de microscopia ótica, ensaios de cisalhamento direto, ensaios triaxiais, ensaios edométricos convencionais e com sucção controlada e ensaio de compressão isotrópica com controle de sucção Com base nos resultados experimentais, foi possível observar a importante influência do índice de vazios inicial e do teor de adição de cimento no processo de degradação da cimentação (desestruturação do solo) e no fenômeno de colapso por inundação. Isto é importante para se compreender o comportamento mecânico fundamental de solos colapsíveis cimentados e permitir o desenvolvimento de modelos constitutivos apropriados. É apresentado um modelo constitutivo (Wheeler, 2004) baseado em solos não saturados incluindo o efeito de cimentação (bonding) e o processo de desestruturação do solo. O modelo sugerido foi analisado qualitativamente com base nos resultados obtidos do programa experimental.

Determinação do comportamento carga-recalque de sapatas em solos residuais a partir de ensaios SPT

O comportamento carga-recalque de sapatas assentes em solos residuais é perfeitamente representado a partir da interpretação de provas de carga. No entanto, a execução de provas de carga em fundações reais ou em placa é indesejada pela maioria dos construtores e contratantes por razões de cronograma e custo. Por outro lado, sondagens de simples reconhecimento (SPT) são de rápida execução, exigidas pela normalização vigente de projeto e execução de fundações (ASSOCIAÇÃO BRASILEIRA DE NORMAS TÉCNICAS, 1996) e largamente utilizados na geotecnia nacional, sendo tal ensaio normalizado pela da norma NBR 6.484/2001. Deste modo, nesta pesquisa, pretende-se estabelecer uma metodologia semi-empírica para estimar o comportamento de sapatas assentes em solos residuais a partir de correlação estatística de resultados de sondagens de simples reconhecimento (NSPT) com a tensão admissível e os recalques sob tensão de trabalho, obtidos a partir de resultados de provas de carga em placa ou fundações reais assentes em solos residuais. Deste modo, a partir de retro-análise de um conjunto de resultados de provas de carga executados em diferentes solos residuais, encontrados na literatura, e o uso de conceitos de estatística, obteve-se diversas correlações que possibilitam estimar o comportamento tensão-recalque deste tipo de solo através dos resultados médios dos ensaios de SPT Como resultados destas correlações foram obtidas equações para a previsão de recalques e tensão admissível de fundações assentes sobre solos residuais, bem como do módulo de elasticidade de tais solos. As equações de estimativa de recalques são dependentes, além dos resultados de SPT, da geometria da fundação e da tensão aplicada. Já as equações para a estimativa da tensão admissível e módulo de elasticidade são dependentes somente dos valores médios do ensaio de SPT. E finalmente, para testar as equações desenvolvidas, foi realizada uma análise “Classe A” no comportamento carga-recalque de três provas de carga realizadas em locais diferentes, mostrando a eficiência da metodologia desenvolvida para a determinação da tensão admissível e dos recalques em sapatas sob a aplicação de carga de trabalho assentes em solos residuais.

Métodos bayesianos e epidemiologia espacial : avaliando a taxa de fecundidade em mulheres de 10 a 19 anos em Porto Alegre

Introdução - A forma tradicional para se estudar a variação espacial de taxas é feita considerando a contagem do número de pessoas em cada área de um mapa em relação à população exposta, denominada taxa bruta. Entretanto, essa representação nem sempre é a melhor, principalmente na presença de população pequena. Objetivos - Utilizar métodos de Epidemiologia Espacial para representar a taxa de fecundidade específica em mulheres de 10 a 19 anos, utilizando como exemplo a cidade de Porto Alegre no ano de 2003 e investigar sua distribuição geográfica por meio de técnicas de Mapeamento de Eventos de Saúde. Métodos - Utilizando-se a base de dados do SINASC e o Censo do IBGE para o ano de 2000, considerando-se as divisões de bairro da cidade de Porto Alegre, construiu-se a taxa de fecundidade específica na adolescência. Métodos de suavização para controlar as flutuações aleatórias do risco foram usados, como o Estimador Bayesiano Empírico Local de Marshall e o Estimador Totalmente Bayesiano. Resultados - No ano de 2003 ocorreram 28 nascidos vivos por mil mulheres de 10 a 19 anos na cidade. Em alguns bairros, a representação bruta revelou valores quase três vezes maiores. Com os métodos de suavização, apresenta-se uma distribuição espacial subjacente mais real e taxas com menor heterogeneidade espacial. Alguns bairros com maiores taxas de maternidade na adolescência encontram-se em regiões com piores condições sócio-econômicas. Conclusões - O método Totalmente Bayesiano mostrou ser o melhor para estimar a variabilidade da taxa de fecundidade específica em mulheres de 10 a 19 anos nos bairros de Porto Alegre, principalmente nos locais onde a população exposta era muito pequena.

Aproximações de Galerkin clássico e Galerkin/mínimos quadrados de escoamentos viscosos incompressíveis : aplicação à medição de fluxos

Desde a antigüidade a medição do escoamento dos fluidos tem sido uma marca de nossa civilização, ajudando a predizer a fertilidade das terras e o consumo d’água em fontes e aquedutos. Nos nossos dias, a área de medição de fluxo está bem estabelecida e ainda desperta grande interesse nas linhas de pesquisa da mecânica dos fluidos experimental e computacional. Em particular, o estudo da medição de fluxo com elementos intrusivos, tais como placas de orifício, é de grande interesse dado o preço baixo do medidor, e sua boa precisão quando comparada à sua simplicidade de instalação e manutenção. Esta dissertação tem como objetivo o estudo da aplicação de elementos finitos aos escoamentos de fluidos viscosos - via aproximação clássica de Galerkin e Galerkin/mínimos-quadrados (GLS) – com particular ênfase na aproximação das equações de Navier-Stokes incompressível no escoamento newtoniano através de um canal obstruído por uma placa de orifício. Inicialmente, são apresentadas as dificuldades do método de Galerkin clássico na aproximação de escoamentos incompressíveis; ou seja, através da simulação de escoamentos viscosos bem conhecidos - como o escoamento no interior de uma cavidade e através de uma expansão súbita - fica evidenciada a restrição imposta pela condição de Babuška-Brezzi quando da escolha dos subespaços aproximantes do campo de velocidade e pressão Como alternativa às patologias do método de Galerkin clássico, esta dissertação emprega a metodologia de Galerkin/mínimos-quadrados na simulação acima mencionada da placa de orifício, a qual permite o uso de elementos de igual-ordem para aproximar velocidade e pressão e capturar de maneira estável escoamentos sujeitos a altos números de Reynolds. Os testes computacionais realizados se apresentaram fisicamente realistas quando comparados com a literatura e dados experimentais, sendo todos desenvolvidos no Laboratório de Mecânica dos Fluidos Aplicada e Computacional (LAMAC) do Departamento de Engenharia Mecânica da Universidade Federal do Rio Grande do Sul.

Desenvolvendo o conceito de redes bayesianas na construção de cenários prospectivos

A incerteza é o principal elemento do futuro. Desde os primórdios, o homem busca métodos para estruturar essas incertezas futuras e assim poder guiar suas ações. Apenas a partir da segunda metade do século XX, porém, quando os métodos projetivos e preditivos já não eram mais capazes de explicar o futuro em um ambiente mundial cada vez mais interligado e turbulento, é que nasceram os primeiros métodos estruturados de construção de cenários. Esses métodos prospectivos visam lançar a luz sobre o futuro não para projetar um futuro único e certo, mas para visualizar uma gama de futuros possíveis e coerentes. Esse trabalho tem como objetivo propor uma nova abordagem à construção de cenários, integrando o Método de Impactos Cruzados à Análise Morfológica, utilizando o conceito de Rede Bayesianas, de fonna a reduzir a complexidade da análise sem perda de robustez. Este trabalho fará uma breve introdução histórica dos estudos do futuro, abordará os conceitos e definições de cenários e apresentará os métodos mais utilizados. Como a abordagem proposta pretende-se racionalista, será dado foco no Método de Cenários de Michel Godet e suas ferramentas mais utilizadas. Em seguida, serão apresentados os conceitos de Teoria dos Grafos, Causalidade e Redes Bayesianas. A proposta é apresentada em três etapas: 1) construção da estrutura do modelo através da Análise Estrutural, propondo a redução de um modelo inicialmente cíclico para um modelo acíclico direto; 2) utilização da Matriz de Impactos Cruzados como ferramenta de alimentação, preparação e organização dos dados de probabilidades; 3) utilização da Rede Bayesiana resultante da primeira etapa como subespaço de análise de uma Matriz Morfológica. Por último, um teste empírico é realizado para comprovar a proposta de redução do modelo cíclico em um modelo acíclico.

Programa PNAD: uma construção científica

Estudo sobre o processo de revisão dos parâmetros conceituais e metodológicos norteadores da Pesquisa Nacional por Amostra de Domicilios - PNAD, da Fundação Instituto Brasileiro de Geografia e Estatistica IBGE, abrangendo o periodo de 1989 a 1992. Objetiva-se mostrar o processo de produção estatistica, bem como compreender as relações entre objeto, teoria e método em investigações voltadas para a mensuração do real. A luz de reflexões sobre a construção do conhecimento cientifico e o papel do método no processo de pesquisa, discute-se a especificidade do método estatistico. Os resultados indicam que o processo de construção da PNAD se afirma como um fazer cientifico.

Investigação geoambiental de uma área contaminada por resíduos industriais

O presente estudo tem por objetivo apresentar e discutir os resultados de uma investigação geoambiental realizada em uma área contaminada por resíduos industriais, na qual foi depositada borra oleosa ácida. Sondagens de simples reconhecimento (SPT) foram empregadas para a identificação do perfil estratigráfico da área, e ensaios laboratoriais (granulometria e limites de Atterberg) foram utilizados para caracterização das amostras de solo. Os resultados mostraram que o subsolo da área é constituído por um perfil de solo residual composto essencialmente pelas frações argila e silte. Uma série de sondagens de cone resistivo (RCPT) foi realizada na área com o objetivo de detectar a presença de contaminantes no subsolo, através de medidas da resistividade elétrica. As verticais resistivas foram comparadas com os resultados de duas campanhas de geofísica superficial por eletro resistividade, que foram obtidas em trabalhos anteriores de avaliação da contaminação da área. Com o propósito de avaliar a eficiência do cone resistivo na identificação das zonas contaminadas, os ensaios de RCPT foram realizados próximos a poços de monitoramento, onde foram coletadas amostras da água subterrâneas para análises quantitativas da contaminação. O principal efeito da contaminação do meio físico é redução dos parâmetros físico-químicos, pH e resistividade elétrica da água subterrânea, em razão da elevada quantidade de ácido sulfúrico e metais que são liberados pelo resíduo borra ácida depositado na área. Através das verticais resistivas foi possível identificar uma zona altamente contaminada até 5 m de profundidade, caracterizada por valores muito baixos de resistividade. Os dados fornecidos pelo cone resistivo apresentaram concordância satisfatória com as análises químicas e físico-químicas da água subterrânea. Nas zonas superficiais do subsolo (< 5 m de profundidade) os valores de resistividade obtidos pelo cone resistivo foram inferiores àqueles obtidos através da geofísica de superfície. A compatibilidade entre os resultados foi observada para as cotas mais profundas do subsolo.

Análise de escoamentos incompressíveis utilizando simulação de grandes escalas e adaptação de malhas

No presente estudo, são apresentadas soluções numéricas de problemas de Engenharia, na área de Dinâmica dos Fluidos Computacional, envolvendo fluidos viscosos, em escoamentos incompressíveis, isotérmicos e não isotérmicos, em regime laminar e turbulento, podendo envolver transporte de massa. Os principais objetivos deste trabalho são a formulação e a aplicação de uma estratégia de adaptação automática de malhas e a inclusão de modelos de viscosidade turbulenta, integrados com um algoritmo utilizado para simular escoamentos de fluidos viscosos bi e tridimensionais, no contexto de malhas não estruturadas. O estudo é dirigido no sentido de aumentar o conhecimento a respeito das estruturas de escoamentos turbulentos e de estudar os efeitos físicos no transporte de quantidades escalares propiciando, através de técnicas de adaptação automática de malhas, a obtenção de soluções numéricas precisas a um custo computacional otimizado. As equações de conservação de massa, de balanço de quantidade de movimento e de quantidade escalar filtradas são utilizadas para simular as grandes escalas de escoamentos turbulentos e, para representar as escalas submalha, são utilizados dois modelos de viscosidade turbulenta: o modelo de Smagorinsky clássico e o modelo dinâmico. Para obter soluções numéricas com precisão, é desenvolvida e implementada uma estratégia de adaptação automática de malhas, a qual é realizada simultaneamente e interativamente com a obtenção da solução. O estudo do comportamento da solução numérica é fundamentado em indicadores de erro, com o propósito de mapear as regiões onde certos fenômenos físicos do escoamento ocorrem com maior intensidade e de aplicar nestas regiões um esquema de adaptação de malhas. A adaptação é constituída por processos de refinamento/desrefinamento e por um processo de suavização laplaciana. Os procedimentos para a implementação dos modelos de viscosidade turbulenta e a estratégia de adaptação automática de malhas são incorporados ao código computacional de elementos finitos tridimensionais, o qual utiliza elementos tetraédricos lineares. Aplicações de escoamentos de fluidos viscosos, incompressíveis, isotérmicos e não isotérmicos em regime laminar e turbulento são simuladas e os resultados são apresentados e comparados com os obtidos numérica ou experimentalmente por outros autores.