• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 158
  • 6
  • Tagged with
  • 164
  • 108
  • 104
  • 102
  • 102
  • 102
  • 100
  • 96
  • 94
  • 93
  • 92
  • 92
  • 92
  • 45
  • 25
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
131

Identificação on-line de motores de indução através de modelo discreto para sinais senoidais

Ferrari, Sandro Mauro 20 July 2006 (has links)
Made available in DSpace on 2016-12-12T17:38:34Z (GMT). No. of bitstreams: 1 Sandro Mauro Ferrari.pdf: 886020 bytes, checksum: ec94448f4bc16637ece24e7e52e125c9 (MD5) Previous issue date: 2006-07-20 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this work are developed two on-line identification methods for three-phase induction motors based on discrete models obtained when we consider continuous systems excited by sinusoidal signals. The first method uses the discrete model of the homopolar machine in the stationary frame to estimate the stator resistance and the stator dispersion inductance and the discrete model of the linear system existent among the stator flux and current in the rotor frame to estimate all the electric parameters of the motor. The second method, besides this last model, presupposes to estimate the stator resistance with DC excitation added to the supply voltage of the motor and the knowledge of the motor class, in order to estimate the other electric parameters through classical methods of least squares parameters estimation. The two methods presuppose the estimate of the rotor frame signals from measurements of stator currents in the stationary frame and measurement of the rotor angular velocity. Simulation and experimental results illustrate the proposed methods. / Neste trabalho são desenvolvidos dois métodos on-line para identificação do motor de indução trifásico baseados em modelos discretos obtidos ao se considerar sistemas contínuos excitados por sinais senoidais. O primeiro método utiliza o modelo discreto da máquina homopolar no referencial estacionário para estimar a resistência estatórica e a indutância de dispersão de estator e o modelo discreto da relação linear existente entre o fluxo estatórico e a corrente estatórica no referencial que gira com o rotor para a obtenção dos demais parâmetros elétricos. No segundo método, além deste último modelo, pressupõe-se a estimação da resistência de estator através do acréscimo de excitação C.C. à tensão bifásica de alimentação do motor. A obtenção dos demais parâmetros elétricos é realizada através de métodos clássicos de Mínimos Quadrados, sendo necessário o conhecimento da classe do motor. Os dois métodos pressupõem a estimação dos sinais no referencial que gira com o rotor a partir das medidas de correntes de estator no referencial estacionário e da medição da rotação do motor. Resultados de simulação e experimentais ilustram a metodologia proposta.
132

Monitoramento, controle e parametrização de eletrodomésticos numa rede sem fio via interface virtual remota

