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.

Análise da Máquina de Turing Persistente com múltiplas fitas de trabalho

Nos últimos 70 anos têm sido apresentadas várias propostas para caracteriza ção da noção intuitiva de computabilidade. O modelo de Computação mais conhecido para expressar a noção intuitiva de algoritmo é a Máquina de Turing. Esse trabalho apresenta máquinas abstratas que representam diferentes formas de comportamento computacional, sendo possível abordar a diversidade entre a Teoria da Computação Clássica (Máquina de Turing) e a Teoria da Computa- ção Interativa (Máquina de Turing Persistente). Com a evolução dos sistemas de computação, surgiu a necessidade de estender a de nição de Máquina de Turing para tratar uma diversidade de novas situações, esses problemas conduziram a uma mudança de paradigma. Neste contexto foi desenvolvido a Máquina de Turing Persistente, que é capaz de fundamentar a Teoria da Computação Interativa. Máquinas de Turing Persistentes (PeTM) são modelos que expressam comportamento interativo, esse modelo é uma extensão da Máquina de Turing. O presente trabalho tem como objetivo explorar paralelismo na Máquina de Turing Persistente, através da formalização de uma extensão paralela da PeTM e o estudo dos efeitos sobre essa extensão, variando o número de tas de trabalho. Contribui- ções desse trabalho incluem a de nição de uma máquina de Turing Persistente Paralela para modelar computação interativa e uma exposição de conceitos fundamentais e necessários para o entendimento desse novo paradigma. Os métodos e conceitos apresentados para formalização da computação na Máquina de Turing Persistente Paralela desenvolvidos nessa dissertação, podem servir como base para uma melhor compreensão da Teoria da Computação Interativa e da forma como o paralelismo pode ser especi cado em modelos teóricos.

Desempenho e comportamento de ovinos em gestação e lactação nos diferentes estágios fenológicos de azevém anual sob pastejo

O experimento foi conduzido na Estação Experimental Agronômica, UFRGS, Eldorado do Sul (30º05’22” S; 51º39’08” W), com o objetivo de avaliar o desempenho e comportamento ingestivo de ovinos em fim de gestação e início de lactação nos diferentes estágios fenológicos do azevém anual (Lolium multiflorum Lam.): vegetativo, pré-florescimento e florescimento. As maiores taxas de acúmulo diário de matéria seca (MS) foram registradas nos estágios vegetativo (70kg/ha/dia) e pré-florescimento de azevém anual (44kg/ha/dia) e as menores taxas no estágio de florescimento (30kg/ha/dia). As porcentagens de digestibilidade in vitro da matéria orgânica (80,5, 71,4 e 60,7%) e da proteína bruta (23,7, 21,2 e 19,4%) apresentaram a mesma tendência. Estes efeitos foram acompanhados por redução de folhas e aumento de colmos proporcionais de 66 e 42 para 35% e 18 e 29 para 41% nos estágios vegetativo, pré-florescimento e florescimento, respectivamente. Em resposta a estes parâmetros, observou-se variações no comportamento ingestivo dos ovinos tais como nos tempos de pastejo diário (9,65, 10,97 e 10,68h), nas taxas de bocados (52,65, 51,93 e 40,63 bocados/min) e nos tamanhos de bocados (0,064, 0,055 e 0,048g/bocado) que determinaram diferentes consumos de forragem estimado por simulação de pastejo (4,48%, 3,91% e 2,72% P.V.). Estes resultados evidenciam o alto potencial do azevém anual em termos de ganho de peso vivo nos estágios vegetativo (225kg/ha) e pré-florescimento (145kg/ha). Estes registros também evidenciam o efeito negativo da redução na qualidade da forragem no estágio de florescimento sobre o consumo voluntário e o rendimento animal (1,2kg/ha).

Análise dos principais fatores intervenientes no comportamento hidrodinâmico do banhado do Taim (RS)

