Orientador: Sérgio Kurokawa / Resumo: Este trabalho apresenta uma proposta de representação de sistemas de aterramento elétrico diretamente no domínio do tempo, tendo como vantagem os benefícios da modelagem realizada no domínio da frequência, com os resultados fornecidos diretamente no domínio do tempo, sem passar por transformadas inversas (Laplace ou Fourier). Os modelos no domínio do tempo são facilmente inseridos nos softwares convencionais de análise transitória, onde as tensões e correntes são melhor compreendidas. A maior contribuição deste trabalho está no desenvolvimento de uma técnica capaz de representar o aterramento com elementos discretos e positivos de circuitos (resistores-R, capacitores-C e indutores-L). Assim, o circuito equivalente representativo do aterramento será sempre um circuito possível de ser implementado fisicamente. Nesta proposta o aterramento é inicialmente modelado no domínio da frequência, sua impedância harmônica é obtida e representada por meio de elementos discretos de circuitos (RLC) associados em série e/ou paralelo. Aterramentos constituídos por um eletrodo horizontal ou uma haste vertical foram representados por meio de aproximação usando o método dos mínimos quadrados (vector fitting), que permite obter a função racional equivalente à admitância do aterramento, a partir da qual são extraídos os ramos de circuitos e consequentemente o circuito equivalente. Apesar de ser possível representar uma infinidade de aterramentos, dependendo do comprimento e diâmetro do eletrodo/ha... (Resumo completo, clicar acesso eletrônico abaixo) / Doutor

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-01T17:34:31Z No. of bitstreams: 1 MAGNA CELI TAVARES BISPO - DISSERTAÇÃO PPGCC 2012..pdf: 13590339 bytes, checksum: 3903bd3ab6c0c474a6a7e9bf8b04e08a (MD5) / Made available in DSpace on 2018-08-01T17:34:31Z (GMT). No. of bitstreams: 1 MAGNA CELI TAVARES BISPO - DISSERTAÇÃO PPGCC 2012..pdf: 13590339 bytes, checksum: 3903bd3ab6c0c474a6a7e9bf8b04e08a (MD5) Previous issue date: 2012-11-30 / A ambiguidade de termos é um dos fatores que dificulta o processo de indexação de documentos e recuperação de informação desejada por um usuário. O presente trabalho se baseia na hipótese de que parte deste problema pode ser minimizado sabendo-se de antemão o domínio do documento que contém termos ambíguos. Para determinar este domínio foram construídos vocabulários temáticos por meio da extração de termos de documentos de domínios de conhecimento pré-determinados, com o uso de regras sintáticas. A Wikipédia foi usada como base de consulta, por ser uma enciclopédia digital contendo as categorias definidas semelhantes à Classificação Decimal Universal (CDU), e cada categoria com uma vasta quantidade de documentos específicos, sendo essa característica fundamental para formação de um vocabulário específico do domínio de um conhecimento. A escolha das categorias foi baseada na CDU, composta de 10 domínios e seus respectivos subdomínios. Os vocabulários obtidos, denominados de Vetores Temáticos de Domínio (VTD), serviram de base para a classificação de novos documentos. Para validação dos VTD's, foram realizados três tipos de experimentos diferentes, o primeiro foi classificar novos documentos utilizando o método vetorial, tendo o VTD como base de consulta. O segundo experimento foi uma classificação utilizando outro classificador, o Intellexer Categorizer, e o terceiro experimento, criou-se um vetor de termos através do Weka, o qual foi submetido a servir de base de consulta para classificar novos documentos, utilizando o modelo vetorial. Os resultados foram satisfatórios, pois mostrou que o VTD obteve uma melhor classificação em relação aos outros métodos, dos 14 novos documentos, classificou 10 corretamente e 4 errados, apresentando uma acurácia de 80%, contra a acurácia de 57% do Intellexer Categorizer e de 50% da classificação utilizando o vetor de termos criado pelo Weka. / Terms ambiguity is one of the factors that hinders the document indexation and information retrieval processes desired by a user. This work is based on the hypothesis that part of this problem can be minimized by knowing beforehand the field of the document that contains ambiguous terms. To determine this domain, typical vocabularies were created through the extraction of terms from documents of predetermined knowledge domains, with the use of syntactical rules. Wikipedia was used as a consultation base because it is a digital encyclopedia that contains the categories defined similar to the Universal Decimal Classification (UDC), each category containing a vast amount of specific documents, being this feature essential for the formation of a domain-specific vocabulary. The choice of the categories was based on the UDC, composed of 10 domains and their respective subdomains. The vocabularies obtained, denominated as Thematic Domain Vectors (TDV), served as the basis for the classification of new documents. For the validation of the TDVs, three different types of experiments were performed: the first was to classify new documents using the vectorial method, with the TDV as a basis of consultation. The second experiment was a classification using another classifier, the Intellexer Categorizer. For the third experiment was created a vector of terms through Weka, which was submitted to serve as a a consultation base to classify new documents using the vectorial model. The results were satisfactory, because they showed that the TDV obtained a better classification relative to other methods. Of the 14 new documents, properly it rated 10 and 4 incorrectly, with an accuracy of 80%, against 57% accuracy of the Intellexer Categorizer program and 50% of the classification using the Weka created vector of terms.

