Orientador : Andre Luiz Morelato França / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T01:51:40Z (GMT). No. of bitstreams: 1 Franklin_DinoRogerioCoinete_M.pdf: 2925375 bytes, checksum: 0154008842cfa9943cdc7e934840bd1a (MD5) Previous issue date: 1991 / Resumo: Um sistema elétrico de potência pode ser dividido, com relação a função dos seus componentes, em três grandes grupos: o grupo de geração de energia elétrica - onde estão concentrados os geradores de energia e seus dispositivos de controle; o grupo de transmissão - onde se encontram as linhas de transmissão e transformadores; e o grupo de consumo - onde esta representada a carga consumi da no sistema. Para se analisar a estabilidade deste sistema utilizam-se geralmente métodos numéricos devido às características não-lineares do sistema. Para utilizar tais métodos são necessários modelos matemáticos que representem os componentes do na sua forma dinâmica. Tendo em mãos os modelos dos componentes pode-se analisar o comportamento dinâmico do sistema real através de uma simulação no tempo das equações que representam o sistema. O estudo de modelagem dos componentes de um sistema de energia elétrica tem se desenvolvido de forma não uniforme, pois enquanto grande atenção foi dispensada na modelagem dos componentes do grupo da geração e transmissâo, as cargas têm sido representadas de forma simplificada por se constituir um problema mais difícil. Isto teve como consequência a defasagem no desenvolvimento dos modelos, e atualmente a modelagem detalhada dos componentes de geração e transmissão não implica necessariamente em um bom modelo do sistema como um todo, devido a modelagem deficiente da carga. Portanto, faz-se necessário mais pesquisa na área de modelagem de cargas elétricas. Um componente de carga que merece destacada atenção é o motor de indução, pois este motor representa boa parte do total da carga consumida nos sistemas elétricos de potência, principalmente em sistemas elétricos industriais. O modelo dinâmico de um motor de indução, como a de qualquer componente físico, consiste de um conjunto de equações diferenciais. Portanto, simular o comportamento dinâmico de um motor de indução consiste em resolver estas equações diferenciais no tempo. Os modelos clássicos de carga são os do tipo impedância, corrente e/ou potência constante. Em programas de estabilidade geralmente são estas as modelagens de carga utilizadas, e nestes os motores de indução são frequentemente representados por algum tipo de modelagem clássica ou um misto destas, ao invés de sua modelagem dinâmica. Isto se deve ao fato do crescimento no tempo de simulação quando da adição de mais equações diferenciais no conjunto de equações que representam o sistema. Em grandes instalações elétricas industriais a carga predominante constituise de motores de indução, cujo elevado número exige enorme esforço computacional nos estudos do comportamento dinâmico do sistema. Dentre as abordagens utilizadas para amenizar o problema, este trabalho segue a linha de abordagem de equivalentes dinâmicos, cuja idéia básica consiste em representar um grupo de motores de indução por um unico motor equivalente. Este procedimento tem como base a hipótese de que o comportamento dinâmico de um unico motor equivalente é semelhante ao comportamento de um grupo de motores de indução. Este trabalho apresenta um novo método para obtenção de equivalentes dinâmicos de motores de indução visando agregar grupos de motores de tal modo que possam ser representados por motores equivalentes. O método baseia-se nas equações diferenciais e algébricas que descrevem os comportamentos transitório e em regime permanente das máquinas de indução, garantindo a precisão do equivalente. Por outro lado, o método é rápido pois não possui processo iterativo nem exige obtenção ponto a ponto de respostas no tempo. Basicamente o mét.odo consiste em obter, utilizando técnicas de redução de circuito e o principio de conservação de energia, as impedâncias equivalentes, o escorregamento inicial do motor equivalente, a característica torque de carga-velocidade e a constante de inércia equivalente a partir dos dados e modelos de cada motor a ser agregado. O método se aplica em motores com rotor de gaiola simples ou dupla. São apresentados testes e resultados que mostram a validade do método, tanto para grupos de motores no mesmo barramento, quanto para motores em barramento diferente / Abstract: Not informde / Mestrado / Mestre em Engenharia Elétrica