Os ecossistemas conhecidos como banhados são corpos d’água rasos de grande importância ecológica, embora apenas recentemente isso começou a ser reconhecido. Além de servirem de habitat para uma diversidade de espécies de seres vivos e constituírem áreas de transição entre ambientes aquáticos e terrestres, os banhados ainda são responsáveis pela atenuação de cheias, melhoria da qualidade da água e recarga/descarga de águas subterrâneas. Ao lado da oscilação natural do nível da água, conhecido como hidroperíodo, a circulação da água desempenha um papel de fundamental importância na estrutura e no funcionamento dos banhados. Tais ecossistemas são caracterizados por pequenas lâminas d’água e pela grande presença de macrófitas aquáticas, que são sensíveis a alterações no nível e no padrão de circulação da água. Isso tem ocorrido no banhado do Taim (RS), objeto deste estudo, em decorrência da ação antrópica, como a captação de água para orizicultura e a operação das comportas de saída para a lagoa Mirim. Neste trabalho, aplicou-se um modelo hidrodinâmico bidimensional horizontal (modelo IPH-A), associado a um algoritmo de secagem/inundação, ao sistema formado pela lagoa Mangueira e pelo banhado do Taim, procurando analisar os principais fatores intervenientes no comportamento hidrodinâmico do banhado. Foram avaliados os efeitos decorrentes da ação de cisalhamento do vento na superfície da água, da resistência ao escoamento e da proteção contra a ação do vento proporcionados pelas macrófitas aquáticas e a interação com a lagoa Mangueira. A resistência da vegetação ao escoamento foi representada na modelagem pela adoção de um coeficiente de Manning superior ao das áreas consideradas sem vegetação e, para representar o efeito protetor contra a ação do vento, considerou-se uma redução da tensão de cisalhamento na superfície da água nas áreas com vegetação. Verificou-se, através das simulações numéricas, que os fatores analisados têm papel fundamental sobre a hidrodinâmica do Taim, estando fortemente associados entre si. Em particular, os resultados mostraram que a distribuição espacial da vegetação norteia o padrão geral da circulação da água no banhado e sua ocorrência, principalmente na interface com a lagoa, diminui a influência desta sobre o Taim, significativamente. Outro fato relevante é que, conforme o nível da água, diferentes regiões do banhado ficam secas, resultando padrões hidrodinâmicos distintos, que também diferem quanto à influência que sofrem do vento e da lagoa Mangueira.

Análise o comportamento hidrodinâmico e sedimentológico do estuario do Rio Piranji - CE (NE/Brasil)

Cerca de dois terços das maiores áreas metropolitanas mundiais estão nas proximidades dos estuários, portanto são regiões comumente sujeitas à situações de risco impostas pela pressão populacional. Instalações portuárias, efluentes diversos, uso indevido das suas margens, estão entre os riscos potenciais à grande diversidade de seus recursos naturais. A ação das marés, das ondas e o aporte fluvial interagem tornando bastante complexa a caracterização do seu funcionamento. A presente dissertação foca os seguintes aspectos: hidrodinâmica, transporte de sedimentos em suspensão, sedimentologia, morfologia e classificação do ambiente. A hidrodinâmica e o transporte de sedimentos foram estudados em duas etapas de campo em condições de maré de sizígia e de quadratura, cada qual com abrangência de dois ciclos de maré (25 hs). Estas etapas foram realizadas numa estação fixa com medições de: maré, velocidade da corrente, material em suspensão, sólidos totais dissolvidos, salinidade, pH, oxigênio dissolvido e temperatura. As características sedimentológicas foram avaliadas pela coleta de sedimentos de fundo em 24 pontos. Os aspectos morfológicos foram reconhecidos por uma batimetria detalhada e por aerofotografias. Os resultados revelaram a dominância das correntes de maré vazante em sizígia e de enchente em quadratura. O fluxo total de sedimentos por ciclo de maré na sizígia foi de 71 ton. (vazante), enquanto que na quadratura foi de 2,2 ton. (enchente). Os sedimentos de fundo variaram de areia muito grossa a silte. A profundidade máxima foi de 7,4 m (maré alta de sizígia). A comparação das aerofotografias revela a instabilidade morfológica da desembocadura. Relaciona-se este fato à influência variável da deriva litorânea e da descarga hidráulica. Este estuário foi classificado como: de frente de barreira arenosa; de circulação do tipo xvi parcialmente misturada e, por vezes, verticalmente homogênea; de Tipo 2b (quadratura); de tipo intermerdiário 2a e 2b (sizígia); de negativo; de mesomaré e de energia mista.

A metarrepresentação na brincadeira de faz-de-conta : uma investigação da teoria da mente

