Orientador: José Roberto Sanches Mantovani / Banca: Fábio Bertequini Leão / Banca: José Carlos de Melo Vieira Junior / Resumo: Neste trabalho apresenta-se um algoritmo numérico de proteção diferencial de transformadores de potência. Neste algoritmo tem-se como principal objetivo a busca por uma eficiente discriminação entre correntes de faltas e correntes de magnetização, também conhecidas como correntes de inrush, que podem provocar a atuação indevida do relé diferencial. A transformada wavelet é utilizada para discriminar correntes de faltas de correntes de inrush utilizando o princípio de conservação de energia presente na análise multirresolução para esse tipo de transformada. O algoritmo numérico foi desenvolvido no MATLAB e a simulação do circuito elétrico usado como teste é realizada em software ATP/EMTP pela sua já consolidada utilização e confiabilidade de resultados quando se dispõe de dados técnicos reais de sistemas elétricos de potência. As simulações e resultados apresentados indicam que a técnica desenvolvida mostra-se eficiente de acordo com os comportamentos esperados de relés de proteção típicos / Abstract: In this work it is presented a numerical algorithm for transformer differential protection. The principal objective of this algorithm is the search of an efficient distinction between fault currents and magnetization currents, also known by inrush currents that can induce false tripping of differential relays. The wavelet transform is used to discern fault currents from inrush currents, using the energy conservation principle that is available in this kind of transform. The numerical algorithm was developed in the software MATLAB and the electric circuit, used as a test, is simulated in software ATP/EMTP due to its already consolidated use and reliability of results when real technical data from power electric systems are available. The presented simulations and results indicates that the developed technique is shown efficient according to typical protection relay behaviours / Mestre

Made available in DSpace on 2014-06-11T19:30:49Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-10-25Bitstream added on 2014-06-13T19:46:56Z : No. of bitstreams: 1 yoshimura_vl_dr_ilha.pdf: 20355281 bytes, checksum: 3940d4cd88accd5b22ddd0f62457078b (MD5) / Este trabalho aborda os Sistemas Chaveados Afins, em particular com questões de desempenho e observação de estado. Inicialmente, uma revisão do estado da arte foi realizada, que contém uma observação quanto à possibilidade de não existência de pontos de equilíbrio. Devido a esse fato, uma extensão das definições de estabilidade foi utilizada. Em seguida, questões geométricas foram levantadas para Sistemas Chaveados Lineares e, posteriormente estendidas para os Afins. Estas questões geométricas possibilitaram a verificação de alterações nas leis de chaveamento de forma a beneficiar o desempenho do sistema. Com a inserção da taxa de convergência garantida nas Desigualdades Matriciais Lineares existentes em trabalhos anteriores, chegou-se ao estabelecimento dos parâmetros de desempenho a serem aperfeiçoados. Na sequência, a composição de leis de chaveamento foi proposta através duas técnicas: a Função de Lyapunov Quadrática Chaveada e a Função de Lyapunov com Atratores Chaveados. Esta composição mostrou-se eficiente para a busca de um melhor compromisso entre parâmetros de desempenho conflitantes e, com efeito, pode melhorar um e outro parâmetro conflitantes. Por fim, uma técnica para a observação de estado em Sistemas Chaveados Afins foi proposta: o Observador de Luenberger Chaveado. Este observador foi analisado para os casos de reconstrução de estado, controle baseado em observação de estado e controle baseado em observação de estado na presença de modos não-Hurwitz. Para o primeiro caso, relaxações das Desigualdades Matriciais Lineares foram propostas com o uso do Lema da Projeção Recíproca e do Lema de Finsler. Ainda, uma otimização de norma das matrizes de ganho da saída foi feita, com o uso de Desigualdades Matriciais Lineares aplicadas à norma de Frobenius dessas matrizes... / This work deals with the Switched Affine Systems, particularly with their performance and state observation. Initially, a state-of-the-art review was developed, where an important point was raised on the possibility of absence of equilibrium points. This way, the stability concept was slightly modified. Then, geometrical questions were studied for the Switched Linear Systems and, subsequently extended for the Switched Affine Systems. Those geometrical questions allowed the verification of switching law alterations in such a way that their performance was enhanced. Thereofore, with the guaranteed convergence rate insertion in the existent LinearMatrix Inequalities in previous works, performance parameters to be increased were established. Following, a switching law composition method was proposed through two techniques: the Switched Quadratic Lyapunov Function and the Lyapunov Function with Switched Attractors. That composition showed itself efficient in a search for a better trade-off between conflicting performance parameters and, in fact, it may simultaneously enhance them. Finally, a technique for state observation in Switched Affine Systems was proposed: the Switched Luenberger Observer. This observer was analysed for the cases of state reconstruction, observer-based control and observer-based control in the presence of non-Hurwitz modes. For the first case, Linear Matrix Inequalities relaxations were proposed through the usage of the Reciprocal Projection Lemma and the Finsler’s Lemma. Yet, a norm optimization of the output gain matrices was achieved through the usage of Linear Matrix Inequalities applied to the Frobenius norm of those matrices. All the study was done with applications to the control of DC-DC converters, immediate examples of the Switched Affine Systems theory, given their nature

