Lutas pela definição de concepções de justica na construção do Parque Nacional dos Aparados da Serra - RS/SC

A política nacional de proteção ambiental, por meio da criação de parques nacionais, tem gerado conflitos com populações que habitam áreas destinadas a preservação. Além da imposição de restrições às atividades desenvolvidas por moradores, o projeto prevê a desocupação total desses locais e a indenização dos proprietários de terras. Esse trabalho aborda a implementação do Parque Nacional dos Aparados da Serra, localizado nos municípios de Cambará do Sul, no estado do RS, e de Praia Grande, em SC. Especificamente, o estudo centra-se na análise dos sentidos de justiça de moradores da área e de operadores jurídicos. Os moradores assumem uma posição de resistência à proposta estatal a partir da reivindicação de especificidades culturais. Entretanto, as possibilidades de pensar a justiça, configuradas num jogo de forças bastante desigual, vão sendo enquadradas a proposta hegemônica: a saída do local, o pagamento das terras e a concretização do parque. Esse enquadramento decorre da violência simbólica extremada, da fragilidade institucional do empreendimento e da mediação jurídica voltada à legitimação da proposta oficial. As normas ambientais e a criminalização das atividades, impostas a partir do Estado, fazem com que os moradores, em busca de uma identidade mais legítima, passem a assumir uma postura de relativa aceitação das condições impostas. Nesse processo, os moradores são submetidos a um cotidiano de tensão e insegurança permanentes. Os operadores jurídicos inserem-se no conflito como mediadores sociais. No exercício da mediação, esses agentes transcodificam as perspectivas de justiça dos moradores ajustando-as às possibilidades de pensá-las segundo princípios universalizantes do campo jurídico.

Graphical models and point set matching

Point pattern matching in Euclidean Spaces is one of the fundamental problems in Pattern Recognition, having applications ranging from Computer Vision to Computational Chemistry. Whenever two complex patterns are encoded by two sets of points identifying their key features, their comparison can be seen as a point pattern matching problem. This work proposes a single approach to both exact and inexact point set matching in Euclidean Spaces of arbitrary dimension. In the case of exact matching, it is assured to find an optimal solution. For inexact matching (when noise is involved), experimental results confirm the validity of the approach. We start by regarding point pattern matching as a weighted graph matching problem. We then formulate the weighted graph matching problem as one of Bayesian inference in a probabilistic graphical model. By exploiting the existence of fundamental constraints in patterns embedded in Euclidean Spaces, we prove that for exact point set matching a simple graphical model is equivalent to the full model. It is possible to show that exact probabilistic inference in this simple model has polynomial time complexity with respect to the number of elements in the patterns to be matched. This gives rise to a technique that for exact matching provably finds a global optimum in polynomial time for any dimensionality of the underlying Euclidean Space. Computational experiments comparing this technique with well-known probabilistic relaxation labeling show significant performance improvement for inexact matching. The proposed approach is significantly more robust under augmentation of the sizes of the involved patterns. In the absence of noise, the results are always perfect.

Identificação e diferenciação do Mycobacterium tuberculosis pela amplificação do DNA das regiões intergênicas dos operons inhA e pIC