Orientador: Mauricio Ferreira Magalhães / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T02:30:25Z (GMT). No. of bitstreams: 1 MartinezSpano_Rodrigo_M.pdf: 6265577 bytes, checksum: 047354eed394a882c2a1004c5786b10f (MD5) Previous issue date: 1991 / Resumo: A teoria de escalonamento representa uma importante área de pesquisa nos sistemas de tempo real crítico. Este trabalho propõe uma ferramenta de software, denominada Sistema de Simulação para Escalonadores (SSE), dedicada ao estudo de algoritmos de escalonamento. O SSE possui dois objetivos principais: (1) - permitir a análise da execução (simulada) de um conjunto de tarefas de uma aplicação de tempo real crítico, diante de um algoritmo de escalonamento escolhido. Para este caso, o SSE fornece ao usuário. através de uma interface amigável. Várias faculdades; (2) - servir de ambiente à implementação de algoritmos deescalonamento. Através de uma interface de software bem definida, esta opção do SSE possibilita ao usuário lmplementar políticas de escalonamento e integrá-Ias ao sistema para estudo posterior. o que toma a ferramenta bastante flexível / Abstract: The scheduling theory is an important research field for hard real-time systems. This work presents a software tool, named Sistema de Simulação para Escalonadores - SSE (Simulation System for Schedulers), oriented towards scheduling algor1thms study. The SSE has two main goals: (1) - allows the simulated run-time analyse of a task set of a hard real-time application, using a particular scheduling algor1thm. In this case, the SSE provides to the user many facllities, through a friendly user interface. (2) - provides an environment for scheduling algor1thms implementation. Using a well defined software interface, this SSE's option allows an user to implement new scheduling policies and integrate them to the system for following study, what makes the tool very flexible / Mestrado / Mestre em Engenharia Elétrica

Orientador: Wagner C. Amaral / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T02:23:01Z (GMT). No. of bitstreams: 1 Luders_Ricardo_M.pdf: 7854880 bytes, checksum: 74339913b61b5de9d23a06e083e03cf3 (MD5) Previous issue date: 1992 / Resumo: Durante muitos anos o interesse pela obtenção de controladores que ajustam automaticamente seus próprios parâmetros durante o controle de processos complexos ou que estão sujeitos a variações nas condições de operação, tem motivado diversos trabalhos na área de controle adaptatlvo. Dentre estes trabalhos insere-se o controlador de variância mínima generalizada (GMV) utilizando a abordagem auto-ajustável para a adaptação dos parâmetros do controlador. Este controlador na sua forma padrão assume conhecido e fixo o valor do atraso de transporte do sistema. Neste trabalho são propostos três métodos para a utilização do algoritmo GMV no controle de processos com atraso desconhecido ou variante: (I) GMV com estimação do valor do atraso. (II) GMV com compensação do valor do atraso. (lll) controlador por alocação de pólos com estrutura GMV. Todas estas estratégias estão baseadas num novo modelo do processo que assume Inicialmente conhecida a faixa de variação do atraso. Este modelo apresenta um polinômio estendido no numerador que representa os zeros do processo e Inclui parte do valor do atraso de transporte do sistema. A estratégia (l) apresenta duas diferentes abordagens para a estimação do valor do atraso e Inclui algumas modificações no algoritmo do estimador. A estratégia (II) é baseada no conceito clássico de compensação do atraso a partir de um modelo explícito do processo. Neste caso o controlador é obtido para um modelo aproximado do processo com atraso unitário. A estratégia (III) é clássica e é apresentada para comparação / Abstract: For many years there has been an Interest on controlJers that automatically update their own parameters when controlling compIex processes or when the operation conditions vary. This interest has increased the number of works in adaptive controI area. The generalized minimum variance controller (GMV) is included in these works and it uses the seIf-tuning approach to update the controller settings. This controler in its standard form assumes known and constant time delay system. This work presents three strategies using GMV algorithm on controlling processes with unknown or varying dead time: (I) GMV with dead time estlmation, (II) GMV with dead time compensatlon, (III) pole-placement controller wlth GMV structure. All approaches are based on a new process model which assumes a prlorl known time delay range. This model Includes an extended polynomial on numerator which represents process zeros and it contains a fraction of time delay. The approach (I) includes two different strategies for time delay estlmatlon and it has some modifications on estimator. The approach (II) is based on classical concept of time delay compensation which uses an expIicit process model. ln this case the controller is obtained for an approximated process model with unit time delay. The approach (III) is a classical method and it is presented for comparison / Mestrado / Mestre em Engenharia Elétrica