Watanabe, Ana Teruko Yokomizo 29 May 2008 (has links)
Made available in DSpace on 2016-12-12T17:38:35Z (GMT). No. of bitstreams: 1 Ana Teruko.pdf: 11607034 bytes, checksum: 72b3906b42ad639d1abd56a8054d9ffe (MD5) Previous issue date: 2008-05-29 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The wireless communication in the residential automation has became a very promising technology due to the easinesses in the installation, and for its flexibility, mobility and scalability. Inside this context, the objective of this work is to analyze and to implement two wireless communication standard protocols: Bluetooth and ZigBee. They are used to analyze theirs functionalities and applications under a domestic environment. Firstly, the Bluetooth protocol was used in order to verify its operation because this one is an already well known protocol. Secondly, the ZigBee protocol - IEEE 802.15.4 MAC was also tested due to its new protocol applied to small data communication and its low baud rate, star topozlogy and low energy consumption, which allows the control of householdelectric network. The project consisted of monitoring, controlling and configuring washing machines by using a wireless network through a remote virtual interface. The user interface of this system was done through a PDA (Personal Digital Assistant), which allowed to change the times of washing programs manual or automatic mode. The results indicated the feasibility of monitoring and controlling household-electric by implementing the IEEE 802.15.4 MAC Layer of ZigBee protocol. This implementing reached the main characteristics as described above. The maximum distance achieved in a star topology in the typical residence was 14 meters, without using routers. This distance can be increased implementing full ZigBee Protocol. Although the project was developed to washing machine, it also can be implemented to other household-electrics, such as: microwaves, heaters, air conditioners, refrigerators, etc. / A comunicação sem fio em automação residencial tem se tornado uma tecnologia muito promissora devido às facilidades na instalação, flexibilidade, mobilidade e escalabilidade. Dentro deste contexto, o objetivo deste trabalho é analisar e implementar dois padrões de comunicação sem fio: Bluetooth e ZigBee, a fim de analisar suas funcionalidades e aplicações em ambiente doméstico. O protocolo Bluetooth por se tratar de um protocolo já consagrado no mercado, foi utilizado no controle remoto de uma máquina lavadora, como proposta inicial deste trabalho. Depois, o protocolo ZigBee - IEEE 802.15.4 MAC foi implementado, pois este padrão é um protocolo novo aplicado a comunicação com pequenos pacotes de dados, baixa taxa de transmissão, topologia estrela e baixo consumo de energia, que são características importantes para controle de uma rede de eletrodomésticos. O projeto consistiu em desenvolver um protótipo de hardware e de software para monitorar, controlar e parametrizar máquinas lavadoras de roupas numa rede sem fio através de uma interface virtual remota. Esta interface do usuário com a rede foi feita através de um PDA (Personal Digital Assistant) que permitiu alterar os tempos de programação da máquina no modo manual ou automático. Os resultados mostraram a viabilidade de se construir uma rede de eletrodomésticos, implementando a camada de enlace IEEE 802.15.4MAC do protocolo de comunicação ZigBee. Esta implementação atingiu as principais características descritas acima. A distância máxima alcançada na topologia estrela numa residência típica foi de 14 metros, sem o uso de roteadores. Esta distância poderá ser aumentada através da implementação da camada de rede ZigBee. Embora o projeto tenha sido desenvolvido utilizando máquinas lavadoras, pode-se estendêlo a outros eletrodomésticos tais como: fornos de microondas, aquecedores, condicionadores de ar, refrigeradores, etc.
133

Projeto e construção de um eletropermeabilizador de células biológicas / Design and construction of a biological cell electroporator

Matsumi, Carlos Toshiyuki 31 July 2009 (has links)
Made available in DSpace on 2016-12-12T17:38:36Z (GMT). No. of bitstreams: 1 Carlos Toshiyuki Matsumi.pdf: 2530177 bytes, checksum: d45251b727305a9062002cf939cb57eb (MD5) Previous issue date: 2009-07-31 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Electropermeabilization is the process of transient increase in the permeability of biological membranes of cells subjected to intense electric fields. This technique is currently still in development and has important clinical and technological applications such as electrochemotherapy and gene transfer. Electroporator is the equipment used in the generation and application of such intense fields. This dissertation presents the design, construction and testing of an electroporator for use in biomedical research. The proposed equipment presents versatility and performance appropriate to allow for different types of experiments with biological tissues or cell suspensions. It consists of a voltage generator with programmable wave form, a high voltage amplifier with high output current capability and a system for transduction of voltage and current in the sample. Both the generation of signal as the measured values in the load are monitored by a program built in LabVIEW® environment that triggers a data acquisition card with 16 bits of resolution. The performance of the electronic system developed fully meets the requirements of project. The amplifier can deliver up to 500V and 5A to the load during a time interval enough for the testing of electropermeabilization. The bandwidth, slightly higher than 100kHz and the step response time of the order of 1μs are suitable for performing experiments with different waveforms and different sizes of cells. An important application of the equipment built is demonstrated with an experiment of electropermeabilization in suspension of red cells of rats. This result demonstrated the occurrence of increased conductivity of the sample during stimulation with high-intensity electric field. / Eletropermeabilização é o processo de aumento transitório da permeabilidade das membranas de células biológicas submetidas a campos elétricos intensos. Esta é uma técnica atualmente ainda em desenvolvimento e que possui importantes aplicações clínicas e tecnológicas tais como a eletro quimioterapia e a transferência genética. Os eletropermeabilizadores são equipamentos usados na geração e aplicação desses campos intensos. Esta dissertação apresenta o projeto, construção e teste de um eletropermeabilizador para uso em pesquisa biomédica. O equipamento proposto apresenta versatilidade e desempenho adequados para permitir a realização de diferentes tipos de ensaios com tecidos biológicos ou suspensões de células. É constituído de um gerador de tensão com forma de onda programável, um amplificador de alta tensão e alta corrente de saída e um sistema de transdução de tensão e corrente na amostra analisada. Tanto a geração de sinal quanto os valores medidos na carga são monitorados por um programa construído em ambiente LabVIEW® que aciona uma placa de aquisição de dados com 16 bits de resolução. O desempenho do sistema eletrônico desenvolvido atende completamente os requisitos de projeto. O amplificador pode fornecer até 500V de amplitude de tensão com 5A de corrente de carga durante intervalos de tempo suficientes para os ensaios de eletropermeabilização. A banda passante pouco maior que 100KHz e os tempos de resposta ao degrau da ordem de 1μs são adequados para a realização de experimentos com diferentes formas de onda e diferentes tamanhos de células. Uma importante aplicação do equipamento construído é exemplificada com um experimento de eletropermeabilização em suspensão de hemácias de rato, sendo demonstrada a ocorrência de aumento da condutividade da amostra durante a estimulação com campo elétrico de alta intensidade.
134

