Aritmetica Computacional
Mostrando 1-12 de 27 artigos, teses e dissertações.
-
1. Fractais, Congruências e Primos: Uma Estratificação Visual dos Números Inteiros via Fractais de Sierpinski
RESUMO Neste trabalho construímos um painel visual enumerado usando fractais do tipo Sierpinski n-gons 8 com o objetivo de analisar algumas sequências de números inteiros, principalmente a sequência dos números primos e algumas de suas subsequências clássicas, como os Primos de Sophie Germain. Essa estrutura visual gera uma estratificação de ℤ que
TEMA (São Carlos). Publicado em: 2020-12
-
2. Análise do Esforço Computacional das Funções Densidade de Probabilidade com Diferentes Distribuições
RESUMO Quando se trabalha com números de ponto flutuante o resultado é apenas uma aproximação de um valor real e erros gerados por arredondamentos ou por instabilidade dos algoritmos podem levar a resultados incorretos. Não se pode afirmar a exatidão da resposta estimada sem o auxílio de uma análise de erro. Utilizando-se intervalos para representaç
TEMA (São Carlos). Publicado em: 2018-01
-
3. Estimativa da tendência diferencial do código nos receptores GNSS
A tendência diferencial devido ao atraso do código (DCB) dos satélites e receptores é um dos parâmetros estimados, juntamente com o conteúdo total de elétrons (TEC), nos modelos ionosféricos que utilizam dados do GNSS. O IGS disponibiliza arquivos em formato IONEX que fornecem os valores dos DCB's dos satélites e receptores utilizados na modelagem d
Bol. Ciênc. Geod.. Publicado em: 2014-12
-
4. Contribuições em codificação de imagens e vídeo = : Contributions in image and video coding / Contributions in image and video coding
A comunidade de codificação de imagens e vídeo vem também trabalhando em inovações que vão além das tradicionais técnicas de codificação de imagens e vídeo. Este trabalho é um conjunto de contribuições a vários tópicos que têm recebido crescente interesse de pesquisadores na comunidade, nominalmente, codificação escalável, codificação
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/11/2011
-
5. Implementação eficiente em software de curvas elípticas e emparelhamentos bilineares / Efficient software implementation of elliptic curves and bilinear pairings
O advento da criptografia assimétrica ou de chave pública possibilitou a aplicação de criptografia em novos cenários, como assinaturas digitais e comércio eletrônico, tornando-a componente vital para o fornecimento de confidencialidade e autenticação em meios de comunicação. Dentre os métodos mais eficientes de criptografia assimétrica, a cripto
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/08/2011
-
6. Satisfazibilidade probabilística / Probabilistic satisfiability
Este trabalho estuda o problema da Satisfazibilidade Probabilística (PSAT), revendo a sua solução via programação linear, além de propor novos algoritmos para resolvê-lo através da redução ao SAT. Construímos uma redução polinomial do PSAT para o SAT, chamada de Redução Canônica, codificando operações da aritmética racional em bits, como v
Publicado em: 2011
-
7. Um método de matriz resposta com esquema iterativo de inversão parcial por região para problemas unidimensionais de transporte de nêutrons monoenergéticos na formulação de ordenadas discretas / Um método de matriz resposta com esquema iterativo de inversão parcial por região para problemas unidimensionais de transporte de nêutrons monoenergéticos na formulação de ordenadas discretas / A response matrix method for one-speed slab-geometry discrete ordinates neutron transport problems / A response matrix method for one-speed slab-geometry discrete ordinates neutron transport problems
Um método de matriz resposta (RM) é descrito para gerar soluções numéricas livres de erros de truncamento espacial para problemas de transporte de nêutrons monoenergéticos e com fonte fixa, em geometria unidimensional na formulação de ordenadas discretas (SN). O método RM com esquema iterativo de inversão parcial por região (RBI) converge valores
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2011
-
8. Métodos computacionais para o cálculo de raízes reais de equações polinomiais
Este trabalho trata de métodos computacionais utilizados para o cálculo numérico das raízes reais de equações polinomiais. Para isso fazemos uma introdução ao estudo da aritmética computacional, dos limites de erro, dos dígitos significantes exatos e da eficiência computacional para o estudo dos algoritmos básicos para o cálculo numérico de pol
Publicado em: 2010
-
9. 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
-
10. Domínios intervalares da matemática computacional
Fundamentada a importância da utilização da Teoria dos Intervalos em computação científica, é realizada uma revisão da Teoria Clássica dos Intervalos, com críticas sobre as incompatibilidades encontradas como motivos de diversas dificuldades para desenvolvimento da própria teoria e, consequentemente, das Técnicas Intervalares. É desenvolvida uma
Publicado em: 2010
-
11. Algoritmos e desenvolvimento de arquitetura para codificação binária adaptativa ao contexto para o decodificador H.264/AVC / Algorithms and architecture design for context-adaptive binary arithmetic coder for the H.264/AVC decoder
As inovações tecnológicas têm propiciado transformações nas formas de interação e, principalmente, na comunicação entre as pessoas. Os avanços nas áreas de tecnologia da informação e comunicações abriram novos horizontes para a criação de demandas até então não existentes. Nesse contexto, a utilização de vídeo digital de alta definiç
Publicado em: 2010
-
12. 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