Entre as doenças causadas por bactérias do gênero Mycobacterium, a tuberculose por M. tuberculosis é a mais conhecida. O diagnóstico da doença é feito utilizando-se um conjunto de exames que possibilitam a identificação da mesma (WATT, 2000). Contudo, sabe-se que o diagnóstico combinado de microscopia direta e com o posterior isolamento em meio de cultivo é o “padrão-ouro”. A principal desvantagem desse método é que tal bactéria possui um crescimento lento (cerca de 8 semanas). Recentemente, a detecção de doenças através da técnica de reação em cadeia da polimerase (PCR) tem proporcionado avanços significativos no diagnóstico. O uso da amplificação específica de genes, para identificar a M. tuberculosis, tais como rDNA 16S, IS6110 ou a região intergênica senX3-regX3, tem apresentado algumas restrições, ao nível de confiabilidade e sensibilidade, para a aplicação da técnica de PCR. O presente estudo mostra a construção e a aplicação de um novo alvo para a aplicação da PCR no diagnóstico da tuberculose, baseado no ensaio da diferença de organização gênica do operon plcA, B e C diferenciando a M. tuberculosis das demais micobactérias. Neste trabalho, foram examinadas 273 amostras de pacientes com suspeita de tuberculose, sendo estas submetidas ao estudo comparativo da técnica de PCR versus cultivo (padrão ouro). A PCR amplificou fragmentos de 439pb. Os resultados mostram 93,7% de acurácia para PCR/Cultivo (p<000,1), 93,1% de sensibilidade com intervalo de confiança de 88,7-96,0 e especificidade de 96,4% com intervalo de confiança de 96,4-99,4. O valor da estatística Kappa (k) foi de 0,82 com erro padrão de 0,041, demonstrando um alinhamento quase perfeito para a verificação do grau de concordância entre os testes. Desta forma, o uso desta nova região para a amplificação da PCR se mostra uma importante e confiável ferramenta no diagnóstico específico da tuberculose. Outra região que compreende parte dos genes mbaA e inhA foi utilizada para diferenciar o Complexo tuberculosis do Complexo avium. Porém, novos experimentos serão necessários para o emprego desta região como uma ferramenta de diagnóstico.

Padrões vegetacionais em capões de floresta com araucária no planalto nordeste do Rio Grande do Sul, Brasil

Capões naturais de vegetação florestal inseridas em meio a uma matriz dominada por campos freqüentemente destacam-se na paisagem do planalto sul-brasileiro. São importantes núcleos de manutenção dos processos florestais, bem como fornecedores de alimento e refúgio à fauna silvestre. Baseado em recentes estudos paleopalinológicos, nos últimos séculos as florestas do sul do Brasil estariam em um franco processo de avanço sobre a vegetação campestre. Hipotetíza-se que os capões desempenham um papel fundamental nesta expansão, mesmo que o processo possa sofrer inúmeras restrições de distúrbios como o pastejo e fogo, tradicionalmente utilizados como manejo por pecuaristas da região. O objetivo principal deste estudo foi a identificação de padrões vegetacionais na expansão das manchas florestais e relacioná-los às condições ambientais de solo e topografia. O estudo foi realizado no Centro de Pesquisa e Conservação da Natureza Pró-Mata, localizado na porção leste do planalto, no município de São Francisco de Paula, RS, a cerca de 900 m de altitude. A área, excluída da interferência antrópica há aproximadamente 10 anos, caracteriza-se pelo predomínio de Floresta com Araucária entremeada por campos nativos. Foram selecionados cinco capões de tamanho e forma semelhantes, em cada qual foram demarcadas quatro transecções orientadas perpendicularmente à borda entre floresta e campo. As transecções subdivididas em quadros contíguos foram avaliadas quanto à cobertura da vegetação dos componentes superior e inferior, além da descrição de fertilidade química da porção superficial do solo. Os resultados demonstram padrões consistentes e indicam uma expansão radial dos capões sem limitações edáficas. Sem a influência dos distúrbios, os capões estariam recuperando a capacidade de expansão e apresentam um rápido processo de reestruturação interna.

Reuse-based test planning for core-based systems-on-chip

