Orientador: Marta Cilene Gadotti / Banca: Selma Helena de Jesus Nicola / Banca: Luciene Parron Gimenes Arantes / Resumo: O objetivo deste trabalho é fazer um contraste entre o comportamento das soluções das equações diferenciais ordinárias e das equações diferenciais impulsivas, através da apresentação das propriedades destas equações, e das equações diferenciais ordinárias, e da análise qualitativa das soluções / Abstract: In this work we present a parallel between the behavior of ordinary differential equations and the impulsive diferencial equations by presenting their properties and the qualitative analysis of their solutions / Mestre

Os métodos diretos são adequados à análise de estabilidade transitória em sistemas de potência, já que não requerem a resolução, integração numérica, do conjunto de equações diferenciais que representam o sistema. Os métodos diretos utilizam as idéias de Lyapunov associadas ao princípio de invariância de LaSalle para estimar a área de atração dos sistemas de potência. A grande dificuldade dos métodos diretos está em encontrar uma função auxiliar V, denominada função de Lyapunov que satisfaça as condições estabelecidas pelo Teorema de Lyapunov. Neste trabalho é realizada uma revisão bibliográfica das funções de Lyapunov utilizadas para análise de estabilidade transitória em sistemas de potência. Analisa-se o problema da existência de funções de Lyapunov quando as condutâncias de transferência são consideradas. Utilizando-se de uma extensão do princípio de Invariância de LaSalle, apresenta-se uma nova função a qual é uma função de Lyapunov no sentido mais geral da extensão do princípio de invariância de LaSalle quando as condutâncias de transferência da matriz admitância da rede reduzida são consideradas. Estudou-se também a existência de funções de Lyapunov no sentido mais geral de extensão do princípio de invariância de LaSalle para modelos que preserva a estrutura da rede. Neste caso, infelizmente não encontramos uma função satisfazendo todas as hipóteses requeridas. / The direct methods are well-suited for transient stability analysis to power systems, since they do not require the solution of the set of differential equations of the system model. The direct methods use the Lyapunov\'s ideas related to the LaSalle\'s invariance principle to estimate the power system attraction area. The great difficulty of the direct methods is to find an auxiliar function V, called Lyapunov function, which satisfies the conditions of Lyapunov\'s theorem. In this work, a bibliographic review of the Lyapunov functions used in transient stability analysis of power systems is done. The problem of existence of Lyapunov functions, when the transfer conductances are considered, is analysed. Using LaSalle\'s invariance principle extension, a Lyapunov function considering the transfer conductances is presented. The existence of Lyapunov functions for models that preserv the network structure was studied using the LaSalle\'s invariance principle. Unfortunately, in these cases, we did not find a function satisfing all the required hypothesis.

Submitted by Edisangela Bastos (edisangela@ufpa.br) on 2018-04-12T18:38:12Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_PenalizacaoLagrangeanoAumentado.pdf: 3622644 bytes, checksum: 0a2519b79178cebba8a3c88caa6a1b07 (MD5) / Approved for entry into archive by Edisangela Bastos (edisangela@ufpa.br) on 2018-05-04T14:12:45Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_PenalizacaoLagrangeanoAumentado.pdf: 3622644 bytes, checksum: 0a2519b79178cebba8a3c88caa6a1b07 (MD5) / Made available in DSpace on 2018-05-04T14:12:45Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_PenalizacaoLagrangeanoAumentado.pdf: 3622644 bytes, checksum: 0a2519b79178cebba8a3c88caa6a1b07 (MD5) Previous issue date: 1981-04-03 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Na resolução de problemas de programação não-linear, a dimensão do problema ou sua estrutura pode, em certos casos, se constituir em um obstáculo difícil de ser transposto. Muitos algoritmos foram desenvolvidos para programação não-linear e, na sua maioria, procuram usar a informação das derivadas segundas (matrizes hessianas), e devido a isso, as suas aplicabilidades são, em geral, limitadas a problemas de médio porte. Devido a problema de memória ou dificuldade de se codificar os hessianos, a necessidade de se desenvolver algoritmos que não usam matrizes se evidenciou. Certos problemas não apresentam estruturas particulares que possam ser aproveitadas para facilitarem as suas resoluções, ou,se apresentam, estas são difíceis ou até impossíveis de serem aproveitadas. Algoritmos que usam basicamente a informação de derivadas primeiras(gradientes), são, em geral, mais fáceis de serem implementados e reduzem consideravelmente a necessidade de memória. Os algoritmos que usam Penalização e Lagrangeano Aumentado se enquadram dentro das necessidades expostas. Em problemas de grande porte, o lagrangeano aumentado,é particularmente bom, e pode ser empregado com êxito em problemas que não necessitam de uma precisão elevada. Nosso trabalho se propõe a fornecer uma base sobre a teoria da função Penalidade e Lagrangeano Aumentado, e também, poder fornecer a interessados, programas com os métodos e suas aplicações. Uma comparação entre os métodos Penalidade e Lagrangeano Aumentado é fornecida, e diversos aspectos sobre a aplicação dos algoritmos são evidendiados. Um número satisfatório de problemas testes mostra o desempenho dos algoritmos. Uma aplicação a um problema de grande porte é feita utilizando o lagrangeano aumentado. Não nos detivemos nos diversos tipos de funções Penalidade ou funções aumentadas; tratamos das formas que achamos mais importantes.

