| 18/1987 |
Bordismo de involuções e ações semi-livres do círculo Claudina Izepe Rodrigues  rp-1987-18.pdf |
| 17/1987 |
Green´s function for pedestrians E. Capelas de Oliveira rp-1987-17.pdf |
| 16/1987 |
Equações algébricas - uma revisão E. Capelas Oliveira rp-1987-16.pdf |
| 15/1987 |
Adiabatic switching for time dependent electric fields Márcia A.G. Scialom , Rafael J. Iório Jr. 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 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 rp-1987-13.pdf |
| 12/1987 |
A paraconsistent logic: J3 Ítala M. L. D´Ottaviano, Richard L. Epstein 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. 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. 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. rp-1987-09.pdf |
