Segundo o teorema da indefinibilidade de Tarski-Gödel, não existe fórmula da linguagem da aritmética que defina o conjunto dos números de Gödel das sentenças verdadeiras da aritmética. No entanto, para cada número natural n, podemos definir o conjunto dos números de Gödel das sentenças verdadeiras da aritmética de grau menor que n. Essas definições produzem uma hierarquia V0(x), V1(x),..., Vn(x),... tal que, para todo x, se Vn(x), então Vn+1(x). Nesse estudo, ensairemos algumas aplicações desses predicados, chamados definições parciais de verdade, e outros predicados relacionados a eles na construção de sistemas formais para as verdades da aritmética. A ideia subjacente aos nossos sistemas é muito simples, devemos acumular de alguma maneira as definições parciais de verdade. Grosso modo, mostrar como fazê-lo é o objetivo desse estudo. / According to Tarski-Gödels undefinability theorem, there is no formula in the language of arithmetic which defines the set of Gödel numbers of arithmetical true sentences. Nevertheless, for each n, we can define the set of Gödel numbers of all arithmetical true sentences of degree n or less. These definitions yield a hierarchy of predicates V0(x), V1(x),..., Vn(x),... such that, for all x, if Vn(x), then Vn+1(x). In this study, we will ensay some aplications of these predicates, called partial truth definitions, and others related ones in building of formal systems for arithmetical truth. The underlying idea of our systems is very simple, we should accumulate in some way the partial truth definitions. Roughly speaking, showing how we can do that is the aim of this study.

Segundo o teorema da indefinibilidade de Tarski-Gödel, não existe fórmula da linguagem da aritmética que defina o conjunto dos números de Gödel das sentenças verdadeiras da aritmética. No entanto, para cada número natural n, podemos definir o conjunto dos números de Gödel das sentenças verdadeiras da aritmética de grau menor que n. Essas definições produzem uma hierarquia V0(x), V1(x),..., Vn(x),... tal que, para todo x, se Vn(x), então Vn+1(x). Nesse estudo, ensairemos algumas aplicações desses predicados, chamados definições parciais de verdade, e outros predicados relacionados a eles na construção de sistemas formais para as verdades da aritmética. A ideia subjacente aos nossos sistemas é muito simples, devemos acumular de alguma maneira as definições parciais de verdade. Grosso modo, mostrar como fazê-lo é o objetivo desse estudo. / According to Tarski-Gödels undefinability theorem, there is no formula in the language of arithmetic which defines the set of Gödel numbers of arithmetical true sentences. Nevertheless, for each n, we can define the set of Gödel numbers of all arithmetical true sentences of degree n or less. These definitions yield a hierarchy of predicates V0(x), V1(x),..., Vn(x),... such that, for all x, if Vn(x), then Vn+1(x). In this study, we will ensay some aplications of these predicates, called partial truth definitions, and others related ones in building of formal systems for arithmetical truth. The underlying idea of our systems is very simple, we should accumulate in some way the partial truth definitions. Roughly speaking, showing how we can do that is the aim of this study.

Orientador: Carlos Alberto Canesin / Resumo: Frente aos novos desafios impostos ao cenário energético mundial, esta tese de doutorado implementa e analisa uma micro-rede de geração distribuída (GD), com acumulação e capacidade de operação conectada ou desconectada da rede de distribuição de energia elétrica (RDEE). A energia é fornecida à RDEE através de seis inversores monofásicos, constituindo uma rede trifásica, sendo três deles com capacidade de operação ilhada e conectada, e outros três com características de fonte de corrente que podem injetar energia de forma controlada, ativa ou reativa, no ponto de conexão comum (PCC). Através do sistema de acumulação com baterias do tipo chumbo-ácido, também é possível que o sistema minimize o consumo de energia da RDEE, mesmo quando não há energia solar, extraindo potência das baterias. Tendo em vista que a quase totalidade dos inversores utilizados em um sistema de GD fornecem somente potência ativa, ou trabalhem com fator de potência fixo, este trabalho também implementa o controle dinâmico de P e Q na micro-rede, atuando como compensador de tensão no PCC e promovendo melhorias na qualidade da energia elétrica. A micro-rede é gerenciada por um programa desenvolvido para o controle de todos os dispositivos essenciais presentes na GD, incluindo controle da carga e descarga do sistema de acumulação, controle dos contatores de conexão de todo o sistema, e controle do firmware dos inversores conectados, permitindo total liberdade de gestão da energia disponível, resultando numa ... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: Considering the new challenges imposed in the energetic scenario around the world, this PhD thesis implements and analyzes a micro-grid of Distributed Generation (DG) plant with accumulation and capability of operation connected or islanded from the electric power distribution grid. The system will supply power to the utility grid and local loads through six single-phase inverters, constituting a three-phase system, among which three are with capability to operate in islanded and connected mode, and the other three single-phase inverters with current source characteristic that can inject active or reactive power in a controlled manner at the point of common coupling (PCC). Through the accumulation system with lead-acid batteries technology, it is also possible that the system minimizes the utility grid consumption, though without solar energy. Given that most of the available inverters for DG are designed only to provide active power or to operate with a fixed power factor, this work, in the meantime, implements the dynamic control of the supplied active and reactive power (P and Q) in micro-grid, acting as a voltage compensator at the PCC to improve the quality of electric power. The micro-grid is managed by software designed to control and communicate with all essential devices in DG, including control of charge and discharge of the accumulation system, control of the whole system connection contactors, and the firmware control of grid connected inverters, which allow a wid... (Complete abstract click electronic access below) / Doutor

