Intervalar Mathematics
Mostrando 1-11 de 11 artigos, teses e dissertações.
-
1. Uma fundamentação para sinais e sistemas intervalares
Neste trabalho utiliza-se a matemática intervalar para estabelecer os conceitos intervalares das principais ferramentas utilizadas em processamento digital de sinais. Mais especificamente, foram desenvolvidos aqui as abordagens intervalares para sinais, sistemas, amostragem, quantização, codificação, transformada Z e transformada de Fourier. É feito um
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 02/12/2011
-
2. Fundamentação computacional da matemática intervalar
A Matemática Intervalar se assenta em dois conceitos fundamentais, a propriedade da inclusão-monotonicidade de sua aritmética e uma topologia de Hausdorff definida no conjunto dos intervalos. A propriedade da inclusão-monotonicidade tem se revelado uma ferramenta útil na elaboração de algoritmos intervalares, enquanto a topologia de Hausdorff não con
Publicado em: 2010
-
3. Métodos intervalares para a resolução de sistemas de equações lineares / Interval methods for resolution of linear equation systems
O estudo dos métodos intervalares é importante para a resolução de sistemas de equações lineares, pois os métodos intervalares produzem resultados dentro de limites confiáveis (do intervalo solução) e provam a existência ou não existência de soluções, portanto produzem resultados confiáveis, o que os métodos pontuais podem não proporcionar.
Publicado em: 2010
-
4. Uma fundamentação matemática para processamento digital de sinais intervalares
Este trabalho explora uma fundamentação matemática, para o processamento digital de sinais sob uma óptica da matemática intervalar. Pretende explorar o problema aberto de precisão e de representação de dados em sistemas digitais, trabalhando com uma versão intervalar de representação de sinais. Processamento de sinais é uma área muito ricae comp
Publicado em: 2009
-
5. Uso efetivo da matemática intervalar em supercomputadores vetoriais / Effective use of interval mathematics on vector supercomputers
Este trabalho apresenta um estudo do uso da Matemática Intervalar na resolução de problemas em supercomputadores, através da biblioteca de rotinas intervalares denominada libavi.a (aritmética vetorial intervalar), proporcionando não só aumento de velocidade de processamento via vetorização, mas exatidão e controle de erros nos cálculos através do
Publicado em: 2009
-
6. DIRECT, analise intervalar e otimização global irrestrita / DIRECT, interval analysis and unconstrained global optimization
In this work we analyze two unconstrained global optimization methods: DIRECT, a branch-and-select method, based on Lipschitzian optimization, with a special selection criterion that balances the emphasis between local and global search; and a branch-and-bound method incorporating the state of art interval analysis techniques, with back-boxing and local sear
Publicado em: 2009
-
7. Uma representação construtiva global para sistemas ordenados de segunda ordem em espaços coerentes intervalares bi-estruturados, com aplicação em matemática intervalar / A global constructive representation of second order ordered systems using bi-structured interval coherence spaces, with an application in interval mathematics
Este trabalho consiste no desenvolvimento de uma metodologia para a obtenção de representações construtivas de sistemas ordenados de 2ª ordem, baseadas em estruturas de espaços coerentes, com aplicação fundamental na Computação Científica e Matemática Intervalar. Obtêm assim uma representação global para os objetos ditos infinitos relativament
Publicado em: 2009
-
8. Uma biblioteca intervalar baseada em processamento de strings
Java à uma linguagem multiplataforma amplamente utilizada nos dias atuais. Sistemas cliente-servidor, aplicaÃÃes embarcadas e desktop sÃo desenvolvidos a partir da facilidade que Java oferece. A comunidade que utiliza Java cria suas prÃprias bibliotecas e as disponibiliza na Web para que todos possam compartilhar de suas facilidades. Bibliotecas para cr
Publicado em: 2008
-
9. Integral equations in domain theory: problems direct and inverse / Equações integrais via teoria de domínios: problemas direto e inverso
Apresenta-se um estudo em Teoria de Domínios das equações integrais da forma geral f (x) = h(x)+g Z b(x) a(x) g(x, y, f (y))dy com h, a e b definidas para x ∈ [a0,b0], a0 ≤a(x)≤b(x)≤b0 e g definida para x, y ∈ [a0,b0], cujo lado direito define uma contração sobre o espaço métrico de funções reais contínuas limitadas. O
Publicado em: 2008
-
10. JFloat: uma biblioteca de ponto flutuante para a linguagem Java com suporte a arredondamento direcionado / JFloat: a floating point library with directed rounding mode support for Java language
Este trabalho apresenta JFloat, uma implementação de software do padrão IEEE-754 de aritmética de ponto flutuante binária. JFloat foi construída para prover algumas características não implementadas em Java, especificamente o suporte ao arredondamento direcionado. Esta característica é de grande importância para o prosseguimento do projeto Java-XS
Publicado em: 2007
-
11. Em direção a uma representação para equações algébricas :uma lógica equacional local
A aritmética intervalar conhecida como aritmética de Moore, não possui as mesmas propriedades dos números reais, e por este motivo, defrontase com um problema de natureza operatória, quando se deseja resolver equações intervalares como extensão de equações reais através da igualdade usual e da aritmética intervalar, por esta não possuir o invers
Publicado em: 2001