Identificação de nomes ativos em agentes-π baseada em tipos

Na última década muitos esforços têm sido feitos em verificação formal de propriedades de agentes do cálculo-π. Uma dessas propriedades é a equivalência observacional, que serve para determinar se um processo é equivalente a sua especificação. Contudo, a verificação de equivalência observacional não é um problema trivial. A maioria dos algoritmos destinados a verificação de equivalência são baseados na construção de sistemas de transições rotuladas (π-autômatos). O principal problema com essa abordagem é o grande número de estados envolvidos podendo chegar a um número infinito. Montanari e Pistore mostram que é possível gerar π-autômatos finitos para agentes-π e é possível reduzir a quantidade de estados desses π-autômatos, através da identificação dos nomes ativos. Um nome é semanticamente ativo em um agente se ele pode ser executado de forma observável por ele. Este é um trabalho de análise estática, que tem por objetivo coletar os possíveis nomes ativos contidos em expressões-π, utilizando para isso um sistema de tipos. A vantagem da utilização de sistemas de tipos em relação a outras formas de análise estática é que sistemas de tipos são sistemas lógicos, logo as técnicas de prova da lógica podem ser aproveitadas no estudo de propriedades de sistemas de tipos. Além disso sistemas de tipos são definidos através da estrutura sintática de expressões, facilitando assim as provas por indução estrutural. Assim a principal contribuição deste trabalho é a elaboração do Active-Base-π, um sistema de tipos para a coleta de nomes ativos de expressões-π.

Análise botânica, química e biológica comparativa entre flores das espécies sambucus nigra L. e sambucus australis cham. & Schltdt. e avaliação preliminar da estabilidade

Flores das espécies Sambucus nigra, de origem européia, e Sambucus australis, nativa da América do Sul (Caprifoliaceae), denominadas sabugueiro e sabugueirodo- brasil, respectivamente, são utilizadas popularmente sob forma de infusão, como antiinflamatórias, laxativas e para condições febris resultantes de afecções do trato respiratório. Estudos prévios para S. nigra indicam compostos fenólicos como principais constituintes químicos, sendo estes relacionados às principais atividades biológicas avaliadas. Objetivando comparar esta espécie com Sambucus australis, foram realizadas análises botânicas macro e microscópicas das flores, identificando as principais diferenças entre as espécies, tais como o número de lóculos no ovário e presença de idioblastos cristalíferos em algumas estruturas, e observando os possíveis contaminantes (pedicelos). Também foram determinados os parâmetros farmacopéicos: cinzas totais e perda por dessecação. Após a análise química, foi escolhido o flavonóide rutina como marcador das espécies, para realizar análises quantitativas nas 31 amostras adquiridas e / ou coletadas, utilizando método de CLAE previamente validado. Soluções hidroetanólicas apresentaram maior capacidade de extração do produto alvo. Os limites mínimos de rutina observados para ambas as espécies foram de aproximadamente 0,65%. Também foram quantificados, por método espectrofotométrico, os flavonóides totais expressos em quercetina, sendo 0,93% e 1,46% os teores mínimos determinados para S.nigra e S. australis, respectivamente. O estudo da estabilidade acelerada (50°C ± 90% U.R.), avaliando a degradação dos constituintes químicos presentes permitiu sugerir a cinética de degradação de segunda ordem para da rutina nas duas espécies. Comparações de atividades biológicas das espécies foram realizadas pelos ensaios das atividades antiinflamatória (inibição do edema em pata de rato induzido por carragenina) e antioxidante (DPPH). Os resultados para o primeiro ensaio demonstraram ação equivalente em ambas as espécies para extratos hidroetanólicos a 80% (86% de inibição) e aquosos (81%), com atividade semelhante ao padrão indometacina (~83%); para a atividade antioxidante os extratos hidroetanólicos a 80% foram mais ativos (CE50 = 16 μg/ml) que os aquosos (CE50 = 27 μg/ml) em S. australis, e ambos extratos, superiores ao 28 extrato padronizado Gingko biloba (CE50 = 40 μg/ml) e aos extratos de S. nigra (CE50= 50 μg/ml – hidroetanólico e CE50= 32 μg/ml – aquoso).

Simulação numérica da transferência simultânea de energia e umidade através do solo em um sistema trocador-armazenador de calor