Apresenta-se um estudo em Teoria de Domínios das equações integrais da forma geral f (x) = h(x)+g Z b(x) a(x) g(x, y, f (y))dy com h, a e b definidas para x ∈ [a0,b0], a0 ≤a(x)≤b(x)≤b0 e g definida para x, y ∈ [a0,b0], cujo lado direito define uma contração sobre o espaço métrico de funções reais contínuas limitadas. O ponto de partida desse trabalho é a reescrita da Análise Intervalar para Teoria de Domínios do problema de valor incial em equações diferenciais ordinárias que possuem solução como ponto fixo do operador de Picard. Com o conjunto dos números reais interpretados pelo Domínio Intervalar, as funções reais são estendidas para operarem no domínio de funçoes intervalares de variável real. Em particular, faz-se a extensão canônica do campo vetorial em relação à segunda variável. Nesse contexto, pela primeira vez tem-se o estudo das equações integrais de Fredholm e Volterra sobre o domínio de funções intervalares de variável real definida pelo operador integral intervalar com a participação da extensão canônica de g em relação à terceira variável. Adicionando ao domínio de funções intervalares sua função medição, efetua-se a análise da convergência do operador intervalar de Fredholm e Volterra em Teoria de Domínios com o cálculo da sua derivada informática em relação à medição no seu ponto fixo. Com a representação das funções intervalares em função passo constante a partir da partição do intervalo [a0,b0], reescrevese o algoritmo da Análise Intervalar em Teoria de Domínios com a introdução do cálculo da aproximação da extensão canônica de g e com o comprimento do intervalo da partição tendendo para zero. Estende-se essa abordagem mais completa do estudo das equações integrais na resolução de problemas de valores iniciais e valor de contorno em equações diferenciais ordinárias e parciais. Uma vez que para uma pequena variação do campo vetorial v ou do valor inicial y0 da equação diferencial f ′(x) = v(x, f (x)) com a condição inicial f (x0) = y0, pode-se ter uma solução tão próxima da solução f da equação quanto possível, formaliza-se pela primeira vez em Teoria de Domínios um algoritmo na resolução do problema inverso em que, conhecendo a função f , determina-se uma equação diferencial ordinária com o cálculo de um campo vetorial v tal que o operador de Picard associado mapeia f tão próxima quanto possível a ela mesma. / We present a study in Domain Theory of integral equations of the form f (x) = h(x)+g Z b(x) a(x) g(x, y, f (y))dy for a0 ≤ a(x) ≤ b(x) ≤ b0 with h, a, b defined for x ∈ [a0,b0] and g defined for x, y ∈ [a0,b0], in which the right-hand side defines a contraction on the metric space of continuous realvalued functions on [a0,b0]. The starting point of this work is to revisit Interval Analysis in Domain Theory for the initial-value problem in ordinary differential equations where a solution is expressed as a fixed point of the Picard operator. With the set of real numbers interpreted as the interval domain, real-valued functions are extended to work in the space of interval-valued functions of the real variable domain. In particular, the vector field is extended in the second argument. Under these conditions, for the first time Fredholm and Volterra integral equations have solutions expressed as fixed points of a contraction mapping in terms of the splitting on interval-valued functions of the real variable domain. The measurement for interval-valued functions of the real variable domain is considered where we can asssess the convergence properties of the interval integral operator by means of the informatic derivative. The proposed techniques are applied to more general methods in ordinary differencial equations (ODEs) and partial differential equations (PDEs). For the first time, an algorithm is proposed to provide solutions to the inverse problem for Odinary Differential Equation where, given a function f , it is found a vector field v that defines a Picard operator which maps the solution f as close as possible to itself, such that the ODE f ′(x) = v(x, f (x)) admits f as either an exact or, as closely as desired, an approximate solution.

