Research Reports

18/1987 Bordismo de involuções e ações semi-livres do círculo
Claudina Izepe Rodrigues
PDF icon rp-1987-18.pdf
17/1987 Green´s function for pedestrians
E. Capelas de Oliveira
PDF icon rp-1987-17.pdf
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