Modelos probabilísticos de previsão de fendilhamento em pavimentos rodoviários

Dissertação para obtenção do Grau de Mestre em Engenharia Civil - Perfil Construção

Concepciones de los alumnos de secundaria sobre modelos probabilísticos en las secuencias de resultados aleatorios.

Resumen basado en el del autor

Aplicación de los modelos probabilísticos para analizar la eficiencia de las universidades.

Resumen tomado de la publicación

A distribuição F generalizada para selecionar modelos de sobrevivência com fração de cura

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

Valor da informação no quadro da teoria da decisão

O conceito de informação está intimamente relacionado com a estatística. Como diz D.Basu (1988): “The key word in Statistics is information. After all, this what the subjects is all about “. No entanto, não é objectivo desta nota entrar na discussão do difícil problema de quantificar a informação que os dados estatísticos podem dar sobre os modelos probabilísticos especificados ou sobre os respectivos parâmetros. O propósito é bem mais modesto resume-se a estudar o valor da informação no contexto da teoria de decisão numa perspectiva Bayesiana. A ideia é começar com o tratamento de um exemplo simples apresentando depois algumas generalizações.

Avaliação da segurança de pontes existentes: abordagem probabilística bayesiana

Dissertação desenvolvida no Laboratório Nacional de Engenharia Civil ao abrigo do protocolo existente entre o ISEL e o LNEC, e submetida à Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de doutor em Engenharia Civil

Métodos para el análisis de programas probabilistas y no-deterministas utilizando probadores de teoremas. Methods for the analysis of probabilistic and nondeterministic programs using theorem provers.

La verificación y el análisis de programas con características probabilistas es una tarea necesaria del quehacer científico y tecnológico actual. El éxito y su posterior masificación de las implementaciones de protocolos de comunicación a nivel hardware y soluciones probabilistas a problemas distribuidos hacen más que interesante el uso de agentes estocásticos como elementos de programación. En muchos de estos casos el uso de agentes aleatorios produce soluciones mejores y más eficientes; en otros proveen soluciones donde es imposible encontrarlas por métodos tradicionales. Estos algoritmos se encuentran generalmente embebidos en múltiples mecanismos de hardware, por lo que un error en los mismos puede llegar a producir una multiplicación no deseada de sus efectos nocivos.Actualmente el mayor esfuerzo en el análisis de programas probabilísticos se lleva a cabo en el estudio y desarrollo de herramientas denominadas chequeadores de modelos probabilísticos. Las mismas, dado un modelo finito del sistema estocástico, obtienen de forma automática varias medidas de performance del mismo. Aunque esto puede ser bastante útil a la hora de verificar programas, para sistemas de uso general se hace necesario poder chequear especificaciones más completas que hacen a la corrección del algoritmo. Incluso sería interesante poder obtener automáticamente las propiedades del sistema, en forma de invariantes y contraejemplos.En este proyecto se pretende abordar el problema de análisis estático de programas probabilísticos mediante el uso de herramientas deductivas como probadores de teoremas y SMT solvers. Las mismas han mostrado su madurez y eficacia en atacar problemas de la programación tradicional. Con el fin de no perder automaticidad en los métodos, trabajaremos dentro del marco de "Interpretación Abstracta" el cual nos brinda un delineamiento para nuestro desarrollo teórico. Al mismo tiempo pondremos en práctica estos fundamentos mediante implementaciones concretas que utilicen aquellas herramientas.

Combinação de métodos paramétricos e não-paramétricos na análise de estabilidade de cultivares de cana-de-açúcar

A presença e a magnitude da interação genótipo--ambiente são fatores que determinam o desempenho de cultivares nos diversos ambientes de produção. A forma de teste e interpretação dessa interação tem sido muito discutida na literatura agronômica, e vários métodos têm sido propostos. O objetivo deste trabalho foi testar uma combinação de métodos paramétricos e não-paramétricos para avaliação da interação genótipo--ambiente de forma simples e fácil. Foram utilizados os resultados experimentais de três grupos de cultivares de cana-de-açúcar, de acordo com suas características de maturação (precoce, média e tardia), em média de três cortes, em cinco locais da região Oeste do Estado de São Paulo. Os testes utilizados, além de simples, permitiram indicar as melhores cultivares para aquela região e para cada época de colheita, e confirmaram, através de modelos probabilísticos, as recomendações anteriormente realizadas pelos melhoristas.

