Relés de distância são muito utilizados para proteger linhas de transmissão. Porém, há baixa precisão dos limites de sua zona de proteção devido a fenômenos de subalcance e sobrealcance. Assim, nesta dissertação de mestrado é proposto um algoritmo com compensação da resistência de falta, baseado em coordenadas de fase, objetivando aumentar a precisão dos limites da zona de proteção. A formulação proposta utiliza uma estimativa da corrente de falta para estimar a resistência de falta e compensar a impedância aparente calculada. Foram realizados o equacionamento e desenvolvimento do algoritmo para faltas tipo fase. Simulações e testes numéricos comparativos com formulações estado-da-arte verificaram a eficiência do método proposto. / Distance Relays are widely used to protect transmission lines. However, due to underreaching and overreaching phenomena, there is a low precision in protection zone limits of distance relays. Thus, in this dissertation, a new algorithm based in phase coordinates is proposed to increase the precision in zone protection limits. The proposed method uses the fault corrent to estimate the fault resistance and compensate the apparent impedance calculated. The equation development was done for phase type faults. Comparative tests with state-of-the-art formulations verified the efficiency of the proposed method.

A diminuição no tamanho dos transistores vem aumentando cada vez mais o número de funções que os dispositivos eletrônicos podem realizar. Apesar da diminuição do tamanho mínimo dos transistores, a velocidade máxima dos circuitos não consegue seguir a mesma taxa de aumento. Um dos grandes culpados apontados pelos pesquisadores são as interconexões entre os transistores e também entre os componentes. O aumento no número de interconexões dos circuitos traz consigo um significativo aumento do cosumo de energia, aumento do atraso de propagação dos sinais, além de um aumento da complexidade e custo do projeto dos circuitos integrados. Como uma possível solução a este problema é proposta a utilização de lógica multivalorada, mais especificamente, a lógica quaternária. Os dispositivos FPGAs são caracterizados principalmente pela grande flexibilidade que oferecem aos projetistas de sistemas digitais. Entretanto, com o avanço nas tecnologias de fabricação de circuitos integrados e diminuição das dimensões de fabricação, os problemas relacionados ao grande número de interconexões são uma preocupação para as próximas tecnologias de FPGAs. As tecnologias menores que 90nm possuem um grande aumento na taxa de erros dos circuitos, na lógica combinacional e sequencial. Apesar de algumas potenciais soluções começara a ser investigadas pela comunidade, a busca por circuitos tolerantes a erros induzidos por radiação, sem penalidades no desempenho, área ou potência, ainda é um assunto de pesquisa em aberto. Este trabalho propõe o uso de circuitos quaternários com modificações para tolerar falhas provenientes de eventos transientes. Como principal contribuição deste trabalho destaca-se o desenvolvimento de uma CLB (do inglês Configurable Logic Block) quaternária capaz de suportar eventos transientes e, na possibilidade de um erro, evitá-lo ou corrigi-lo. / The decrease in transistor size is increasing the number of functions that can be performed by the electronic devices. Despite this reduction in the transistors minimum size, the circuit’s speed does not follow the same rate. One of the major reasons pointed out by researchers are the interconnections between the transistors and between the components. The increase in the number of circuit interconnections brings a significant increase in energy consumption, propagation delay of signals, and an increase in the complexity and cost of new technologies IC designs. As a possible solution to this problem the use of multivalued logic is being proposed, more specifically, the quaternary logic. FPGA devices are characterized mainly by offering greater flexibility to designers of digital systems. However, with the advance in IC manufacturing technologies and the reduced size of the minimum fabricated dimensions, the problems related to the large number of interconnections are a concern for future technologies of FPGAs. The sub 90nm technologies have a large increase in the error rate of its functions for the combinational and sequential logic. Although potential solutions are being investigated by the community, the search for circuits tolerant to radiation induced errors, without performance, area, or power penalties, is still an open research issue. This work proposes the use of quaternary circuits with modifications to tolerate faults from transient events. The main contribution of this work is the development of a quaternary CLB (Configurable Logic Block) able to withstand transient events and the occurrence of soft errors.