O presente trabalho pesquisa o fenômeno da transferência simultânea de calor e umidade em solos insaturados que envolvem dutos enterrados. Estes dutos e o solo envolvente compõem o chamado sistema trocador-armazenador de calor no solo, que é muitas vezes utilizado como fonte complementar de aquecimento em estufas solares agrícolas. O funcionamento do sistema trocador-armazenador de calor é baseado na energia armazenada no solo durante os horários de máxima insolação, sendo que durante a noite parte desta energia é recuperada. Durante o dia o ar quente do meio interno da estufa solar é bombeado para dentro do feixe de tubos enterrados, que devolvem o ar mais frio na outra extremidade. Por outro lado, durante a noite o ar mais frio do meio interno da estufa é bombeado para dentro dos dutos, os quais efetuam troca térmica com o solo envolvente, que neste horário possui a temperatura mais elevada do sistema. O objetivo geral deste trabalho é resolver o problema transiente periódico e tridimensional da transferência simultânea de calor e umidade em solos não-saturados, que compõem o sistema trocador-armazenador de calor, utilizando a simulação numérica. Como objetivos secundários têm-se: o melhoramento do sistema de troca térmica, a quantificação da parcela de calor transportado pela difusão da umidade no solo e a análise dos campos de temperatura e de conteúdo de umidade, sendo que a análise dos campos de umidade permite verificar se existe formação de frentes de secagem significativas na vizinhança dos dutos durante os sucessivos períodos de aquecimento e resfriamento a que o sistema é submetido. Na resolução do problema em questão é empregado o modelo clássico de Philip e De Vries para a transferência simultânea de calor e massa em meios porosos insaturados Neste modelo, as equações de conservação de energia e massa obtidas trazem explicitamente as influências combinadas dos gradientes de temperatura e de conteúdo de umidade nos processos de transporte de calor e umidade. O sistema de equações diferenciais governantes do problema em questão é resolvido numericamente utilizando o Método dos Volumes Finitos e na discretização destas equações é usada uma integração temporal totalmente implícita. Todas as propriedades difusivas e termofísicas empregadas são consideradas variáveis com a temperatura e o conteúdo de umidade. Os dutos de seção transversal circular do sistema trocadorarmazenador de calor no solo, são modelados como dutos de seção transversal quadrada de área equivalente para que coordenadas cartesianas possam ser utilizadas nos modelos analisados. Neste trabalho são simulados quatro modelos computacionais associados ao sistema trocador-armazenador de calor no solo. Estes modelos são compostos por: um duto isolado, um duto com convecção, dois dutos isolados e dois dutos com convecção. A variação da temperatura do ar na entrada do(s) escoamento(s), assim como a temperatura do meio ambiente, para os modelos com convecção, é dada por uma senóide com uma amplitude de 14 ºC. No modelo de um duto isolado, são realizadas simulações utilizando várias combinações dos parâmetros do modelo em questão e os resultados, assim obtidos, são comparados com aqueles encontrados na literatura Visando melhorar o sistema de troca térmica dos modelos computacionais investigados, são selecionados valores e intervalos de valores recomendados para os parâmetros do modelo de um duto isolado. Para este modelo, com um diâmetro de 0,1 m, são escolhidos valores (ou intervalos de valores) recomendados: de 4 m/s para a velocidade do escoamento interno dentro do duto, de 0,25 para o conteúdo de umidade do solo, de 5 até 20 metros para o comprimento do duto e de 0,20 até 0,30 m para a distância entre centros do dutos. As simulações dos quatro modelos computacionais realizadas utilizando as várias combinações dos valores recomendados para os parâmetros destes modelos, mostrou que não há diferença significativa entre os valores de calor volumétrico armazenado no solo empregando a resolução acoplada das equações de energia e de massa e a resolução da equação da temperatura. Mesmo para os modelos de um e de dois dutos com convecção a diferença percentual encontrada foi insignificante. Finalmente, são apresentados e analisados os campos de temperatura e de conteúdo de umidade para os quatro modelos computacionais avaliados. Os perfis de temperatura e de conteúdo de umidade em diferentes horários mostraram que, durante o dia, o solo absorve calor dos escoamentos internos de ar e, uma vez que, junto à superfície dos dutos tem-se regiões de maior temperatura, há, conseqüentemente, uma migração da umidade nestas regiões. Durante a noite, ocorre o contrário, o solo fornece calor aos escoamentos dentro dos dutos, e, desta forma, as regiões próximas aos dutos apresentam níveis de conteúdo de umidade superiores ao inicial. Ainda, os perfis de conteúdo de umidade para todas as situações analisadas mostraram que, não há formação de frentes de secagem significativas nas proximidades dos dutos que compõem os quatro modelos computacionais avaliados.

Desempenho produtivo e comportamento de vacas holandesas com a utilização de duas fontes protéicas na alimentação