A Teoria da Mente é uma área de estudo que investiga a compreensão da mente pelas crianças pequenas. Uma das questões centrais nesta investigação refere-se a quando a criança começa a entender a mente em sua dimensão metarrepresentativa. Neste estudo, examinou-se o status metarrepresentativo da brincadeira de faz-de-conta, considerada como uma das atividades que indicam a presença de uma teoria da mente, e a sua relação com o nível representativo apresentado nas tarefas de crença falsa e de aparência-realidade, e no emprego de termos mentais. Os dados foram obtidos através de testagem, entrevista e de uma sessão de observação, em que cada um dos sete participantes, com seis anos de idade, foi observado por vinte minutos. As crianças foram filmadas interagindo com colegas e brinquedos e suas falas gravadas, utilizando-se um microfone de lapela. Os resultados mostraram que todas as crianças do estudo resolveram as tarefas de crença falsa e de aparência-realidade, indicando a presença de uma teoria da mente e da capacidade de metarrepresentação. Quanto à brincadeira de faz-de-conta, houve predomínio de episódios categorisados como de brinquedo não-metarrepresentativo, apesar de seis crianças apresentarem episódios de faz-de-conta metarrepresentativo. Quanto ao uso de termos mentais, cinco crianças, em suas conversações, empregaram termos mentais considerados metarrepresentativos. Apesar das crianças apresentarem episódios de faz-de-conta metarrepresentativo, de resolverem corretamente as tarefas e de empregarem termos mentais que requerem metarrepresentação para serem compreendidos, não parece haver uma relação linear entre esses indicadores. Os resultados confirmam a hipótese de alguns autores de que a brincadeira de faz-de-conta metarrepresentativa ocorre mais tardiamente no desenvolvimento, estando estreitamente relacionada à compreensão da sintaxe do termo mental fazer de conta.

Estudo do comportamento de um talude coluvionar urbano em Santa Cruz do Sul - RS

Esta dissertação apresenta o estudo de um talude urbano instável na cidade de Santa Cruz do Sul, estado do Rio Grande do Sul. O talude localiza-se na rua Álvaro Correa da Silva, zona norte da cidade, onde várias residências e moradores são afetados pelos movimentos. A encosta encontra-se geomorfologicamente associada à Escarpa da Serra Geral, justamente no contato entre o Planalto e a Depressão Central Gaúcha. O talude é constituído por depósitos coluvionares, os quais são formados por blocos de rocha basáltica (Formação Serra Geral) envoltos em uma matriz argilo-arenosa. Esta camada coluvionar está assente sobre uma camada basal de siltito (Formação Santa Maria). Foi realizada uma campanha de ensaios de laboratório, com ensaios de caracterização dos materiais, bem como ensaios de cisalhamento direto em amostras inundadas. Através da instrumentação de campo foi possível relacionar deslocamentos da encosta com picos no nível piezométrico, os quais ocorrem quando a precipitação ultrapassa um certo patamar. Também é apresentada uma análise de estabilidade da encosta, utilizando-se os parâmetros de resistência ao cisalhamento obtidos nos ensaios de cisalhamento direto em amostras indeformadas de colúvio. Os fatores de segurança obtidos na análise foram tipicamente próximos de um. Foi realizada também uma análise de patologias de edificações provocadas pela movimentação da massa de solo, através de inspeções e entrevistas. Os resultados demonstraram que a principal área de instabilidade concentra-se em uma faixa de direção norte-sul na região central da encosta, desde a escarpa até o Arroio Jucurí. Algumas residências nesta faixa central apresentam patologias sérias.

Redes neurais artificiais, análise de sensibilidade e o comportamento de funções de comércio exterior do Brasil

Nesta tese são estimadas funções não lineares de importação e exportação para o Brasil, utilizando a metodologia de redes neurais artificiais, a partir de dados trimestrais, no período de 1978 a 1999. Com relação às importações, partindo-se da hipótese de país pequeno, as estimações são feitas para a demanda de importações totais, de bens intermediários e de material elétrico. Para as exportações, o pressuposto de país pequeno, num contexto de concorrência monopolística, é utilizado, de maneira que as estimações são feitas para a oferta e demanda por exportações brasileiras. As séries selecionadas são as exportações totais, as exportações de manufaturados e as exportações de material elétrico. A metodologia adotada para as importações procura visualizar a não linearidade presente nas séries de comércio exterior e encontrar a topologia de rede que melhor represente o comportamento dos dados, a partir de um processo de validação do período analisado. Procura observar, também, a sensibilidade das saídas das redes a estímulos nas variáveis de entrada, dado a dado e por formação de clusters. Semelhante método é utilizado para as exportações, com a ressalva que, diante de um problema de simultaneidade, o processo de ajuste das redes e análise da sensibilidade é realizado a partir de uma adaptação do método de equações simultâneas de dois estágios. Os principais resultados para as importações mostram que os dados apresentam-se de maneira não linear, e que ocorreu uma ruptura no comportamento dos dados em 1989 e 1994. Sobretudo a partir dos anos 90, as variáveis que se mostram mais significativas são o PIB e a taxa de câmbio, seguidas da variável utilização de capacidade produtiva, que se mostra com pouca relevância Para o período de 1978 a 1988, que apresenta um reduzido impacto das variáveis, a taxa de câmbio é relevante, na explicação do comportamento das importações brasileiras, seguida da utilização de capacidade produtiva, que demonstra-se significativa, apenas, para a série de bens intermediários. Para as exportações, os dados, também, se apresentam de maneira não linear, com rupturas no seu comportamento no final da década de 80 e meados de 1994. Especificamente, para a oferta e a demanda, as variáveis mais importantes foram a taxa de câmbio real e o PIB mundial, respectivamente. No todo, as séries mais importantes na explicação das importações e exportações foram a importação total e de bens intermediários e a exportação total e de manufaturados. Tanto para as importações, quanto para as exportações, os resultados mais expressivos foram obtidos para os dados mais agregados. Por fim, com relação às equações das exportações brasileiras, houve uma superioridade de ajuste e significância das variáveis das equações de demanda, frente às de oferta, em explicar os movimentos das exportações brasileiras.

