Algebra Computacional
Mostrando 1-12 de 24 artigos, teses e dissertações.
-
1. Conhecimentos geométricos e algébricos a partir da construção de fractais com uso do software GEOGEBRA
O presente estudo analisa uma proposta de construção de fractais no desenvolvimento de conteúdos matemáticos. Propusemos uma pesquisa qualitativa com o objetivo de investigar como a construção de fractais com o software Geogebra poderia suscitar conhecimentos geométricos e algébricos. Desenvolvemos uma intervenção pedagógica com alunos da 7a séri
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/09/2012
-
2. Ideais iniciais genéricos
No presente trabalho, concentraremos nossa atenção no estudo do cálculo da dimensão de variedades algébricas afins, apresentando uma forma computacional para o seu cálculo utilizando as teorias de Bases de Gröebner e do polinômio afim de Hilbert. O propósito deste trabalho é definir ideal inicial genérico e destacar sua importância no cálculo da
Publicado em: 2011
-
3. Uso da álgebra linear para análise de similaridades e extração de padrões em sequências protéicas
Extrair padrões de dados de seqüências de proteínas é um dos desafios da Biologia Computacional. Neste trabalho, é apresentada uma metodologia que usa técnicas de Álgebra Linear, Estatística e Otimização para a análise de sequências primárias de proteínas. Inicialmente, cada sequência é transformada num vetor de frequências de peptídeos de
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 23/11/2010
-
4. Sobre álgebras de Clifford, geometria projetiva e visão computacional / On Clifford algebras, projective geometry and computer vision
Atualmente, o estudo das Álgebras de Clifford é utilizado em inúmeras áreas de pesquisa. Uma delas é na área de Visão Computacional. O objetivo central dessa dissertação consiste em exibir noções sobre Álgebras de Clifford e sua utilização na formulação dos conceitos e definições de operações entre objetos da Geometria Projetiva e na form
Publicado em: 2010
-
5. Solução numérica de descritores markovianos a partir de re-estruturações de termos tensoriais
Os formalismos estruturados foram definidos ao longo dos anos com o objetivo de aumentar o nível de abstração e oferecer uma alternativa de modelagem mais sofisticada do que a proporcionada pelas tradicionais Cadeias de Markov. Exemplos de formalismos estruturados que utilizam álgebra tensorial para o armazenamento de seus descritores são as Redes de Au
Publicado em: 2010
-
6. 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
-
7. An efficient GPU-based implementation of recursive linear filters and its application to realistic real-time re-synthesis for interactive virtual worlds / Uma implementação eficiente de filtros lineares recursivos e sua aplicação a re-síntese realistica em tempo real para mundos virtuais interativos
Muitos pesquisadores têm se interessado em explorar o vasto poder computacional das recentes unidades de processamento gráfico (GPUs) em aplicações fora do domínio gráfico. Essa tendência ao desenvolvimento de propósitos gerais com a GPU (GPGPU) foi intensificada com a produção de APIs não-gráficas, tais como a Compute Unified Device Architecture
Publicado em: 2010
-
8. Precise control of permanent magnet sinchronous motor using artificial neural networks for application in robotics / Controle preciso de posição do motor síncrono de ímã permanente usando redes neurais artificiais para aplicação em robótica
O tema de estudo do presente trabalho é o controle vetorial da posição do motor síncrono de ímã permanente (PMSM) operando como servomecanismo de precisão. Redes neurais artificiais foram usadas para desenvolver novas técnicas de leitura do sensor de posição, da estimação do torque de carga mecânica, e a substituição dos controladores convenci
Publicado em: 2009
-
9. A matemática e os circuitos elétricos de corrente contínua: uma abordagem analítica, prático-experimental e computacional
Este trabalho trata do desenvolvimento de um material didático, sob a forma de cadernos (presentemente, em forma de capítulos), acompanhado de protótipo de circuito simples para testes experimentais, a ser utilizado no ensino de nível médio. O conteúdo reunido nos cadernos abrange o desenvolvimento analítico de tópicos pertinentes à física-matemát
Publicado em: 2008
-
10. Uma abordagem paralela para o algoritmo Split
A análise comportamental de um processo permite a detecção de deficiências, assim como avaliar o impacto no desempenho do mesmo causado por mudanças no ambiente. O uso de modelos analíticos para descrever o processo em observação fornece estes dados através da resolução de sistemas de equações. No caso de modelagens feitas com a utilização de
Publicado em: 2008
-
11. Metodos computacionais para determinação de pontos de intersecção de n esferas no R POT. N / Computacional methods for determination of points of intersection of n sphere in R POT. N
Neste trabalho, abordamos o problema da determinação de pontos de intersecção de n esferas no Rn. Este problema, além de ser importante matematicamente, é um problema com muitas aplicações, que vão desde a localização de pontos no globo, pelo sistema GPS, até a posicionamento de átomos em estruturas moleculares. O problema de encontrar a interse
Publicado em: 2008
-
12. Argumentação e prova envolvendo conceitos de múltiplos e divisores: uma experiência com alunos do ensino fundamental
O propósito desta dissertação é a elaboração e análise de uma seqüência didática para o ensino e aprendizagem de provas e argumentações, destinada a alunos do 9 ano do Ensino Fundamental, utilizando uma ferramenta computacional. Todo o experimento foi desenvolvido no âmbito do Projeto Argumentação e prova na Matemática Escolar (AProvaME), que
Publicado em: 2008