Adaptação dinâmica do timeout de detectores de defeitos através do uso de séries temporais

Uma aplicação distribuída freqüentemente tem que ser especificada e implementada para executar sobre uma rede de longa distância (wide-área network-WAN), tipicamente a Internet. Neste ambiente, tais aplicações são sujeitas a defeitos do tipo colapso(falha geral num dado nó), teporização (flutuações na latência de comunicação) e omissão (perdas de mensagens). Para evitar que este defeitos gerem comseqüências indesejáveis e irreparáveis na aplicação, explora-se técnicas para tolerá-los. A abstração de detectores de defeitos não confiáveis auxilia a especificação e trato de algoritmos distribuídos utilizados em sistemas tolerantes a falhas, pois permite uma modelagem baseada na noção de estado (suspeito ou não suspeito) dos componentes (objetos, processo ou processadores) da aplicação. Para garantir terminação, os algoritmos de detecção de defeitos costumam utilizar a noção de limites de tempo de espera (timeout). Adicionalmente, para minimizar seu erro (falasas suspeitas) e não comprometer seu desempenho (tempo para detecção de um defeito), alguns detectores de defeitos ajustam dinamicamente o timeout com base em previsões do atraso de comunicação. Esta tese explora o ajuste dinâmico do timeout realizado de acordo com métodos de previsão baseados na teoria de séries temporais. Tais métodos supõem uma amostragem periódica e fornececm estimativas relativamente confiáveis do comportamento futuro da variável aleatória. Neste trabalho é especificado uma interface para transformar uma amostragem aperiódica do atraso de ida e volta de uma mensagem (rtt) numa amostragem periódica, é analisado comportamento de séries reais do rtt e a precisão dee sete preditores distintos (três baseados em séries temporais e quatrro não), e é avaliado a influência destes preditores na qualidade de serviço de um detector de defeitos do estilopull. Uma arquitetura orientada a objetos que possibilita a escolha/troca de algoritmos de previsão e de margem de segurança é também proposta. Como resultado, esta tese mostra: (i) que embora a amostragem do rtt seja aperiódica, pode-se modelá-la como sendo uma série temporal (uma amostragem periódica) aplciando uma interface de transformação; (ii) que a série temporal rtt é não estacionária na maioria dos casos de teste, contradizendo a maioria das hipóteses comumente consideradas em detectores de defeitos; (iii) que dentre sete modelos de predição, o modelo ARIMA (autoregressive integrated moving-average model) é o que oferece a melhor precisão na predição de atrasos de comunicação, em termos do erro quadrático médio: (iv) que o impacto de preditores baseados em séries temporais na qualidade de serviço do detector de defeitos não significativo em relação a modelos bem mais simples, mas varia dependendo da margem de segurança adotada; e (v) que um serviço de detecção de defeitos pode possibilitar a fácil escolha de algoritmos de previsão e de margens de segurança, pois o preditor pode ser modelado como sendo um módulo dissociado do detector.

Testes de ajustamento de modelos em processos com longa dependência

Estudamos neste trabalho, o nível de significância empírico dos testes portmanteau baseados nas estatísticas propostas por Ljung e Box (1978), Monti (1994) e Pe˜na e Rodríguez (2002) nos processos ARFIMA(p; d; q). Consideramos o processo ARFIMA(p; d; q) nas situações adequadas para representar séries temporais com características de longa dependência. Para estimar o parâmetro de diferenciação d utilizamos os métodos de estimação propostos por Geweke e Porter-Hudak (1983), Reisen (1994), Robinson (1994) e Fox e Taqqu (1983).

Estimação em classes de processos estocásticos com decaimento hiperbólico da função de autocorrelação

Neste trabalho analisamos processos estocásticos com decaimento polinomial (também chamado hiperbólico) da função de autocorrelação. Nosso estudo tem enfoque nas classes dos Processos ARFIMA e dos Processos obtidos à partir de iterações da transformação de Manneville-Pomeau. Os objetivos principais são comparar diversos métodos de estimação para o parâmetro fracionário do processo ARFIMA, nas situações de estacionariedade e não estacionariedade e, além disso, obter resultados similares para o parâmetro do processo de Manneville-Pomeau. Entre os diversos métodos de estimação para os parâmetros destes dois processos destacamos aquele baseado na teoria de wavelets por ser aquele que teve o melhor desempenho.

Ciclos sedimentares em seqüências siliciclásticas : uma proposta de análise metodológica.