Orientador: Alexandre César Rodrigues da Silva / Resumo: Devido ao grande avanço da tecnologia e à miniaturização de circuitos, o estudo de sistemas lógicos que podem ser aplicados à nanotecnologia vem sendo realizado de forma abrangente. Para criação de circuitos nanoeletrônicos destacam-se a lógica reversível e a lógica majoritária. Neste trabalho é proposto o algoritmo MPC, utilizado para síntese de lógica majoritária. O algoritmo recebe uma tabela verdade como entrada e retorna uma função majoritária que cobre o mesmo conjunto de mintermos. A criação de uma função de saída válida é realizada a partir da combinação entre funções primitivas previamente otimizadas. Como critério de custo busca-se a geração de funções que tenham a menor quantidade de níveis, seguida da menor quantidade de operadores, inversores e literais. Nesse trabalho também é realizada a comparação do MPC com o algoritmo exact_mig, considerado o melhor algoritmo para síntese de funções majoritárias atualmente. O exact_mig codifica a síntese exata de funções utilizando a quantidade de níveis e operadores como critério de custo. O MPC utiliza dois critérios de custo adicionais, o número de inversores e o número de literais, com o objetivo de otimizar ainda mais os resultados gerados pelo exact_mig. Dessa forma, o MPC busca a síntese de funções que possuam a mesma quantidade de níveis e de operadores, mas com uma quantidade menor de inversores e literais. Testes mostraram que ambos os algoritmos retornam soluções ótimas para todas as funções com 3 variáveis de ent... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: Due to technology advancements and circuits miniaturization, the study of logic systems that can be applied to nanotechnology has been progressing steadily. Among the creation of nanoeletronic circuits the reversible and majority logic stands out. This paper proposes the MPC (Majority Primitives Combination) algorithm, used for majority logic synthesis. The algorithm receives a truth table as input and returns a majority function that covers the same set of minterms. The formulation of a valid output function is made with the combination of previously optimized functions. As cost criteria the algorithm searches for a function with the minimum number of levels, followed by the minimum number of gates, inverters, and literals. In this paper it's also presented a comparison between the MPC and the exact_mig, currently considered the best algorithm for majority synthesis. The exact_mig encode the exact synthesis of majority functions using the number of levels and gates as cost criteria. The MPC considers two additional cost criteria, the number of inverters and the number of literals, with the goal to further improve exact_mig results. Therefore, the MPC aims to synthesize functions with the same amount of levels and gates, but with less inverters and literals. Tests have shown that both algorithms return optimal solutions for all functions with 3 input variables. For functions with 4 inputs, the MPC is able to further improve 66% of all functions and achieves equal results for ... (Complete abstract click electronic access below) / Mestre

Made available in DSpace on 2014-06-11T19:26:56Z (GMT). No. of bitstreams: 0 Previous issue date: 2008-10-23Bitstream added on 2014-06-13T20:47:37Z : No. of bitstreams: 1 benzatti_lfl_me_sjrp.pdf: 732390 bytes, checksum: 881740f368084e6df5cf0fa8794b0073 (MD5) / Neste trabalho estudamos transformações quaseconformes no contexto dos octônios, que são hipercomplexos de oito dimensões. Por não preservar a magnitude dos ângulos, mapeamentos quaseconformes causam uma dilatação linear. A partir da definição métrica de quaseconformidade, utilizamos a forma binomial para mostrar que a distância jf(y) ¡ f(x)j pode ser escrita como um polinômio em r. Com isso, pudemos desenvolver não são um conjunto de fórmulas como também um método computacional simplificado para o cálculo analítico da dilatação. Posteriormente, utilizamos ferramentas gráficas para vizualizar as consequências da dilatação. / In this work we study quasiconformal mappings related to octonionic algebra. Since quasicon- formal mappings do not preserve the magnitude of the angles they cause a linear dilatation. We show that it also happens to 8-dimensional hipercomplex. Based on the metric de¯nition of quasiconformal mapping we show that the distance jf(y)¡f(x)j is a polynomial of variable r. Then it¶s possible to make not only a set of formulas but also a computacional method to calculate the dilatation. We also use some graphical tools to visualize the consequences of dilatation.