Modelagem e implementação de sistemas de controle supervisório baseados em máquinas de estados com saídas / Modeling and implementation of supervisory control systems based on state machines with outputs

Possan Junior, Moacyr Carlos 15 December 2009 (has links)
Made available in DSpace on 2016-12-12T17:38:37Z (GMT). No. of bitstreams: 1 Moacyr Carlos Possan Junior.pdf: 1940795 bytes, checksum: 58824c0ca3ed2180f9e245d34118e117 (MD5) Previous issue date: 2009-12-15 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This work presents a new methodology for the modeling of supervisory control systems based on state machines with outputs, obtained from the automata which represent the supervisors found with the usage of the Supervisory Control Theory (SCT) of Discrete Event Systems (DES). Procedures like that are useful to create the documentation which represents the control logic for large scale systems and for the code generation, as well as allows that the documentation and program code updates be easier when new requirements to change the control logic in flexible systems appear. Besides, it makes way for the generation of more reliable solutions and also for the possibility of automatic code generation. The proposed technique consists on the obtaining of finite state machines with outputs using as input information the automata of the supervisors obtained by the SCT and the control actions of the system, where the control logic redundancies existing in the model of the automata are eliminated. Methodologies based on either monolithic or local modular approach are proposed, where the obtained machines are further simplified in order to have simpler models which are used as templates for the implementation in Programmable Logic Controller (PLC) using Ladder language. The methodology is shown using a simple manufacturing system as example to help on its understanding. Besides, this work deals with the difficulties found in the migration from the event based theory in the TCS to the signal based practice for the CLPs. After the presentation of this methodology, it is performed the modeling and implementation for a larger system, a manufacturing cell where a comparison with another existing methodology which also has the SCT as base is performed in order to verify the advantages and disadvantages of such methodology. / Este trabalho apresenta uma nova metodologia para a modelagem de sistemas de controle supervisório baseados em máquinas de estados com saídas, obtidas a partir dos autômatos que representam os supervisores encontrados com o uso da Teoria de Controle Supervisório (TCS) de Sistemas a Eventos Discretos (SEDs). Procedimentos como este são úteis para criar a documentação relativa à especificações de sistemas de grande porte e à geração de código, assim como permitem que a atualização da documentação e do código seja facilitada quando surgem novos requisitos para variação da lógica de controle em sistemas flexíveis. Além disso, isso abre espaço para a geração de soluções mais confiáveis e também para a possibilidade de geração automática de código. A técnica proposta consiste em obter máquinas de estados finitos com saídas usando como informação os autômatos dos supervisores obtidos por intermédio da TCS e as ações de controle do sistema, onde redundâncias da lógica de controle presentes no modelo do autômato são eliminadas. São propostas abordagens tanto no contexto monolítico quanto no contexto modular local, onde as máquinas obtidas são reduzidas posteriormente com o intuito de obter modelos mais simples, que servem como referência para a implementação em Controlador Lógico Programável (CLP) usando linguagem Ladder. A metodologia é demonstrada usando um sistema de manufatura simples como exemplo a fim de facilitar sua compreensão. Além disso, este trabalho trata das dificuldades encontradas na migração da teoria baseada em eventos da TCS na prática baseada em sinais dos CLPs. Após a apresentação da metodologia, é feita a modelagem e implementação para um sistema de maior porte, uma célula de manufatura onde é efetuada uma comparação com uma metodologia já existente que também têm como base a TCS, com o intuito de verificar as vantagens e desvantagens dessa metodologia
135

