O presente trabalho enfoca o estudo de transdutores indutivos de deslocamento linear. Dentre os diversos dispositivos dessa natureza, procurou-se desenvolver um estudo mais aprofundado do transdutor indutivo diferencial com núcleo de esferas. O desenvolvimento experimental, com a construção de quatro protótipos, levou ao projeto de um transdutor com características adequadas ao uso industrial. / The present work focuses on the study of inductive transducers of linear displacement. Among the several devices of that nature, a more detailed study of the inductive differential transducer was attempted with core of spherical balls. The experimental development of four prototypes resulted in a transducer with characteristics adequate for industrial use to be designed.

Neste trabalho, é apresentado um estudo sobre sistemas de transmissão de energia com o uso de bobinas fracamente acopladas magneticamente. A análise é feita levando-se em conta os efeitos parasitas dos componentes em um circuito equivalente considerando-se somente uma única frequência e o circuito já no regime estacionário. Esse circuito é alimentado por uma fonte de tensão senoidal e conectado a uma carga puramente resistiva por simplificação. São analisadas a potência de saída e a eficiência do circuito. Portanto um exercício de otimização dessas duas variáveis é desenvolvido ao longo desse trabalho com diferentes possíveis configurações. Um novo método de compensação do circuito utilizando quatro capacitores é apresentado. Além disso, é explorada a possibilidade de se melhorar ainda mais o resultado da compensação através do ajuste da frequência de ressonância. Inicialmente, o circuito básico sem compensação é analisado. A seguir, são desenvolvidas equações para as máximas eficiência e potência na saída para os circuitos contendo somente um capacitor de compensação. Também são demonstradas as configurações normalmente utilizadas para compensação com dois capacitores. Então a compensação de um circuito com quatro capacitores sem perdas é analisada. Finalmente, após serem adicionadas todas as perdas resistivas dos componentes do circuito, um método de busca é empregado para encontrar os valores ótimos (ou subótimos) dos capacitores que fazem o circuito alcançar a máxima eficiência ou potência na saída. Um algoritmo baseado no método Monte Carlo é apresentado de modo a obter boas soluções para o problema de otimização proposto e assim evitar a análise direta do intrincado sistema de equações resultantes da compensação com mais do que dois capacitores. Para verificar experimentalmente os resultados teóricos e das simulações foi construído um protótipo que possibilita uma variação linear e de maneira controlada do coeficiente de acoplamento entre as bobinas. Os resultados são comparados e, ainda, melhorados através do método da sintonia da frequência. / In this work, we present a study of power transmission systems using magnetically loosely coupled coils. The analysis is done taking into account the effects of parasitic components in an equivalent circuit considering only a single frequency and the circuit already in the steady state. This circuit is powered by a sinusoidal voltage source and connected to a purely resistive load for simplification. Improvements in the output power and efficiency of the circuit are the main topic. So an exercise in optimization of these two variables is developed throughout this work with different possible configurations. A new compensation method using four capacitors of the circuit is presented. Moreover, the possibility is exploited to further improve the result of compensation by adjusting the resonance frequency. Initially, the basic circuit without compensation is analyzed. The following equations are designed for maximum efficiency and output power for the circuits containing only one compensation capacitor. Also, the settings normally used to offset two capacitors are presented. So the compensation of a circuit with four capacitors lossless is analyzed. Finally, are added all the resistive losses of the circuit components, an search method is employed to find the optimal values (or suboptimal) capacitors that make the circuit to achieve maximum efficiency or power output. An algorithm based on Monte Carlo method is presented to solve the proposed optimization problem and thus avoid direct analysis of the intricate system of equations resulting from the clearing of more than two capacitors. To experimentally verify the theoretical results of simulations a prototype was constructed which allows for linear variation and a controlled coefficient of coupling between the coils. The results are compared and, moreover, improved by the method of tuning the frequency.

