O Dyretiva é um método desenvolvido para utilização na fase de testes de sistemas embarcados operando em tempo real e, em especial, na verificação das restrições temporais do sistema. Como a fase de testes situa-se no final do processo de desenvolvimento, quando o hardware está disponível e o software codificado, a verificação temporal é feita por meio de monitoração do sistema sob teste. As principais premissas do Dyretiva são considerar a limitação de recursos dos sistemas embarcados e as características intrínsecas dos sistemas em tempo real. O método é definido por uma abordagem de monitoração e por um modelo de falta. A abordagem de monitoração define a interface física e lógica necessárias para observar o sistema sob teste, bem como as estratégias de utilização que permitem otimizar a coleta de dados. O modelo de falta identifica as relações e componentes do sistema onde existe maior probabilidade de encontrar os erros procurados. Para demonstrar os conceitos do Dyretiva, um conjunto de ferramentas de apoio a aplicação do método foi construído. Este conjunto, chamado de SoftScope, é composto por seis ferramentas: um pré-instrumentador de código, um instrumentador de código, um monitor, um programa de controle do monitor, programas para filtragem e análise dos dados capturados e um programa de visualização dos resultados. O Dyretiva e o SoftScope são parte integrante do projeto PERF, que está em andamento no LIT (Laboratório de Inovação e Tecnologia em Sistemas Embarcados) da UTFPR (Universidade Tecnológica Federal do Paraná), cujo objetivo é construir um ambiente completo para o desenvolvimento de sistemas embarcados operando em tempo real. / The Dyretiva is a method used for verifying the time constraints of embedded realtime systems. The verification is performed by monitoring the embedded software when it is running in an embedded hardware. The Dyretiva method takes into account the resource constrained nature of embedded systems and the time bounded nature of real-time systems. The method is comprised by a monitoring approach and a fault model. The monitoring approach defines the physical and the logical interfaces used in the observation of the system under test, as well as the strategies used for an optimized trace data collection. The fault model identifies relationships and components of the system under test that are most likely to have time faults. To demonstrate Dyretiva concepts, a set of support tools called SoftScope has been developed. SoftScope is comprised of a source code pre-instrumentation tool, a source code instrumentation tool, a hybrid monitor, a program for controlling the hybrid monitor, programs for filtering and analyzing trace data, and a graphical presentation tool. The Dyretiva method and the SoftScope tool set are an integral part of the work-inprogress PERF project, which is under development in the LIT (Laboratory of Embedded Systems Innovation and Technology), at the UTFPR (Federal Technological University of Paraná State). The objective of the PERF project is to build a complete environment suitable for the development of embedded and real-time systems.

A transferência de energia sem fio (WPT) rege um importante papel no carregamento de aparelhos remotos. Em um acoplamento indutivo ressonante há várias topologias de sistemas WPT que podem ser implementados para realizar a transferência de energia. Neste trabalho é utilizado uma topologia que utiliza quatro capacitores de compensação para realizar o ajuste da potência entregue a carga, onde estes capacitores são calculados através das fixações dos demais parâmetros do circuito elétrico. Quando o sistema WPT é projetado, uma distância fixa entre as bobinas é almejada, todavia há incertezas e movimentos que podem provocar a alteração desta distância. Há várias técnicas na literatura que buscam realizar a sintonia do acoplamento indutivo para compensar estes desalinhamentos gerado entre as bobinas. Este trabalho apresenta um método multivariável para maximização da potência entregue a carga em um sistema de transferência sem fio. O método proposto utiliza os conceitos de um capacitor variável e a variação de frequência a fim de variar a potência entregue a carga. Os resultados experimentais obtidos para os fatores de acoplamento magnético k > 0;3 mostraram que controlando a frequência e uma capacitância da rede de compensação o desempenho do sistema é melhor que os casos onde apenas uma dessas variáveis é controlada. / Wireless power transfer (WPT) plays an important rule in charging remote devices. In a resonant inductive coupling there are several topologies of WPT systems that can be implemented to perform the energy transfer. In this work, a topology is used that uses four capacitors of compensation to realize the adjustment of the power delivered to load, where these capacitors are calculated through the xations of the other parameters of the electric circuit. When the WPT system is designed, a xed distance between coils is desired, however there are uncertainties and movements that may cause this distance to change. There are several techniques in the literature that seek to realize the tuning of the inductive coupling to compensate for these misalignments generated between the coils. This work presents a multivariable method to maximize the power delivered to the load in a wireless transfer system. The proposed method uses the concepts of a variable capacitor and the frequency variation in order to vary the power delivered to the load. The experimental results obtained for the magnetic coupling factors k > 0:3 showed that controlling the frequency and capacitance of the compensation network system performance is better than the cases where only one of these variables is controlled.