Condicionador unificado de qualidade de energia com controle digital / Unified power quality conditioner with digital control

Dias, Josué 11 December 2009 (has links)
Made available in DSpace on 2016-12-12T17:38:37Z (GMT). No. of bitstreams: 1 RESUMO - Josue.pdf: 8954 bytes, checksum: 37d4018bcbba745d53a694b1e3fad11b (MD5) Previous issue date: 2009-12-11 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This work shows a unified power quality conditioner based on a digital controlier. Such conditioner is composed of shunt active power filter, to compensate the input une current, and series active power filters to compensate the load voltage. The proposal consist in applying a simple control strategy based on direct comparison the input une current and load voltãge waveforms with sinusoidal references. Initially is presented a study about the active power conditioner characteristics, classification and topologies, foliowing UPQC power structure is explored, as converter definition, aspects for grid connection and analysis and project at passive filters. Afterwards, the mathematicál models are derived, the controllers are defined and simulations are performed. Finaily, the results obtained with UPQC practical tests are shown. / Este trabalho apresenta um condicionador unificado de qualidade de energia (UPQC) controlado digitalmente. Tal condicionador é composto por um filtro ativo paralelo, para compensar a corrente na rede, e um filtro ativo série, para compensara tensão na carga. A proposta consiste em aplicar uma estratégia de controle simples baseada na comparação direta da corrente na rede e tensão na carga com referências senoidas. Inicialmente é apresentado um estudo a respeito das topologias e classificação dos condicionadores de energia, em seguida é explorada a estrutura de potência do UFQC, como definição do conversor, aspectos relacionados à conexão com a rede e anAlise e projeto dos filtros passivos. Posteriormente são obtidos os modelos matemáticos, projetados os controladores e elaboradas simulações para, finalmente apresentar os resultados obtidos com os ensaios do UPQC.
136

Estudo do acionamento do motor síncrono de ímãs permanentes: abordagem baseada no controle vetorial com ângulo de torque constante