When it comes to teaching linear and quadratic functions, we observed that the Mathematics teachers, guided by current textbooks, explore the construction of graphs by connecting points on the Cartesian plane. This method, while valid, does not guarantee an outline safe and does not imply the observation of important properties of these functions. With this in mind, this study aims to verify the efficiency of a screenplay produced in a explanatory and methodological booklet form. This script is a practical and efficient way to plot the graphs of polynomial functions of the 1st and 2nd grade using simple materials and essentials such as paper and pencil, and also a digital resource, the software GeoGebra. To check the efficiency of this route, we take a student group composed of individuals who attend high school in public schools and participant the Institutional Program for Scientific Initiation Scholarships Junior (PIBIC-Jr). The methodology consisted of questionnaires - before, during and after - the teaching intervention: lecture, referring to related functions and quadratic functions, highlighting the construction of their graphs, and use of a printed script, developed in the form of a explanatory booklet which worked the construction of graphs, using the principle of graph paper and pencil, and at another time, a dynamic geometry software. Using this software, and making a sketch of faster graphics, it became understandable graphical changes incurred when changing the coefficients of the functions. As a theoretical framework for the research exposed in this work, we rely on the contribution of the Theory of Didactic Situations, Guy Brousseau (2008), and representative forms of a function in the view of Raymond Duval (2009), in his Theory of Representation Registers Semiotics. The ten students participating in the study, seven had a breakthrough in the development of the trace graph of functions considered and understanding of their properties. Thus, one comes to the conclusion that it is possible to study and observe the properties of linear and quadratic functions taking into account specific issues pertaining to its graphics, both on paper and, especially, on the computer. / Quando se trata do ensino de funções afim e quadrática, observamos que os professores de Matemática, orientados pelos livros didáticos atuais, exploram a construção de gráficos mediante a ligação de pontos no plano cartesiano. Este método, embora seja válido, não garante um esboço seguro e não favorece a observação de propriedades importantes das referidas funções. Pensando nisto, este trabalho objetiva verificar a eficiência de um roteiro produzido em forma de cartilha explicativa e metodológica. Neste roteiro encontra-se uma maneira prática e eficiente para traçar os gráficos de funções polinomiais do 1º e 2º graus fazendo uso de materiais simples e indispensáveis, como o papel e o lápis, e também de um recurso digital, o software GeoGebra. Para verificar a eficiência deste roteiro, tomamos um grupo de alunos composto por indivíduos que cursam o Ensino Médio em escolas públicas e que participam do Programa Institucional de Bolsas de Iniciação Científica Junior (PIBIC-Jr). A metodologia adotada consistiu na aplicação de questionários - antes, durante e depois – de nossa intervenção de ensino: aulas expositivas, referente às funções afins e funções quadráticas, destacando a construção de seus gráficos; e uso do roteiro impresso que trabalhou a construção dos gráficos, fazendo uso, a princípio, de lápis e papel quadriculado e, em outro momento, de um software de geometria dinâmica. A utilização deste software, além de tornar o esboço de gráficos mais rápidos, tornou compreensíveis as modificações gráficas sofridas quando muda os coeficientes das funções. Como fundamentação teórica para a pesquisa exposta neste trabalho, contamos com a contribuição da Teoria das Situações Didáticas, de Guy Brousseau (2008), e das formas representativas de uma função na visão de Raymond Duval (2009), na sua Teoria de Registros de Representação Semiótica. Dos dez alunos participantes na pesquisa, sete apresentaram um avanço no desenvolvimento do traçado gráfico das funções consideradas e na compreensão das suas propriedades. Desta maneira, chega-se à conclusão de que é possível estudar e observar as propriedades das funções afim e quadrática levando em consideração pontos específicos pertencentes a seus gráficos, tanto no papel quanto, e especialmente, no computador.

Submitted by Marco Antônio de Ramos Chagas (mchagas@ufv.br) on 2018-03-02T10:54:42Z No. of bitstreams: 1 texto completo.pdf: 2230046 bytes, checksum: b1c74199c2cefb4ab8afc7038784297e (MD5) / Made available in DSpace on 2018-03-02T10:54:42Z (GMT). No. of bitstreams: 1 texto completo.pdf: 2230046 bytes, checksum: b1c74199c2cefb4ab8afc7038784297e (MD5) Previous issue date: 2017-07-14 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O objetivo deste trabalho ́e mostrar aos alunos e professores do Ensino Médio como as funções não algébricas são calculadas por computadores ou calculadoras. Empregaremos as aproximações polinomiais de Taylor para avaliar funções como seno, cosseno, exponencial e logaritmo, a fim de que os alunos possam assimilá-las com mais facilidade. / Our objective is to show for High School students and teachers how non-algebraic functions are evaluated by computers and calculators. We will employ Taylor’s polynomial approximations to evaluate functions such as sine, cosine, expoenential, and logarithm, so that students can assimilate them more easily.

