Este estudo descreve momentos da investigação de um trabalho aplicado em uma turma de uma escola da rede privada de ensino de Florianópolis. Aborda o estudo dos Sistemas de Equações Lineares de Duas Variáveis no Ensino Fundamental. Apresenta uma revisão do conteúdo na forma como se encontra nos livros didáticos, seguido da aplicação de uma sequência didática que inverte a forma de se trabalhar o conteúdo, dando enfoque geométrico para a solução dos sistemas de equações. A fundamentação teórica foi baseada nas Representações Semióticas e no uso de Tecnologias na Educação, acreditando, por meio da teoria de Duval, que a chave para o aprendizado do objeto matemático está nas conversões. Para o desenvolvimento dessa sequência, fez-se uso do software livre Geogebra. Finaliza com as considerações sobre os resultados obtidos com a aplicação da sequência didática proposta nesse trabalho. Apresenta Apêndice com o produto final, sugerindo que outros professores façam uso da mesma para o ensino desse conteúdo. / This study describes the stages of the research work applied to a class in a private school education in Florianopolis. Approaches the study of Systems of Linear Equations in Two Variables in Elementary Education. Presents a review of the content in the way it is in textbooks, followed by the application of an instructional sequence that reverses the way to work content, giving geometric approach to solving systems of equations. The theoretical framework was based on representations Semiotics and the use of technology in education, believing, through the theory of Duval, the key to learning the mathematical object is in conversions. For the development of this sequence, made use of free software Geogebra. Concludes with considerations about the results obtained from the application of instructional sequence proposed in this work. Appendix presents with the final product, suggesting that other teachers make use of it for teaching that content.

Orientador: José Cláudio Geromel / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-16T14:10:01Z (GMT). No. of bitstreams: 1 Deaecto_GraceSilva_D.pdf: 2021318 bytes, checksum: 451e6647afe6d7beac67cf3717dff7da (MD5) Previous issue date: 2010 / Resumo: Esta tese trata do projeto de controladores dinâmicos H2 ou H? via realimentação de saída para sistemas lineares com comutação contínuos e discretos no tempo. Inicialmente, apresentamos a síntese via realimentação de estado de forma a colocar em evidência as principais dificuldades para a obtenção da solução do problema de projeto mais realista, correspondente ao controle via realimentação dinâmica de saída. As condições obtidas são necessárias e suficientes para a existência de solução com uma estrutura particular para as chamadas desigualdades de Lyapunov ou Riccati-Metzler. Tratamos também da síntese via realimentação de estado de sistemas sujeitos a incertezas limitadas em norma e politópicas. No que diz respeito às incertezas limitadas em norma, as condições são válidas inclusive se as mesmas apresentarem estrutura do tipo linear fracionária (LFT). No caso de incertezas politópicas, as condições podem ser empregadas como uma alternativa para o projeto de controle de sistemas com parâmetros lineares variantes no tempo (LPV). Aplicamos os resultados teóricos para a solução de três problemas de cunho essencialmente práticos, a saber, a regulação da tensão de saída de conversores de potência CCCC, a estimação da aceleração vertical de uma suspensão automotiva e o controle do ângulo de rolamento de uma aeronave / Abstract: This thesis is concerned to the output feedback H2 or H? control design for continuous-time and discrete-time switched linear systems. Initially, we present the state feedback synthesis in order to put in evidence the main difficulties we have to face towards the solution of the more realistic output feedback control design problem. The conditions are necessary and sufficient regarding the existence of a structured solution of the Lypunov or Riccati-Metzler inequalities. We also treat the state feedback synthesis for switched linear systems subject to norm bounded or polytopic uncertainties. In the former case, the conditions hold even if the uncertainty presents the linear fractional structure (LFT), and in the latter one, the conditions can be used as an alternative to the linear parameter varying control (LPV). The theoretical results are applied to three practical problems, namely, the output voltage regulation of DC-DC converters, the vertical stroke estimation in automotive suspensions and aircraft roll angle control / Doutorado / Automação / Doutor em Engenharia Elétrica