Sá, Franciéli Lima de 30 July 2010 (has links)
Made available in DSpace on 2016-12-12T17:38:37Z (GMT). No. of bitstreams: 1 FRANCIELI LIMA DE SA.pdf: 957791 bytes, checksum: 54a198d079685e3726016b54e682ffdc (MD5) Previous issue date: 2010-07-30 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / In this work is introduced a study of Permanent Magnet Synchronous Motor (PMSM), involving issues about constructive characteristics, modeling, control and simulation. Initially, are studied the constructive characteristics, principally in that refers of the magnets disposition in the rotor. Then, are shown some applications for the PMSM. The mathematic model of PMSM is developed starting of stationary reference frame and utilizing the rotation transformation for obtain the equations of currents and voltage in the rotor reference frame. The feed shape of the PMSM is an analysis of extreme importance in the study of this motor, for this reason also is show in this work. The vector control is analyzed in the sequence, utilizing the direct method for the rotor flux and considering the approach with Constant torque control. Are presents some techniques for the design of controllers of speed and current loops. Through the performed simulations, are analyzed and compared the several technical approached. The results obtained show that the vector control approach with constant torque angle applied to the PMSM presents a good dynamic response for motor drive. / Neste trabalho, é apresentado um estudo do Motor Síncrono de Ímãs Permanentes (MSIP) envolvendo questões pertinentes às características construtivas, modelamento, controle e simulação. Inicialmente, são estudadas as características construtivas, principalmente no que se refere à disposição dos ímãs no rotor. Em seguida são mostradas algumas aplicações para o MSIP. O modelo matemático do MSIP é desenvolvido partindo do referencial estacionário e utilizando a transformação de rotação para se obter as equações de corrente e tensão no referencial girante. A forma de alimentação do MSIP é uma análise de extrema importância no estudo deste motor, e por esta razão também é mostrada neste trabalho. O controle vetorial é analisado na seqüência, utilizando o método direto pelo fluxo de rotor e considerando a abordagem com controle de torque constante. São apresentadas algumas técnicas para o projeto dos controladores das malhas de corrente e velocidade. Através das simulações realizadas, são analisadas e comparadas as diversas técnicas abordadas. Os resultados obtidos mostram que o controle vetorial com abordagem do ângulo de torque constante aplicado ao MSIP apresenta uma boa resposta dinâmica para o acionamento do motor.
137

Proposição de uma plataforma de acionamento do motor de indução monofásico para aplicação em lavadora de roupa / Proposal of a drive platform for singlephase induction motor applied to clothes wash machine

Stival, Luiz Henrique Reis de Castilho 20 August 2010 (has links)
Made available in DSpace on 2016-12-12T17:38:37Z (GMT). No. of bitstreams: 1 LUIZ HENRIQUE REIS DE CASTILHO STIVAL.pdf: 1746208 bytes, checksum: 43e8c467b1dc79668c87e730e785a4d8 (MD5) Previous issue date: 2010-08-20 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The single-phase induction motor, in permanent split capacitor topology, is utilized on most of the clothes wash machines on Brazilian market. This configuration presents limitations on motor drive and on energy efficiency of the system. This work suggests a drive control method for the single-phase induction motor, aiming to deliver benefits on energy efficiency and improving motor drive. On this work, a mathematical model of the motor is derived to compare, through simulation, this proposal among different solutions. Then, the implementation of the proposal is done to gather experimental results. These results are compared to the results of the current control used on wash machines. The proposal achieved good advantages on dynamics response and system efficiency, although impacts the final cost of the solution. / O motor de indução monofásico, em sua topologia de capacitor permanente, é empregado na maioria das lavadoras de roupas do mercado nacional. Esta configuração apresenta limitações no acionamento do motor, e oferece uma limitada eficiência energética do sistema. Este trabalho propõe um método de controle do motor de indução monofásico que visa oferecer benefícios em termos da eficiência energética e melhoria do acionamento do motor quando utilizado em lavadoras de roupa. No trabalho, é levantado um modelo matemático do motor para que, através de simulação, possa ser realizado um estudo comparativo da solução proposta com outras soluções. Em seguida, se dá a implementação da proposta para obtenção de resultados práticos. Estes resultados são então comparados aos resultados do controle original utilizado em lavadoras de roupa. São alcançados benefícios na dinâmica e eficiência do sistema, porém com um impacto no custo final da solução.
138

Implementação e avaliação de abordagens heurísticas para o problema do roteamento de cabos em painéis elétricos / Implementation and evaluation of heuristic approaches for the cable routing problem in electrical panels