Este trabalho de estratigrafia quantitativa teve como objetivo o estudo de ciclos sedimentares em seqüências siliciclásticas. Para isso, utilizou-se ferramentas matemáticas e estatísticas, interpretando os resultados obtidos no contexto da estratigrafia de seqüências. Os padrões quase cíclicos de empilhamento sedimentar foram associados a padrões de ciclos de tempo conhecidos – os da banda de Milankovitch (Milankovitch, 1947). Para superar as dificuldades inerentes às medidas diretas em afloramentos e testemunhos, adotou-se o estudo das variações da distância entre marcas consecutivas, observadas na curva do perfil de raios gama de sondagens para petróleo ou carvão. Esta distância foi associada à espessura da camada sedimentar e a série de observações foi estudada pelos métodos de análise de séries temporais, empregando-se: estatísticas básicas, histogramas e distribuições de freqüência, diagramas de tempo (gráficos XY), gráficos de Fischer, autocorrelação e correlação cruzada e análise espectral. A abordagem do problema exigiu um tratamento matemático das observações estratigráficas, mantido de forma “orientada para a geologia”. Deu-se ênfase ao significado físico (geológico) dos resultados obtidos com as diversas análises. As variações nas espessuras das camadas permitiram reconhecer parasseqüências e suas geometrias internas, levando à identificação acurada dos ambientes deposicionais, das fácies e dos tratos de sistema, em um contexto de estratigrafia de seqüências. As razões entre os períodos encontrados nos ciclos sedimentares foram associadas com os ciclos astronômicos da banda de Milankovitch, produzindo estimativas do tempo de deposição e das taxas de acumulação e fornecendo a visão dos processos de preenchimento da bacia, das oscilações do nível do mar e do fluxo de sedimentos. O emprego desta metodologia de análise evidenciou seqüências de quinta e de quarta ordem (no sentido da Exxon) correlacionáveis, localmente. Em nível regional, mostrou ser possível a correlação de seqüências de terceira ordem, por distâncias consideráveis, permitindo correlações com a curva global de oscilações do nível do mar. Para ilustrar, foram discutidos exemplos de aplicação da metodologia, em seções do Permiano da Bacia do Paraná e do Andar Buracica (Barremiano), na Bacia do Recôncavo. A metodologia do trabalho foi desenvolvida pelo autor, junto aos participantes de pesquisas e de cursos do Laboratório de Análise de Bacias e Correlação Geológica (LABCG) da Faculdade de Geologia (FGEL) da UERJ - Universidade do Estado do Rio de Janeiro.

A hipótese de expectativas racionais : teoria e testes

Resumo não disponível.

Prescrição de vazão ecológica : aspectos conceituais e técnicos para bacias com carência de dados

A implementação da outorga do uso da água no Brasil implica no estabelecimento de um balanço hídrico de disponibilidades quali-quantitativas, que permita, ao gestor do recurso hídrico, determinar se existe possibilidade de incluir algum uso novo na bacia hidrográfica ou se é necessário algum tipo de racionamento do uso da água. Este balanço deve garantir que as vazões necessárias para o abastecimento público e para a manutenção dos ecossistemas aquáticos e ribeirinhos sejam mantidas. Nesta tese, discute-se a evolução da ecologia de rios e sua implicação nas metodologias desenhadas para avaliação de vazões ecológicas, demonstrando-se que metodologias sintonizadas com os avanços teóricos da ecologia de rios somente surgem no final do século XX e início do século XXI. Discute-se, também, a necessidade de desenvolvimento de metodologias constituídas com ancoragem ecológica em situações de carência ou ausência de dados, que compõem a realidade da maior parte da rede hidrográfica brasileira. Propõe-se uma metodologia e apresenta-se um programa (FFTSint) para avaliação da significância de pulsos em análise espectral de séries temporais de vazões diárias, com base em séries sintéticas, partindo-se do pressuposto de que processos adaptativos, manifestados em termos de tipos funcionais de plantas, dependem de um grau de previsibilidade dos pulsos (associada a pulsos significativos) A série de vazões diárias, filtrada com utilização do FFTSint, é o hidrograma significativo, que pode, então ser estudado através de programas como o IHA e Pulso. Aplicou-se esta abordagem metodológica na estação fluviométrica Rosário do Sul, rio Santa Maria, Estado do Rio Grande do Sul, Brasil, onde verificou-se que o hidrograma significativo, está associado às cotas mais baixas da planície de inundação, enquanto que os componentes aleatórios do hidrograma estão associados às cotas mais altas. Discute-se que processos adaptativos estão associados aos componentes previsíveis, enquanto que processos sucessionais estão mais associados aos aleatórios. Esta observação permitiu a construção de um conjunto de limitações ecológicas ao regime de vazões resultantes do uso na bacia hidrográfica, utilizando-se descritores do regime de pulsos da série não filtrada (original) para as cotas mais altas e descritores filtrados com alta significância para as cotas mais baixas.