Sistemas online como Facebook, Twitter, Digg, e comunidades BitTorrent (entre vários outros) oferecem um processo leve para a obtenção de identidades (por exemplo, confirmar um endereço de e-mail válido; os requisitos podem variar dependendo do sistema), de modo que os usuários possam cadastrar-se facilmente nos mesmos. Tal conveniência vem com um preço, no entanto: com um pequeno esforço, um atacante pode obter uma grande quantidade de contas falsas (ataque Sybil), e utilizá-las para executar atividades maliciosas (que possam prejudicar os usuários legítimos) ou obter vantagens indevidas. É extremamente desafiador (senão impossível) desenvolver uma única solução de gerenciamento de identidades que seja ao mesmo tempo capaz de oferecer suporte a uma variedade de usuários usando dispositivos heterogêneos e adequada para uma diversidade de ambientes (por exemplo, sistemas distribuídos de larga escala, Internet das Coisas, e Internet do Futuro). Como consequência, a comunidade de pesquisa tem focado no projeto de soluções de gerenciamento de identidades customizadas, em cenários com um conjunto bem definido de propósitos, requisitos e limitações. Nesta tese, abordamos o problema de contas falsas em sistemas distribuídos de larga escala. Mais especificamente, nos concentramos em sistemas baseados no paradigma para- par e que podem acomodar esquemas de gerenciamento de identidades leves e de longo prazo (ex., sistemas de compartilhamento de arquivos e de live streaming, sistemas de detecção de intrusão colaborativos, entre outros); leves porque os usuários devem obter identidades sem precisar fornecer “provas de identidade” (ex., passaporte) e/ou pagar taxas; e longo prazo porque os usuários devem ser capazes de manter suas identidades (ex., através de renovação) por um período indefinido. Nosso principal objetivo é propor um arcabouço para precificar adaptativamente as solicitações de identidades como uma abordagem para conter ataques Sybil. A ideia chave é estimar um grau de confiança para as solicitações de identidades, calculada como função do número de identidades já concedidas em um dado período, considerando a origem dessas solicitações. Nossa abordagem baseia-se em prova de trabalho e usa desafios criptográficos como um recurso para conter atacantes. Nesta tese, nós também concentramos esforços na reformulação dos desafios tradicionais, de modo a torná-los “verdes” e “´uteis”. Os resultados obtidos via simulação e experimentação mostraram a viabilidade técnica de usar desafios verdes e ´uteis para o gerenciamento de identidades. Mais importante, eles mostraram que caracterizar as solicitações de identidades com base na origem das mesmas constitui uma abordagem promissora para lidar com a redução substancial da disseminação de contas falsas. / Online systems such as Facebook, Twitter, Digg, and BitTorrent communities (among various others) offer a lightweight process for obtaining identities (e.g., confirming a valid e-mail address; the actual requirements may vary depending on the system), so that users can easily join them. Such convenience comes with a price, however: with minimum effort, an attacker can obtain a horde of fake accounts (Sybil attack), and use them to either perform malicious activities (that might harm legitimate users) or obtain unfair benefits. It is extremely challenging (if not impossible) to devise a single identity management solution at the same time able to support a variety of end-users using heterogeneous devices, and suitable for a multitude of environments (e.g., large-scale distributed systems, Internet-of-Things, and Future Internet). As a consequence, the research community has focused on the design of system-specific identity management solutions, in scenarios having a well-defined set of purposes, requirements, and constraints. In this thesis, we approach the issue of fake accounts in large-scale, distributed systems. More specifically, we target systems based on the peer-to-peer paradigm and that can accommodate lightweight, long-term identity management schemes (e.g., file sharing and live streaming networks, collaborative intrusion detection systems, among others); lightweight because users should obtain identities without being required to provide “proof of identity” (e.g., passport) and/or pay taxes; and long-term because users should be able to maintain their identities (e.g., through renewal) for an indefinite period. Our main objective is to propose a framework for adaptively pricing identity requests as an approach to limit Sybil attacks. The key idea is to estimate a trust score for identity requests, calculated as a as function of the number of identities already granted in a given period, and considering their source of origin. Our approach relies on proof of work, and uses cryptographic puzzles as a resource to restrain attackers. In this thesis, we also concentrate on reshaping traditional puzzles, in order to make them “green” and “useful”. The results obtained through simulation and experimentation have shown the feasibility of using green and useful puzzles for identity management. More importantly, they have shown that profiling identity requests based on their source of origin constitutes a promising approach to tackle the dissemination of fake accounts.

