Transformações expansivas em um curso de educação matemática a distância online

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Funções trigonométricas

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Projetos em geometria analítica usando software de geometria dinâmica: repensando a formação inicial docente em matemática

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Experiencing Manipulative Material for the Teaching and Learning of Mathematics

This paper presents some outcomes from research based on classroom experiences. The main themes are the use of mirrors, kaleidoscopes, dynamic geometry software, and manipulative material considering their possibilities for the teaching and learning of Euclidean and non-Euclidean geometries.

Experienciando Materiais Manipulativos para o Ensino e a Aprendizagem da Matemática

This paper presents some outcomes from research based on classroom experiences. The main themes are the use of mirrors, kaleidoscopes, dynamic geometry software, and manipulative material considering their possibilities for the teaching and learning of Euclidean and non-Euclidean geometries.

Atividades investigativas em grupos online: possibilidades para a educação matemática a distância

Pós-graduação em Educação Matemática - IGCE

Representações dos números racionais e a medição de segmentos: possibilidades com tecnologias informáticas

Pós-graduação em Educação Matemática - IGCE

Grupos de estudo como possibilidade de formação de professores de matemática no contexto da geometria dinâmica

Pós-graduação em Educação Matemática - IGCE

Professores de matemática que utilizam softwares de geometria dinâmica: suas características e perspectivas

Pós-graduação em Educação Matemática - IGCE

Padrões fractais: contribuições ao processo de generalização de conteúdos matemáticos

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Um Estudo de pavimentação do plano utilizando caleidoscópios e o software Cabri Géomètre II

Pós-graduação em Educação Matemática - IGCE

Some experiments with high order compact methods using a computer algebra software - Part I

We consider a procedure for obtaining a compact fourth order method to the steady 2D Navier-Stokes equations in the streamfunction formulation using the computer algebra system Maple. The resulting code is short and from it we obtain the Fortran program for the method. To test the procedure we have solved many cavity-type problems which include one with an analytical solution and the results are compared with results obtained by second order central differences to moderate Reynolds numbers. (c) 2005 Elsevier B.V. All rights reserved.

Some experiments with high order compact methods using a computer algebra software - Part II (non-uniform grid)

We generalize a procedure proposed by Mancera and Hunt [P.F.A. Mancera, R. Hunt, Some experiments with high order compact methods using a computer algebra software-Part 1, Appl. Math. Comput., in press, doi: 10.1016/j.amc.2005.05.015] for obtaining a compact fourth-order method to the steady 2D Navier-Stokes equations in the streamfunction formulation-vorticity using the computer algebra system Maple, which includes conformal mappings and non-uniform grids. To analyse the procedure we have solved a constricted stepped channel problem, where a fine grid is placed near the re-entrant corner by transformation of the independent variables. (c) 2006 Elsevier B.V. All rights reserved.

Definição de requisitos de software baseada numa arquitetura de modelagem de negócios

Não é uma tarefa fácil definir requisitos para os sistemas de software que darão suporte a um negócio, dada a dinâmica de mudanças nos processos. O levantamento de requisitos tem sido feito de forma empírica, sem o apoio de métodos sistematizados que garantam o desenvolvimento baseado nos reais objetivos do negócio. A engenharia de software carece de métodos que tornem mais ordenadas e metódicas as etapas de modelagem de negócios e de levantamento de requisitos de um sistema. Neste artigo é apresentada uma metodologia de desenvolvimento de software resultante da incorporação de atividades propostas para modelagem de negócios e levantamento de requisitos, baseadas em uma arquitetura de modelagem de negócios. Essas atividades tornam o desenvolvimento de software mais sistemático e alinhado aos objetivos da organização, e podem ser incorporadas em qualquer metodologia de desenvolvimento baseada no UP (Unified Process - Processo Unificado).

Reducing the gap between mobile and intelligent software agents

This paper presents an approach to integrate an artificial intelligence (AI) technique, concretely rule-based processing, into mobile agents. In particular, it focuses on the aspects of designing and implementing an appropriate inference engine of small size to reduce migration costs. The main goal is combine two lines of agent research, First, the engineering oriented approach on mobile agent architectures, and, second, the AI related approach on inference engines driven by rules expressed in a restricted subset of first-order predicate logic (FOPL). In addition to size reduction, the main functions of this type of engine were isolated, generalized and implemented as dynamic components, making possible not only their migration with the agent, but also their dynamic migration and loading on demand. A set of classes for representing and exchanging knowledge between rule-based systems was also proposed.