Simulação estocástica de atributos do clima e da produtividade potencial de milho utilizando-se distribuição triangular

O objetivo deste trabalho foi simular a produtividade potencial da cultura de milho, pelo método de Monte Carlo, utilizando um modelo agrometeorológico estocástico. O experimento foi conduzido em Piracicaba, SP, a 22º42'30''S, 47º38'30''W, e altitude de 546 m, o clima da região é do tipo Cwa (tropical úmido). Foram utilizados os valores médios diários de temperatura (de 1917 a 2002) e radiação solar global (de 1978 a 2002). Para comparar os dados reais com os simulados, foram utilizados índices de desempenho estatístico. Observou-se que os modelos probabilísticos, desenvolvidos para a simulação de dados médios diários de temperatura e de radiação solar global, geraram valores semelhantes aos observados por meio da distribuição triangular, a qual pode ser utilizada em modelo estocástico, para previsão da produtividade potencial de milho, nas diferentes épocas de semeadura.

Filtragem de imagens com preservação das bordas usando a Transformada Wavelet

A filtragem de imagens visando a redução do ruído é uma tarefa muito importante em processamento de imagens, e encontra diversas aplicações. Para que a filtração seja eficiente, ela deve atenuar apenas o ruído na imagem, sem afetar estruturas importantes, como as bordas. Há na literatura uma grande variedade de técnicas propostas para filçtragem de imagens com preservação de bordas, com as mais variadas abordagens, deentrte as quais podem ser citadas a convolução com máscaras, modelos probabilísticos, redes neurais, minimização de funcionais e equações diferenciais parciais. A transformada wavelet é uma ferramenta matemática que permite a decomposição de sinais e imagens em múltiplas resoluções. Essa decomposição é chamada de representação em wavelets, e pode ser calculada atrravés de um algorítmo piramidal baseado em convoluções com filtros passa-bandas e passa-baixas. Com essa transformada, as bordas podem ser calculadas em múltiplas resoluções. Além disso, como filtros passa-baixas são utilizados na decomposição, a atenuação do ruído é um processo intrínseco à transformada. Várias técnicas baseadas na transformada wavelet têm sido propostas nos últimos anos, com resultados promissores. Essas técnicas exploram várias características da transformada wavelet, tais como a magnitude de coeficientes e sua evolução ao longo das escalas. Neste trabalho, essas características da transformada wavelet são exploradas para a obtenção de novas técnicas de filtragem com preservação das bordas.

Planejamento agregado de estoques

Estuda o problema do dimensionamento de estoques agregado, em função dos custos envolvidos e de objetivos estabelecidos. Apresenta os sistemas básicos de gestão de estoques: lote fixo, revisão periódica, máximo e mínimo e reposição opcional. São discutidos diversos tipos de modelos de mínimo custo para o dimensionamento dos estoques operacionais: modelos de estágio único; lotes econômicos com permissão de faltas; modelos que admitem variação no valor dos custos envolvidos. São também analisados diversos modelos probabilísticos para o dimensionamento dos estoques de segurança, tanto para itens de alta demanda (modelos de distribuição normal, gama, etc.) como de baixa demanda (modelos de Poisson, Laplace, etc.). Para os estoques agregados, e proposto o modelo GEA - GESTÃO DE ESTOQUES AGREGADOS, que dimensiona os parâmetros de controle dos itens individuais em função de objetivos agregados. São ainda apresentados modelos de previsão de demanda a curto prazo e de classificação dos itens de estoque em função do seu Valor de Demanda.

Distribuição espacial e plano de amostragem sequencial para Euschistus heros (Fabricius, 1794) (Heteroptera: Pentatomidae) na cultura da soja convencional e transgênica

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

Distribuição espacial de Quesada gigas (Oliver, 1790) (Hemiptera: Cicadidae) na cultura do café

Pós-graduação em Agronomia (Entomologia Agrícola) - FCAV

Determinação da distribuição de lei de potência aos tempos de reparo de uma linha férrea

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

Insecta e Arachnida associados ao solo: plantas herbáceas como área de refúgio visando ao controle biológico conservativo

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