Esta dissertação tem por finalidade apresentar uma metodologia de injeção de falhas baseada em emulação de processadores. Os efeitos causados pela radiação em processadores, operando no espaço ou em altitudes elevadas, têm sido estudados na literatura para o desenvolvimento de mecanismos de tolerância a falhas. Com a crescente popularidade do uso de processadores comerciais, (COTS – do inglês, Commercial Off-The-Shelf), em aplicações críticas, uma série de preocupações tem surgido devido a falta de confiabilidade apresentada por estes sistemas. Sendo desprovidos de mecanismos de tolerância para melhor robustez em ambientes espaciais, estes dispositivos comerciais são mais suscetíveis aos efeitos da radiação. Neste contexto, técnicas de tolerância a falhas baseadas em software vêm sendo estudadas a fim de aumentar a confiabilidade desta abordagem. Para a devida validação de tais mecanismos de tolerância, o uso de técnicas de injeção de falhas é aplicável. Estas técnicas de injeção de falhas possuem uma série de limitações que podem inviabilizar a sua aplicabilidade, dependendo da abordagem utilizada. Fatores como custo, indisponibilidade da descrição de hardware – utilizada em técnicas de injeção de falhas por simulação ou emulação em FPGA (Field Programmable Gate Array), e o longo tempo necessário para execução dos experimentos, são alguns exemplos de limitações das técnicas disponíveis. Com base nisso, a metodologia de injeção de falhas alternativa apresentada neste trabalho, visa reduzir as limitações presentes nas mais diversas técnicas. Baseada na utilização de tradução dinâmica de instruções, para acelerar o processo de execução de aplicações em emuladores, a metodologia apresenta um modelo de falhas para efeitos transientes e permanentes, aplicáveis neste cenário. Como método de classificação dos efeitos observados neste processo, um modelo presente na literatura foi utilizado. Para validação desta metodologia, um injetor de falhas baseado no emulador QEMU foi desenvolvido. Posteriormente, um estudo de caso com o injetor de falhas foi realizado para três estruturas de software distintas executando individualmente no processador MIPS 24kc, representando três níveis de complexidade distintos: sistema operacional Linux, sistema de tempo real, (RTEMS – do inglês, Real-Time Operating System), e uma aplicação dedicada. Cada sistema foi submetido a uma campanha de injeção de falhas transientes para emulação de efeitos singulares (SEU – do inglês, Single Event Upset). Como alvo de falhas, foram selecionados os registradores do processador e a memória de dados. Por fim, as análises obtidas através dos experimentos mostraram os diferentes efeitos observados para os três níveis de complexidade dos softwares executados. Além disso, se pôde avaliar o desempenho do injetor de falhas, disponibilizando ao final do trabalho uma ferramenta para o auxílio no desenvolvimento de técnicas de tolerância a falhas por software. / This dissertation aims to present a fault injection methodology based on microprocessor emulation. The effects caused by radiation in microprocessors, operating in space or at high altitudes, have been studied in the literature for the development of fault tolerance mechanisms. With the growing popularity of COTS (Commercial Off-The-Shelf) processors usage, in critical applications, a number of concerns have arisen due to the lack of reliability, presented in these systems. Due to the lack of fault tolerance mechanisms, these COTS devices are more susceptible to radiation effects. In this context, software-based fault tolerance techniques have been studied in the literature in order to increase the reliability of this approach. To validate such fault tolerance mechanisms, the use of fault injection techniques is applicable. These fault injection techniques have several limitations which can preclude their applicability, depending on of its design approach. Factor such as cost, unavailability of hardware description – used by fault injection techniques based on simulation or emulation with FPGA (Field Programmable Gate Array), and the long time demanded to execute experiments, are some examples of limitations in the available techniques. Based on this, the alternative fault injection methodology presented in this work aims to reduce these limitations. Based on the dynamic translation of instructions usage to accelerate the execution of application on emulators, the methodology presents a fault model for transient and permanent faults applicable in this scenario. As a classification method of the observed effects in this process, a model in the literature has been used. To validate this methodology, a fault injector based on the QEMU emulator was implemented. Later, a case study with the fault injector was performed for three software structures running at a time on a MIPS 24kc processor, representing three different levels of complexity: Linux operating system, RTEMS (Real-Time Operating System), and a dedicated application. Each system was submitted to a fault injection campaign emulating Single Event Upsets (SEUs). As fault targets it was selected the processor registers and the data memory. Finally, the analysis obtained with the experiments showed the different effects observed for the three levels of complexity. Besides that, the fault injector performance could be evaluated providing in the end a tool to help in the development of software-based fault injection techniques.