Made available in DSpace on 2016-08-17T14:52:55Z (GMT). No. of bitstreams: 1 Julio Cesar Roma Buzar.pdf: 804000 bytes, checksum: 0c2294a9e066eb31981b51015c924c90 (MD5) Previous issue date: 2003-11-28 / This work presents a methodology to investigate high voltage control problems in electrical power systems based on steady stated and time domain computer simulations. The steady state analyses determine the V-Q curves using conventional power flow models. Time domain simulation uses conventional transient stability models to reproduce the phenomenon in details and to validate steady state results. This methodology is tested in the October 10th events with particular interest in the state of Maranhão power system behavior. The results reveal that the events cause voltage control problems in the area under investigation and the load shedding, the control action taken at that time, results in a stable operation condition. On the other hand, as an illustrative case, it is tested an alternative control action using shunt capacitors under an unstable operation condition. The steady state simulation shows that this control action reduces the bus voltage level, whilst time domain simulation shows that these control actions raise the bus voltage level. Before this work, no proper investigation had been carried out to investigate voltage control problems in the state of Maranhão high voltage power system. / Este trabalho apresenta uma metodologia baseada em simulações computacionais, usando técnicas de regime permanente e no domínio do tempo, para investigar problemas de controle de tensão em sistemas de energia elétrica. As técnicas em regime permanente usam modelos convencionais de fluxo de carga para montagem da curva V-Q. Já nas simulações no domínio do tempo são usados modelos convencionais de estabilidade transitória angular para reproduzir em detalhes o fenômeno, e validar os resultados obtidos em regime permanente. A metodologia é testada numa ocorrência do dia 10 de outubro de 2002 no sistema interligado Norte/Nordeste, enfatizando as conseqüências no sistema Norte, em particular no sistema de transmissão de energia elétrica do estado do Maranhão, operado pelas Centrais Elétricas do Norte do Brasil S.A. Eletronorte. Os resultados das investigações revelam que os eventos provocam problemas de controle de tensão na área investigada e que o corte de carga, ação de controle executada, resulta numa condição de operação estável. Por outro lado, como ilustração, testa-se uma ação de controle através de bancos de capacitores numa condição de instabilidade de tensão. Em regime permanente, os resultados mostram uma redução no nível de tensão da barra, enquanto que no domínio do tempo mostram um aumento no nível de tensão. Antes deste trabalho, nenhuma análise investigativa de problemas de controle de tensão no sistema de alta tensão de energia elétrica do estado do Maranhão tinha sido realizada.

Orientador: Secundino Soares Filho / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-03T22:14:58Z (GMT). No. of bitstreams: 1 Hidalgo_IedaGeriberto_M.pdf: 1603815 bytes, checksum: 05b225666c8373baf5e3ff417ec400bd (MD5) Previous issue date: 2004 / Resumo: Esse trabalho apresenta o desenvolvimento de uma ferramenta para a criação de consultas avançadas a uma base de dados cadastrais do Sistema Hidrelétrico Brasileiro, denominada HydroData. Para realizar essas consultas foi desenvolvido um módulo, chamado HydroConsulta, integrado à interface do programa HydroData. o HydroConsulta pode ser entendido como um agente gerenciador que conecta o usuário à base de dados do sistema HydroData e possibilita a criação de consultas, deixando os detalhes de sintaxe invisíveis para o usuário. O mecanismo interno de execução dessas consultas baseia-se numa linguagem denominada Structured Query Language (SQL). O projeto de software e a implementação computacional do HydroConsulta utilizaram-se do paradigma da orientação a objetos e da linguagem C++, respectivamente, o que assegura ao sistema uma estruturação moderna e eficiente / Abstract: This work presents the development of a new toolbox for making advanced search procedures inside a registered data base of the Brazilian Hydroelectric System, denominated HydroData. o implement such search procedures, it was developed a software module called HydroConsulta, which is integrated with the interface ofthe HydroData programo The HydroConsulta program can be understood as a management agent which connects the user with data base content of the HydroData and makes it possible for the user to build advanced searches leaving syntax requisites invisible for the end user. The internal execution mechanism of the search procedure was based on a query language called Structured Query Language (SQL). The software project of HydroConsulta and its computational implementation use the object-oriented paradigm and C++ language respectively, which assures to the system a modern and efficient structure / Mestrado / Mestre em Engenharia Elétrica