abstract: Web applications are an incredibly important aspect of our modern lives. Organizations and developers use automated vulnerability analysis tools, also known as scanners, to automatically find vulnerabilities in their web applications during development. Scanners have traditionally fallen into two types of approaches: black-box and white-box. In the black-box approaches, the scanner does not have access to the source code of the web application whereas a white-box approach has access to the source code. Today’s state-of-the-art black-box vulnerability scanners employ various methods to fuzz and detect vulnerabilities in a web application. However, these scanners attempt to fuzz the web application with a number of known payloads and to try to trigger a vulnerability. This technique is simple but does not understand the web application that it is testing. This thesis, presents a new approach to vulnerability analysis. The vulnerability analysis module presented uses a novel approach of Inductive Reverse Engineering (IRE) to understand and model the web application. IRE first attempts to understand the behavior of the web application by giving certain number of input/output pairs to the web application. Then, the IRE module hypothesizes a set of programs (in a limited language specific to web applications, called AWL) that satisfy the input/output pairs. These hypotheses takes the form of a directed acyclic graph (DAG). AWL vulnerability analysis module can then attempt to detect vulnerabilities in this DAG. Further, it generates the payload based on the DAG, and therefore this payload will be a precise payload to trigger the potential vulnerability (based on our understanding of the program). It then tests this potential vulnerability using the generated payload on the actual web application, and creates a verification procedure to see if the potential vulnerability is actually vulnerable, based on the web application’s response. / Dissertation/Thesis / Masters Thesis Computer Science 2017

A Transferência Indutiva de Potência (TIP) é uma maneira de se realizar transferência de energia elétrica sem fio e tem se popularizado atualmente por conta da comodidade e segurança que ela proporciona. Esta dissertação apresenta o estudo de um sistema TIP para recarga de baterias e existem vários desafios que devem ser superados nesta área. Um deles é a metodologia de projeto dos indutores primário e secundário, pois não é uma tarefa trivial encontrar uma relação entre parâmetros geométricos, elétricos e magnéticos. Diante deste fato este trabalho apresenta e aperfeiçoa uma metodologia de projeto utilizando uma ferramenta computacional gratuita baseada no método dos elementos finitos. Os resultados experimentais demonstram que o método é válido e a ferramenta é adequada não somente para o projeto dos indutores, mas também para análise do comportamento dos mesmos diante de desalinhamentos espaciais. Além disso, é apresentado o funcionamento básico de dois conversores muito utilizados em TIP e o estado da arte das malhas ressonantes, cuja função é minimizar a energia reativa consumida nos circuitos primário e secundário. Em seguida são discutidas técnicas de estimação de tensão e corrente na carga utilizando medidas de tensão e/ou corrente em elementos do circuito primário. Essas técnicas são importantes, pois permitem a utilização apenas do controlador presente no circuito primário e isto implica na redução dos custo e complexidade do sistema TIP. Durante o estudo verificou-se na literatura que não existia uma técnica de estimação para o sistema TIP adotado neste trabalho e portanto, foi necessário desenvolver uma nova proposta de estimador. Os resultados de simulação demonstram que o estimador possui um bom desempenho mesmo diante de variações do coeficiente de acoplamento e da resistência na carga e é portanto adequado para situações em que é necessário realizar recarga de baterias com TIP. / Inductive Power Transfer (IPT) is a way to conduct wireless power transfer and has become popular today because of the convenience and security it provides. This dissertation presents the study of a IPT system for battery recharging and there are several challenges that must be overcome in this area. One of them is the design methodology of the primary and secondary inductors, since it is not a trivial task to find a relation between geometric, electric and magnetic parameters. In view of this fact, this work presents and improves a project methodology using a free computational based on the finite element method. The experimental results demonstrate that the method is valid and the tool is suitable not only for the design of the inductors, but also for the analysis of their behavior in face of spatial misalignments. In addition, this dissertation presents the basic operation of two widely used IPT converters and the state of the art of compensations networks, whose function is to minimize the reactive energy consumed in the primary and secondary circuits. Next, load voltage and load current estimation techniques are discussed using voltage and/or current measurements on elements of the primary circuit. These techniques are important because they allow the use of a single controller in the primary circuit, reducing the cost and complexity of the IPT system. During the study, it was verified in the literature the inexistence of a estimation technique for the IPT system adopted in this work and therefore, it was necessary to propose and develop a new estimator. The simulation results show that the proposed estimator performs well even in the case of variations in the coupling coefficient and load resistance and is therefore suitable for situations where it is necessary to recharge IPT batteries.