Orientador: Jose Claudio Geromel / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-13T09:58:44Z (GMT). No. of bitstreams: 1 Korogui_RubensHideo_D.pdf: 1047054 bytes, checksum: 1a066f84d7ea84703434bdb049a62a20 (MD5) Previous issue date: 2009 / Resumo: Uma das temáticas abordadas neste trabalho é o problema de filtragem robusta em norma H2 para sistemas lineares a tempo contínuo e a tempo discreto. Consideramos que os sistemas estão sujeitos a incertezas paramétricas inicialmente do tipo politópicas e, em seguida, do tipo que admite representação linear fracionária. Calculamos limitantes inferior e superior para a norma H2 do erro de estimação, resolvendo-se problemas minimax, escrevendo-os em formato de desigualdades matriciais lineares LMI. Dessa maneira calculamos um intervalo de otimalidade que permite certificar o desempenho do filtro robusto projetado. Em seguida, aplicamos a metodologia proposta em problemas de estimação envolvendo um motor de indução trifásico e uma linha de transmissão com derivação. O presente trabalho também apresenta o que chamamos de sistema linear de comparação, cuja proposta é servir como alternativa para estudar sistemas com atraso. Utilizando a substituição de Rekasius construímos um sistema linear invariante no tempo que permite obter informações sobre a estabilidade e o cálculo de norma H8 para sistemas desta classe. Em vista da formulação através de matrizes de representação de estado é possível estender sem maiores dificuldades os resultados para o projeto de controladores via realimentação de estado e de filtros para sistemas com atraso. / Abstract: One of the themes considered in this work is the robust H2 filtering design problem for linear time invariant continuous and discrete time systems. We assume that the systems are subject to parametric uncertainty, initially of the polytopic type and later as linear fractional transformation parametric uncertainties. We calculate lower and upper bounds to the H2 squared norm of the estimation error by means of the equilibrium solution of a minimax problem, that can be formulated in a linear matrix inequality framework. Under this approach we provide an optimality gap that allows us to certify the performance of the designed robust filter. Afterwards, we apply the proposed methodology to estimation problems involving a three-phase induction motor and a transmission line with a stub. This work also considers what we call a linear comparison system, whose goal is to serve as an alternative to study time-delay systems. Using the Rekasius substitution we construct a linear time invariant system that allows us to get information about stability and H8 norm of this class of systems. Based on this approach in terms of state space matrices it is possible to extend the results to state feedback design and filtering design without any further assumptions. / Doutorado / Automação / Mestre em Engenharia Elétrica

Orientadores: João Bosco Ribeiro do Val, Eduardo Fontoura Costa / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenahria Eletrica e de Computação / Made available in DSpace on 2018-08-13T22:22:47Z (GMT). No. of bitstreams: 1 Vargas_AlessandrodoNascimento_D.pdf: 1972819 bytes, checksum: 4746f70b31b4471193e27d462a933bc0 (MD5) Previous issue date: 2009 / Resumo: Esta monografia apresenta resultados de estabilidade e controle de sistemas estocásticos representados por operadores lineares com respeito ao estado e não-lineares em relação ao controle, quando avaliados no critério de custo médio a longo prazo (CMLP). A estrutura de controle n¿ao depende da historia do processo e pode ser usada, como caso particular, para representar diversos problemas de controle existentes na literatura. Em relação a estabilidade, mostra-se que o sistema estocástico e assintoticamente estável na media se o custo CMLP 'e finito e se as hipóteses de controlabilidade e observabilidade são validas. Para garantir a estabilidade uniforme do segundo momento do sistema, algumas condições adicionais são verificadas. Em relação ao controle, apresentam-se condições que asseguram a existência de política ótima estacionaria no problema CMLP para a classe de sistemas estudados. Uma aproximação é desenvolvida para se obter o mínimo CMLP, e esta aproximação é ilustrada numericamente no problema de regulação de sistemas lineares sujeitos a saltos markovianos, supondo que o controlador não possui acesso ao estado de Markov. Exemplos numéricos são empregados para ilustrar a teoria desenvolvida. / Abstract: This monograph presents results on stability and control of stochastic systems represented by linear operators with respect to the state which are non-linear with respect to the control. The control seeks to optimize a long run average cost (LRAC). The control structure does not depend on the past history of the process and it can be used, in particular, to represent a broad range of control problems that appears in the literature. Regarding the stability, it is shown that the stochastic system is asymptotically stable in the mean if the LRAC is finite and if controllability and observability assumptions are satisfied. To guarantee the uniform second moment stability, some additional conditions must be verified. With respect to the control, the main goal is to assure the existence of an optimal stationary policy for the LRAC problem within the class of systems considered, and some independent conditions are derived. An approximation for the minimum LRAC is obtained, and it is illustrated numerically for the regulator problem of Markov jump linear systems, under the assumption that the controller does not have access to the Markov state. Numerical examples illustrate the derived theory. / Doutorado / Automação / Doutor em Engenharia Elétrica