Protocolos de comunicação seguros são essenciais em ambientes de automação industrial, onde falhas não detectadas na comunicação de dispositivos podem provocar danos irreparáveis à vida ou ao meio-ambiente. Esses protocolos seguros devem ser desenvolvidos de acordo com alguma norma de segurança, como a IEC 61508. Segundo ela, faz parte do processo de implementação destes protocolos, a escolha de técnicas adequadas de validação, entre elas a injeção de falhas, a qual deve considerar um modelo de falhas apropriado ao ambiente de operação do protocolo. Geralmente, esses ambientes são caracterizados pela existência de diversas formas de interferência elétrica e eletromagnética, as quais podem causar falhas nos sistemas eletrônicos existentes. Nos sistemas de comunicação de dados, isto pode levar a destruição do sinal de dados e causar estados de operação equivocados nos dispositivos. Assim, é preciso utilizar uma técnica de injeção de falhas que permita simular os tipos de erros de comunicação que podem ocorrer nos ambientes industriais. Dessa forma, será possível verificar o comportamento dos mecanismos de tolerância falhas na presença de falhas e assegurar o seu correto funcionamento. Para esta finalidade, este trabalho apresenta o desenvolvimento do injetor de falhas FITT para validação de protocolos de comunicação seguros. Esta ferramenta foi desenvolvida para ser utilizada com o sistema operacional Linux. O injetor faz uso do PF_RING, um módulo para o Kernel do Linux, que é responsável por realizar a comunicação direta entre as interfaces de rede e o injetor de falhas. Assim os pacotes não precisam passar pelas estruturas do Kernel do Linux, evitando que atrasos adicionais sejam inseridos no processo de recebimento e envio de mensagens. As funções de falhas desenvolvidas seguem o modelo de falhas de comunicação descrito na norma IEC 61508. Esse modelo é composto pelos erros de repetição, perda, inserção, sequência incorreta, endereçamento, corrupção de dados, atraso, mascaramento e falhas de memória em switches. / Safe communication protocols are essential in industrial automation environments, where undetected failures in the communication of devices can cause irreparable damage to life or to the environment. These safe protocols must be developed according to some safety standard, like IEC 61508. According to it, part of the process of implementing these protocols is to select appropriate techniques for validation, including the fault injection, which should consider an appropriate fault model for the operating environment of the protocol. Generally, these environments are characterized by the existence of various forms of electric and electromagnetic interference, which can cause failures in existing electronic systems. In data communication systems, this can lead to the destruction of the data signal and cause erroneous operation states in the devices. Thus, it is necessary to use a fault injection technique that allows simulating the types of communication errors that may occur in industrial environments. So, it will be possible to verify the behavior of the fault tolerance mechanisms in the presence of failures and ensure its correct functioning. For this purpose, this work presents the development of FITT fault injector for validation of safety communication protocols. This tool was developed to be used with Linux operating system. The fault injector makes use of PF_RING, a module for the Linux Kernel and that is responsible to perform the direct communication between the network interfaces and the fault injector. Thus the packages do not need to go through the Linux Kernel structures, avoiding additional delays to be inserted into the process of receiving and sending messages. The developed fault injection functions follow the communication fault model described in the IEC61508 standard, composed by the errors of repetition, loss, insertion, incorrect sequence, addressing, data corruption, delay, masking and memory failures within switches. The fault injection tests applied with this model allow to properly validate the fault tolerance mechanisms of safety protocols.