Made available in DSpace on 2014-12-17T15:12:16Z (GMT). No. of bitstreams: 1 RicardoGAP_DISSERT.pdf: 757603 bytes, checksum: bfeae294ee68b7c0f314886fbbd624fb (MD5) Previous issue date: 2012-10-02 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / The following work is to interpret and analyze the problem of induction under a vision founded on set theory and probability theory as a basis for solution of its negative philosophical implications related to the systems of inductive logic in general. Due to the importance of the problem and the relatively recent developments in these fields of knowledge (early 20th century), as well as the visible relations between them and the process of inductive inference, it has been opened a field of relatively unexplored and promising possibilities. The key point of the study consists in modeling the information acquisition process using concepts of set theory, followed by a treatment using probability theory. Throughout the study it was identified as a major obstacle to the probabilistic justification, both: the problem of defining the concept of probability and that of rationality, as well as the subtle connection between the two. This finding called for a greater care in choosing the criterion of rationality to be considered in order to facilitate the treatment of the problem through such specific situations, but without losing their original characteristics so that the conclusions can be extended to classic cases such as the question about the continuity of the sunrise / O seguinte trabalho consiste na interpreta??o e an?lise do problema da indu??o sob uma vis?o fundamentada em teoria de conjuntos e teoria de probabilidades como base para a solu??o de suas implica??es filos?ficas negativas relativas aos sistemas de l?gica indutiva de maneira geral. Devido ? import?ncia do problema e aos desenvolvimentos recentes nos referidos campos de conhecimento (in?cio do s?culo 20), bem como ?s rela??es vis?veis entre eles e o processo de infer?ncia indutivo, tem-se aberto um campo de possibilidades relativamente inexplorado e promissor. O ponto-chave para o estudo consiste na modelagem do processo de aquisi??o de informa??o usando conceitos de teoria de conjuntos, seguido por um tratamento usando teoria de probabilidades. Ao longo do estudo foi poss?vel identificar, como obst?culos principais ? justifica??o probabil?stica, tanto o problema da defini??o do conceito de probabilidade quanto do de racionalidade, al?m da sutil conex?o entre ambos. Essa constata??o permitiu um maior cuidado na escolha do crit?rio de racionalidade a ser considerado no intuito de viabilizar o tratamento do problema por meio de situa??es-exemplo espec?ficas, mas sem a perda de suas caracter?sticas originais, de modo que as conclus?es obtidas possam ser estendidas a casos cl?ssicos como o relativo ? d?vida sobre a continuidade do nascer do sol