Orientador: Jose Antonio Siqueira Dias / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T02:48:25Z (GMT). No. of bitstreams: 1 Serran_NivaldoVicencotto_M.pdf: 3211859 bytes, checksum: d36918c3b265d1dfd5b3cdabe0b39493 (MD5) Previous issue date: 1991 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Engenharia Elétrica

Orientador: Shusaburo Motoyama / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T02:45:58Z (GMT). No. of bitstreams: 1 Pessoa_PauloMauricioCosta_M.pdf: 5731431 bytes, checksum: dab829b83b31c71c47d20d1ad469b5ca (MD5) Previous issue date: 1991 / Resumo: Este trabalho consiste na implementação do hardware de uma placa de voz, a ser acoplada ao nó de uma rede local em anel, com integração de voz e dados. Esta rede é denominada RALFO (Rede de Área Local com Fibras óticas) e está em desenvolvimento no Departamento de Telemática da FEE-UNICAMP. A placa de voz é responsável pelo tratamento dos sinais de voz e sinalização telefônica, adequando-os para a transmissão no anel ótico Além da implementação do hardware, este trabalho apresenta a especificação do firmware da placa e as rotinas de teste do hardware desenvolvido / Abstract: The present work is a hardware implementation an integrated voice interface, that will be connected to the node of an integrated data an voice optical ring LAN (Local Area Network). This LAN iS denoted RALFO ("Rede de Area Local com Fibras óticas") and is a project in development at the Telematic Department of FEE-UNICAMP. The main function of the veice interface is to do the treatment of all voice signals, allowing the transmission into the optical ring. In this work the firmware specification of the voice interface and the routines for the hardware testing are also presented. / Mestrado / Mestre em Engenharia Elétrica

Orientadores : Mario Jino, Fuad Gattaz Sobrinho / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T02:48:40Z (GMT). No. of bitstreams: 1 Camargo_FaniBarbosa_M.pdf: 6914690 bytes, checksum: eac206e5526bf3b6a6ac5bd2489c6fa1 (MD5) Previous issue date: 1991 / Resumo: A atual tecnologia de produçao de software encontra-se em estágio artesanal e caracterizada por baixa qualidade e produtividade. Formas promissoras de ir de encontro a uma produçao industrial de sistemas de software encontram-se em paradigmas de reuso e formalismo. o objetivo deste trabalho é propor uma alternativa para assegurar a qualidade de sistemas de software, em seus diversos niveis de abstraçao, através de um processo de validaçao com uso de formalismo. Para tal, procurou-se aliar os conceitos de composiçao de Componentes de Software Reusáveis da Linguagem-Pi à técnica de especificaçao formal de Traços, tornando possivel a automatizaçao do processo de validaçao. Uma ferramenta de software foi produzida dentro deste contexto - o Gerador Automático de Teste, GAT, que efetua a validaçao do código de um componente de software contra seus requisitos, expressos por uma especificaçao formal / Abstract: The current software production technology is found to be in a craftsman stage, with low quality and productivity standards. Promising avenues towards an industrial production of software systems lie in paradigms of reuse and formalism. The objective of this work is to propose an alternative for the assurance of high quality levels of software systems, within its different levels of abstraction, through a validation process, with the use of formal techniques. In this context, the concepts of Reusable Software Components from the Pi-Language model are alied to the formal Trace specification technique, making possible an automatic validation processo A software tool is here produced - the Automatic Test Generator, ATG, which performs the validation of a software component's code against its requirements, expressed by a formal specification / Mestrado / Automação / Mestre em Engenharia Elétrica

