Relatórios de Pesquisa

16/1987 Equações algébricas - uma revisão
E. Capelas Oliveira
PDF icon rp-1987-16.pdf
15/1987 Adiabatic switching for time dependent electric fields
Márcia A.G. Scialom , Rafael J. Iório Jr.
PDF icon rp-1987-15.pdf
14/1987 Magnetic monopoles without strings by Kahler-clifford algebras
Adolfo Maia Jr., Erasmo Recami, Waldyr A. Rodrigues Jr., Marcio A.F. Rosa
PDF icon rp-1987-14.pdf
13/1987 Métodos de projeção de convergência finita para sistemas lineares e quadrados mínimos
Renato Borges Guerra
PDF icon rp-1987-13.pdf
12/1987 A paraconsistent logic: J3
Ítala M. L. D´Ottaviano, Richard L. Epstein
PDF icon rp-1987-12.pdf
11/1987 A regra-ω -passado, presente e futuro
Ítala M. L. D´Ottaviano, Edgard G. K. López Escobar

Antes de apresentarmos alguns problemas filosóficos referentes às demonstrações infinitas, e a Regra-ω, fazemos uma discussão sobre as origens da regra com algumas citações históricas. Apresentamos o Primeiro e Segundo Teoremas de Gödel e o Teorema de Loëb. Introduzimos a Aritmética Clássica de Primeira Ordem com Regra-ω e vários outros sistemas, estabelecendo algumas relações entre eles. Apresentamos o Teorema de SchÜtte-Mintz e estendemos a aritmética através de indução transfinita, com várias aplicações da eliminação do corte. este trabalho constituiu um curso ministrado no "VI Encontro Brasileiro de Lógica", realizado na Universidade Federal do Ceará, Fortaleza, em 1982.


PDF icon rp-1987-11.pdf
10/1987 Optimization of non-linear large scale systems with linear dynamics - an application to load scheduling
A. Friedlander, C. Lyra, H. Tavares

This paper presents an algorithm for optimization of large scale non-linear dynamical problems with linear constraints. The approach was devised with the aim of solving deterministic scheduling problems of hydrothermal power systems. The method has a conception based on the overall structure of the reduced gradient method, more specifically it is based on the implementation of this method by Murtagh and Saunders (1978). The dynamical characteristic of the problem leads to a constraints matrix with staircase structure. Skillfulluse of this feature in storing and computations is mandatory for large scale problems. The staircase structure is considered in the L-U decomposition of the constraints matrix and in the updatong scheme which is based in the classic paper of Bartels-Golub. The algorithm was implemented in a computer program and a application to load scheduling is presented.


PDF icon rp-1987-10.pdf
9/1987 Otimização com estrutura escada nas restrições
Ana Friedlander

O Problema de Programação Linear Dinâmica (P.L.D.) é resolvido mediante um algorítmo baseado no trabalho de Bartels-Golub, que usa a decomposição L-U duma matriz. As matrizes de restrições do PLD têm uma estrutura particular chamada estrutura escada (stair case) e o algorítmo apresentado aqui tira proveito desta estrutura particular. É estabelecido um compromisso entre a preservação da estrutura escada e a estabilidade numérica do algorítmo. Um programa computacional foi implementado, no qual as seguintes questões foram especiaalmente consideradas:

a) Técnicas de armazenamento esparso apropriadas a esta estrutura e ao algorítmo a ser programado.

b) Adaptação dos passos usuais do Método Simplex, com o objetivo de aproveitar os esquemas especiais para a estrutura escada introduzidos. São apresentadas experiências computacionais e um estudo de caso. É discutida a aplicação dos resultados apresentados na resolução de problemas de programação não linear.


PDF icon rp-1987-09.pdf
8/1987 A gramática dos ornamentos e a cultura arica
Rodney C. Bassanezi, M. Salett B. Faria

Verificar se há alguma relação entre as diferentes etapas culturais de um povo e a matemática de seus ornamentos pode não ser muito simples e qualquer resposta obtida não deve ir além de conjecturas. Entretanto, do ponto de vista do ensino-aprendizagem de matemática este exercício pode ser muito gratificante. A finalidade deste trabalho é mostrar ao professor de 1º e 2º graus uma alternativa para se ensinar as simetrias planas, observando e analisando os ornamentos encontrados ao seu redor.


PDF icon rp-1987-08.pdf
7/1987 Teoria geral da medida - aplicações
Rodney C. Bassanezi

Apresentamos definições e conceitos básicos das medidas gerais e resultados sobre mensurabilidade. Introduzimos o conceito da medida geométrica de Hausdorff e sua comparação com a Medida de Lebesgue. Definimos a integral relativa a uma Medida Geral crescente e apresentamos os seus teoremas fundamentais(Fatou Beppo-Levi e Lebesgue). Apresentamos ainda o conceito de Perímetro (De Giorgi) e sua conexão com a medida de fronteira de um conjunto. Enunciamos a alguns resultados sobre a "regularidade" de conjunto de perímetro finito e resolvemos o problema de Dirichlet para Equação de Superfícies Mínimas pelo Método Variacional.


PDF icon rp-1987-7.pdf