Orientador: Jose Claudio Geromel / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-09T08:47:02Z (GMT). No. of bitstreams: 1 Deaecto_GraceSilva_M.pdf: 5350126 bytes, checksum: 88f05b9392a9876bfe07fae6a8f95202 (MD5) Previous issue date: 2007 / Resumo: Neste trabalho, são propostas condições suficientes para a estabilidade assintótica de sistemas lineares, contínuos no tempo, com comutação que asseguram um custo garantido de desempenho. Estas condições dependem da solução de um conjunto de desigualdades de Lyapunov-Metzler, definidas em [Geromel & Colaneri, 2006], que possuem natureza não-convexa, sendo portanto, de difícil solução. Para contornar este problema, apresentamos condições de estabilidade mais conservadoras baseadas em uma subclasse de matrizes de Metzler com elementos iguais na diagonal principal, que podem ser resolvidas através de desigualdades matriciais lineares e busca unidimensional. Os resultados apresentados em [Geromel & Colaneri, 2006], que fornecem condições para a estabilidade de sistemas dinâmicos lineares com comutação, são generalizados para lidar com sistemas mais gerais, a saber, sistemas dinâmicos sujeitos a perturbações impulsivas. A proposta elaborada assegura a estabilidade assintótica inclusive na presença de possíveis modos deslizantes / Abstract: In this work, sufficient conditions are proposed for the study of asymptotic stability of continuous time linear systems with commutation, which assure a guaranteed cost of performance. These conditions depend on the solution of a set of Lyapunov-Metzler inequalities, defined in [Geromel & Colaneri, 2006], which are difficult to solve due to their non-convex nature. However, to circumvent this difficulty, we present more conservative stability conditions based on a subclass of Metzler matrices characterized by having equal elements on the main diagonal. Although these conditions are more conservative, they can be solved by Linear Matrix Inequalities (LMls) and unidimensional search. The analysis done in [Geromel & Colaneri, 2006], which provides the stability conditions for linear dynamic systems with commutation is expanded to cover a more general class of systems with commutation and subject to impulsive disturbances. The conditions presented in this work assure the stability even in the presence of possible sliding modes / Mestrado / Automação / Mestre em Engenharia Elétrica

Este trabalho versa sobre técnicas de estimação de derivadas de forma não assintótica conforme abordagem algébrica de Michel Fliess, e sua aplicação na determinação quase instantânea do estado interno de um sistema dinâmico, cria-se assim estimadores de estado que não se baseiam no observador de Luenberger. Resumo No desenvolvimento do trabalho demonstramos algumas características destes estimadores e apresentamos uma contribuição teórica para viabilizar a implementação destes estimadores em sistemas de controle de tempo real. Posteriormente, um sistema mecânico de dinâmica não linear foi construído e permitiu ensaios em laboratório que atestam, através dos resultados experimentais encontrados, a funcionalidade deste tipo de estimador de estados. / This work is about derivative estimation technique based on a algebraic and non-asymptotically approach, as devised by Michel Fliess, applied on quasi-instantaneous determination of the internal state of a dynamical system, using state estimators that aren\'t based on the Luenberger observer. Abstract Over this work we present some particularities of these estimators and a theoretical contribution that will able to implement these algebraic estimators in a real time control system. After that, a non-linear mechanical system was built to verify the functionality of these state estimators.

