Existência da função de Lyapunov

Pós-graduação em Matemática - IBILCE

Estudo de métodos numéricos para eliminação de ruídos em imagens digitais

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Estabilidade motora de pessoas portadoras de Sindrome de Dawn, em tarefas de desenhar

Universidade Estadual de Campinas . Faculdade de Educação Física

Identidade profissional dos professores de Matemática: processos de formação

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

Difusão do cloreto de sódio no processo de salga de queijos: modelagem matemática com o emprego do método de elementos finitos

A transferência de um soluto (cloreto de sódio), através de uma matriz sólida tridimensional (queijo) foi estudada aplicando-se o método de elementos finitos. A formulação variacional (Galerkin) do problema diferencial (modelo de difusão) teve como base teórica a 2ª lei de Fick. Os procedimentos para integração no tempo foram o de Crank-Nicolson e o de Euler-modificado, que foram escolhidos por apresentarem estabilidade incondicional. O programa computacional desenvolvido mostrou-se versátil para resolver situações de amostragem em condições mais realistas e pode ser aplicado para geometrias complexas. O modelo proposto permitiu uma boa estimativa do ganho de sal no queijo, usando um coeficiente de difusão cujo valor pode ser obtido por extrapolação de dados experimentais. A aplicação do método numérico (MEF), com o esquema de Crank-Nicolson, na simulação da difusão do cloreto de sódio na salga de queijos, mostrou boa aproximação quando os resultados foram comparados com os valores experimentais encontrados na literatura especializada.

Avaliação de ameaças e risco geotécnico aplicados à estabilidade de taludes

Esta dissertação apresenta alguns critérios para avaliação de ameaças e risco geotécnico aplicados à estabilidade de taludes. Inicialmente apresenta-se uma visão geral dos problemas envolvidos com a análise de risco geotécnico, a importância da análise probabilística e a sua comparação com a determinística, e as opções de gerenciamento descritas na literatura. Estas análises envolvem conceitos de probabilidade, estatística, geotecnia, geologia, meio ambiente e legislação, além do interesse público e defesa civil. Assim, são definidos os conceitos estatísticos envolvidos nessa área multidisciplinar, como variabilidade espacial, coeficiente de correlação entre os parâmetros de entrada do modelo, distância de autocorrelação, escala de flutuação e incertezas (de parâmetros, humanas e dos modelos). Os métodos probabilísticos de cálculo do fator de segurança, a probabilidade de ruptura e o índice de confiabilidade são revisados. Utilizou-se o método de Monte Carlo nas análises através do uso de um programa comercial. O método tem sido adotado por diversos pesquisadores por ser direto, eficiente para problemas matematicamente complexos e não ter a complexidade matemática de outros métodos. A metodologia de análise de ameaças e risco geotécnico foi aplicada a um talude modelo, similar aos taludes de colúvio de basalto encontrados nas partes inferiores da Escarpa dos Aparados da Serra em Santa Catarina Os resultados obtidos, a partir de dados experimentais disponíveis, foram o fator de segurança determinístico mínimo (1,20) e o fator de segurança médio obtido pelo método de Monte Carlo (1,205), índice de confiabilidade de 2,64 e probabilidade de ruptura de 0,41%. Foi discutida também a aceitabilidade do fator de segurança médio da análise probabilística, comparando-se os resultados obtidos com valores aceitos em obras similares.

Uma fundamentação matemática para processamento digital de sinais intervalares

This work deals with a mathematical fundament for digital signal processing under point view of interval mathematics. Intend treat the open problem of precision and repesention of data in digital systems, with a intertval version of signals representation. Signals processing is a rich and complex area, therefore, this work makes a cutting with focus in systems linear invariant in the time. A vast literature in the area exists, but, some concepts in interval mathematics need to be redefined or to be elaborated for the construction of a solid theory of interval signal processing. We will construct a basic fundaments for signal processing in the interval version, such as basic properties linearity, stability, causality, a version to intervalar of linear systems e its properties. They will be presented interval versions of the convolution and the Z-transform. Will be made analysis of convergences of systems using interval Z-transform , a essentially interval distance, interval complex numbers , application in a interval filter.

Modelagem e controle de um microveículo aéreo: uma aplicação de estabilidade robusta com a técnica backstepping em uma estrutura hexarrotor

In this Thesis, the development of the dynamic model of multirotor unmanned aerial vehicle with vertical takeoff and landing characteristics, considering input nonlinearities and a full state robust backstepping controller are presented. The dynamic model is expressed using the Newton-Euler laws, aiming to obtain a better mathematical representation of the mechanical system for system analysis and control design, not only when it is hovering, but also when it is taking-off, or landing, or flying to perform a task. The input nonlinearities are the deadzone and saturation, where the gravitational effect and the inherent physical constrains of the rotors are related and addressed. The experimental multirotor aerial vehicle is equipped with an inertial measurement unit and a sonar sensor, which appropriately provides measurements of attitude and altitude. A real-time attitude estimation scheme based on the extended Kalman filter using quaternions was developed. Then, for robustness analysis, sensors were modeled as the ideal value with addition of an unknown bias and unknown white noise. The bounded robust attitude/altitude controller were derived based on globally uniformly practically asymptotically stable for real systems, that remains globally uniformly asymptotically stable if and only if their solutions are globally uniformly bounded, dealing with convergence and stability into a ball of the state space with non-null radius, under some assumptions. The Lyapunov analysis technique was used to prove the stability of the closed-loop system, compute bounds on control gains and guaranteeing desired bounds on attitude dynamics tracking errors in the presence of measurement disturbances. The controller laws were tested in numerical simulations and in an experimental hexarotor, developed at the UFRN Robotics Laboratory

Abordagem matemática de roll waves em escoamentos hiperconcentrados com superfície livre

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Estabilidade de cor de resinas compostas em função de composição e sistema de fotoativação: avaliação através de espectroscopia de reflectância

Pós-graduação em Ciências Odontológicas - FOAR

A Disciplina história da matemática e a formação do professor de matematica: dados e circunstâncias de sua implantação na Universidade Estadual Paulista, campi de Rio Claro, São José do Rio Preto e Presidente Prudente

Pós-graduação em Educação Matemática - IGCE

Análise de estabilidade de sistemas dinâmicos híbridos e descontínuos modelados por semigrupos:

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Estabilidade assintótica de uma classe de sistemas não lineares

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Análise de estabilidade de sistemas dinâmicos descontínuos e aplicações

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Dinâmica impulsiva: estabilidade e invariância

Pós-graduação em Matemática - IBILCE