Esta tese propõe avaliar a integridade estrutural de projetos de válvulas do tipo esfera trunnion e/ou gaveta. Por meio desta pesquisa, são avaliados os principais modos de falhas e parâmetros funcionais. Os estudos foram realizados utilizando a técnica dos elementos finitos e permitiram a construção de modelos para avaliar os seguintes modos de falha. (i) colapso estrutural dos principais componentes; (ii) vazamento na interface esfera/sede; (iii) travamento do sistema de acionamento devido à influência da vazão de escoamento do fluido. A avaliação da integridade estrutural é de fundamental importância para mitigar e/ou evitar erros, durante a fase de desenvolvimento de válvulas. Os modelos desenvolvidos também possibilitam o aprimoramento de novos projetos de válvulas e o aperfeiçoamento de projetos já desenvolvidos. O estudo proposto pode ser utilizado como indicador da qualidade de projeto de válvulas, auxiliando a equipe de desenvolvimento no dimensionamento de novos produtos, permitindo assim a avaliação dos requisitos funcionais e a avaliação da possível melhoria do projeto. Os resultados mostraram que o uso do método dos elementos finitos durante as fases iniciais do processo de desenvolvimento de válvulas é extremamente útil na concepção de novos produtos, permitindo a elaboração de produtos otimizados, sendo que por meio de um conhecimento multidisciplinar falhas prematuras podem ser detectadas nas fases iniciais do processo de desenvolvimento de projeto de válvulas, possibilitando com isso o desenvolvimento de um projeto mais racional com melhoria significativa de qualidade, confiabilidade, desempenho e competividade. O uso do método dos elementos finitos também possibilita uma redução do número de ensaios com protótipos físicos, o tempo de desenvolvimento e consequentemente o custo final do produto. / This thesis proposes to evaluate the structural integrity of the trunnion ball valves and/or gate. By means of this research, are evaluated main failure modes and functional parameters. The studies were conducted using the finite elements technique and allowed the construction of models to evaluate the following modes of failure. (i) structural collapse of the main components; (ii) leakage in the ball/seat interface; (iii) torque and/or locking of drive system due the influence of fluid flow rate. The evaluation of the integrity structural is of fundamental importance to mitigate and/or avoid errors, during the valve development phase. The models developed also enable the improvement de new valves design and the upgrade the valves design already developed. The proposed study can be used as an indicator the quality of valves design, assisting the development team in the design of new products, thus enabling the assessment of the functional requirements and evaluation of possible improvements in the design. The results showed that the use of finite element method during the early stage of valve development process is extremely useful in the conception the new products, allow to develop products optimized, and by means of a multidisciplinary knowledge premature failures can be detected in the early stages of the product design, besides enable the development of a design more rational with significant improvement in quality, reliability, performance and competitiveness. The use of finite element method also allows reduction the number of with physical prototype tests, time of development and the final cost of the product.

