Teoremas De Ponto Fixo
Mostrando 1-6 de 6 artigos, teses e dissertações.
-
1. Numerical Analysis of the Chebyshev Collocation Method for Functional Volterra Integral Equations
RESUMO O método de colocação baseado em funções de base de Chebyshev, acoplado com processo iterativo de Picard, é proposto para resolver uma equação integral funcional de Volterra do segundo tipo. Usando o Teorema do Ponto Fixo de Banach, provamos teoremas sobre a solução de existência e unicidade na norma L 2. Também fornecemos a análise de co
TEMA (São Carlos). Publicado em: 2020-12
-
2. Estimação de frequência usando sensores de erro com atrasos adaptativos
Neste trabalho é proposta uma solução para a melhoria no desempenho dos Early Error Sensing (EES) Adaptive Time Delay Tanlock Loops (ATDTL) de 1ª ordem apresentados em (Al-Zaabi et al., 2005), quanto a estimação de frequência e tempo de captura. Os EES-ATDTL são Phase-Locked Loops (PLL) digitais utilizados para implementações em hardware, devido à
Sba: Controle & Automação Sociedade Brasileira de Automatica. Publicado em: 2011-08
-
3. Malha síncrona digital "Tanlock" com estimação de frequência e ganho adaptativo para convergência rápida. / Adaptive gain time delay Tanlock loop with frequency estimation and fast convergence.
Nas últimas três décadas os phase locked loops (PLLs) totalmente digitais têm recebido muita atenção devido, principalmente, às vantagens que eles oferecem em comparação aos PLLs analógicos. Essas vantagens incluem melhor desempenho, maior velocidade e confiabilidade, tamanho reduzido e menor custo. Os PLLs também são amplamente utilizados em sis
Publicado em: 2011
-
4. Existência de soluções inteiras minimais para sistemas elípticos semi-lineares com termos singulares e superlineares
Consideramos neste trabalho duas classes de problemas de equações diferenciais parciais elípticas, ambas semilineares com termos singulares, superlineares e sublineares, envolvendo funções não-negativas e localmente Holder contínuas, sendo uma das classes composta de uma equação e a outra de duas equações. Em relação a esses problemas, mostramos
Publicado em: 2009
-
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. Minimal Model and hierarchy of expressive power / Modelos minimais e hierarquia de expressividade
Neste trabalho, o conceito de Modelo Minimal e seu uso na semÃntica de certas lÃgicas sÃo estudados. NÃs analisamos o poder expressivo de diversas lÃgicas que usam o conceito de Modelo Minimal para definir sua relaÃÃo de satisfaÃÃo. Os principais teoremas estudados foram o Teorema de LÃwenheim-Skolem e o Teorema de Definibilidade de Beth. No CapÃt
Publicado em: 2007