Remoção de óleos emulsificados por flotação por ar dissolvido

Neste trabalho estuda-se o processo de flotação por ar dissolvido (FAD) como método de remoção de óleos emulsificados. Realizou-se uma revisão bibliográfica tanto do processo de flotação como dos fundamentos físico-químicos envolvidos na estabilidade e flotação de emulsões. Foram realizados testes de estabilidade de emulsões, de FAD descontínuos e contínuos, utilizando-se emulsões de 1000 mg/l de Óleo diesel e heptano. Verificou-se a eficiência do sulfato de alumínio e de compostos poliméricos como agentes desestabilizantes. Estudou-se a influência do tipo e concentração dos agentes desestabilizantes, pH da emulsão, do tipo de água e agitação nos testes de estabilidade como também na flotação por ar dissolvido. Os resultados obtidos indicaram a viabilidade técnica da aplicação do processo para a clarificação de efluentes oleosos atingindo valores de turbidez residual satisfatórios (menores que 5 UNT). O sulfato de alumínio mostrou-se mais eficiente como agente desestabilizante de ambas emulsões nos estudos de estabilidade e testes de PAD descontínuos, mas o polímero catiônico C-505 apresentou melhores resultados nos testes de flotação contínuos. O presente trabalho ainda apresenta um estudo de dimensionamento e do custo da unidade de FAD para remoção de óleos emulsificados que leva em consideração os custos de investimentos e de operação da unidade. Verifica-se que o custo total da unidade depende da vazão de alimentação, taxa de recirculação, taxa ar/sólido em massa e concentração inicial de óleos. Conclui-se que para as taxas de ar/sólido usados na indústria (geralmente menores que 0,1) o custo operacional do reagente é o parâmetro determinante do custo total atualizado da unidade. Isto faz com que o custo total atualizado seja essencialmente independente da relação taxa de aplicação - taxa ar/sólido.

Identidade territorial em unidades de conservação : ponto de apoio para uma análise epistemológica da questão ambiental

Esta dissertação de mestrado consiste em um estudo epistemológico da questão ambiental, baseado na análise das identidades territoriais das populações habitantes de Unidades de Conservação (UC’s). Tais populações geralmente têm um modo de vida peculiar e muito vinculado com o espaço onde vivem. Além disso, elas também têm outras percepções sobre a questão ambiental e os conceitos relacionados. Estas percepções, entretanto, geralmente são subjugadas em nome da tecnocracia presente nos órgãos e instituições que trabalham com a temática ambiental. Neste contexto, o trabalho realiza um levantamento dos impasses e conflitos existentes a partir das considerações acima expostas, e os relaciona com as visões, sobre a questão ambiental, dos diferentes grupos sociais envolvidos (poder público, setor privado, ONG´s, movimentos sociais e populações tradicionais). A esta análise acrescenta uma (re)leitura dos métodos científicos à luz da epistemologia (positivismo, neopositivismo, materialismo histórico e dialético, fenomenologia, pós-modernismo e anarquismo), e o modo como cada um deles entende os conceitos de natureza e ambiente. Após, relaciona estas concepções metodológicas com as visões dos diferentes grupos, identificando a posição mais ligada a cada um deles. Com isso, as UC’s são questionadas a partir de sua base epistêmica, que reflete a matriz de pensamento ocidental moderno, e que por sua vez tende a dicotomizar homem e natureza. Ao final, são propostas outras leituras, baseadas em outras matrizes epistemológicas, para superar os impasses relativos a este viés da questão ambiental.

Um Estudo de técnicas de aceleração para algoritmos de análise de timing funcional baseados em geração automática de teste

Este trabalho tem como objetivo estudar e avaliar técnicas para a aceleração de algoritmos de análise de timing funcional (FTA - Functional Timing Analysis) baseados em geração automática de testes (ATPG – Automatic Test Generation). Para tanto, são abordados três algoritmos conhecidos : algoritmo-D, o PODEM e o FAN. Após a análise dos algoritmos e o estudo de algumas técnicas de aceleração, é proposto o algoritmo DETA (Delay Enumeration-Based Timing Analysis) que determina o atraso crítico de circuitos que contêm portas complexas. O DETA está definido como um algoritmo baseado em ATPG com sensibilização concorrente de caminhos. Na implementação do algoritmo, foi possível validar o modelo de computação de atrasos para circuitos que contêm portas complexas utilizando a abordagem de macro-expansão implícita. Além disso, alguns resultados parciais demonstram que, para alguns circuitos, o DETA apresenta uma pequena dependência do número de entradas quando comparado com a dependência no procedimento de simulação. Desta forma, é possível evitar uma pesquisa extensa antes de se encontrar o teste e assim, obter sucesso na aplicação de métodos para aceleração do algoritmo.