Aplicação da teoria da homogeneização em materiais compósitos viscoelásticos

Materiais compósitos são empregados nos mais diversos tipos de estruturas (civis, mecânicas, aeronáuticas, etc.). A possibilidade de otimização de suas propriedades, frente às solicitações consideradas, representa uma grande vantagem na sua utilização. A teoria da homogeneização permite a avaliação da influência de detalhes microestruturais nas características do composto através do estudo de uma célula elementar. Os deslocamentos periódicos dessa célula são aproximados com expansões ortogonais polinomiais. A exatidão dos cálculos elásticos está associada ao grau dos polinômios utilizados. O procedimento numérico no modelo viscoelástico é incremental no tempo, utilizando-se de variáveis de estado, cuja implementação proporciona grande economia computacional, pois evita o cálculo de integrais hereditárias. A influência de diversos parâmetros físicos na constituição dos compósitos de fibras unidirecionais estudados é discutida e comparada com resultados obtidos com modelos em elementos finitos, tanto em elasticidade, quanto em viscoelasticidade sem envelhecimento. Para o caso de envelhecimento, no qual as características dos constituintes são variáveis com o tempo, é mostrada a resposta dos compósitos sob relaxação para diferentes instantes iniciais de carregamento em situações de "softening" (ou abrandamento) e "hardening" (ou endurecimento).

Avaliação do comportamento de materiais compósitos de matrizes cimentícias reforçadas com fibra de aramida kevlar

Esse trabalho aborda a questão de materiais compósitos reforçados com fibras (fiber reinforced concrete) com enfoque em matrizes cimentícias reforçadas com fibra de aramida Kevlar. O objetivo é caracterizar o potencial da fibra de aramida Kevlar como elemento de reforço a ser adicionado ao concreto. O trabalho busca caracterizar o desempenho dos compósitos formados, identificando as alterações decorrentes da incorporação em função do comportamento mecânico e da resistência ao impacto. Os objetivos são verificar a potencialidade de utilização dessa fibra em termos de trabalhabilidade e resistência mecânica; definir como deve ser a forma de incorporação, verificar a aderência da fibra à matriz através de microscopia eletrônica de varredura por elétrons secundários e determinar a resistência ao impacto, comparando matrizes sem adição de fibra com corpos-de-prova moldados com vários tipos e teores de fibra (aço, sisal, vidro, polipropileno e aramida). Como vantagens da incorporação das fibras de aramida Kevlar, constata-se um incremento na resistência à compressão dos compósitos aos 28 dias em relação aos espécimes sem adição de fibra. Observam-se, também, reduções na massa específica e na trabalhabilidade dos espécimes com adição de fibra de aramida Kevlar em comparação aos sem adição. Em relação à resistência ao impacto, conclui-se que os compósitos com adição de fibra de aço e fibra de aramida são os que apresentaram melhor comportamento dinâmico em relação a energia de ruptura acumulada e à energia para aparecimento da primeira fissura, respectivamente.

Comportamento dos preços dos contratos agropecuários negociados na BM&F : a hipótese de "normal backwardation" no mercado futuro brasileiro

O presente trabalho objetivou a realização de testes a fim de verificar a hipótese de normal backwardation no mercado futuro brasileiro dos contratos agropecuários negociados no período compreendido entre os anos de 1994 a 2001. Foram analisados os preços de ajuste de seis contratos: soja, milho, boi gordo, açúcar cristal, café e algodão. Tal hipótese foi defendida primordialmente por Keynes, e preconiza que os preços futuros são uma estimativa viesada do preço à vista no futuro e devem crescer até a data de vencimento, momento em que se equiparam ao preço à vista. A justificativa para esse comportamento centra-se no fato de que os especuladores exigem um prêmio pelo risco que incorrem, e somente aceitarão negociar mediante um desconto nos preços. Os resultados desse estudo mostram indícios para a confirmação da hipótese de normal backwardation no mercado futuro brasileiro, principalmente pelos resultados do teste de proporções e da regressão.