Electronic applications are currently developed under the reuse-based paradigm. This design methodology presents several advantages for the reduction of the design complexity, but brings new challenges for the test of the final circuit. The access to embedded cores, the integration of several test methods, and the optimization of the several cost factors are just a few of the several problems that need to be tackled during test planning. Within this context, this thesis proposes two test planning approaches that aim at reducing the test costs of a core-based system by means of hardware reuse and integration of the test planning into the design flow. The first approach considers systems whose cores are connected directly or through a functional bus. The test planning method consists of a comprehensive model that includes the definition of a multi-mode access mechanism inside the chip and a search algorithm for the exploration of the design space. The access mechanism model considers the reuse of functional connections as well as partial test buses, cores transparency, and other bypass modes. The test schedule is defined in conjunction with the access mechanism so that good trade-offs among the costs of pins, area, and test time can be sought. Furthermore, system power constraints are also considered. This expansion of concerns makes it possible an efficient, yet fine-grained search, in the huge design space of a reuse-based environment. Experimental results clearly show the variety of trade-offs that can be explored using the proposed model, and its effectiveness on optimizing the system test plan. Networks-on-chip are likely to become the main communication platform of systemson- chip. Thus, the second approach presented in this work proposes the reuse of the on-chip network for the test of the cores embedded into the systems that use this communication platform. A power-aware test scheduling algorithm aiming at exploiting the network characteristics to minimize the system test time is presented. The reuse strategy is evaluated considering a number of system configurations, such as different positions of the cores in the network, power consumption constraints and number of interfaces with the tester. Experimental results show that the parallelization capability of the network can be exploited to reduce the system test time, whereas area and pin overhead are strongly minimized. In this manuscript, the main problems of the test of core-based systems are firstly identified and the current solutions are discussed. The problems being tackled by this thesis are then listed and the test planning approaches are detailed. Both test planning techniques are validated for the recently released ITC’02 SoC Test Benchmarks, and further compared to other test planning methods of the literature. This comparison confirms the efficiency of the proposed methods.

Instituições de assistência social e imunidade tributária

A problemática do presente trabalho é a análise da configuração atual da Assistência Social e suas instituições no Brasil, investigando o desenvolvimento do setor e a natureza da atividade assistencial, a partir da Constituição Federal de 1988. O objetivo principal desse trabalho é analisar as desonerações tributárias referentes à assistência social e sua regulação, especificamente a questão da imunidade tributária prevista pela Constituição Federal de 1988 (no artigo 150, VI, "c"). A metodologia utilizada foi a interpretativa, através de estudo de casos e análise teórica, buscando partir das decisões do Supremo Tribunal Federal para traçar o quadro histórico da questão em termos jurisprudenciais, para compreender a assistência social no contexto atual através da análise dos casos concretos e crítica das decisões. Justifica-se por ser um tema polêmico, tanto em termos regulatórios quanto em de análise das políticas públicas pertinentes ao setor. A Assistência Social e as relações do Estado com as entidades do setor tem sido objeto de discussões recentes, pela própria expansão do setor no país. Nesse contexto, a questão da imunidade tem sido o ponto mais sensível na relação Estado-entidades assistenciais, provocando conflitos quanto à regulação do instituto, agravado em razão de legislação inadequada criada para o setor. A determinação dos limites da aplicação das normas de imunidade tributária das entidades assistenciais se justificaria por trazer maior segurança jurídica à área, beneficiando não somente o Estado, mas as entidades sérias do setor A relevância teórica das discussões sobre os limites da legislação reguladora apresenta-se pela falta de padrões normativos definidos a respeito da atuação das instituições, que devem ser analisadas a partir da Constituição Federal de 1988. A discussão do papel do Estado também se destaca aqui, através do estudo das relações entre este e os particulares, quando realizam atividades de interesse públicoTambém é relevante a análise do impacto das alterações constitucionais em matéria de regulação da assistência social, cujos conceitos ainda não se encontram adequadamente tratados nas formulações teóricas e nas decisões dos tribunais, sendo que progressivamente vão sendo incorporados, especialmente pelos tribunais. Pode-se apontar inicialmente que o Supremo Tribunal Federal historicamente oscilou em suas decisões, hora partindo de uma interpretação mais ampla e flexível, hora restringindo a aplicação da imunidade, apresentando recentemente a tendência à flexibilização e interpretação ampliativa em relação aos requisitos para sua configuração. Entretanto, o tratamento não é uniforme, observando-se a exemplo a restrição da aplicação da imunidade em relação às Entidades de Previdência Complementar Fechadas. Verifica-se também a necessidade de uma nova legislação adequada à modernização do setor, definindo de forma mais clara as restrições à aplicação da imunidade tributária em seus vários aspectos, e adequando essas restrições aos requisitos constitucionais.