Submitted by CLAUDINER MENDES DE SEIXAS null (claudiner2010@gmail.com) on 2017-10-21T02:06:24Z No. of bitstreams: 1 Tese_Claudiner_seixas_ac_dr_ilha.pdf: 3441885 bytes, checksum: 9e1f3e2ff82a0a8220457c535d4cea55 (MD5) / Approved for entry into archive by Luiz Galeffi (luizgaleffi@gmail.com) on 2017-10-26T14:27:13Z (GMT) No. of bitstreams: 1 seixas_cm_dr_ilha.pdf: 3441885 bytes, checksum: 9e1f3e2ff82a0a8220457c535d4cea55 (MD5) / Made available in DSpace on 2017-10-26T14:27:13Z (GMT). No. of bitstreams: 1 seixas_cm_dr_ilha.pdf: 3441885 bytes, checksum: 9e1f3e2ff82a0a8220457c535d4cea55 (MD5) Previous issue date: 2017-08-25 / Este trabalho apresenta uma proposta de representação de sistemas de aterramento elétrico diretamente no domínio do tempo, tendo como vantagem os benefícios da modelagem realizada no domínio da frequência, com os resultados fornecidos diretamente no domínio do tempo, sem passar por transformadas inversas (Laplace ou Fourier). Os modelos no domínio do tempo são facilmente inseridos nos softwares convencionais de análise transitória, onde as tensões e correntes são melhor compreendidas. A maior contribuição deste trabalho está no desenvolvimento de uma técnica capaz de representar o aterramento com elementos discretos e positivos de circuitos (resistores-R, capacitores-C e indutores-L). Assim, o circuito equivalente representativo do aterramento será sempre um circuito possível de ser implementado fisicamente. Nesta proposta o aterramento é inicialmente modelado no domínio da frequência, sua impedância harmônica é obtida e representada por meio de elementos discretos de circuitos (RLC) associados em série e/ou paralelo. Aterramentos constituídos por um eletrodo horizontal ou uma haste vertical foram representados por meio de aproximação usando o método dos mínimos quadrados (vector fitting), que permite obter a função racional equivalente à admitância do aterramento, a partir da qual são extraídos os ramos de circuitos e consequentemente o circuito equivalente. Apesar de ser possível representar uma infinidade de aterramentos, dependendo do comprimento e diâmetro do eletrodo/haste combinado com determinadas resistividade e permissividade elétricas do solo, esse método pode não garantir que todos os elementos RLC sejam positivos. Por isso foi desenvolvido uma nova técnica e testada em aplicações com configurações de aterramento mais complexas (malhas). Essa técnica fornece resultados precisos e garante que todos os elementos RLC serão positivos. Sua validação foi realizada comparando os resultados propostos com os resultados obtidos pelo modelo de linha de transmissão (no caso de eletrodo/haste) e pelo modelo eletromagnético híbrido HEM (no caso das malhas). Essa técnica permite o uso de qualquer modelo capaz de fornecer a impedância harmônica, podendo ser aplicada a configurações genéricas de aterramento, o que a torna muito versátil e atrativa. / This work presents a proposal to represent of electrical grounding systems directly in time domain, taking into account the benefits in frequency domain modelling, without employing inverse Laplace or Fourier transforms. The time domain models are easily inserted in conventional electromagnetic transient software, where voltages and currents are better understood. The main contribution of this work is the development of a technique that can represent grounding by discrete and positive circuits elements (R-resistors, C-capacitors and L-inductors). The representation of the grounding is an electric circuit, possible to be implemented physically. Grounding systems is initially modelled in the frequency domain, where its harmonic impedance is obtained and then represented by elements of circuit (RLC) made in series and/or parallel association. Grounding systems constituted by a horizontal electrode or a vertical rod were represented by means of an approximation using the method of the least squares (vector fitting). It reproduces the rational function equivalent to the admittance of the grounding, which branches of circuits are extracted, forming an equivalent circuit. Although it is possible to represent an infinity of groundings, depending on the length and diameter of the electrode / rod combined with certain electrical resistivity and permittivity of the soil, this technique may not guarantee that all RLC elements are positive. However, a new technique was developed and tested in more complex grounding systems (grids). This technique provides accurate results and ensures that all RLC elements will be positive. Its validation was performed comparing the proposed results with the results obtained by the TLM (Transmission Line Model) employed for the horizontal electrodes and vertical rods and by the HEM (Hybrid Electromagnetic Model) employed for grounding grids. This technique allows the use of any model capable of providing harmonic impedance, and can be applied to generic ground configurations, making it very attractive to electromagnetics transient analyses.