Ittner, Alexandre Erwin 24 August 2010 (has links)
Made available in DSpace on 2016-12-12T17:38:37Z (GMT). No. of bitstreams: 1 ALEXANDRE ITTNER.pdf: 1538757 bytes, checksum: f2722c8cdafb578a75d3a153751fa3a1 (MD5) Previous issue date: 2010-08-24 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This dissertation presents a research work on the Cable Routing Problem in Electrical Panels and its resolution by computational means. Strictly, this work shows a formal definition for the problem, elaborates on the available computational approaches, and suggests several algorithms for its resolution. At last, an application developed using the proposed algorithms is described, yielding good results for the problem instances typically found in the industry. / Esta dissertação apresenta um estudo sobre as características do Problema do Roteamento de Cabos em Painéis Elétricos e sua solução por meios computacionais. Especificamente, este trabalho apresenta uma definição formal para o problema, descreve as abordagens computacionais disponíveis e propõe uma série de algoritmos para sua solução. Por fim, descreve-se um aplicativo desenvolvido empregando os algoritmos propostos que permite a obtenção de bons resultados para as instâncias deste problema tipicamente encontradas na indústria.
139

Sistema de controle digital com rápida resposta transitória para um retificador monofásico meia-ponte / Digital control system for a single-phase half-bridge rectifier with fast dynamic response

Nodari, Luís Mariano 30 May 2011 (has links)
Made available in DSpace on 2016-12-12T17:38:37Z (GMT). No. of bitstreams: 1 Luis Mariano Nodari.pdf: 2083674 bytes, checksum: f3c4bf3291e2d0a7c63bb7bea7118f85 (MD5) Previous issue date: 2011-05-30 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This work proposes a digital control system for a half-bridge boost rectifier, which composes the input stage of a single-phase transformerless double-conversion UPS. The proposed control system has an inner current loop and two outer voltage loops to maintain near unity input power factor and to regulate the dc bus voltages. The control loops operate with distinct sampling frequencies, so that current loop operates with high sampling frequency, and voltage loops operate with reduced sampling frequency and moving average filters to improve the dynamic response, without affecting the input power factor. Simulation and experimental results are included to demonstrate the performance of the closed-loop system even under severe load conditions. / Esta Dissertação de Mestrado propõe um sistema de controle digital para um retificador meiaponte monofásico, que integra o estágio de entrada de uma UPS não isolada de dupla conversão monofásica. O sistema de controle proposto tem uma malha de corrente interna e duas malhas de tensão externas para manter o fator de potência unitário e regular a tensão no barramento. O controle opera com frequências distintas de amostragem, sendo que a malha de corrente opera com alta frequência de amostragem, enquanto as malhas de tensão operam com baixas frequências e com filtros de média móvel para melhorar a resposta dinâmica das tensões de saída do retificador, sem afetar o fator de potência de entrada. Resultados de simulação e experimentais demonstram o bom desempenho do sistema de controle digital proposto mesmo em condições severas de carga.
140

Metodologia para implementação de controle supervisório modular local em controladores lógicos programáveis / Methodology for implementation of supervisory control local modular in programmable logic control

