A transformada wavelet na fusão de imagens de sensoriamento remoto

Pós-graduação em Matematica Aplicada e Computacional - FCT

Uma abordagem pedagógica baseada na análise de modelos para alunos de biologia: qual o papel do software?

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

Um modelo para a dengue com influência sazonal

In this study, a mathematical model with temporal dependence for dengue transmission was developed, considering coupling between human population and the vector mosquito, and a sorotype circulating on population. This model was analysed with the goal to explain disease's periodicity. Finally, a genetic algorithm was set up to study model's sensibility.

Formulações fortes para o problema de dimensionamento de lotes com várias plantas

This paper considers the multi-plant lot sizing problem. Each item can be produced in any plant and it is possible to meet the demand of a particular plant with production from one (or several) other plants, in this case, incurs a transfer cost. The objective is todevelop strong formulations for this problem. Reformulations that based on the shortest path problem and facility location problem are investigated. Finally, some computational results are presented comparing all the proposed formulations.

Zeros da função zeta de Riemann e o teorema dos números primos

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

Potenciais singulares na equação de Schrodinger unidimensional via transformada de Laplace

The present work has as its goal to treat well known and interesting unidimensional cases from quantum mechanics through an unusual approach within this eld of physics. The operational method of Laplace transform, in spite of its use by Erwin Schrödinger in 1926 when treating the radial equation for the hydrogen atom, turned out to be forgotten for decades. However, the method has gained attention again for its use as a powerful tool from mathematical physics applied to the quantum mechanics, appearing in recent works. The method is specially suitable to the approach of cases where we have potential functions with even parity, because this implies in eigenfunctions with de ned parity, and since the domain of this transform ranges from 0 to ∞, it su ces that we nd the eigenfunction in the positive semi axis and, with the boundary conditions imposed over the eigenfunction at the origin plus the continuity (discontinuity) of the eigenfunction and its derivative, we make the odd, even or both parity extensions so we can get the eigenfunction along all the axis. Factoring the eigenfunction behavior at in nity and origin, we take the due care with the points that might bring us problems in the later steps of the solving process, thus we can manipulate the Schrödinger's Equation regardless of time, so that way we make it convenient to the application of Laplace transform. The Chapter 3 shows the methodology that must be followed in order to search for the solutions to each problem

Construção de códigos esféricos através do reticulado hexagonal

Códigos esféricos n-dimensionais gerados por grupos comutativos em dimensão par, n = 2m, podem ser determinados pelo quociente de reticulados m-dimensionais, quando os vetores que geram o sub-reticulado são mutuamente ortogonais [4]. Apresentamos a construção de sub-reticulados nestas condições, a partir do reticulado hexagonal, A2. Comparamos a distância mínima do código esfé- rico construído através do quociente destes reticulados com o limitante da distância mínima estabelecido em [5].

A Note on Linear Codes over Semigroup Rings

In this paper, we introduced new construction techniques of BCH, alternant, Goppa, Srivastava codes through the semigroup ring B[X; 1 3Z0] instead of the polynomial ring B[X; Z0], where B is a finite commutative ring with identity, and for these constructions we improve the several results of [1]. After this, we present a decoding principle for BCH, alternant and Goppa codes which is based on modified Berlekamp-Massey algorithm. This algorithm corrects all errors up to the Hamming weight t ≤ r/2, i.e., whose minimum Hamming distance is r + 1.

Usando o ATSP na Modelagem do Problema Integrado de Produção de Bebidas

Neste trabalho, propomos um modelo integrado de dimensionamento de lotes e programação da produção monomáquina para uma fábrica de refrigerantes de pequeno porte. As decisões de dimensionamento foram baseadas em um modelo encontrado na literatura e as decisões de sequenciamento foram modeladas utilizando restrições do problema do caixeiro viajante assimétrico. Para a validação do modelo proposto foram feitos testes computacionais com exemplares gerados aleatoriamente, e também exemplares baseados em dados reais obtidos da literatura. Os exemplares foram resolvidos pelo método Branch-and-Cut incluído no pacote computacional CPLEX 10.0. Os resultados mostram que o modelo proposto representa o planejamento da produção em fábricas de bebidas monomáquinas e que, em algumas situações, produz resultados melhores que o modelo da literatura.

Square of the Error Octonionic Theorem and Hypercomplex Fourier Series

The focus of this paper is to address some classical results for a class of hypercomplex numbers. More specifically we present an extension of the Square of the Error Theorem and a Bessel inequality for octonions.

Some Results in Stability Analysis of Hybrid Dynamical Systems

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

Saddle Point and Second Order Optimality in Nondifferentiable Nonlinear Abstract Multiobjective Optimization

This article deals with a vector optimization problem with cone constraints in a Banach space setting. By making use of a real-valued Lagrangian and the concept of generalized subconvex-like functions, weakly efficient solutions are characterized through saddle point type conditions. The results, jointly with the notion of generalized Hessian (introduced in [Cominetti, R., Correa, R.: A generalized second-order derivative in nonsmooth optimization. SIAM J. Control Optim. 28, 789–809 (1990)]), are applied to achieve second order necessary and sufficient optimality conditions (without requiring twice differentiability for the objective and constraining functions) for the particular case when the functionals involved are defined on a general Banach space into finite dimensional ones.

Inclusões Dinâmicas em Escalas Temporais: Existência de Soluções sob a Hipótese de Semicontinuidade Inferior

In this paper we consider the problem of differential inclusion in time scales whose vector field is a multifunction, that is, a function that maps points to sets. It is provided conditions of existence without requiring compactness of the vector field; it is required that the vector field is closed, convex, and lower semicontinuous. In previous work in literature, it is required that the field is either scalar or compact, convex, and has closed graph.

Aplicação da Teoria das Filas no caixa rápido de um supermercado: estudo de caso microeconômico

A Pesquisa Operacional (PO) oferece ferramentas, usando modelos matemáticos, que descrevem situações do mundo real das empresas e do governo. Estes modelos permitem otimizar lucros ou minimizar custos através da Programação Linear (PL), considerada a maior descoberta da matemática aplicada do século XX. Sua aplicabilidade é imensa e a programação computacional é simples. Por exemplo, o uso de software como o Excel, garante encontrar a solução para problemas que podem envolver um número grande de variáveis e assim auxiliar os agentes na tomada de decisão. Vários Prêmios Nobel em Economia tiveram a PL envolvido em seu conteúdo, por exemplo, os prêmios dados a Leonid Kantorovich, Leonid Hurwicz, Tjalling Koopmans Kenneth, Kenneth J. Arrow e Robert Dorfman, Paul Samuelson e Robert Solow. A Teoria das Filas, utilizada neste trabalho, é uma ferramenta da PO que envolve distribuição de probabilidades e permite investigar a chegada e atendimento de clientes, a partir de certos números de canais disponíveis. O caso em análise é uma fila do caixa rápido do supermercado Oba Hortifruti, localizado na cidade de Indaiatuba - São Paulo. A fila possui característica M/M/1, no qual o primeiro M denota que a chegada de clientes à fila segue uma distribuição de Poisson, o segundo M denota que o tempo de atendimento dos clientes segue a distribuição Exponencial e o 1 significa que há apenas um canal de atendimento. A aplicação desta ferramenta sugere uma otimização do serviço para que o mesmo se torne estável (objetivo qualitativo), gerando assim uma maior satisfação do cliente com o atendimento, podendo elevar a margem de lucro do estabelecimento em estudo (objetivo quantitativo)

Práticas algébricas no contexto da modelagem compreendida como proposta pedagógica

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