Neste trabalho, é apresentado um estudo sobre sistemas de transmissão de energia com o uso de bobinas fracamente acopladas magneticamente. A análise é feita levando-se em conta os efeitos parasitas dos componentes em um circuito equivalente considerando-se somente uma única frequência e o circuito já no regime estacionário. Esse circuito é alimentado por uma fonte de tensão senoidal e conectado a uma carga puramente resistiva por simplificação. São analisadas a potência de saída e a eficiência do circuito. Portanto um exercício de otimização dessas duas variáveis é desenvolvido ao longo desse trabalho com diferentes possíveis configurações. Um novo método de compensação do circuito utilizando quatro capacitores é apresentado. Além disso, é explorada a possibilidade de se melhorar ainda mais o resultado da compensação através do ajuste da frequência de ressonância. Inicialmente, o circuito básico sem compensação é analisado. A seguir, são desenvolvidas equações para as máximas eficiência e potência na saída para os circuitos contendo somente um capacitor de compensação. Também são demonstradas as configurações normalmente utilizadas para compensação com dois capacitores. Então a compensação de um circuito com quatro capacitores sem perdas é analisada. Finalmente, após serem adicionadas todas as perdas resistivas dos componentes do circuito, um método de busca é empregado para encontrar os valores ótimos (ou subótimos) dos capacitores que fazem o circuito alcançar a máxima eficiência ou potência na saída. Um algoritmo baseado no método Monte Carlo é apresentado de modo a obter boas soluções para o problema de otimização proposto e assim evitar a análise direta do intrincado sistema de equações resultantes da compensação com mais do que dois capacitores. Para verificar experimentalmente os resultados teóricos e das simulações foi construído um protótipo que possibilita uma variação linear e de maneira controlada do coeficiente de acoplamento entre as bobinas. Os resultados são comparados e, ainda, melhorados através do método da sintonia da frequência. / In this work, we present a study of power transmission systems using magnetically loosely coupled coils. The analysis is done taking into account the effects of parasitic components in an equivalent circuit considering only a single frequency and the circuit already in the steady state. This circuit is powered by a sinusoidal voltage source and connected to a purely resistive load for simplification. Improvements in the output power and efficiency of the circuit are the main topic. So an exercise in optimization of these two variables is developed throughout this work with different possible configurations. A new compensation method using four capacitors of the circuit is presented. Moreover, the possibility is exploited to further improve the result of compensation by adjusting the resonance frequency. Initially, the basic circuit without compensation is analyzed. The following equations are designed for maximum efficiency and output power for the circuits containing only one compensation capacitor. Also, the settings normally used to offset two capacitors are presented. So the compensation of a circuit with four capacitors lossless is analyzed. Finally, are added all the resistive losses of the circuit components, an search method is employed to find the optimal values (or suboptimal) capacitors that make the circuit to achieve maximum efficiency or power output. An algorithm based on Monte Carlo method is presented to solve the proposed optimization problem and thus avoid direct analysis of the intricate system of equations resulting from the clearing of more than two capacitors. To experimentally verify the theoretical results of simulations a prototype was constructed which allows for linear variation and a controlled coefficient of coupling between the coils. The results are compared and, moreover, improved by the method of tuning the frequency.

abstract: Two methods of improving the life and efficiency of the Pulsed Inductive Thruster (PIT) have been investigated. The first is a trade study of available switches to determine the best device to implement in the PIT design. The second is the design of a coil to improve coupling between the accelerator coil and the plasma. Experiments were done with both permanent and electromagnets to investigate the feasibility of implementing a modified Halbach array within the PIT to promote better plasma coupling and decrease the unused space within the thruster. This array proved to promote more complete coupling on the edges of the coil where it had been weak in previous studies. Numerical analysis was done to predict the performance of a PIT that utilized each suggested switch type. This model utilized the Alfven velocity to determine the critical mass and energy of these theoretical thrusters. / Dissertation/Thesis / Masters Thesis Aerospace Engineering 2018

O presente trabalho enfoca o estudo de transdutores indutivos de deslocamento linear. Dentre os diversos dispositivos dessa natureza, procurou-se desenvolver um estudo mais aprofundado do transdutor indutivo diferencial com núcleo de esferas. O desenvolvimento experimental, com a construção de quatro protótipos, levou ao projeto de um transdutor com características adequadas ao uso industrial. / The present work focuses on the study of inductive transducers of linear displacement. Among the several devices of that nature, a more detailed study of the inductive differential transducer was attempted with core of spherical balls. The experimental development of four prototypes resulted in a transducer with characteristics adequate for industrial use to be designed.