Submitted by Irvana Coutinho (irvana@ufpa.br) on 2011-03-30T14:08:53Z No. of bitstreams: 2 NASCIMENTO, Andre Cavalcante do PPGEngenharia Elétrica tese.pdf: 2273415 bytes, checksum: 499dfcfe91476179f87605f7f44906d5 (MD5) license_rdf: 22876 bytes, checksum: 0a4e855daae7a181424315bc63e71991 (MD5) / Made available in DSpace on 2011-03-30T14:08:53Z (GMT). No. of bitstreams: 2 NASCIMENTO, Andre Cavalcante do PPGEngenharia Elétrica tese.pdf: 2273415 bytes, checksum: 499dfcfe91476179f87605f7f44906d5 (MD5) license_rdf: 22876 bytes, checksum: 0a4e855daae7a181424315bc63e71991 (MD5) Previous issue date: 2009 / No presente trabalho é avaliada uma metodologia de injeção de potência reativa em redes elétricas durante afundamentos de tensão provocados por curto-circuito, em parques eólicos interligados, adotada em alguns países com maturidade tecnológica na produção de energia eólica. Nos estudos desenvolvidos, foi utilizado o aerogerador síncrono a imã permanente com conversor pleno em função da grande controlabilidade do conversor interligado à rede e por possuir elevada capacidade de fornecimento de potência reativa, comparada a outras tecnologias de aerogeradores. No Brasil, os requisitos de interligação de parques eólicos as redes elétricas, definido pelo Operador Nacional do Sistema, ainda não estipula a necessidade de adoção de tal metodologia durante defeitos na rede elétrica, apenas especifica a curva de capacidade de afundamentos de tensão que os aerogeradores devem seguir para evitar o desligamento frente a afundamentos de tensão. Os critérios de proteção do aerogerador síncrono são avaliados a partir de simulações de curto-circuito em uma rede de teste adotando-se os requisitos do Brasil, sem injeção de potência reativa, sendo comparados com o de outros países que adotam curvas de injeção de potência reativa. / In the present work a methodology of reactive power injection in electric grids during voltage dips provoked by short-circuit, in connected wind farms, adopted at some countries with technological maturity in the production of wind energy in the world is evaluated. In the developed studies, the direct drive synchronous wind generator was used with full converter due to the high controllability of the converter connected to the electric grid and for possessing high capacity of reactive power supply, compared to other wind generators technologies. In Brazil, the grid code to connect wind farms to the electric grids, defined by the National Operator of the Electrical System, doesn't stipulate yet the need of adoption of such methodology during faults in the electric grid. It just specifies the ride through apability curve for voltage dips that the wind generators should follow to avoid the trip of the undervoltage relay. Criteria of the synchronous wind generators protection are evaluated starting from short-circuit simulations in a test grid with adoption of the Brazilian grid code, without reactive power injection, being compared with those of other countries that adopt reactive power injection curves. / IFPA - Instituto Federal de Educação, Ciência e Tecnologia do Pará

Submitted by Edisangela Bastos (edisangela@ufpa.br) on 2012-04-13T18:54:52Z No. of bitstreams: 2 Dissertacao_AnaliseImpactoConversores.pdf: 3431144 bytes, checksum: 1d9f792ba412f7aa01d7a772d9274800 (MD5) license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) / Approved for entry into archive by Edisangela Bastos(edisangela@ufpa.br) on 2012-04-13T18:56:10Z (GMT) No. of bitstreams: 2 Dissertacao_AnaliseImpactoConversores.pdf: 3431144 bytes, checksum: 1d9f792ba412f7aa01d7a772d9274800 (MD5) license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) / Made available in DSpace on 2012-04-13T18:56:10Z (GMT). No. of bitstreams: 2 Dissertacao_AnaliseImpactoConversores.pdf: 3431144 bytes, checksum: 1d9f792ba412f7aa01d7a772d9274800 (MD5) license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Previous issue date: 2010 / Apresenta-se neste trabalho uma análise da qualidade da energia do sistema de distribuição de uma indústria de petróleo, de modo a avaliar o impacto da instalação de conversores de frequência no que diz respeito ao fenômeno de distorção harmônica. Os dados de distorção harmônica de tensão foram coletados através de duas medições com duração de sete dias consecutivos, sendo uma realizada antes e outra depois da instalação dos conversores de frequência. Adicionalmente, um estudo computacional utilizando o PTW (Power Tools for Windows) é apresentado com o intuito de simular condições futuras de instalação de novos conversores de frequência e de avaliar a influência dos bancos de capacitores na amplificação da distorção harmônica no sistema de distribuição. / In this work, it is presented an analysis of the distribution system power quality of an oil industry in order to evaluate the impact of the installation of frequency converters regarding the harmonic distortion. The harmonic distortion data were collected through two measurements over a period of seven consecutive days, one performed before and other after the installation of frequency converters. Additionally, a computational study using PTW (Power Tools for Windows) is presented in order to simulate future conditions of new frequency converters installation and to analyse the influence of capacitor banks in the amplification of distribution system harmonic distortion.

