Computer Algebra
Mostrando 1-12 de 21 artigos, teses e dissertações.
-
1. COEFICIENTES DE TRANSMISSÃO E REFLEXÃO PELO MÉTODO DA AMPLITUDE VARIÁVEL
In this work, a simple derivation of the variable amplitude method using the variation of parameters to solve a differential equation is presented. The variable amplitude method was originally devised by Tikochinsky in 1977, using the quantum theory of scattering. The method is applied to two model potentials, the rectangular potential barrier and the Eckart
Quím. Nova. Publicado em: 2016-08
-
2. AvaliaÃÃo do software geogebra como instrumento psicopedagÃgico de ensino em geometria / Evaluation of geogebra software as psycho-pedagogic and learning approach to geometry
This current study presents the assessment on Geogebra free software for teaching geometry, as a psycho-pedagogical approach, highlighting resources that facilitate integration and use of program with professors and studentsâ learning topics. The software can be applied from earlier primary-school students to college ones as well as distance education progr
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/04/2012
-
3. Existências de códigos corretores de erros e protocolos de comunicação em sequências de DNA / Existence of error-correcting codes and communication protocols in DNA sequences
Um dos grandes desafios da comunidade científica em teorias da informação genética, comunicação genética e codificação genética é verificar a existência de uma estrutura matemática relacionada com a estrutura do DNA. Este trabalho propõe modelos para o sistema de comunicação de informação genética e genômica análogos ao modelo de um sist
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 08/07/2011
-
4. Modelando evolução por endossimbiose / Modeling evolution by endosymbiosis
Nesta dissertação é apresentada uma modelagem analítica para o processo evolucionário formulado pela Teoria da Evolução por Endossimbiose representado através de uma sucessão de estágios envolvendo diferentes interações ecológicas e metábolicas entre populações de bactérias considerando tanto a dinâmica populacional como os processos produt
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/07/2010
-
5. Álgebra geométrica aplicada à simulação de corpos rígidos / Geometric algebra applied to rigid body simulation
Álgebra geométrica é uma ferramenta matemática para formulação e resolução de problemas geométricos, sendo uma alternativa para a álgebra linear classicamente utilizada. Com o intuito de demonstrar a utilidade do formalismo, uma engine física para simulação de corpos rígidos foi desenvolvida. O trabalho apresenta os conceitos de álgebra geomé
Publicado em: 2010
-
6. 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
-
7. AnÃlise de um modelo TCP Max-Plus aplicado a uma rede sem fio / Analysis of a model TCP Max-Plus applied to a wire-less net
Este trabalho propÃe a aplicaÃÃo de um modelo para o protocolo de transporte TCP, utilizando a Ãlgebra max-plus, em redes sem fio. A abordagem determinÃstica e atà mesmo formal do modelo TCP max-plus à pouco tradicional, sendo que na literatura à mais comum encontrar mÃtodos estocÃsticos para modelagem de redes. Neste estudo, sÃo apresentados um b
Publicado em: 2008
-
8. 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
-
9. Dynamic simulation of flash drums using rigorous physical property calculations
The dynamics of flash drums is simulated using a formulation adequate for phase modeling with equations of state (EOS). The energy and mass balances are written as differential equations for the internal energy and the number of moles of each species. The algebraic equations of the model, solved at each time step, are those of a flash with specified internal
Brazilian Journal of Chemical Engineering. Publicado em: 2007-06
-
10. Computer algebra in modern functional languages / Computer Algebra in Modern Functional Languages
Muitos sistemas de computação algébrica foram propostos e implementados. A maioria deles são implementados ou até mesmo implementam linguagens sem a propriedade da referência transparencial, o que torna difícil e até mesmo impraticável a prova de correção de programas. Esta tese apresenta um sistema de computação algébrica implementado como uma
Publicado em: 2007
-
11. Integration of functional programming and spatial databases for GIS application development / Integração de programação funcional e banco de dados espaciais no desenvolvimento de aplicativos geográficos
A pesquisa recente em geoinformação indica que há benefícios no uso de programação funcional aplicada ao desenvolvimento de aplicativos geográficos. No entanto, o desenvolvimento completo de um sistema de geoinformação em linguagem funcional não é factível. O acesso a banco de dados geográfico exige um grande conjunto de operações de entrada e
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 11/10/2006
-
12. Integration of functional programming and spatial databases for GIS application development / Integração de programação funcional e banco de dados espaciais no desenvolvimento de aplicativos geográficos
Recently, researchers in GIScience argued about the benefits on using functional programming for geospatial application development and prototyping of novel ideas. However, developing an entire GIS in a functional language is not feasible. Support for spatial databases requires a large set of I/O operations, which are cumbersome to implement in functional la
Publicado em: 2006