6 resultados para symbolic solving

em Repositório Científico da Universidade de Évora - Portugal


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Este estudo tem como objectivo investigar o papel que as representações, construídas por alunos do 1.o ano de escolaridade, desempenham na resolução de problemas de Matemática. Mais concretamente, a presente investigação procura responder às seguintes questões: Que representações preferenciais utilizam os alunos para resolver problemas? De que forma é que as diferentes representações são influenciadas pelas estratégias de resolução de problemas utilizadas pelos alunos? Que papéis têm os diferentes tipos de representação na resolução dos problemas? Nesta investigação assume-se que a resolução de problemas constitui uma actividade muito importante na aprendizagem da Matemática no 1.o Ciclo do Ensino Básico. Os problemas devem ser variados, apelar a estratégias diversificadas de resolução e permitir diferentes representações por parte dos alunos. As representações cativas, icónicas e simbólicas constituem importantes ferramentas para os alunos organizarem, registarem e comunicarem as suas ideias matemáticas, nomeadamente no âmbito da resolução de problemas, servindo igualmente de apoio à compreensão de conceitos e relações matemáticas. A metodologia de investigação segue uma abordagem interpretativa tomando por design o estudo de caso. Trata-se simultaneamente de uma investigação sobre a própria prática, correspondendo os quatro estudos de caso a quatro alunos da turma de 1.0 ano de escolaridade da investigadora. A recolha de dados teve lugar durante o ano lectivo 2007/2008 e recorreu à observação, à análise de documentos, a diários, a registos áudio/vídeo e ainda a conversas com os alunos. A análise de dados que, numa primeira fase, acompanhou a recolha de dados, teve como base o problema e as questões da investigação bem como o referencial teórico que serviu de suporte à investigação. Com base no referencial teórico e durante o início do processo de análise, foram definidas as categorias de análise principais, sujeitas posteriormente a um processo de adequação e refinamento no decorrer da análise e tratamento dos dados recolhidos -com vista à construção dos casos em estudo. Os resultados desta investigação apontam as representações do tipo icónico e as do tipo simbólico como as representações preferenciais dos alunos, embora sejam utilizadas de formas diferentes, com funções distintas e em contextos diversos. Os elementos simbólicos apoiam-se frequentemente em elementos icónicos, sendo estes últimos que ajudam os alunos a descompactar o problema e a interpretá-lo. Nas representações icónicas enfatiza-se o papel do diagrama, o qual constitui uma preciosa ferramenta de apoio ao raciocínio matemático. Conclui-se ainda que enquanto as representações activas dão mais apoio a estratégias de resolução que envolvem simulação, as representações icónicas e simbólicas são utilizadas com estratégias diversificadas. As representações construídas, com papéis e funções diferentes entre si, e que desempenham um papel crucial na correcta interpretação e resolução dos problemas, parecem estar directamente relacionadas com as caraterísticas da tarefa proposta no que diz respeito às estruturas matemáticas envolvidas. ABSTRACT; The objective of the present study is to investigate the role of the representations constructed by 1st grade students in mathematical problem solving. More specifically, this research is oriented by the following questions: Which representations are preferably used by students to solve problems? ln which way the strategies adopted by the students in problem solving influence those distinct representations? What is the role of the distinct types of representation in the problems solving process? ln this research it is assumed that the resolution of problems is a very important activity in the Mathematics learning at the first cycle of basic education. The problems must be varied, appealing to diverse strategies of resolution and allow students to construct distinct representations. The active, iconic and symbolic representations are important tools for students to organize, to record and to communicate their mathematical ideas, particularly in problem solving context, as well as supporting the understanding of mathematical concepts and relationships. The adopted research methodology follows an interpretative approach, and was developed in the context of the researcher classroom, originating four case studies corresponding to four 1 st grade students of the researcher's class. Data collection was carried out during the academic year of 2007/2008 and was based on observation, analysis of documents, diaries, audio and video records and informal conversations with students. The initial data analysis was based on the problems and issues of research, as well in the theoretical framework that supports it. The main categories of analysis were defined based on the theoretical framework, and were subjected to a process of adaptation and refining during data processing and analysis aiming the -case studies construction. The results show that student's preferential representations are the iconic and the symbolic, although these types of representations are used in different ways, with different functions and in different contexts. The symbolic elements are often supported by iconic elements, the latter helping students to unpack the problem and interpret it. ln the iconic representations the role of the diagrams is emphasized, consisting in a valuable tool to support the mathematical reasoning. One can also conclude that while the active representations give more support to the resolution strategies involving simulation, the iconic and symbolic representations are preferably used with different strategies. The representations constructed with distinct roles and functions, are crucial in the proper interpretation and resolution of problems, and seem to be directly related to the characteristics of the proposed task with regard to the mathematical structures involved.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We consider a system described by the linear heat equation with adiabatic boundary conditions which is perturbed periodicaly. This perturbation is nonlinear and is characterized by a one-parameter family of quadratic maps. The system, depending on the parameters, presents very complex behaviour. We introduce a symbolic framework to analyze the system and resume its most important features.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We consider piecewise defined differential dynamical systems which can be analysed through symbolic dynamics and transition matrices. We have a continuous regime, where the time flow is characterized by an ordinary differential equation (ODE) which has explicit solutions, and the singular regime, where the time flow is characterized by an appropriate transformation. The symbolic codification is given through the association of a symbol for each distinct regular system and singular system. The transition matrices are then determined as linear approximations to the symbolic dynamics. We analyse the dependence on initial conditions, parameter variation and the occurrence of global strange attractors.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Knee osteoarthritis is the most common type of arthritis and a major cause of impaired mobility and disability for the ageing populations. Therefore, due to the increasing prevalence of the malady, it is expected that clinical and scientific practices had to be set in order to detect the problem in its early stages. Thus, this work will be focused on the improvement of methodologies for problem solving aiming at the development of Artificial Intelligence based decision support system to detect knee osteoarthritis. The framework is built on top of a Logic Programming approach to Knowledge Representation and Reasoning, complemented with a Case Based approach to computing that caters for the handling of incomplete, unknown, or even self-contradictory information.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

It is well known that the dimensions of the pelvic bones depend on the gender and vary with the age of the individual. Indeed, and as a matter of fact, this work will focus on the development of an intelligent decision support system to predict individual’s age based on pelvis’ dimensions criteria. On the one hand, some basic image processing technics were applied in order to extract the relevant features from pelvic X-rays. On the other hand, the computational framework presented here was built on top of a Logic Programming approach to knowledge representation and reasoning, that caters for the handling of incomplete, unknown, or even self-contradictory information, complemented with a Case Base approach to computing.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Solving a complex Constraint Satisfaction Problem (CSP) is a computationally hard task which may require a considerable amount of time. Parallelism has been applied successfully to the job and there are already many applications capable of harnessing the parallel power of modern CPUs to speed up the solving process. Current Graphics Processing Units (GPUs), containing from a few hundred to a few thousand cores, possess a level of parallelism that surpasses that of CPUs and there are much less applications capable of solving CSPs on GPUs, leaving space for further improvement. This paper describes work in progress in the solving of CSPs on GPUs, CPUs and other devices, such as Intel Many Integrated Cores (MICs), in parallel. It presents the gains obtained when applying more devices to solve some problems and the main challenges that must be faced when using devices with as different architectures as CPUs and GPUs, with a greater focus on how to effectively achieve good load balancing between such heterogeneous devices.