Submitted by camilla martins (camillasmmartins@gmail.com) on 2017-01-27T15:40:38Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_TecnicasMineracaoDados.pdf: 5205222 bytes, checksum: 0ac0aceafcb8be8da514e3982160642b (MD5) / Approved for entry into archive by Edisangela Bastos (edisangela@ufpa.br) on 2017-01-30T12:17:53Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_TecnicasMineracaoDados.pdf: 5205222 bytes, checksum: 0ac0aceafcb8be8da514e3982160642b (MD5) / Made available in DSpace on 2017-01-30T12:17:53Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_TecnicasMineracaoDados.pdf: 5205222 bytes, checksum: 0ac0aceafcb8be8da514e3982160642b (MD5) Previous issue date: 2016-06-17 / Mediante estudos realizados pelo CIGRE em 2009, constatou-se que a fonte principal de falhas elétricas em hidrogeradores estão correlacionados a isolação elétrica. Devido a isto, monitorar as condições do enrolamento estatórico tornou-se primordial e um dos meios de se realizar este procedimento é através da medição e análise de descargas parciais, sendo este um dos métodos mais eficazes e seguros para análise do isolamento do estator do gerador. No entanto, apesar de possuírem padrões bem definidos, não é trivial encaixar os sinais obtidos nestes padrões, devido principalmente ao grande número e variedades de ocorrências de DPs. Este aumento no volume de dados obtidos foi devido a melhorias nos equipamentos e softwares do IMA-DP que viabilizou melhor planejamento e periodicidade nas medições. O uso de uma ferramenta que agilize este processo de identificação e diagnóstico das Descargas Parciais é proposto neste trabalho, baseado em técnicas de mineração dados utilizando árvores de decisão, que é uma solução para análise de grandes volumes de dados. No caso especifico aqui apresentado, utilizou-se 2435 medições provenientes da fase A de um dos hidrogeradores da Casa de Força 1 da Usina Hidrelétrica de Tucuruí, o que foi fundamental para validar o método, pois trata-se de dados reais do sistema. Foi utilizada uma abordagem híbrida (não-supervisionado/ supervisionado) para identificar padrões e posteriormente classifica-los dentre as formas conhecidas de DPs. Obteve-se respostas de classificação dos sinais de forma rápida e muito satisfatória, principalmente ao se converter os dados dos mapas estatísticos em histogramas de amplitude, conseguindo assim, clusters bem definidos e uma árvore de decisão que apresentou índices de acerto global na sua validação acima de 98%. / By studies conducted by CIGRE in 2009, it was found that the main source of hydro generator failures is correlated to the machine electrical insulation. Due to this fact, monitoring the stator winding conditions became an important supervising procedure. A very used practice to accomplish this supervision is through the measurement and analysis of partial discharges (PDs), being this practice one of the most effective and secure methods for analysis of generator stator insulation. However, although PDs have well-defined standards, it is not trivial to classify the obtained PDs signals in these patterns, mainly due to the large number and variety of PDs occurrences. Today, the significant increase in the amount of PDs data available was due to improvements in equipment and software for PDs monitoring, as for example the system IMA-DP, which has contributed to better planned and more frequent measurement campaigns. So, this work proposes the use of an intelligent tool to facilitate the process of identification and diagnosis of partial discharges, based on data mining techniques using decision trees (DT), which is a solution for analyzing large amount of data. In the specific case presented in this dissertation it was used 2,435 measurements obtained for phase A of a hydro generator of the Tucurui Hydro Plant, which was essential to validate the proposed method, because they represent real data obtained from the Hydro Plant operation. A hybrid approach (supervised/unsupervised) was used to identify and rank PDs patterns among the well-known forms of DPs. A fast and very satisfactory PDs classification procedure was achieved, especially when converting data from statistical maps into amplitude histograms, thus, obtaining well-defined clusters and a created decision tree that achieved global indices of accuracy above 98%.