Desenvolvimento de um sistema de apoio à decisão para a otimização de traçados de obras de engenharia civil : o caso do sistema de defesa contra inundações da cidade de Resistencia, Argentina

O traçado de obras com características lineares num espaço geográfico tem, em princípio, um número muito grande de soluções. A seleção de traçados mais convenientes é hoje abordada pela Pesquisa Operacional por meio da Programação Dinâmica tradicional e das técnicas para resolver o problema conhecido como leastcost- path, (caminho de mínimo custo). Por sua vez, o planejamento de espaços geográficos é feito com o auxílio de técnicas de SIG (sistemas de informação geográfica). O estudo algorítmico dos caminhos de mínimo custo não é novidade e até os programas comerciais para SIG mais utilizados têm incorporado comandos que, com certas limitações, resolvem esse problema. Mas, seja qual for a abordagem, sempre é preciso conhecer a priori a funçãoobjetivo (FO), e isto não é tarefa fácil, pois devem ser conjugados objetivos de satisfação de necessidades sociais, políticas, ambientais e econômicas, o que gera um verdadeiro problema de otimização multiobjetivo e multicritério. Este trabalho teve como foco principal elaborar um modelo de decisão para ajudar na formulação da FO, adotando o paradigma multiobjetivo/multicritério, explorando inclusive o relaxamento difuso de pareceres dos decisores. Foram utilizadas apenas ferramentas computacionais (software e hardware) simples, de ampla difusão entre os engenheiros e de baixo custo, como a planilha de cálculo Excel e o programa Idrisi 32, procurando explorar suas aptidões e limitações, sem recorrer à elaboração e/ou utilização de códigos computacionais próprios, sobre os quais muitas pessoas sentem receios até não serem testados suficientemente. Foi obtido um sistema de apoio à decisão eficaz e de fácil utilização e sua possibilidade de aplicação foi testada na definição do traçado ótimo de parte da defesa norte da cidade de Resistencia (Argentina).

A fricativa coronal /z/ em final de morfemas no PB : uma análise pela Teoria da Otimidade

Nosso trabalho discute a realização das fricativas /s/ e /z/ na borda direita de morfemas no português brasileiro, especialmente no dialeto gaúcho, à luz do modelo standard da Teoria da Otimidade. Os dados que consideramos referem-se principalmente a prefixos, no entanto, as afirmações feitas não se limitam apenas a essa fronteira morfológica, mas também às fronteiras de outros morfemas, inclusive a de palavras, estendendo-se a qualquer coda. Nossa proposta toma como base a hipótese de que a representação subjacente da fricativa é /z/. Dão conta da realização distinta dessa fricativa na superfície as restrições de marcação contextual *[s] [+cons + voz] e *voicedcoda e a restrição de fidelidade Ident-IO ranqueadas nessa ordem. A análise mostra que é possível observar esse aspecto da fonologia do PB pela Teoria da Otimidade standard.

A alternância entre ditongo crescente e hiato em português : uma análise otimalista