Modelo de um neurônio diferenciador-integrador para representação temporal em arquiteturas conexionistas

O presente trabalho analisa diferentes modelos de representação temporal usados em arquiteturas conexionistas e propõe o uso de um novo modelo neural, chamado Neurônio Diferenciador-Integrador (NDI) para aplicação com processamento de sinais temporais. O NDI pode ser interpretado como filtro digital. Seu funcionamento exige poucos recursos computacionais e pode ser de grande valia em problemas onde a solução ideal depende de uma representação temporal instantânea, facilidade de implementação, modularidade e eliminação de ruído. Após a definição do modelo, o mesmo é sujeito a alguns experimentos teóricos utilizado em conjunto com arquiteturas conexionistas clássicas para resolver problemas que envolvem o tempo, como previsão de séries temporais, controle dinâmico e segmentação de seqüências espaço-temporais. Como conclusão, o modelo neural apresenta grande potencialidade principalmente na robótica, onde é necessário tratar os sinais sensoriais ruidosos do robô de forma rápida e econômica.

Estudo estatístico da ocorrência de jatos no perfil vertical do vento na baixa atmosfera e a sua relação com eventos de intensa precipitação pluvial no Rio Grande do Sul

Neste estudo buscou-se entender as relações dos Jatos de Nível Baixo (JNB) na geração de convecção em escala sinótica e a sua associação com eventos de intensa precipitação. Observou-se o perfil vertical do vento através de radiossondagens realizadas no Aeroporto Internacional Salgado Filho em Porto Alegre e em Uruguaiana no interior do estado do Rio Grande do Sul, Brasil. Analisou-se a sua variabilidade sazonal, intra e inter-sazonalidade. Estimaram-se suas escalas e intensidades predominantes, descrevendo a interação dos JNB's e o seu importante papel na circulação geral da atmosfera e no transporte de vapor de água e calor das regiões equatoriais para regiões de latitudes médias, influenciando diretamente o balanço hídrico de extensas bacias hidrográficas interligadas neste transporte. Os JNB's associados neste intenso transporte apresentam uma tendência de estarem ligados a eventos convectivos noturnos e na geração de Complexos Convectivos de Mesoescala (CCM), que geram elevados índices pluviométricos que podem causar importante impacto econômico Utilizam-se várias técnicas estatísticas para realização deste estudo, como a Análise das Componentes Principais, Classificação Não-Hierárquica dos JNB's, cálculo das correlações dos sinais das séries temporais dos JNB's e as precipitações, com a utilização de técnicas "Bootstrap", uso de técnicas geoestatísticas, com o cálculo do variograma da precipitação máxima e dos seus dias de evento com ajustamento de um modelo para o variograma teórico. Realiza-se a modelagem com o uso do modelo meteorológico "Model Mesoscale Five" (MM5) para estudar a estrutura e caracterizar o transporte realizado pelo JNB. O emprego destas metodologias facilita o entendimento da complexidade das interações de diferentes escalas meteorológicas envolvidas nos processos sinóticos de macro e mesoescala. Em tal complexidade, o trabalho realizado pelos JNB's nesta interação é o de ser a escala efetiva de transporte na baixa atmosfera, que realiza o importante papel de acoplar a meteorologia regional e o ciclo hidrológico em escala continental.

Tendências e ciclos comuns entre consumo e renda e a importância relativa dos choques permanentes e transitórios : uma análise dos dados agregados brasileiros

Neste trabalho buscamos evidências, para o caso brasileiro, da Hipótese da Renda Permanente. Primeiro, investigamos a existência de tendências e ciclos comuns entre as séries de consumo e renda per capita. Então, usando o resultado de co-movimentos entre as variáveis decompomos cada série em tendência e ciclo, através dos modelos de componentes não observados de Harvey (1989). Por fim, usando os modelos de vetores autorregressivos, decompomos a variância dos erros de previsão, seguindo a metodologia de Blanchard e Quah (1989), com o objetivo de avaliarmos a importância relativa dos choques permanentes e transitórios para as variações do consumo. Os resultados apontam que as inovações permanentes são responsáveis pela maior parte das variações no consumo. Este resultado embora rejeite a Hipótese da Renda Permanente, indica que o consumo responde pouco a variações transitórias na renda, ou seja, os choques temporários têm pouca importância para o consumo.