Orientadores : Mario Jino, Jose Carlos Maldonado / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T02:48:53Z (GMT). No. of bitstreams: 1 Vergilio_SilviaRegina_M.pdf: 9458832 bytes, checksum: f193fe990b607ed61231148f4090f549 (MD5) Previous issue date: 1992 / Resumo: Neste trabalho são discutidos os principais problemas introduzidos por caminhos não executávels nas atividades de teste de programas, já que é indecidível se um caminho é ou não executável. O trabalho enfoca tres aspectos principais: caracterização, previsão e determinação de caminhos não executávels. Os estudos foram realizados baseando-se em trabalhos existentes na literatura e em resultados obtidos durante a condução de um "benchmark". Para Isto, utilizou-se uma ferramenta de testes, denominada POKE-TOOL, que apoia a aplicação dos critérios Potenciais-Usos. São apresentados: as principais causas de não executabilidade encontradas nas rotinas do "benchmark"; modelos para avaliar a influência de várias características de programas, no número de caminhos não executávels e modelos para avaliar a relação entre o número de predicados do caminho e sua executabilidade. A condução do "benchmark" também ressaltou a importância da aplicação das heurístlcas propostas por Frankl [FRA87] para identificação de elementos não executávels; além disto, levou a proposição de extensôes para esta heuristica e viabilizou a identificação de facilidades que foram incorporadas na POKE-TOOL, para tratamento de tais elementos. Adicionalmente, são apresentados: os principais aspectos de implementação das heurísticas e facilidades propostas, um exemplo de utilização das rotinas implementadas e uma avaliação preliminar do desempenho das mesmas / Abstract: This work discusses the main problems introduced by Infeasible paths in the activities of program testing, since it is undecidable whether a path is or is not feasible. The work focuses on three major aspects: cIassification, estimation and determination of infeasible paths. The studies were accomplished based on results reported in the literature and on results taken from the application of a benchmark. To conduct the benchmark, the testing tool used was the POKE-TOOL, a tool which supports the Potential-Uses criteria. The main causes for non-feasibility of paths in the benchmark's routlnes are presented. Models which assess the influence of several characteristics of programs on the number of infeasible paths and models to assess the relation between the number of predicates in paths and their feasibility are also presented. The benchmark pointed out the relevance of the Frankl's heuristic application (FRA87) for identification of infeasible paths; more over, has made possible the proposition of extension to this heuristic and of facilities to deal with such paths, which were incorporated into POKE-TOOL. The heuristics and main aspects of implementation of the proposed facilities are presented; an example of utilization and a prelimliary assessment of the effectiveness of the implementation are also shown / Mestrado / Mestre em Engenharia Elétrica