As linhas de transmissão são usadas para transmitir energia elétrica por longas distâncias e estão naturalmente expostas a condições climáticas severas e à ocorrência de faltas, especialmente as linhas aéreas. Estatísticas mostram que entre 70% - 90% das faltas em linhas de transmissão aéreas são momentâneas (ou transitórias) e apresentam formação de arco elétrico. O arco elétrico é a principal característica de uma falta de alta impedância e resulta do pobre contato entre um condutor energizado e a superfície envolvida. Esta tese aborda o problema de localização de faltas de alta impedância em linhas de transmissão curtas. Propõese uma nova técnica de localização de faltas de alta impedância baseada na impedância aparente, desenvolvida no domínio da frequência e que utiliza componentes de fase. A estimativa da distância da falta é obtida a partir da solução de um sistema sobredeterminado de equações lineares, obtida pela aplicação do método de mínimos quadrados. A abordagem proposta permite estimar a distância de faltas de alta impedância momentâneas e permanentes, em linhas de transmissão curtas simples e paralelas, transpostas ou não. O desempenho da técnica de localização de faltas proposta é avaliado mediante estudos de casos simulados no Alternative Transients Program (ATP) considerando análises de sensibilidade e comparativa, bem como casos reais de faltas. Os resultados obtidos, considerando faltas de alta impedância simuladas e reais, indicam claramente que a abordagem proposta possui validade como técnica de localização de faltas em linhas de transmissão curtas em decorrência do desempenho demonstrado e, também, por características tais como: formulação simplificada no domínio da frequência, simplicidade e facilidade de implementação em dispositivos reais e aplicabilidade a casos reais. / Transmission lines are used to transmit electric power over long distances and are naturally exposed to severe weather conditions, especially overhead lines. Such conditions are highly favorable to the occurrence of faults. Statistics show that between 70% - 90% of faults on overhead lines are nonpermanent (or transient), and present arcing. Arcing is the main characteristic of a nonlinear high impedance fault and is the result of poor contact between an energized conductor and the ground or a grounded object. This thesis approaches the high impedance fault location on short transmission lines problem. It is proposed an impedancebased nonlinear high impedance fault location formulation developed in frequency domain and phase components. The formulation uses the least square method and synchronized phasors, measured by, for example, digital fault recorders installed at both line terminals. The proposed approach allows to estimate the distance of high impedance momentary and permanent faults on short transposed or untransposed transmission lines. The performance of the proposed fault location approach is evaluated through analysis of simulated cases in the Alternative Transients Program (ATP) considering sensitivity and comparative analyzes, and actual cases of high impedance faults. The results, considering simulations of high impedance faults and actual cases, indicate clearly that the proposed approach is valid as fault location technique in short transmission lines due to the demonstrated performance.

Este trabalho trata do controle Markoviano aplicado a um robô manipulador visando obter um sistema tolerante a falhas. Os controladores H2, H&#8734, e H2/H&#8734 Markovianos são calculados e aplicados ao robô em diversas situações de operação. Os controladores obtidos mantiveram a estabilidade do sistema tanto em situações de operação normal, quanto em situações de falhas sucessivas. / This work deals with Markovian control applied to a robot manipulator, in an effort to obtain a fault tolerant system. The H2, H&#8734, and H2/H&#8734 controllers were calculated and applied to the robot in different operation situations. The obtained controllers guaranteed the stability of the system in both situations: normal operation, and successive faults operation.