Orientadores: Carla Taviane Lucke da Silva Ghidini, Aurelio Ribeiro Leite de Oliveira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-26T07:23:54Z (GMT). No. of bitstreams: 1 Silva_Marileneda_M.pdf: 942860 bytes, checksum: 97260f526fda7ee0cb3346887580c3fa (MD5) Previous issue date: 2014 / Resumo: Neste trabalho, consideramos o método preditor-corretor, que é uma das variantes mais importantes dos métodos de pontos interiores devido à sua eficiência e convergência rápida. No método preditor-corretor, é preciso resolver dois sistemas lineares a cada iteração para determinar a direção preditora-corretora. A resolução desses sistemas é o passo que requer mais tempo de processamento, devendo, assim, ser realizada de maneira eficiente. Para obter a solução dos sistemas lineares do método preditor-corretor, consideramos dois métodos do subespaço de Krylov: MINRES e GC (método dos gradientes conjugados). Para que esses métodos convirjam mais rapidamente, um precondicionador especialmente desenvolvido para os sistemas lineares oriundos dos métodos de pontos interiores é usado. Experimentos computacionais, em um conjunto variado de problemas de programação linear, foram realizados com o intuito de analisar a eficiência e robustez dos métodos de solução dos sistemas lineares / Abstract: In this work, we consider the predictor-corrector method, which is one of the most important variants of interior point methods due to its efficiency and fast convergence. In the predictor-corrector method, we must solve two linear systems at each iteration to determine the predictor-corrector direction. The solution of these systems is the step that requires more processing time and should therefore be performed efficiently. For the solution of linear systems are two Krylov subspace methods considered: MINRES and CG(the conjugate-gradient method). For these methods a preconditioner specially developed for linear systems arising from interior point methods is used. Computational experiments on a set of linear programming problems were performed in order to analyze the efficiency and robustness of the methods when solving such linear systems / Mestrado / Matematica Aplicada / Mestra em Matemática Aplicada

Orientador: José Cláudio Geromel / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-20T09:26:11Z (GMT). No. of bitstreams: 1 Souza_Matheus_M.pdf: 1860153 bytes, checksum: d0e172f3d6ad34ab1ec2e31a48ab171d (MD5) Previous issue date: 2012 / Resumo: Nesta dissertação, são propostas técnicas de projeto de controladores...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: In this dissertation, state feedback...Note: The complete abstract is available with the full electronic document / Mestrado / Automação / Mestre em Engenharia Elétrica

The computer performance has been improved tremendously since the development of the first allpurpose, all electronic digital computer in 1946. However, engineers, scientists and researchers keep making more efforts to further improve the computer performance to meet the demanding requirements for many applications. There are basically two ways to improve the computer performance in terms of computational speed. One way is to use faster devices (VLSI chips). Although faster and faster VLSI components have contributed a great deal on the improvement of computation speed, the breakthroughs in increasing switching speed and circuit densities of VLSI devices will be diflicult and costly in future. The other way is to use parallel processing architectures which employ multiple processors to perform a computation task. When multiple processors working together, an appropriate architecture is very important to achieve the maximum performance in a cost-effective manner. Systolic arrays are ideally qualified for computationally intensive applications with inherent massive parallelism because they capitalize on regular, modular, rhythmic, synchronous, concurrent processes that require intensive, repetitive computation. This thesis can be divided into three parts. The first part is an introductory part containing Chap. I and Chap. 2. The second part, composed of Chap. 3 and Chap. 4 concerns with the systolic design methodology. The third part deals with the several systolic array design for different applications.

No description available.