Teoremas De Extensao
Mostrando 1-11 de 11 artigos, teses e dissertações.
-
1. Otimização com restrições LOVO, restauração inexata e o equilíbrio inverso de Nash / Optimization with LOVO constraints, inexact restoration and the inverse Nash equilibrium
Nesse trabalho serão propostos métodos de Lagrangiano Aumentado para tratar problemas com restrições do tipo LOVO, serão propostos novos métodos de Restauração Inexata e será introduzido o conceito de Equilíbrio Inverso de Nash. Teoremas sobre condições de otimalidade para problemas do tipo LOVO serão apresentados. Um algoritmo do tipo Lagrangia
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/09/2011
-
2. Ação de grupóides sobre álgebras: teoremas de estrutura
O principal objetivo desta tese é um estudo de certas estruturas oriundas da ação de grupóides sobre álgebras. Especificamente tratamos do estudo de estruturas do tipo skew anel de grupóide. Dentre os principais resultados apresentados damos uma descrição estrutural intrínsica de um skew anel de grupóide, sob determinadas condições específicas,
Publicado em: 2011
-
3. Polinômios dominados entre espaços de Banach / Dominated polynomials between Banach spaces
O principal objetivo desta dissertação é estudar teoremas de dominação e de fatoração para polinômios homogêneos dominados entre espaços de Banach. Para isso primeiro estudam-se os polinômios homogêneos contínuos entre espaços de Banach, exibindo várias propriedades e exemplos. Posteriormente, volta-se o estudo para os polinômios homogêneos
Publicado em: 2011
-
4. Detectando fatores de variedade de codimensão um com propriedades de posição geral
This work is an approach to the famous "Product with a Line Problem". It investigates the class of topological spaces whose cartesian product with R is a topological manifold. Such spaces are called "Codimension One Manifold Factors". Based mainly on [5, 7, 14, 15, 24], we introduce the concept of generalized manifolds, which are separable ANR spaces with sa
Publicado em: 2010
-
5. Criação de uma biblioteca padrão para a linguagem HasCASL / Creating a standard library for the HasCASL language
Métodos formais são ferramentas da Engenharia de Software que empregam formalismos matemáticos na construção de programas. Em geral, são compostos por uma ou mais linguagens de especificação e algumas ferramentas auxiliares. A linguagem de especificação algébrica Common Algebraic Specification Language (Casl) foi concebida para ser a linguagem pad
Publicado em: 2010
-
6. Component assembly and theorem proving in constraint handling rules
Devido à grande demanda por softwares cada vez mais robustos, complexos e flexÃveis, e, sobretudo, pelo curtÃssimo tempo de entrega exigido, a engenharia de software tem procurado novos meios de desenvolvimento que supram satisfatoriamente essas demandas. Uma forma de galgar esses novos patamares de produtividade provÃm do uso de uma metodologia baseada
Publicado em: 2009
-
7. Prova automática de satisfatibilidade módulo teoria aplicada ao método B
Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/E
Publicado em: 2007
-
8. Formalização da comunicação de conhecimentos probabilísticos em sistemas multiagentes : uma abordagem baseada em lógica probabilística
Durante os últimos anos as áreas de pesquisa sobre Agentes Inteligentes, Sistemas Multiagentes e Comunicação entre Agentes têm contribuído com uma revolução na forma como sistemas inteligentes podem ser concebidos, fundamentados e construídos. Sendo assim, parece razoável supor que sistemas inteligentes que trabalhem com domínios probabilísticos
Publicado em: 2007
-
9. A theorem of H. Hopf and the Cauchy-Riemann inequality / O teorema de H. Hopf e as inequações de Cauchy-Riemann
Em 1951, H. Hopf publicou em um prestigiado artigo um famoso resultado: Seja M uma superfície compacta de gênero zero imersa no espaço Euclidiano de dimensão três com curvatura média constante. Então M é isométrica à esfera redonda. Neste trabalho descreveremos detalhadamente do ponto de vista matemático uma generalização do resultado obtido por
Publicado em: 2006
-
10. ConfiguraÃÃes Centrais de Dziobek em Problemas Restritos e BifurcaÃÃes
O problema dos n corpos consiste em descrever a evoluÃÃo no tempo de n massas pontuais m1,..., mn que interagem segundo a lei de Newton da gravitaÃÃo universal. As configuraÃÃes centrais do problema de n corpos sÃo condiÃÃes iniciais no espaÃo de configuraÃÃo que dÃo origem a movimentos homogrÃficos, isto Ã, movimentos onde a configuraÃÃo em
Publicado em: 2003
-
11. Introdução aos corpos de funções algebricas com exemplos de codigos auto-duais
No Capítulo I desta dissertação introduzimos os conceitos básicos dos corpos de funções algébricas a saber: anéis de valorização, lugares, valorizações discretas, divisores, adeles e os diferenciais de Weil, e obtemos a demonstraccão de A. Weil do Teorema de Riemann-Roch. No Capítulo II introduzimos o que são Códigos Lineares, algumas proprie
Publicado em: 1997