O trabalho experimental foi desenvolvido em uma propriedade de produção leiteira no município de Camargo, na região fisiográfica denominada de Planalto Médio do RS, com o objetivo de estudar e quantificar o efeito da substituição do componente protéico (farelo de soja) da ração, comumente fornecida aos animais, por pastejo controlado de trevo branco (Trifolium repens L.) em animais mantidos em pastagens de azevém (Lolium multiflorum L.), na performance produtiva, comportamento e qualidade do leite de vacas holandesas. Para tal, foram utilizados dois grupos de animais agrupados de forma homogênea após estratificação por produção, período de lactação e peso corporal, em um delineamento experimental completamente casualizado em blocos. Os dois grupos eram mantidos em pastagens de azevém, por um determinado período de tempo durante o dia (aproximadamente 5 horas). Um grupo recebia diariamente 3 kg de suplemento energético constituído de farelo de milho, farelo de trigo, casca de soja e sal mineral (subtraída de farelo de soja) e tinha acesso controlado à pastagem de trevo branco (aproximadamente 2,5 horas), denominado tratamento TB; outro recebia a mesma quantidade de suplemento, adicionada de quantidade de proteína equivalente ao consumo diário no tratamento anterior via trevo, na forma de farelo de soja, denominado tratamento FS. As medições eram realizadas em avaliações quinzenais, procedendo-se controles leiteiros individuais, medidas de perímetro torácico, coletas de amostras de sangue e leite dos animais e registro de atividades dos animais em pastejo. Os resultados demonstraram semelhanças significativas entre os dois tratamentos, para a maioria das variáveis estudadas, com exceção do teor de proteína do leite que foi maior para o tratamento TB, e os valores de teor de lactose, tempo de pastejo e freqüência de bocados maiores para o tratamento FS. Estes resultados indicam que a utilização do trevo branco, como fonte protéica para os animais, foi tecnicamente viável e eficiente.

Corrosão do aço induzida por íons cloreto : uma análise crítica das técnicas eletroquímicas aplicadas ao sistema aço-concreto com ou sem pozolana

O objetivo deste estudo foi investigar o processo de corrosão no aço embutido nos concretos com relação a/agl 0,40; a/agl 0,50 e a/agl 0,70, com substituição parcial do cimento por 30% de cinza da casca de arroz (CCA), 25% ou 50% de cinza volante (CV), expresso por massa de cimento, obtendo-se concretos convencionais com resistência mecânica variando entre 17 e 51 MPa, aos 28 dias de idade. O processo de corrosão foi induzido pelos íons cloreto, por exposição aos ciclos de imersão em solução com 3,5% NaCl e secagem ao ar, durante um longo período de exposição (5 anos). Foram apresentados os resultados obtidos das propriedades físicas (resistência mecânica à compressão axial, índice de vazios e absorção de água) e propriedades elétricas (queda ôhmica, resistência e capacitância do concreto e interfacial). Foram discutidas as técnicas eletroquímicas usadas para avaliar o processo de corrosão, tais como o monitoramento do potencial de corrosão (Ecorr), resistência de polarização (Rp), espectroscopia de impedância eletroquímica (EIS) e curvas de polarização. A técnica de interrupção de corrente foi usada para obter-se informações sobre a queda ôhmica no sistema. No presente estudo foram utilizados diferentes métodos de determinação da velocidade de corrosão (icorr), tais como Rp e EIS. Ambas as técnicas foram relativamente adequadas para a determinação do valor da icorr, quando o aço se encontrava no estado de corrosão ativa. O valor da icorr obtida pela extrapolação das retas de Tafel (retas tangentes às curvas de polarização) tendeu ser mais baixo. Observou-se que a técnica de Rp é relativamente simples, rápida e quantitativa, mas requer a determinação da compensação da queda ôhmica no sistema, o qual pode variar com o tempo de exposição, conteúdo de umidade, teor de íons cloreto e com o grau de hidratação. A técnica EIS pode fornecer informações precisas sobre a icorr, processo de difusão envolvido, heterogeneidade ou porosidade da matriz e interfaces do concreto. Todavia, pode criar um espectro de difícil interpretação, além de consumir muito tempo para a aquisição dos resultados. A dificuldade na técnica EIS ficou também relacionada com a obtenção direta da resistência de transferência de carga (Rt) no diagrama de Nyquist. A evolução do processo de corrosão pode ser mais bem avaliada pelo acompanhamento da diminuição da inclinação da curva log |Z| x log ƒ no diagrama de Bode, sendo esta diretamente proporcional à Rt. Para a análise dos dados de impedância, um circuito equivalente foi proposto, auxiliando na interpretação física do processo de corrosão acontecendo no sistema aço-concreto sem pozolana. Os resultados obtidos também demonstraram que os concretos com mais baixa relação a/agl estudada e com pozolana (30% CCA, 25% CV ou 50% CV, por massa de cimento) foram mais eficientes no controle da iniciação do processo de corrosão, induzida por íons cloreto, quando monitorado pela medida do Ecorr.