Transição súbita e quebra de aproximação modulacional em sitemas espaço-temporais

O caos e a incoerência nas interações conservativas de três ondas e a transição súbita para o caos na equação não linear de Klein Gordon são estudados. É analisada a influência da presença de caos sobre a incoerência no problema da interação de um tripleto de ondas quando um modelo de aproximação adiabática deixa de ser válido. É encontrado um limiar para o valor do descasamento do tripleto de ondas, abaixo do qual a coerência e o acoplamento entre as ondas é o comportamento dominante. Na equação não linear de Klein Gordon estudou-se a transição entre um regime de dinâmica modulacional para um de caos espaço temporal e foi encontrada uma curva crítica no plano amplitude-frequência que o divide em regiões onde só existe transição para o caos caso o valor de amplitude exceder um certo limiar.

Inscrevendo a sexualidade : discursos e práticas de professoras das séries iniciais do ensino fundamental

Nesta Tese investigo como a sexualidade vem sendo tratada nas salas de aula das séries iniciais do Ensino Fundamental, do município de Rio Grande/RS. Para tanto, analiso narrativas de professoras das séries iniciais que participaram do curso “Discutindo e refletindo sexualidade-AIDS com professoras das séries iniciais do Ensino Fundamental”. Nesse estudo, tomo a sexualidade como uma construção histórica e cultural, que inscreve comportamentos, linguagens, desejos, crenças, identidades, posturas no corpo, através de estratégias de poder/saber sobre os sexos. O entendimento de que questões centrais, no estudo da sexualidade, referem-se ao papel das culturas, dos seus sistemas de significação e relações de poder, uma vez que essas encontram-se implicadas na constituição dos sujeitos, levou-me a estabelecer algumas conexões com os Estudos Culturais nas suas vertentes pós-estruturalistas, bem como com algumas proposições de Foucault. Tais entendimentos moveram-me na direção de examinar como as práticas escolares das professoras das séries iniciais atuam nos processos de inscrição da sexualidade das crianças. Nesse sentido, utilizei como uma estratégia metodológica a realização do curso acima referido, que funcionou como um espaço narrativo, no qual as professoras participaram de um processo de contar, ouvir, e contrapor histórias a respeito das práticas escolares relacionadas à sexualidade. Outra estratégia correspondeu à análise das narrativas dessas professoras – falas, textos, desenhos, cartazes, dramatização –, produzidas durante as atividades desenvolvidas no transcorrer do curso. Num primeiro movimento analisei todos os encontros que compuseram o curso, a fim de conhecer tanto os discursos como as estratégias predominantes nas pedagogias dessas professoras. Esse percurso mostrou-me aqueles encontros em que se tornaram visíveis as estratégias utilizadas pelas professoras para tratarem a sexualidade em suas salas de aula. Assim, elegi os seguintes encontros: “Como fui parar aí dentro? – Sistema reprodutor feminino e masculino” e “Sexualidade e AIDS na sala de aula”. Esses movimentos configuraram esta Tese na forma de três artigos: “Discutindo e refletindo sexualidade-AIDS com professoras das séries iniciais do Ensino Fundamental”; “Falando com professoras das séries iniciais do Ensino Fundamental sobre sexualidade na sala de aula: a presença do discurso biológico”, e “Sexualidade nas salas de aula: pedagogias escolares das professoras das séries iniciais do Ensino Fundamental”. Esse estudo possibilitou-me ver que, nos espaços e nas práticas escolares, se fala rotineiramente na sexualidade: seja nas disposições dos corpos conforme os sexos – nas filas e na sala de aula, nas brincadeiras –; seja naquelas situações vinculadas às práticas de sala de aula, quando a sexualidade torna-se presente através dos programas escolares, dos projetos de educação sexual, das palestras e/ou das perguntas e outras “manifestações” das crianças, em que atuam geralmente os discursos hegemônicos como o biológico, o da famíla-reprodução e o da criança inocente-assexuada. Assim, no espaço escolar articulam-se distintos discursos e práticas direcionados à sexualidade das crianças através de estratégias de inscrição das identidades de gênero e sexuais nos seus corpos, como também de regulação dos fenômenos biológicos, como a gravidez, as doenças sexualmente transmissíveis e a AIDS.