Este trabalho identifica o Código de Ética e Prática Profissional da engenharia de software como o conjunto de práticas para consideração de fatores humanos na engenharia de software. A seguir, estende o Kernel da especificação Essence, e o utiliza para conduzir a aplicação desse conjunto de práticas. A prova de conceito indica que o conjunto de práticas identificadas não garante a consideração de fatores humanos na engenharia de software. Considerar a ética nas interações existentes na empreitada de engenharia de software não é um simples caso de utilização de checklists como forma de verificar o que deve ser feito para certificar que algo foi realizado. Considerar a ética é mais do que isso. É necessário que todas as pessoas tenham consciência da importância da ética, do respeito de um ao outro e à sociedade. / This text identifies the Software Engineering Code of Ethics and Professional Practice as a set of practices to consider human factors in software engineering. Afterwards, it extends the Kernel of the Essence specification, and applies it to steer the use of this set of practices. The proof of concept indicates that the identified set of practices does not ensure the consideration of human factors in software engineering. Considering ethics, in the interactions that are present in software engineering endeavor, is not a simple case of using checklists to ascertain what must be done to ensure that something was carried out. Taking ethics into consideration is more than that. It is imperative that all the people should become aware of how important ethics is, and so is the respect for each other and for the society. Keywords: This text identifies the Software Engineering Code of Ethics and Professional Practice as a set of practices to consider human factors in software engineering. Afterwards, it extends the Kernel of the Essence specification, and applies it to steer the use of this set of practices. The proof of concept indicates that the identified set of practices does not ensure the consideration of human factors in software engineering. Considering ethics, in the interactions that are present in software engineering endeavor, is not a simple case of using checklists to ascertain what must be done to ensure that something was carried out. Taking ethics into consideration is more than that. It is imperative that all the people should become aware of how important ethics is, and so is the respect for each other and for the society.

Este trabalho apresenta os métodos consensuais como uma proposta para reduzir as insatisfações das pessoas envolvidas no processo de levantamento de requisitos e respeitar as dimensões humanas e sociais já no inicio do ciclo de vida de um sistema sociotécnico, considerando a aderência desses métodos às demais fases do ciclo de vida. / This text proposes the use of consensual methods to reduce people dissatisfaction in take part of requirement elicitation process and indentify, and respect, the human and social dimensions since the beginning of a sociotechnical system life cycle, evaluating the adhesion of these methods to the other phases of the lifecycle.

Este trabalho realiza um estudo comparativo entre diferentes arquiteturas de sistemas de comando de vôo (FCS) e sistemas de piloto automático (AFCS) empregados em conhecidas aeronaves comerciais. Sua abordagem tenta enfatizar como cada arquitetura pode influenciar no desenvolvimento, operação e na manutenção de uma aeronave. As diferenças encontradas em cada arquitetura podem se traduzir em alterações da resposta dinâmica da aeronave, como no caso das diferentes interfaces entre o FCS e o AFCS, ou mesmo representar diferentes níveis de redundância, confiabilidade e complexidade do sistema. Apesar de todas as arquiteturas, aqui descritas e estudadas, atingirem os requisitos normativos por apresentarem uma baixa probabilidade de falhas, ée o meio pelo qual o sistema garante esta baixa probabilidade de falhas que pode influenciar no projeto da aeronave, por exemplo, aumentando o peso total da aeronave - se o número de elementos redundantes for muito elevado. O principal objetivo deste trabalho ée definir uma arquitetura básica para a aeronave (fictícia) CJ1, que por sua vez foi desenvolvida durante o Programa de Especialização em Engenharia. Entretanto, este trabalho acaba se tornando algo como um sumário, uma sinopse das arquiteturas de FCS e AFCS das aeronaves aqui estudadas (ERJ145, EMBRAER 170, Boeing 777) ao mesmo tempo em que define uma arquitetura para a aeronave CJ1.