Nosso objetivo nesta dissertação é verificar como se dá a realização de seqüências de segmentos vocálicos de sonoridade crescente em português, mais especificamente em sua variedade falada em Porto Alegre. Para tal, nosso corpus é formado, principalmente, por entrevistas do banco de dados do projeto VARSUL. Fazem parte deste corpus 24 informantes, com escolaridade entre o Ensino Fundamental e o Médio e com idades que variam entre os 20 e os 60 anos. A partir destes dados, fazemos nossa análise, que possui como referencial teórico a Teoria da Otimidade, proposta por Prince e Smolensky (1993) e McCarthy e Prince (1993). Esta proposta de análise tem como base a pesquisa realizada por Cabré e Prieto (2004) com relação ao catalão. Através das semelhanças e diferenças entre as duas línguas, foi possível estabelecer a hierarquia de restrições responsáveis pela realização das seqüências em questão em português. É importante destacar que há variação entre ditongo crescente e hiato tanto em português como em catalão. Nossa pesquisa, entretanto, bem como a de Cabré e Prieto, toma os resultados obtidos como categóricos. Com relação à nossa proposta de análise, acreditamos que esta pode ser um instrumento a partir do qual se construa o tratamento da variação em um trabalho futuro.

Análise econômica e jurídica da adoção de acordos de exclusividade entre fabricantes e revendedores

Este trabalho trata de cláusulas de exclusividade em contratos de distribuição estabelecidos entre fabricantes e revendedores e de sua interpretação perante as leis de defesa da concorrência. O conhecimento dos objetivos e da evolução nas interpretações das legislações antitruste nos Estados Unidos, Europa e Brasil, possibilitou o entendimento e a comparação dos principais métodos de análise da legalidade dos acordos de exclusividade. Por outro lado, o estudo da teoria econômica e a análise de casos práticos sobre o respectivo assunto permitiram a sistematização dos potenciais efeitos anti e pró-competitivos decorrentes da adoção deste tipo de prática restritiva e dos fatores que atuam reduzindo ou intensificandoos. Enquanto na Europa a sistemática de análise de condutas anticompetitivas, em acordos de fornecimento e distribuição, baseia-se em uma série de abordagens per se, seguida do cálculo da quota de mercado, nos Estados Unidos e no Brasil as correspondentes sistemáticas concentram-se na constatação do poder de mercado e na subseqüente utilização da “regra da razão” visando a ponderação entre as restrições e as eficiências geradas à concorrência. As cláusulas de exclusividade, ao possibilitarem a proteção aos investimentos do fabricante e promoverem o estímulo aos esforços de venda dos distribuidores, atuam incentivando a prestação de serviços especiais em conjunto à comercialização de produtos físicos, o que pode determinar a promoção da competição inter e intramarcas.

Um modelo de resolução para o problema de roteirização em arcos com restrição de capacidade

Os Problemas de Roteirização em Arcos constituem uma classe dos Problemas de Roteirização de Veículos, nos quais as demandas ocorrem de maneira contínua ao longo dos segmentos de uma rede de transporte. O campo de aplicação dos Problemas de Roteirização em Arcos abrange o planejamento da operação de serviços como a coleta de lixo; a entrega de correspondência e de jornais; a leitura de medidores de energia elétrica, água e gás; e o transporte escolar por ônibus. Nas situações de ordem prática é comum a ocorrência de restrições operacionais que impossibilitam o atendimento de todas as demandas existentes em uma rede de transporte por um único veículo ou pessoa. Desse modo, além da seqüência de percurso, é necessário determinar o conjunto de segmentos de via que cada unidade de trabalho pertencente a uma frota ou equipe de serviço deve atender. Este trabalho apresenta os aspectos conceituais e resolutivos dos Problemas de Roteirização em Arcos e do Problema do Particionamento de Redes de Transporte. É feita também a proposição de um modelo de resolução, desenvolvido a partir da estratégia de agrupar primeiro – roteirizar depois, para o Problema de Roteirização em Arcos Capacitado descrito em grafos não orientados. A demonstração do modelo é feita através de sua aplicação em um estudo de caso. São feitas, a seguir, a análise do desempenho do modelo nesta aplicação e a comparação entre os resultados obtidos e a prática atualmente utilizada, a qual é baseada na experiência de um planejador.