Submitted by Franciele Moreira (francielemoreyra@gmail.com) on 2018-09-24T14:29:40Z No. of bitstreams: 2 Dissertação - Gabriel de Avila Batista - 2018.pdf: 2567575 bytes, checksum: 6cfc976ffbec0e51a1f601f6d594c3c0 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2018-09-24T15:19:02Z (GMT) No. of bitstreams: 2 Dissertação - Gabriel de Avila Batista - 2018.pdf: 2567575 bytes, checksum: 6cfc976ffbec0e51a1f601f6d594c3c0 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-09-24T15:19:02Z (GMT). No. of bitstreams: 2 Dissertação - Gabriel de Avila Batista - 2018.pdf: 2567575 bytes, checksum: 6cfc976ffbec0e51a1f601f6d594c3c0 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-07-09 / The Brazilian federal government assumes the imminence of an energy crisis. Thus, hydroelectric projects appear as a preventive response to the reduction of energy resources and to eventual socioeconomic instability arising from this problem. Therefore, it becomes pertinent to several sectors the discussion about the socioeconomic, physical and biotic aspects that are affected by the implantation of hydroelectric dams. Despite the legal, technical and scientific aspects of the brazilian Environmental Licensing (EL) process, it is part of an administrative process, and comply with protocols defined in Reference Terms (RT). Thereby their stages, including the Environmental Impact Assessment (EIA), must conform to the proposal of these documents to enable the flow of the EL process. The literature indicates shortcomings in environmental licensing processes related to EIAs, with the nature of these gaps varying from administrative, legal, technical, and scientific methods. Still in this plea, the literature also points out problems regarding the biotic aspects of environmental impact assessment. These errors lead to environmental impacts that are difficult to mitigate, since they were not predicted or evaluated during the studies. Observing these premises and considering the RT as the base of the methods used in these studies, it is possible to suppose that this document is one of the problems origins observed in the subsequent phases. Are the guidelines for the biotic environment in RTs in line with what is proposed by science? The analyzes in this study demonstrate that the scientific quality of the biotic environment protocols is low. It is known why sample – as this question answers a legal requirement too –, but it is not known the best sample targets neither the adequate way to sample, which may lead to irreversible impacts. The prognosis is disappointing, with an increase of 0.53% in quality per year, considering 1988 as the starting year, it will still take 158 years to reach the ideal. / O governo federal brasileiro assume a iminência de uma crise de energia. Assim, os projetos hidrelétricos aparecem como uma resposta preventiva à redução de recursos energéticos e à eventual instabilidade socioeconômica decorrente desse problema. Portanto, torna-se pertinente em vários setores a discussão sobre os aspectos socioeconômicos, físicos e bióticos que são afetados pela implantação de hidrelétricas. Apesar dos aspectos legais, técnicos e científicos do processo de Licenciamento Ambiental (LA) brasileiro, faz parte de um processo administrativo e cumpre os protocolos definidos nos Termos de Referência (TR). Assim, suas etapas, incluindo a Avaliação de Impacto Ambiental (AIA), devem estar em conformidade com a proposta desses documentos para permitir o fluxo do processo de LA. A literatura indica deficiências nos processos de licenciamento ambiental relacionados a AIA, com a natureza dessas lacunas variando de métodos administrativos, legais, técnicos e científicos. Nessa razão, a literatura também aponta problemas relacionados aos aspectos bióticos da avaliação de impacto ambiental. Esses problemas levam a impactos ambientais que são difíceis de mitigar, já que não foram previstos ou avaliados durante os estudos. Observando essas premissas e considerando o TR como a base dos métodos utilizados nesses estudos, é possível supor que este documento é uma das origens dos problemas observados nas fases subsequentes. As diretrizes para o ambiente biótico em TRs estão de acordo com o que é proposto pela ciência? As análises nesse estudo demonstram que a qualidade científica dos protocolos para o meio biótico nesses documentos é baixa. Sabe-se porque amostrar – já que essa pergunta responde também a um requisito legal –, mas não são conhecidos os alvos ideais de amostragem nem a forma mais adequada de amostrar, o que possibilita impactos ambientais irreversíveis. O prognóstico é desanimador, com um incremento de 0,53% de qualidade ao ano, considerando 1988 como ano de partida, ainda levaremos 158 anos para atingir o ideal.