Utilização de técnicas de mineração de dados considerando aspectos temporais

Atualmente, o enorme volume de informações armazenadas em bancos de dados de organizações ultrapassa a capacidade dos tradicionais métodos de análise dos dados baseados em consultas, pois eles se tornaram insuficientes para analisar o conteúdo quanto a algum conhecimento implícito e importante na grande massa de dados. A partir disto, a mineração de dados tem-se transformado em um tópico importante de pesquisa, porque provê um conjunto de técnicas e ferramentas capazes de inteligente e automaticamente assistir o ser humano na análise de uma enorme quantidade de dados à procura de conhecimento relevante e que está encoberto pelos demais dados. O presente trabalho se propõe a estudar e a utilizar a mineração de dados considerando os aspectos temporais. Através de um experimento realizado sobre os dados da Secretaria da Saúde do Estado do Rio Grande do Sul, com a aplicação de uma metodologia para a mineração de dados temporais, foi possível identificar padrões seqüenciais nos dados. Este experimento procurou descobrir padrões seqüenciais de comportamento em internações médicas, objetivando obter modelos de conhecimento dos dados temporais e representá-los na forma de regras temporais. A descoberta destes padrões seqüenciais permitiu comprovar tradicionais comportamentos dos tratamentos médicos efetuados, detectar situações anômalas, bem como, acompanhar a evolução das doenças existentes.

Interação de espirais em 2D : redução da dinâmica à interação de defeitos e exploração de novas estruturas espaço-temporais

O presente trabalho apresenta um anova proposta de tratamento de estruturas espirais em meios contínuos oscilatórios na vizinhança de bifurcações de Hopf supercríticas. Tais estruturas são normalmente descritas pela Equação de Cinzburg-Landau Complexa a qual usa um campo complexo associado a essas oscilações. A proposta apresentada reduz a dinâmica de espirais à interação entre os centros das mesmas. Inicialmente, comparamos numericamente as duas descrições e com os ganhos computacionais decorrentes da abordagem reduzida caracterizamos finamente as estruturas espaço-temporais formadas nesses sistemas: em vez dos estados congelados mencionados anteriormente na literatura encontrou-se uma dinâmica espaço-temporal intermitente. Esse regime ocorre em duas fases distintas: Líquido de Vórtices e Vidros de Vórtices. Esta última evolui em escalas de tempo ultralentas como fenômenos semelhantes encontrados na Mecânica Estatística, apesar de sua origem puramente determinista.

Extensão de um modelo OO formal com aspectos temporais

Na área de Engenharia de Software, há vários modelos formais de especificação orientado a objetos (OO). Um destes é o OO-Method / OASIS. OO-Method se baseia nos seguintes princípios: - dar suporte às noções do modelo conceitual orientado a objetos; - integrar os modelos formais com metodologias de aceitação industrial; - possibilitar a produção de software avançado que inclua a geração completa de código (estática e dinâmica) do desenvolvimento comercial. O processo de desenvolvimento consiste em levantar as propriedades principais do sistema em desenvolvimento (modelo conceitual) por parte do engenheiro de software, e construir de forma automática, em qualquer momento (por um processo de conversão gráfico-textual) a especificação formal orientada a objetos em OASIS (Open and Active Specifications of Information System) que constituirá um repositório de alto nível do sistema. O objetivo de OASIS é expressar os requisitos funcionais de um sistema de informação, em um marco formal, que facilite sua validação e geração automática de programas. OASIS não inclui a especificação de aspectos temporais. A modelagem de aspectos temporais é um importante tópico da modelagem de sistemas de informação, porque através destes são representadas as características dinâmicas das aplicações e a interação temporal entre diferentes processos. A especificação de requisitos de aplicações através de modelos orientados a objetos permite representar não só os seus estados, mas também, seu comportamento. Modelos temporais representam também a evolução de objetos com o tempo. Como o estado de um objeto pode ser alterado devido à ocorrência de um evento (fato ocorrido em um determinado instante no tempo), é importante que o modelo utilizado permita apresentar a história destes eventos. O presente trabalho tem por finalidade propor uma extensão temporal a um modelo formal de especificação OO. Esta extensão inclui tanto aspectos estáticos quanto dinâmicos. A extensão de aspectos estáticos estende OASIS com atributos temporais. A extensão dos aspectos dinâmicos, contribuição central do trabalho, estende OASIS com eventos temporais.