Desenvolvimento de um método de melhoria do processo logístico de uma empresa prestadora de serviços de distribuição de energia elétrica pela identificação de gargalos e avaliação dos custos das atividades desenvolvidas

Resumo não disponível.

Sistemas de engenharia John Deere Brasil descrição de um ambiente de engenharia para o século XXI

Este trabalho procura sintetizar oito anos de experiência profissional na implantação de recursos de Sistemas de Engenharia nas unidades industriais da John Deere no Brasil. No capítulo 2 são apresentados Fundamentos Teóricos ( conceitos básicos de Sistemas de Engenharia, fundamentos teóricos relativos a Mudança de Paradigmas e uma breve revisão sobre a Teoria das Restrições ) que embasarão a descrição da evolução do cenário tecnológico que atualmente compõe as operações de desenvolvimento de produto e de manufatura da John Deere no Brasil. Esta descrição é feita no capítulo 3. O capítulo 4 descreve a implantação dos recursos de Sistemas de Engenharia atualmente em uso bem como faz estudos comparativos entre este ambiente e o ambiente anterior. Neste capítulo também são apresentados alguns dos resultados alcançados no novo ambiente. No capítulo 5 são apresentados novos conceitos ( atualmente em implementação ) derivados do ambiente descrito assim como define o perfil profissional desejado pela companhia para os engenheiros que atuarão neste ambiente. Nos Anexos são apresentadas descrições de eventos ou situações que de alguma forma influenciaram o atual ambiente de engenharia da companhia no Brasil.

O uso da simulação computacional como ferramenta de auxílio à tomada de decisão : aplicação em empresa de papelão ondulado

A competição entre as empresas pela busca de mercado tem levado ao aprimoramento de suas atividades e melhorias em seus processos produtivos. Este trabalho apresenta a análise do processo produtivo de uma empresa produtora de embalagens de papelão ondulado através da técnica da simulação computacional. O simulador ProModel foi utilizado no desenvolvimento do estudo e se mostrou adequado para a modelagem do processo produtivo e geração de resultados. Com a sua capacidade de animação, criação de macros e geração de relatórios, ficou facilitado o desenvolvimento e analise de cenários. Isto permitiu que o foco do estudo ficasse sobre a análise dos resultados e simulação de cenários e não na programação para criação e rodagem do modelo de simulação. A partir da modelagem do processo real de trabalho foi possível identificar restrições de capacidades no sistema, o que levou à criação de cenários onde oportunidades de melhoria pudessem ser avaliadas. A revelação de que a parcial utilização do equipamento denominado Onduladeira, o qual gerava perdas por ociosidade nas impressoras, acabou se mostrando como o gargalo do processo produtivo é o mais indicado ponto de melhoria. Com o incremento de produtividade sobre este equipamento, definido a partir de análises dos cenários, obteve-se como resultado a utilização de 100% dos demais equipamentos do processo produtivo. Análises e comparações de resultados entre os cenários e as conclusões do estudo são apresentadas no final do trabalho.

Modelo de indicadores de sustentabilidade aplicável a hidrovias na Amazônia : MISAHA

As propostas de projetos hidroviários para a Amazônia têm, sistematicamente, recebido fortes restrições por parte da sociedade civil organizada. Como poderia ser entendida tal situação, se a Amazônia Brasileira dispõe das melhores características físicas para o uso do transporte fluvial ? Este trabalho objetiva discutir alternativas potenciais de soluções para o delineamento de projetos hidroviários sustentáveis, a partir de uma visão sobre os múltiplos usos e a participação mais direta da sociedade nas tomadas de decisões que envolvem o uso dos recursos hídricos. A tese propõe um modelo analítico denominado MISAHA (Modelo de Indicadores de Sustentabilidade Aplicável a Hidrovias na Amazônia) como um gerador de indicadores de sustentabilidade, capazes de auxiliar o delineamento de projetos hidroviários para a Amazônia.