O objeto de estudo deste trabalho é a construção de modelos que permitam a estruturação do projeto do controle de sistemas flexíveis de manufatura que considerem não somente estados de operação normal, mas também estados anormais, isto é, em situações de falhas. Entende-se como falha o desvio de pelo menos uma propriedade do sistema que leva o mesmo a um estado de defeito, que por sua vez se define como um comportamento incomum, não projetado, do sistema sob estudo, que finalmente é manifestado como um defeito. Sistemas flexíveis de manufatura são sistemas que executam múltiplos processos visando à produção de diversos bens. O processo é um conjunto de ações de transformação que por sua parte requerem um conjunto de recursos que são compartilhados por outros processos simultaneamente. Sistemas flexíveis de manufatura envolvem um número relativamente grande de componentes, máquinas, equipamentos e operadores humanos, que interagem de maneira diversificada manipulando um grande conjunto de informação e diferentes materiais em ambientes que podem até ser agressivos. Independentemente de qualquer programa de manutenção, falhas são eventos que são possíveis de acontecer em qualquer sistema de tal natureza. Num ambiente ideal, o funcionamento de todos os componentes poderia ser monitorado com o objetivo de detectar as falhas prematuras, mas devido ao custo envolvido, isso se torna inviável. Neste sentido surge o desafio de detectar as falhas a partir da observação do contexto do funcionamento do processo, mediante a monitoração de alguns parâmetros, em geral de fácil acesso, e tomando em consideração manifestações (sintomas) das falhas de um ponto de vista qualitativo. O presente trabalho propõe a utilização de redes Bayesianas para o diagnóstico de falhas em sistemas flexíveis de manufatura. As redes Bayesianas constituem uma ferramenta útil para a representação das relações que existem entre as causas (componentes em estado de falha) e os sintomas (observações anormais do processo). A partir deste modelo, inferências podem ser feitas para o diagnóstico do sistema.Por outro lado, nos últimos anos a rede de Petri tem sido utilizada exitosamente na representação dos aspectos de controle de sistemas produtivos e particularmente de sistemas de manufatura e, desta forma, considera-se aqui tal ferramenta para a modelagem do sistema não só em condições normais de funcionamento como também para a representação do tratamento de falhas, no contexto de um sistema tolerante a anomalias do processo. Especial ênfase é dada à estruturação de uma metodologia que permita a concepção de um procedimento eficaz para a construção de modelos de controle. / The objective of the present work is the construction of models proper for the easy implementation of flexible manufacturing control systems able to handle not only with normal behavioral conditions, but with abnormal (or faulty) behavior as well. A fault is defined as a deviation of at least one system property that drives the system into an error state. An error is defined as an uncommon behavior, not expected from the system functionalities. Flexible manufacturing systems are systems that execute multiple processes for the production of several items in several ways. A process is a sequence of certain transformation tasks that require a set of resources shared simultaneously by multiple processes. In this sense, flexible manufacturing systems are constituted of a relatively great number of devices, machines, equipments and human operators that work together manipulating great quantities of information and materials. This work is usually performed in aggressive environments. So, independent of any maintenance program, faults are events that cannot be totally avoided. In an ideal environment, the monitoring of all components is the way to avoid faults. Nevertheless, due to the cost involved, this is an impossible task. In this context, there is a challenge to properly detect faults from the observation of the systems context, through the monitoring and observation of some parameters in general easy to access, including also qualitative information from operators. In the present work, it is proposed the use of Bayesian networks for the fault diagnosis in flexible manufacturing systems. Bayesian networks constitute a useful tool for the modeling of the causal relation between the causes (faulty components) and the symptoms (manifestations). Based on this model, inference can be done for the system diagnosis task. Additionally, in the last years Petri net has been successfully used for the modeling of control systems of productive systems and particularly, manufacturing control systems. In this work, beyond the use of Petri net for the modeling of normal situations of the system, Petri net is used for the modeling of the fault treatment techniques. This drives the system tolerance to faults. Especial emphasis is laid into methodological issues that allows for the structuration of a systematic procedure proper for the modeling and construction of control systems.