Submitted by MARCOS GUTIERREZ ALVES null (mmarkos.alves@gmail.com) on 2017-10-18T17:25:15Z No. of bitstreams: 1 Marcos Gutierrez Alves - Tese.pdf: 10359243 bytes, checksum: 24da24ccb395d0581201cc49607f4bf6 (MD5) / Approved for entry into archive by Luiz Galeffi (luizgaleffi@gmail.com) on 2017-10-23T18:18:25Z (GMT) No. of bitstreams: 1 alves_mg_dr_ilha.pdf: 10359243 bytes, checksum: 24da24ccb395d0581201cc49607f4bf6 (MD5) / Made available in DSpace on 2017-10-23T18:18:25Z (GMT). No. of bitstreams: 1 alves_mg_dr_ilha.pdf: 10359243 bytes, checksum: 24da24ccb395d0581201cc49607f4bf6 (MD5) Previous issue date: 2017-08-21 / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Frente aos novos desafios impostos ao cenário energético mundial, esta tese de doutorado implementa e analisa uma micro-rede de geração distribuída (GD), com acumulação e capacidade de operação conectada ou desconectada da rede de distribuição de energia elétrica (RDEE). A energia é fornecida à RDEE através de seis inversores monofásicos, constituindo uma rede trifásica, sendo três deles com capacidade de operação ilhada e conectada, e outros três com características de fonte de corrente que podem injetar energia de forma controlada, ativa ou reativa, no ponto de conexão comum (PCC). Através do sistema de acumulação com baterias do tipo chumbo-ácido, também é possível que o sistema minimize o consumo de energia da RDEE, mesmo quando não há energia solar, extraindo potência das baterias. Tendo em vista que a quase totalidade dos inversores utilizados em um sistema de GD fornecem somente potência ativa, ou trabalhem com fator de potência fixo, este trabalho também implementa o controle dinâmico de P e Q na micro-rede, atuando como compensador de tensão no PCC e promovendo melhorias na qualidade da energia elétrica. A micro-rede é gerenciada por um programa desenvolvido para o controle de todos os dispositivos essenciais presentes na GD, incluindo controle da carga e descarga do sistema de acumulação, controle dos contatores de conexão de todo o sistema, e controle do firmware dos inversores conectados, permitindo total liberdade de gestão da energia disponível, resultando numa importante ferramenta acadêmica de aprendizagem. Adicionalmente, a planta de GD é monitorada por meio de um programa de aquisição de dados do fluxo de energia elétrica que flui entre a GD e a RDEE, armazenando os dados relevantes em um banco de dados de informações para análises em longo prazo. É apresentada uma revisão bibliográfica para o cenário energético mundial e no Brasil, além das configurações de micro-rede com GD mais utilizadas no setor atualmente. O diagrama geral da micro-rede com GD é exposto, com descrição de cada equipamento e dimensionamento das fontes de energia solar. Finalmente, resultados experimentais e estruturas dos códigos são apresentados e discutidos. / Considering the new challenges imposed in the energetic scenario around the world, this PhD thesis implements and analyzes a micro-grid of Distributed Generation (DG) plant with accumulation and capability of operation connected or islanded from the electric power distribution grid. The system will supply power to the utility grid and local loads through six single-phase inverters, constituting a three-phase system, among which three are with capability to operate in islanded and connected mode, and the other three single-phase inverters with current source characteristic that can inject active or reactive power in a controlled manner at the point of common coupling (PCC). Through the accumulation system with lead-acid batteries technology, it is also possible that the system minimizes the utility grid consumption, though without solar energy. Given that most of the available inverters for DG are designed only to provide active power or to operate with a fixed power factor, this work, in the meantime, implements the dynamic control of the supplied active and reactive power (P and Q) in micro-grid, acting as a voltage compensator at the PCC to improve the quality of electric power. The micro-grid is managed by software designed to control and communicate with all essential devices in DG, including control of charge and discharge of the accumulation system, control of the whole system connection contactors, and the firmware control of grid connected inverters, which allow a wide control over the available energy and provide a significant academic studying platform. In addition, the energy flow between the DG and the utility grid is monitored through a power quality monitoring device, which is capable to send daily reports by email. In this way, a program was developed to store and recover all the relevant data in a database for the long-term analysis, compiling the results for easy interpretation. A literature review is presented for the world energy scenario, with more focus in Brazil, besides the micro-grid configurations with DG most used in the sector currently. This work also shows the general diagram of the micro-grid with DG describing the equipment and dimensioning the solar energy sources. Finally, it demonstrates and discusses experimental results and code structures.