Orientador: Attilio Jose Giarola / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T02:45:33Z (GMT). No. of bitstreams: 1 Kretly_LuizCarlos_D.pdf: 12155544 bytes, checksum: 59824a78528eb857d7b3840cc8b0d958 (MD5) Previous issue date: 1992 / Resumo: Este trabalho descreve a tecnologia desenvolvida para construção de MESFETs de GaAs, (Metal Semiconductor Field Effect Transistors de Arseneto de Gálio), com geometria de porta mícron e submicron. Apresenta em detalhes todas as etapas para a construção destes dispositivos e os resultados obtidos. Mostramos que, a partir de fotolitografia convencional e procedimentos com técnicos de auto-alinhamento, é possível construir transitores MESFETs de GaAS para aplicação analógica (faixa de microondas) e com potencialidades para operação em circuitos intregrados digitais de GaAs. Transistores foram construídos usando esta técnica e as características estatísticas e dinâmicas obtidas estão de conformidade com as especificações típicas destes dispositivos, amplamente divulgados na literatura. Apresentamos, também, um amplo estudo, em forma de ¿tutorial¿, de várias alternativas tecnológicas para conturção de MESFESTs. Ainda, uma extensa análise dos modelos para MESFETs é apresentada, indicando a evolução destes, particularmente quanto à interpretação dos fenômenos ligados ao dispositivo. Uma simulação numérica é também desenvolvida para analisar o comportamento dinâmico de domínios estacionários de carga, em função da polarização de porta e de dreno para MESFETs de GaAs com porta submicron, o que permitiu identificar aprimoramentos a serem introduzidos nos modelos existentes / Abstract: this work describes the technology developed for the construction of GaAs MESFET¿s (Gallium Arsenide Metal Semiconductor Field Effect Transistors) with micron and submicron gate geometry. It describes in detail all the steps for the construction of these devices and the results obtained. It is shown that GaAs MESPETs, for analogical applacation in the microwave range and with potencial for operation in integrated digital circuits, may be constructed with conventional photolithography and with a self-aligment technique. Transitors were constructed using this technique and the DC and dynamic characteristics are in agreement with the specifications of typical MEFETs devices reported in the literature. A general study is also shown, in tutorial form, of the various technological alternatives for the construction of MESFETs. In addition, an extensive analysis of MESFETs models is also presented indicating their evolution, particulary with respect to the interpretation of of the phenomena associated with the divice. A numerical simulation was also developed for the analysis of the stationary charge domain behavior as a function of gate and drain bias of GaAs MEFETs with a submicron gate, thus allowing the identification of improvements to be introduced in the existing models / Doutorado / Doutor em Engenharia Elétrica

Orientador : Secundino Soares Filho / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T02:57:39Z (GMT). No. of bitstreams: 1 Almeida_KatiaCampos_M.pdf: 2587425 bytes, checksum: f54da12aada5917a0cf1ec5f34463eeb (MD5) Previous issue date: 1987 / Resumo: Neste trabalho, a partir da equivalência entre o problema do Fluxo de Carga c.c. e o problema de Mínimo Esforço em redes,propõe-se um método dual de Otimização em grafos que, além de ter utilidade no cálculo do Fluxo de Carga C.C., pode ser estendido ao cálculo do Fluxo de Carga Ótimo Linearizado. O método desenvolvido, com algumas adaptações, pode ser utilizado na análise de contingências, permite a representação exata das perdas de transmissão e é capaz de resolver problemas de programação da geração em redes com limites de transmissão / Mestrado / Mestre em Engenharia Elétrica

Orientador : Celso Pascoli Bottura / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T03:36:41Z (GMT). No. of bitstreams: 1 Barreto_Gilmar_M.pdf: 14150036 bytes, checksum: e20375b423f7a232d97b0cf83d561feb (MD5) Previous issue date: 1986 / Resumo: Neste trabalho objetiva-se dar uma introdução ao tópico veículo elétrico a bateria, abordando a finalidade deste meio de transporte, os parâmetros que determinam seu desempenho, a fonte de energia, o sistema de acionamento e o seu controle e finalmente baseados nos itens anteriores apresentamos como avaliar o desempenho de veículos elétricos e seu sistema de energia através de programas computacionais. Como parte experimental para comprovação do modelo apresentado relatamos o projeto e construção de um veículo elétrico desenvolvido durante a elaboração deste trabalho e experimentos efetuados com baterias chumbo-ácido em diversas condições de operação. Conclusões, comentários e sugestões para trabalhos futuros na área de veículos elétricos são elaboradas / Mestrado / Mestre em Ciências