Desenvolvimento de um programa de simulação computacional de sistemas de aquecimento solar para água

Esta Tese apresenta uma análise do comportamento térmico de um sistema de aquecimento solar operando por termossifão. Neste tipo de sistema o fluido no coletor solar é circulado por convecção natural, que acontece devido à diferença de massa específica da água ao longo circuito. Nestes sistemas a vazão mássica varia ao longo do dia e do ano, dependendo, dentre outros fatores, da irradiância solar absorvida, do perfil de temperaturas da água no sistema, da geometria, do volume e do perfil de demanda de água quente. Para uma avaliação detalhada do comportamento térmico de aquecedores solares operando por termossifão foram realizados ensaios experimentais e cálculos teóricos. Os resultados dos experimentos concordaram com aqueles apresentados na literatura e sua análise fundamentou o desenvolvimento do aplicativo TermoSim, um programa de simulação computacional do comportamento térmico de sistemas de aquecimento de água com energia solar. O tratamento matemático adotado no TermoSim compreende a modelagem dos coletores solares de acordo com a teoria de Hottel-Bliss-Whillier. O reservatório térmico é modelado com estratificação térmica, convecção e condução entre as camadas. A vazão mássica é obtida a partir do balanço da quantidade de movimento no circuito. Os modelos matemáticos empregados na construção do aplicativo TermoSim foram validados através do confronto dos resultados simulados com medidas experimentais. Foi demonstrado que a utilização destes modelos é adequada e permite reproduzir com precisão o comportamento térmico dos coletores solares e do reservatório térmico. Além do programa TermoSim, foi também desenvolvido o programa TermoDim, que é uma ferramenta para o dimensionamento de sistemas de aquecimento solar, que requer apenas o conhecimento dos parâmetros geométricos do sistema, dados meteorológicos em média mensal e informação a respeito do volume de demanda. O TermoDim é apropriado para estimar o desempenho de aquecedores solares operando por termossifão com tanques verticais e horizontais. O método de dimensionamento do TermoDim é baseado na correlação para a eficiência média mensal obtida neste trabalho a partir de um grande número de simulações.

O eleitor brasileiro : uma análise do comportamento eleitoral

Esta dissertação estabelece as principais características do comportamento da maioria dos eleitores brasileiros e procura demonstrar que existe uma “razão” que move as escolhas eleitorais. Para tanto, utiliza-se da produção da ciência política brasileira sobre o comportamento eleitoral e de pesquisas realizadas em diversas cidades do interior do Rio Grande do Sul. O principal objetivo deste trabalho é o de compreender como se processam as escolhas eleitorais, tendo em vista que a maioria do eleitorado brasileiro não acredita na política, mantém-se distante dos mecanismos de participação e vota na pessoa do candidato. O pressuposto básico é de que as escolhas eleitorais da maior parte da população, em especial, as das camadas populares, são motivadas por uma cultura política cética e personalista, que tem sua origem e manutenção nos condicionantes históricos-estruturais da política brasileira. As evidências indicam que a maior parte do eleitorado, define o destino do voto de forma sensível e emocional, a partir dos atributos simbólicos dos candidatos e das imagens difusas das competições eleitorais. Nesse contexto, estabelece-se a lógica do comportamento da maioria dos eleitores brasileiros, que pode ser interpretado como emotivo, tendo em vista que as preferências eleitorais tendem a direcionar-se aos candidatos que são mais “conhecidos positivamente”, e que, ao mesmo tempo, desfrutam de uma avaliação positiva de confiança, afinidade e simpatia. Nesses termos é que a imagem de um candidato torna-se elemento-chave da decisão eleitoral. O eleitor emotivo vota no candidato que conhece positivamente e inspira confiança, porque o voto é resultado de uma cultura política personalista e descrente. O eleitor brasileiro vota em quem “conhece”, porque “confia”.

Cálculo do subsídio implícito a agricultura, proveniente da política de preços mínimos, utilizando a teoria de "option pricing"

O objetivo desse trabalho é calcular o subsídio implícito aos produtores de arroz agulhinha, feijão preto, milho e soja, proveniente da política de preços mínimos, através da avaliação dos prêmios das opções de venda que correspondem à política de preços mínimos para essas commodities.