Cruz, Diogo Luiz Lemes da 29 July 2011 (has links)
Made available in DSpace on 2016-12-12T17:38:38Z (GMT). No. of bitstreams: 1 Diogo Luiz Leme da Cruz.pdf: 2277911 bytes, checksum: 44818fa572a2ccc7f237939664149ec3 (MD5) Previous issue date: 2011-07-29 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Currently, manufacturing automation has assumed an increasingly important role within the industry and the problems of automated control systems have become increasingly complex. Thus, the traditional use of empirical methods heavily base on the experience of the programmer can lead to inappropriate or ineffective solutions. In this case, the Supervisory Control Theory (SCT) of Ramadge and Wonham (1989) cam be a suitable tool because it ensures the achievement of optimal control logic (minimally restrictive and nonblocking) and also that meets the specifications of control. This paper presents a methodology for implementation of SCT in Programmable Logic Controllers (PLCs). The modeling of the plant and the specification of control is done by automata and languages, and in order to exploit the modular nature of the plant and the specifications we use the local modular approach (QUEIROZ and CURY, 2000) for the synthesis of supervisors. The use of a formal methodology for implementing control system also allows to standardize in the development, testing and structure of the PLC code and obtain a free of errors solution and crashes, discarding the empirical methods. The methods of implementation of the TCS in PLC existing literature have the feature to limit the evolution of the system, often dealing with one event per PLC scan cycle. Also presented is a series of problems that can occur in the implementation of supervisors in control elements such as PLCs (FABIAN and HELLGREN, 1998). However, not all of these problems have solutions and for some of them are presented some properties that the modeling of the system must ensure in order to avoid such problems. This method treats all the uncontrollable events produced by the plant in just one PLC scan cycle. The also promotes the control of the plant at the end of cycle. The development of this methodology takes into account the possible problems when using the theory into practice. Thus providing solutions to the problems. In this case the solutions, Choice , stands out. It promotes the random generation of controllable events. One it is give priority to a particular event over another, it can cause the system to lock or be inoperative (MALIK, 2002). To facilitate the implementation of supervisory control structure in PLC, was created a computational tool for the automatic generation of control logic, based on the proposed methodology that converts the list generated by the software Discrete Event System (DES) in LADDER code. The validation of the results obtained with the tool generation was done through simulations for different problems of supervisory control. / Na atualidade, a automação da manufatura tem assumido cada vez mais um papel importante dentro das indústrias e os problemas de controle de sistemas automatizados têm se tornado cada vez mais complexos. Assim, o tradicional uso de métodos empíricos fortemente baseados na experiência do programador pode levar a soluções inadequadas ou ineficientes. Neste sentido, a Teoria de Controle Supervisório (TCS) apresentada por Ramadge e Wonham (1989) se mostra uma ferramenta adequada uma vez que garante a obtenção de uma lógica de controle ótima (minimamente restritiva e não bloqueante) e que satisfaz às especificações de controle. Este trabalho apresenta uma metodologia para implementação da TCS em Controladores Lógicos Programáveis (CLPs). A modelagem da planta e das especificações de controle é feita por autômatos e linguagens e no intuito de explorar a modularidade da planta e das especificações utiliza-se a abordagem modular local (QUEIROZ e CURY, 2000) para a síntese dos supervisores. O uso de uma metodologia formal para a implantação em sistemas de controle possibilita ainda uma padronização no desenvolvimento, teste e estrutura de códigos nos CLPs e obter uma solução livre de erros e bloqueios, fugindo dos métodos empíricos. Os métodos de implementação da TCS em CLP encontrados na literatura apresentam a característica de limitar a evolução do sistema, muitas vezes tratando um único evento por ciclo de varredura do CLP. Também, é apresentada uma série de problemas que podem ocorrer na implementação de supervisores em elementos de controle como CLPs (FABIAN e HELLGREN, 1998). Entretanto, nem todos os problemas apresentados são solucionados e para alguns deles são apresentadas propriedades que o modelo do sistema deve satisfazer para que tais problemas não se manifestem. Já a metodologia desenvolvida neste trabalho permite tratar em um mesmo ciclo de varredura do CLP todos os eventos não controláveis gerados pela planta, e ainda promover o controle da mesma a partir dos eventos controláveis gerados ao final desse ciclo. O desenvolvimento desta metodologia leva em consideração os problemas que podem ocorrer quando se utiliza a teoria na prática, apresentando uma solução para alguns desses problemas. Destaca-se a solução do chamado problema da escolha, cuja priorização indevida de eventos pode levar ao bloqueio ou tornar parte do sistema inoperante (MALIK, 2002). Como solução para este problema propõe-se uma escolha aleatória dinâmica para a geração dos eventos controláveis, evitando assim os problemas mencionados. Para facilitar a implementação da estrutura de controle supervisório no CLP foi criado um software de geração automática de código, que baseado na metodologia proposta, converte a listagem gerada pelo software de Sistema a Eventos Discretos (SED) em linguagem LADDER. A validação dos resultados obtidos com a ferramenta de geração de código foi realizada por intermédio de simulações feitas para diferentes problemas de controle supervisório.

Page generated in 0.0413 seconds