Teste de fluxo de dados de programas com ponteiros e registros.

Dois modelos mais precisos de análise de fluxo de dados voltados para o teste de programas que utilizaram ponteiros e campos de registros são apresentados. Os modelos propostos são baseados em uma abordagem conservadora e foram implementados na ferramenta POKE-TOOL. A conjectura é que a análise de fluxo de dados mais precisa aumenta a eficácia do teste a um custo razoável .Para investigar essa conjectura, um estudo de caso foi realizado para avaliar a eficácia eo custo da utilização dos dois modelos no teste com duas famílias diferentes de critérios de teste baseados em análise de fluxo de dados. Os resultados obtidos indicam que a eficácia dos modelos dependem do programa e dos defeitos que ele contém. A segunda observação em especial indica que existem defeitos cuja detecção é facilitada quando os modelos propostos são utilizados. Para uma das famílias de critérios de teste, foi observado que o custo adicional causado pela análise mais precisa de fluxo de dados é razoável.

Fluxo de gases-traco de efeito estufa na interface solo/atmosfera em solos de cerrado (2001).

A contribuicao da agricultura para as emissoes de gases de efeito estufa tem sido discutida em varios estudos. No que se refere as emissoes de CH4 (metano) e N2O (oxido nitroso), tem sido demostrado que a contribuicao dela esta em torno de 65% e 90% do total das emissoes antropogenicas respectivamente. O metano e produzido pela decomposicao anaerobica da materia organica no solo, queima de residuos e fermentacao de ruminantes. O cosumo desse gas ocorre pela oxidacao de radicais OH na troposfera e por oxidacao microbiologica no solo. O oxido nitroso e igualmente distribuido na troposfera e apresenta um tempo de resistencia bem maior do que o metano. Esse gas e produzido nos solos por processos biologicos e não-bioloicos, a partir de tranformacoes microbianas de nitrogenio inorganico nos solos, sendo a denitrifigacao e a nitrifigacao, os processos microbiologicos que mais contribuem para a emissao de N2O. A conversao de floresta para o uso agricola tem sido indicado como causador do aumento no fluxos de N2O, no entanto, neste estudo, em areas de Cerrado, emissoes muito reduzidas foram medidas. A capacidade de solos da Regiao do Cerrado consumir CH4 foi demostrada neste estudo. Embora tenha sido observada uma variacao sazonal dos fluxos, em nenhum periodo foi medida emissao desse gas, mesmo durante o periodo chuvoso. A possível reducao nas taxas de oxidacao de metano como resultado do aumento de fontes nitrogenadas em areas cultivadas, indicada por trabalhos anteriores, não e verificada pelo estudo.

Biochar a partir de biomassa de Miscanthus e Quebracho, produzido em forno tubular em sistema aberto e sob fluxo de nitrogênio.

2015

Estimativa de incerteza de medição em ensaio de contagem de células somáticas por citometria de fluxo em leito bovino cru.

2015