Este trabalho investiga Aprendizado Indutivo de Máquina como função das linguagens de descrição, utilizadas para expressar instancias, conceitos e teoria do domínio. A ampliação do poder de representação do aprendizado proporcional e abordada no contexto de indução construtiva, no domínio de funções booleanas, com a proposta de uma estratégia de composição de atributos denominada root-fringe. Avaliações experimentais dessa e de outras estratégias de construção de novos atributos foram conduzidas e os resultados analisados. Dois métodos de poda, para tratamento de ruídos, em aprendizado de arvores de decisão, foram avaliados num ambiente de indução construtiva e os resultados discutidos. Devido a limitação do aprendizado proposicional, foram investigadas formas de ampliação dos limites do aprendizado, através da ampliação do poder representacional das linguagens de descrição. Foi escolhida Programação Lógica Indutiva - PLI - que e um paradigma de aprendizado indutivo que usa restrições de Lógica de Primeira Ordem como linguagens de descrição. O aprendizado em PLI só é factível quando as linguagens utilizadas estão restritas e é fortemente controlado, caso contrário, o aprendizado em PLI se torna indecidível. A pesquisa em PLI se direcionou a formas de restrição das linguagens de descrição da teoria do domínio e de hipóteses. Três algoritmos que \"traduzem\" a teoria do domínio de sua forma intencional, para extensional, são apresentados. As implementações de dois deles são discutidas. As implementações realizadas deram origem a dois ambientes experimentais de aprendizado: o ambiente proposicional experimental, do qual fazem parte o ambiente experimental construtivo, e o ambiente experimental relacional. / This work investigates Inductive Machine Learning as a function of the description languages employed to express instances, concepts and domain theory. The enlargement of the representational power of propositional learning methods is approached via constructive induction, in the domain of boolean functions, through the proposal of a bias for composing attributes, namely, the bias root-fringe. Experimental evaluation of root-fringe, as well as other biases for constructing new attributes was conducted and the results analyzed. Two pruning methods for decision trees were evaluated in an environment of constructive induction and the results discussed. Due to the limitations of propositional learning, ways of enlarging the limits of the learning process were investigated through enlarging the representational power of the description languages. It was chosen Inductive Logic Programming - ILP - that is an inductive learning paradigm that uses restrictions of First Order Logic as description languages. Learning using ILP is only feasible when the languages are restricted and are strongly controlled; otherwise, learning in ILP becomes undecidible. Research work in ILP was directed towards restricting domain theory and hypotheses description languages. Three algorithms that \"translate\" the intentional expression of a domain theory into its extensional expression are presented. The implementations of two of them are discussed. The implementations gave rise to two experimental learning environments: the propositional environment, which includes the constructive environment, and the relational environment.

Este trabalho apresenta uma análise de sistemas alternativos de pagamento de energia elétrica enfocando principalmente a utilização de pré-pagamento como forma de diminuir perdas comerciais de empresas distribuidoras. Adicionalmente enfoca o seu uso como forma de cobrança em sistemas isolados, rurais e urbano-rurais e comunidades de baixa renda. A análise inclui uma breve síntese de experiências no uso de pré-pagamento no mercado internacional de ?utilities? e no mercado nacional em setores como telefonia e distribuição de água. Além disso, esse trabalho descreve o desenvolvimento de um sistema de pagamento de energia elétrica utilizando cartões com tecnologia indutiva e unidades leitoras/gravadores com circuito de desconexão de linha e interface para medidores existentes no mercado nacional. Apresenta, ainda, o Cartão Vale Energia como alternativa ao subsídio para a subclasse residencial de baixa renda evitando, dessa forma, a necessidade do cadastramento do usuário junto às empresas concessionárias e racionalizando os procedimentos contábeis. São mostrados os resultados experimentais desse sistema e as análises de viabilidade econômica. / This work presents an analysis of alternative systems of electric energy payment focusing the pre-payment used mainly as a form to decrease commercial losses of local energy companies and an alternative form of payment in countryside areas, isolated electric installations and in poor areas for social purposes. The analysis includes one brief synthesis of international experiences in the daily pre-payment use in the utilities segment and national experiences in other areas such as telephony and water distribution. Moreover, this work develops an alternative form of payment of electric energy using cards with inductive technology and read/write units with circuit breakers and interfaces for electric measurement equipments. The experimental results show the technical and commercial viability of implantation in the commercial operation.