Orientador: Maria Aparecida Viggiani Bicudo / Banca: Marcelo de Carvalho Borba / Banca: Nilson José Machado / Resumo: Este estudo tem por objetivo conhecer o que os professores de Matemática pensam a respeito do uso da calculadora em sala de aula, buscando compreender o que consideram importante para essa prática pedagógica. A metodologia adotada para essa investigação teve inspiração fenomenológica, baseada na estrutura do fenômeno situado. Os sujeitos dessa pesquisa foram professores dos ensinos fundamental e médio, das redes pública e particular de ensino, nas cidades de Ponta Grossa - PR e Rio Claro - SP. Ao todo foram coletados 22 depoimentos, gravados, transcritos e analisados. A princípio, para a análise, foram consideradas as idéias individuais dos depoentes, com as quais foi construída a Matriz ldeográfica, que mostra uma das reduções feitas. Num segundo momento, partindo dessa Matriz, novas reduções foram efetuadas e delas emergiram três categorias abertas que apontam as características essenciais do uso da calculadora nas aulas de Matemática: domínio das operações básicas, a calculadora como recurso didátlco e formação do professor. Essas categorias foram interpretadas tendo em vista os depoimentos dos sujeitos e a literatura estudada. Finalizando o trabalho, apresentou-se a compreensão da pesquisadora sobre o estudo e, dessa interpretação e reflexão, foram levantados pontos relevantes que sugerem outras pesquisas e que indicam ações pedagógicas tendo em vista a calcufadora e a sala de aula. Esses pontos dizem de: conteúdos programáticos, avaliaçã e formação do professor. / Abstract: This study aims at knowing what mathematics teachers think about the use of calculators in the classroom, looking for an understanding of what they consider to be important in this pedagogical practice. The research methodology had a phenomenological inspiration based on the structure of situated phenomena. The subjects of this research were people teaching at primary, secondary and high school levels, at public and private schools in the cities of Ponta Grossa - PR and Rio Claro - SP. Twenty two testimonies were collected, recorded, transcribed and analysed. At first an Ideographical Matrix was assembled from the teachers' individual ideas, representing one of the reductions made. In a second moment, starting with this Matrix, new reductions were made and three open categories emerged. These categories point to the essential characteristics of the use of calculators in the Mathematics classroom: domain of basic operations, the calculator as didactic resource and teacher education. These categories were interpreted on the basis of the subjects' testimonies and the study of bibliography. Finally, the researcher comprehension of the study is presented. Based on her interpretation and reflection, relevant points suggesting new research and pedagogical action using the calculators in Mathematics classroom, were raised. These points refer to: subject matter, assessment and teacher education. / Mestre

Orientador: Luciano Barbanti / Banca: Ernandes Rocha de Oliveira / Banca: antonio Carlos Tamarozzi / Resumo: Este trabalho apresenta uma proposta relacionada ao ensino e prática do pensamento dedutivo formal em Matemática. São apresentados no âmbito do conjunto dos números Naturais três temas essencialmente interligados: indução/boa ordem, dedução e esquemas de computação representados pela máquina teórica de Turing. Os três temas se amalgamam na teoria lógica de dedução e tangem os fundamentos da Matemática, sua própria indecidibilidade e extensões / limites de tudo que pode ser deduzido utilizando a lógica de Aristóteles, caminho tão profundamente utilizado nos trabalhos de Gödel, Church, Turing, Robinson e outros. São apresentadas inúmeros esquemas de dedução referentes às "fórmulas" e Teoremas que permeiam o ensino fundamental e básico, com uma linguagem apropriada visando treinar os alunos (e professores) para um enfoque mais próprio pertinente à Matemática / Abstract: This work deals with the teaching and practice of formal deductive thinking in Mathematics. Three essentially interconnected themes are presented within the set of Natural Numbers: induction, deduction and computation schemes represented by the Turing theoretical machine. The three themes are put together into the logical theory of deduction and touch upon the foundations of Mathematics, its own undecidability and the extent / limits of what can be deduced by using Aristotle's logic, that is the subject in the works of Gödel, Church, Turing, Robinson, and others. There are a large number of deduction schemes referring to the "formulas" and Theorems that are usual subjects in elementary and basic degrees of the educational field, with an appropriate language in order to train students (and teachers) for a more pertinent approach to Mathematics / Mestre

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T19:27:40Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T18:48:46Z : No. of bitstreams: 1 178064.pdf: 47402319 bytes, checksum: acaf30710cd54c1f48d801373558e7ae (MD5)

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Engenharia Mecânica. / Made available in DSpace on 2012-10-15T23:39:12Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T15:12:28Z : No. of bitstreams: 1 180926.pdf: 4195359 bytes, checksum: 908294136d430c6fe62b9394d9253503 (MD5)

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T01:27:10Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T21:53:24Z : No. of bitstreams: 1 143984.pdf: 5252282 bytes, checksum: 7b2d65b891f853cb5c0df910222c5caa (MD5)

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T01:36:59Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T22:21:23Z : No. of bitstreams: 1 176760.pdf: 20200689 bytes, checksum: 67aeda7d2e7f35a1dd657edcfbcc75ea (MD5) / Através deste trabalho foram avaliados equipamentos para manejo de cobertura vegetal utilizados em pequenas propriedades no Estado de Santa Catarina. Após esta avaliação, foram buscadas alternativas de solução para os problemas detectados nos equipamentos testados. Finalmente realizou-se um reprojeto objetivando o desenvolvimento de um produto que atendesse às necessidades de mercado.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnologico, Programa de Pós-Graduação em Engenharia Mecânica, Florianópolis, 1997 / Made available in DSpace on 2012-10-17T02:13:28Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-08T22:26:57Z : No. of bitstreams: 1 108717.pdf: 52685115 bytes, checksum: 39ff158858b184f2d3982f2ed9555d54 (MD5)

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-17T03:45:17Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-09T00:21:45Z : No. of bitstreams: 1 138766.pdf: 10085820 bytes, checksum: 4beacc949857c64ed24d8b74418d761d (MD5)