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.