Operadores De Ponto Fixo
Mostrando 1-6 de 6 artigos, teses e dissertações.
-
1. Um Teorema de Ponto Fixo e Aplicações a Equações Elípticas Semilineares
Neste trabalho, estudamos um teorema de ponto fixo para operadores crescentes em espaços vetoriais ordenados e o aplicamos para obter resultados de existência de solução fraca para problemas elípticos semilineares do tipo 8<: u = f(x; u) + h; em u = 0; sobre @ em que RN é um domínio suave, f : R ! R satisfaz algumas condições conveni
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/04/2012
-
2. Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais / Descriptive complexity of the logic of higher order with lower fixed point and analysis of expression of some modal logics
Em Complexidade Descritiva investigamos o uso de logicas para caracterizar classes problemas pelo vies da complexidade. Desde 1974, quando Fagin provou que NP e capturado pela logica existencial de segunda-ordem, considerado o primeiro resultado da area, outras relac~oes entre logicas e classes de complexidade foram estabelecidas. Os resultados mais conhecid
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/08/2010
-
3. Ponto fixo e autovalores positivos para operadores não lineares
x
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 05/07/2007
-
4. Método de "shooting" aplicado a problemas de EDP s singulares envolvendo os operadores laplaciano e monge-ampère
Neste trabalho ilustramos a aplicação do Método de "Shooting" em duas classes totalmente distintas de problemas de Equações Diferenciais parciais - ambas com valores de fronteira nulos e em domínios limitados -, uma envolvendo o operador Laplaciano e a outra o operador de Monge-Ampère. Estudamos estes problemas na situação em que as perturbações n
Publicado em: 2007
-
5. A infinitary system of the logic of least fixed-point / Um sistema infinitÃrio para a lÃgica de menor ponto fixo
A noÃÃo de menor ponto-fixo de um operador à amplamente aplicada na ciÃncia da computaÃÃo como, por exemplo, no contexto das linguagens de consulta para bancos de dados relacionais. Algumas extensÃes da LÃgica de Primeira-Ordem (FOL)1 com operadores de ponto-fixo em estruturas finitas, como a lÃgica de menor ponto-fixo (LFP)2, foram propostas para l
Publicado em: 2007
-
6. A Máquina geométrica : modelo computacional para concorrência e não-determinismo usando como estrutura espaços coerentes / The geometric machine : a model for concurrence and non-determinism based on coherence spaces
O trabalho constitui-se numa investigação teórica da estrutura ordenada e intuitiva dos espaços coerentes, introduzidos por Girard [GIR 86], na definição do modelo de máquina geométrica para construção e interpretação de estados e processos computacionais rotulados por posições de um espaço geométrico. Esta interpretação poderá ser aplicad
Publicado em: 2007