Made available in DSpace on 2015-09-17T15:26:47Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-06-26. Added 1 bitstream(s) on 2015-09-17T15:45:14Z : No. of bitstreams: 1 000844286.pdf: 1090205 bytes, checksum: 931446c30524b683f2bc63780db652e8 (MD5) / O objetivo desse trabalho é apresentar uma proposta de como ensinar os conceitos relacionados à Função Exponencial através da Metodologia de Resolução de Problemas. Para isso, apoiamo-nos na teoria de Polya e Onuchic e propomos dois problemas. Em um destes é introduzido o uso do software Geogebra. Aqueles exemplificam como aplicar a metodologia de Resolução de Problemas no ensino da matemática. A formalização do conteúdo abordado nos problemas são apresentados no trabalho, assim como os resultados de aplicação da proposta para a primeira série do Ensino Médio / This work aims to present a proposal on how to teach the concepts related to Exponential Function through the Methodology of Resolution of Problems. In this regard, we sustain us on Polya and Onuchic theory and suggest two problems. In one of them is introduced the use of software Geogebra. Those exemplify how to apply the methodology of Resolution of Problems in the teaching of mathematic. The formalization of the boarded content in the problems are presented in this work, as well the results of application of the proposal for the first High School step

Made available in DSpace on 2014-06-11T19:24:52Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-11-08Bitstream added on 2014-06-13T19:26:00Z : No. of bitstreams: 1 silva_trv_me_rcla.pdf: 490910 bytes, checksum: 722b47bac6e4bb165c6e68d49362faad (MD5) / O objetivo deste trabalho é fazer um contraste entre o comportamento das soluções das equações diferenciais ordinárias e das equações diferenciais impulsivas, através da apresentação das propriedades destas equações, e das equações diferenciais ordinárias, e da análise qualitativa das soluções / In this work we present a parallel between the behavior of ordinary differential equations and the impulsive diferencial equations by presenting their properties and the qualitative analysis of their solutions

Made available in DSpace on 2016-06-02T20:28:31Z (GMT). No. of bitstreams: 1 6743.pdf: 774281 bytes, checksum: 1705d7eb5290e87f25156b3ff6c3036d (MD5) Previous issue date: 2015-03-27 / Financiadora de Estudos e Projetos / This work shows classical results of analysis of holomorphic functions of both one and several complex variables. Are treated as main topics results on integral representations of holomorphic functions, approximation by holomomorfas functions, the Cauchy-Riemman operator and its homogeneous and non homogeneous equation associated, results on func- tions subharmonics, and the problem of analytic continuation. As the integral representa- tion of holomorphic functions present the Cauchy Integral Formula well as the immediate results of this as are the representation in series of powers, estimates of Cauchy and the most important of the principle for holomorphic functions, these results as much as for one and several complex variables. As the approach we present here the Runge theorem, as well as those resulting from its application in the context of meromorphic functions that are Mittag-Leffler's theorem and the Weierstrass theorem. Subharmonic functions are handled here putting out two main properties and some others that can be seen even in a generalized sense. As for analytic continuation of problems discussed here in the context of several complex variables Hartog the Extension Theorem, some geometric pro- perties of holomorphy domains where we prove a special case where analytical extension called Bochner's theorem, the special case of a domain named Domain Reinhardt, and some properties on the concepts of plurisubharmonicidade and pseudoconvexidade. / Este dissertação apresenta resultados clássicos sobre funções holomorfas tanto em uma quanto em várias variáveis complexas. São tratados alguns principais resultados sobre representações integrais de funções holomorfas, aproximação mediante funções holomomorfas, o operador de Cauchy-Riemman assim como a sua equação homogênea e não homogênea associada, resultados sobre funções subharmônicas, e o problema de continuação analítica. Quanto a representação integral de funções holomorfas apresentamos a formula integral de Cauchy assim como alguns resultados imediatos, tais como a representação em série de potencias, as estimativas de Cauchy e o importante principio do máximo para funções holomorfas, tanto como para uma e varias variáveis complexas. Quanto a aproximação apresentamos aqui o Teorema de Runge, assim como aqueles que resultam da sua aplicação no âmbito das funções meromorfas tais como o Teorema de Mittag-Leffler e o Teorema de Weierstrass. Detalhamos propriedades de funções subharmônicas, tanto do ponto de vista clássico como generalizado. Quanto a problemas de continuação analítica tratamos aqui no âmbito de varias variáveis complexas o Teorema de extensão de Hartogs, algumas propriedades geométricas sobre domínios de holomorfa onde provamos um caso especial de extensão analítica chamado Teorema de Bochner. O caso especial de um domínio de Reinhardt, e algumas propriedades é apresentado sobre os conceitos de plurisubharmonicidade e pseudoconvexidade.