Apresenta-se um estudo em Teoria de Domínios das equações integrais da forma geral f (x) = h(x)+g Z b(x) a(x) g(x, y, f (y))dy com h, a e b definidas para x ∈ [a0,b0], a0 ≤a(x)≤b(x)≤b0 e g definida para x, y ∈ [a0,b0], cujo lado direito define uma contração sobre o espaço métrico de funções reais contínuas limitadas. O ponto de partida desse trabalho é a reescrita da Análise Intervalar para Teoria de Domínios do problema de valor incial em equações diferenciais ordinárias que possuem solução como ponto fixo do operador de Picard. Com o conjunto dos números reais interpretados pelo Domínio Intervalar, as funções reais são estendidas para operarem no domínio de funçoes intervalares de variável real. Em particular, faz-se a extensão canônica do campo vetorial em relação à segunda variável. Nesse contexto, pela primeira vez tem-se o estudo das equações integrais de Fredholm e Volterra sobre o domínio de funções intervalares de variável real definida pelo operador integral intervalar com a participação da extensão canônica de g em relação à terceira variável. Adicionando ao domínio de funções intervalares sua função medição, efetua-se a análise da convergência do operador intervalar de Fredholm e Volterra em Teoria de Domínios com o cálculo da sua derivada informática em relação à medição no seu ponto fixo. Com a representação das funções intervalares em função passo constante a partir da partição do intervalo [a0,b0], reescrevese o algoritmo da Análise Intervalar em Teoria de Domínios com a introdução do cálculo da aproximação da extensão canônica de g e com o comprimento do intervalo da partição tendendo para zero. Estende-se essa abordagem mais completa do estudo das equações integrais na resolução de problemas de valores iniciais e valor de contorno em equações diferenciais ordinárias e parciais. Uma vez que para uma pequena variação do campo vetorial v ou do valor inicial y0 da equação diferencial f ′(x) = v(x, f (x)) com a condição inicial f (x0) = y0, pode-se ter uma solução tão próxima da solução f da equação quanto possível, formaliza-se pela primeira vez em Teoria de Domínios um algoritmo na resolução do problema inverso em que, conhecendo a função f , determina-se uma equação diferencial ordinária com o cálculo de um campo vetorial v tal que o operador de Picard associado mapeia f tão próxima quanto possível a ela mesma. / We present a study in Domain Theory of integral equations of the form f (x) = h(x)+g Z b(x) a(x) g(x, y, f (y))dy for a0 ≤ a(x) ≤ b(x) ≤ b0 with h, a, b defined for x ∈ [a0,b0] and g defined for x, y ∈ [a0,b0], in which the right-hand side defines a contraction on the metric space of continuous realvalued functions on [a0,b0]. The starting point of this work is to revisit Interval Analysis in Domain Theory for the initial-value problem in ordinary differential equations where a solution is expressed as a fixed point of the Picard operator. With the set of real numbers interpreted as the interval domain, real-valued functions are extended to work in the space of interval-valued functions of the real variable domain. In particular, the vector field is extended in the second argument. Under these conditions, for the first time Fredholm and Volterra integral equations have solutions expressed as fixed points of a contraction mapping in terms of the splitting on interval-valued functions of the real variable domain. The measurement for interval-valued functions of the real variable domain is considered where we can asssess the convergence properties of the interval integral operator by means of the informatic derivative. The proposed techniques are applied to more general methods in ordinary differencial equations (ODEs) and partial differential equations (PDEs). For the first time, an algorithm is proposed to provide solutions to the inverse problem for Odinary Differential Equation where, given a function f , it is found a vector field v that defines a Picard operator which maps the solution f as close as possible to itself, such that the ODE f ′(x) = v(x, f (x)) admits f as either an exact or, as closely as desired, an approximate solution.