Orientador: Manuel de Jesus Mendes / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-04T00:34:30Z (GMT). No. of bitstreams: 1 Silva_PauloSergioda_D.pdf: 1777936 bytes, checksum: 623cb05483de0ceb59da755ce1eb66ce (MD5) Previous issue date: 2004 / Resumo: Este trabalho contribui para a convergência de agentes móveis e agentes inteligentes através da proposta de um framework para incorporar técnicas de Inteligência Artificial (IA) a agentes móveis criados com os principais sistemas de mobilidade contemporâneos baseados em Java. Os requisitos a serem satisfeitos pelo framework são identificados e sua arquitetura é estabelecida. Um dos principais mecanismos de IA, o mecanismo de inferência com encadeamento progressivo baseado em regras, é implementado de acordo com o framework sugerido. Uma metodologia de desenvolvimento de software orientada a objetos e vários padrões de projeto são utilizados na concepção tanto do framework quanto do mecanismo de inferência. Os modelos resultantes são documentados através da Linguagem Unificada de Modelagem (UML) e as principais decisões de projeto, na forma de diretrizes a serem adotadas na criação de outros mecanismos. A proposta é avaliada através da construção de agentes móveis controlados pelo mecanismo desenvolvido e pelo levantamento do custo de transporte de seu código e dados. Os resultados mostram que o framework é viável e que o custo de transporte do mecanismo implementado é bem menor que o dos equivalentes encontrados na literatura / Abstract: This thesis contributes for the convergence of mobile and intelligent agents by proposing a framework for embedding Artificial Intelligence (AI) techniques in mobile agents built with the main actual Java-based mobile agent systems. The requirements to be satisfied by the framework are identified and its architecture is established. One of the most essential AI engines, the rule-based forward-chaining inference engine is implemented in agreement with the suggested framework. An object-oriented software development methodology and several design patterns are used in the conception of both, the framework and the inference engine. The resulting models are documented using the Unified Modeling Language (UML) and the main design decisions, as directions to be adopted in the development of other engines. The proposal is evaluated by the construction of mobile agents controlled by the developed engine and by the estimation of the transportation cost of the engine¿s code and data. The results show the framework is feasible and that the transportation cost of the implemented engine is much lower than the cost of similar engines found in literature / Doutorado / Engenharia de Computação / Doutor em Engenharia Elétrica

Orientador: Eduardo Candido Xavier / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-26T21:57:37Z (GMT). No. of bitstreams: 1 Santos_DouglasOliveira_M.pdf: 1370671 bytes, checksum: 41f9ee952e593c7ed8fa83d738c343d5 (MD5) Previous issue date: 2014 / Resumo: Nesse trabalho é apresentado um framework que tem como objetivo facilitar o compartilhamento de veículos no dia a dia de uma grande cidade. O framework apresenta uma arquitetura cliente-servidor. O lado cliente é usado por passageiros para requerer uma viagem compartilhada e por motoristas, que podem ser donos de veículos privados ou taxistas, os quais estão dispostos a compartilharem seu veículo para redução de custos ou obtenção de lucro. O lado servidor precisa resolver um problema dinâmico de otimização que provamos ser NP-difícil. O problema em questão, denominado Ride-sharing Problem with Money Incentive (RSPMI), é modelado da seguinte forma: em cada instante de tempo, temos um conjunto de pessoas, as quais necessitam de uma viagem a partir de um ponto de origem até um ponto de destino, e um conjunto de veículos, onde cada um tem uma origem e um destino. É necessário considerar algumas restrições que os passageiros possam ter, que são: o horário mínimo de saída da origem, o horário máximo de chegada até o destino, o número de passageiros que devem viajar juntos e também o valor máximo que estão dispostos a pagar. Os veículos também apresentam restrições, já que estes podem ter um horário mínimo de saída e um horário máximo de chegada. O motorista define a capacidade máxima do veículo e o preço por quilômetro rodado. Dado todas as informações e restrições, o problema consiste em formar uma rota para cada veículo com o objetivo de maximizar o número de passageiros atendidos e de minimizar os custos. O RSPMI é um problema novo na literatura e difere dos demais problemas de compartilhamento de veículos por ser o único a considerar custos compartilhados, calculando o valor total a ser pago por cada passageiro e possibilitando cada um escolher o valor máximo a ser pago. O foco do trabalho se deu no estudo e desenvolvimento de métodos que possam resolver a versão dinâmica do RSPMI, em tempo real, e em larga escala. O método proposto necessita de uma heurística que resolva o problema estático e de um algoritmo que resolva, eficientemente, o Many to Many Shortest Path Problem. Desenvolvemos heurísticas GRASP para o problema estático e usamos um algoritmo baseado em Contraction Hierarchies, o qual é muito eficiente, para lidar com os caminhos mínimos. Experimentos computacionais foram realizados usando instâncias que simulam, a partir de dados reais, uma atividade de compartilhamento de táxis na cidade de São Paulo. Em nossas simulações, os passageiros pagaram, em média, quase 30% menos do que pagariam em uma viagem privada / Abstract: In this work, we present a framework for dynamic ride-sharing. The framework has a client-server architecture. The client is used by passengers to request rides and by drivers, including vehicle owners and taxi drivers, who are willing to share their vehicles in order to reduce costs or to earn money. The server needs to solve a dynamic optimization problem which is proved to be NP-Hard. The problem, called Ride-sharing Problem with Money Incentive (RSPMI), is modeled in the following manner: at each instant of time, there are a set of passengers needing to travel from a source to a destination point and a set of vehicles, each one having a source and a destination. Passengers have constraints that need to be considered, which are: an earliest departure time, a latest arrival time, the number of passengers that will travel together and the maximum value they are willing to pay for the ride. Vehicles can have an earliest departure time and a latest arrival time, as well. They also have a maximum capacity and a price per kilometer. The problem is to compute a route for each vehicle, with the goal of maximizing the number of attended requests and minimizing the total paid by passengers. RSPMI is a new problem in the literature, differing from others ride-sharing problems, because it is the only one that considers shared costs, having a constraint which allows people to set the maximum value for the ride. The main focus of the work is to develop methods that can solve the dynamic version of the RSPMI, in real time and large scale. The proposed method needs an heuristic to solve the static problem and an algorithm to solve the Many to Many Shortest Path Problem. We developed GRASP heuristics for the static problem and used Contraction Hierarchies to deal with the shortest path problem. Computational experiments were made to evaluate our method and heuristics. We used instances based on real data that simulates a day of taxis activity in the city of Sao Paulo. In our experiments, passengers paid, on average, almost 30% less than a private ride / Mestrado / Ciência da Computação / Mestre em Ciência da Computação

Orientador: Antonio Carlos Bannwart / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecânica e Instituto de Geociências / Made available in DSpace on 2018-08-27T04:22:37Z (GMT). No. of bitstreams: 1 BarbosaNeto_AntonioMarinho_M.pdf: 2354581 bytes, checksum: dada46fe50ab798d217e21bcad15eeb1 (MD5) Previous issue date: 2015 / Resumo: Fluidos de petróleo, incluindo gás, condensado e óleo leve, são misturas complexas de hidrocarbonetos. O conhecimento sobre o comportamento de fases destas misturas é de interesse para a indústria de petróleo, desde o reservatório, produção, transporte, até o processamento e refino de petróleo. Além disso, pacotes termodinâmicos computacionais para predizer o comportamento de tais misturas são de grande interesse nesta indústria. Neste sentido, uma ferramenta computacional para prever com precisão as propriedades termodinâmicas utilizando cálculos de equilíbrio de fases pode desempenhar um papel importante para aplicações de projeto e operações de campo. Equações de estado cúbicas tem sido amplamente utilizada para predizer o comportamento de fases e propriedades volumétricas de fluidos de petróleo devido a sua simplicidade e alto desempenho computacional. Diante deste contexto, o presente trabalho teve como objetivo principal desenvolver um simulador PVT composicional, de fácil manuseio, porém completo, capaz de avaliar o comportamento volumétrico e de fases de fluidos de petróleo em diferentes condições operacionais (P, T) a partir da modelagem do equilíbrio líquido-vapor e do equilíbrio líquido-líquido-vapor. A ferramenta computacional foi desenvolvida na linguagem de programação Visual Basic Applications (VBA) em aplicativo Excel. Uma interface gráfica foi construída em aplicativo Excel. O programa, denominado PVTpetro, consiste basicamente em três módulos computacionais e suas funções auxiliares. O módulo de cálculo de flash (P, T) 2 fases isotérmico para misturas de hidrocarbonetos consiste no equilíbrio líquido-vapor (ELV) para sistemas óleo-gás multicomponentes. O módulo de cálculo de flash (P, T) 3 fases isotérmico avalia sistemas envolvendo óleo, água e gás (OWG). E, o módulo de cálculo de propriedades volumétricas de fluidos de petróleo que calcula o peso molecular, o volume e a massa específica das fases existentes no sistema. A ferramenta foi validada via comparação entre os resultados de pacotes termodinâmicos comerciais (Wimprop, Hysys, COMThermo) e os do programa desenvolvido. Os resultados gerados pelo PVTpetro foram avaliados através do cálculo do desvio relativo em relação às respostas dos softwares comerciais. Desta forma, verificou-se para o módulo de cálculo flash (P, T) 2 fases que os valores de desvio em relação ao Wimprop e Hysys foram inferiores a 1% para os estudos realizados. Enquanto que, para o módulo de cálculo flash (P, T) 3 fases os valores de erro relativo se concentraram na faixa de 0 ¿ 5% quando comparados com os pacotes termodinâmicos Hysys e COMThermo. De uma maneira geral, os resultados gerados pelo PVTpetro apresentaram-se satisfatórios em todos os cálculos propostos. Na validação do módulo de cálculo das propriedades volumétricas, feita de forma qualitativa, observou-se que o comportamento das propriedades em função da pressão e em diferentes temperaturas, gerado pelo PVTpetro, reproduziram as curvas fornecidas pelo Hysys, em todas as condições investigadas. Portanto, além de se apresentar confiável em seus cálculos o PVTpetro mostrou ser de fácil manuseio e intuitivo para o usuário, facilitando assim o trabalho em vários casos / Abstract: Petroleum fluids, which include gas, condensate and light oil, are complex hydrocarbons mixtures. There is a great deal of interest in the oil industry in computational thermodynamic packages able to predict the phase behavior of such mixtures, from the reservoir, production, transportation until the oil processing and refining. In this sense, a computational tool that accurately predicts thermodynamic properties using phase equilibrium calculations have an important role in designing applications and field operations. Cubic equations of state have been widely used to predict the phase behavior and bulk properties of petroleum fluids due to its simplicity and high computational performance. This study focused on developing a PVT compositional simulator, easy to use, able to assess the bulk properties and phase behavior of petroleum fluids at different operating conditions (P, T) from the modeling of the vapor-liquid equilibrium (VLE) and the vapor-liquid-liquid equilibrium (VLLE). The computational tool was developed in Visual Basic Applications (VBA) programming language, with a graphic interface built in Excel. The program, named PVTpetro, consists in three basic computational modules and their auxiliary functions. The isothermal two phase flash (P, T) module calculation to hydrocarbon mixtures consists of VLE for multi-component oil-gas systems. The isothermal three phase flash (P, T) module calculation evaluates oil, water and gas (OWG) systems. Lastly, the bulk properties of petroleum fluids calculation module calculates the molecular weight, the volume and density of the system phases. The tool has been validated through the comparison between the results of commercial thermodynamic packages (Wimprop, Hysys, COMThermo) with the developed program. The results were evaluated by the relative deviation calculation between these commercial software and PVTpetro results. For the isothermal two-phase flash (P, T) calculation module were observed deviations below 1% for Wimprop and Hysys results. For the isothermal three phase flash (P, T) calculation module the deviations were about 0 and 5% for Hysys and COMThermo. For the bulk properties calculation module the results by PVTpetro and Hysys showed a good agreement in all investigated conditions, ensuring the PVTpetro reliability / Mestrado / Explotação / Mestre em Ciências e Engenharia de Petróleo

Orientador: Luis Felipe Cesar da Rocha Bueno / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-27T11:37:25Z (GMT). No. of bitstreams: 1 Penachi_Rian_M.pdf: 10723936 bytes, checksum: ee5a52edf4287fdd199dc8efff4b5869 (MD5) Previous issue date: 2015 / Resumo: Este trabalho propõe uma abordagem didática acerca de otimização não linear irrestrita e com restrições de igualdade, assim como um guia para o leitor que necessita instalar e utilizar o software ALGENCAN. Prezando por explorar ideias intuitivas do tema, o texto foca em estudar, muitas vezes geometricamente, problemas irrestritos e problemas com restrições de igualdade. Para o caso sem restrições é enfatizada a relação entre métodos de otimização e métodos para zeros de sistemas não lineares, destacando o Método de Newton. Métodos do tipo Lagrangiano Aumentado são o enfoque principal, particularmente em ALGENCAN, que é uma de suas implementações mais bem estabelecidas na literatura. As dificuldades encontradas em métodos computacionais para resolver problemas simétricos de otimização não linear com restrições também são estudadas. São apresentados vários exemplos simples de como a simetria do problema afeta o bom desempenho do método e as alternativas para contornar estes obstáculos. Além do mais, testes mais completos usando a coleção CUTEst comprovam que o algoritmo modificado que introduzimos é, pelo menos, tão competitivo quanto a versão original de ALGENCAN / Abstract: This work proposes a didactic approach concerning nonlinear unconstrained optimization and nonlinear equality constrained optimization, as well as a guide for the readers who need to install and use the ALGENCAN software. Exploring intuitive ideas of the subject, the focus of the text is to study, often in a geometric way, unconstrained problems and problems with equality constraints. For the case of unconstrained problems, it will be emphasized the relationship between optimization methods and methods for nonlinear systems, highlighting the Newton's Method. The main focus will be on the Augmented Lagrangian Method, particularly on ALGENCAN, which is one of the most well-established implementations in the literature. The difficulties found in computational methods to solve symmetric problems of nonlinear constrained optimization will be also studied. It will be shown, through several simple examples, how the symmetry of the problem affects the good performance of the method and the alternatives to overcome these difficulties. Moreover, more complete tests using CUTEst will be done, which will confirm that the modified algorithm introduced by us is, at least, as efficient as the original version of ALGENCAN / Mestrado / Matematica Aplicada e Computacional / Mestre em Matemática Aplicada e Computacional

Made available in DSpace on 2016-07-27T13:44:57Z (GMT). No. of bitstreams: 1 ADDA DANIELA LIMA FIGUEIREDO ECHALAR.pdf: 2121531 bytes, checksum: a433e82737cec01e51a8b027b86acac0 (MD5) Previous issue date: 2015-02-24 / This research has as object of study teacher formation for digital inclusion via school environment in the context of the Program One Laptop per Child (PROUCA). This object is formed by the convergence of two thematic axs, the formation of teachers and the digital inclusion track school environment. Whereas access to technologies is not a sufficient condition for the reduction of social inequalities, the formation of teachers for the use of the so-called educational laptops arises as a fundamental aspect of PROUCA. This observation inspires the central question of this research: those formative process teachers are in schools covered by PROUCA in Goiás? On the basis of the principles of historical materialismdialectic, according to the proposed by Marx and Engels, the formative process of the teachers for the digital inclusion that occurred in the process of implantation of PROUCA in Goiás is taken as a special feature that is part of the whole that it reflects: relations material and ideological of a particular historical time. The general objective was to explain the formative processes teachers aiming to digital inclusion, track school environment, schools covered by PROUCA, in Tennessee. The research is exploratory and was performed by means of documentary analysis and field research involving the nine schools of the state of Goiás covered by the Program. It occurred between the years of 2011 and 2014, involving 55 teachers. For the treatment of the issue of digital inclusion track school environment, we highlight the contradiction to clarify the consequences of inclusion, as mere opposition to digital exclusion and social. As regards the formative processes teachers, the principle of alienation in was useful to clarify that the instrumental model adopted indicates much more adaptation of individuals to the demands of the neoliberal economy than a stand-alone formation, as it would be the foundation of action intentional teaching. The formative model was as basic assumptions the fragmentation and the hierarchy, based on an instrumental rationality. For analysis, the textual corpus emerging from exploratory research was organized in three major areas: the fragmentation that characterizes the context of training, the fragility of the concept of digital exclusion and alienation that mark the instrumental training that occurs in the bulge of PROUCA. / Esta pesquisa tem como objeto de estudo a formação de professores para a inclusão digital via ambiente escolar no contexto do Programa Um Computador por Aluno (PROUCA). Tal objeto é constituído pela convergência de dois eixos temáticos, a formação de professores e a inclusão digital via ambiente escolar. Considerando que o acesso às tecnologias não é condição suficiente para a redução das desigualdades sociais, a formação dos professores para o uso dos chamados laptops educacionais se coloca como aspecto fundamental do PROUCA. Essa constatação inspira a questão central desta pesquisa: que processos formativos docentes verificam-se nas escolas contempladas pelo PROUCA em Goiás? Com base nos princípios do materialismo histórico-dialético, segundo o proposto por Marx e Engels, o processo formativo dos professores para a inclusão digital que ocorreu no processo de implantação do PROUCA em Goiás é tomado como uma particularidade que se constitui em parte da totalidade que aí se reflete: as relações materiais e ideológicas de um determinado tempo histórico. O objetivo geral foi explicar os processos formativos docentes visando à inclusão digital, via ambiente escolar, nas escolas contempladas pelo PROUCA, em Goiás. A pesquisa tem caráter exploratório e foi realizada por meio de análise documental e pesquisa de campo que envolveu as nove escolas do estado de Goiás contempladas pelo Programa. Ela ocorreu entre os anos de 2011 e 2014, envolvendo 55 docentes. Para o tratamento da questão da inclusão digital via ambiente escolar, destacamos a contradição para explicitar as consequências da adoção da inclusão, como mera oposição à exclusão digital e social. No que diz respeito aos processos formativos docentes, o princípio da alienação nos foi útil para esclarecer que o modelo instrumental adotado indica muito mais a adaptação dos indivíduos às demandas da economia neoliberal do que uma formação autônoma, como seria o fundamento da ação intencional docente. O modelo formativo teve como pressupostos básicos a fragmentação e a hierarquização, baseando-se em uma racionalidade instrumental. Para análise, o corpus textual emergente da pesquisa exploratória foi organizado em três grandes eixos: a fragmentação que caracteriza o contexto da formação, a fragilidade do conceito de exclusão digital e a alienação que marca a formação instrumental que ocorre no bojo do PROUCA.

Made available in DSpace on 2016-04-27T16:57:47Z (GMT). No. of bitstreams: 1 EDM - Marcia Yolanda Rosalves.pdf: 3135012 bytes, checksum: 57c3dae3f651e69ce218a2790d1f5f7b (MD5) Previous issue date: 2006-10-27 / This research involves the teaching and learning of the geometry of space (three-dimensional geometry) in school mathematics. It considers, in particular, the relationships between geometrical objects and their representations in the plane. The works of Parzysz (1988; 1993), which served as the theoretical base for this study, point to the difficulties students that experience in interpreting representations of three-dimensional objects, in terms of construction (codification) and interpretation (decodification), as well as the conflict between the poles of seeing and knowing. The results presented by Parzysz concern experimentations carried out in the conventional paper-and-pencil environment. Considering the limitations of this environment and the difficulties associated with the identification of spatial relations given its static nature, the dynamic geometry environment of Cabri 3D was chosen as the context for this study. The aim was to investigate the role of the dynamic representation of this software in the study of space geometry. More precisely, the study seeks to analyse the possibilities related to the poles of seeing and knowing in the interactions of subjects with the tools and representations of Cabri 3D. The empirical part of the research involved the development of an experimental study strongly inspired by the methodology of Design Experiments, using the perspective of Steffe and Thompson (2000) and Cobb et al. (2003). High school students from a public-sector school in the city of São Paulo participated in this experiment. The results show that, in certain situation, the loss in information associated with Cabri 3D representation of spatial objects are less than in the paper-and-pencil environment. The evidence also suggested that both the dynamic aspect with the potential to manipulate and change the point of view onto the object represented and the treatment the enriching of representations made possible by the use of the construction tools aided in the process of decodification, amplifying the interpretation of the drawing on the part of the student and enabling a better use of perceptive inferences / A presente pesquisa está inserida no contexto do ensino-aprendizagem da Geometria Espacial na Educação Básica, referindo-se, em particular, às relações entre os objetos geométricos e suas representações planas. Os trabalhos de Parzysz (1988; 1993) destacam as dificuldades dos alunos com a representação de objetos tridimensionais, no que se refere à sua elaboração (codificação) e interpretação (decodificação), bem como o conflito gerado pelos pólos do visto e sabido que são as bases do presente estudo. Os resultados apresentados nas pesquisas desse autor referem-se a experimentações no ambiente convencional de papel&lápis. Considerando as limitações desse ambiente e as dificuldades de identificação de relações espaciais dado seu caráter estático, optou-se por utilizar o ambiente de geometria dinâmica Cabri 3D. Assim, o estudo teve por objetivo investigar o papel das representações dinâmicas nesse software. Mais precisamente, pretendeu-se analisar as possibilidades de gestão dos pólos do visto e do sabido nas interações dos sujeitos com as ferramentas e representações do Cabri 3D. O desenvolvimento da pesquisa deu-se por meio de um estudo experimental fortemente inspirado na metodologia do Design Experiment na perspectiva de Steffe e Thompson (2000) e Cobb et al (2003), sendo realizado com alunos do Ensino Médio de uma escola pública da cidade de São Paulo. Os resultados mostraram que, em determinadas situações, as perdas de informações no Cabri 3D são menores que no ambiente papel&lápis. Existem também evidências de que tanto o aspecto dinâmico com possibilidades de manipular e mudar o ponto de vista do objeto representado como o de tratamento , enriquecimento da representação no uso das ferramentas de construção, auxiliam no processo de decodificação, ampliando a interpretação do desenho por parte dos alunos e levando-os a um melhor aproveitamento das interferências perceptivas

Made available in DSpace on 2016-04-27T16:58:22Z (GMT). No. of bitstreams: 1 ivanildo desp.pdf: 6867880 bytes, checksum: f543f759303d555b6a8c5534e0ec35bd (MD5) Previous issue date: 2007-06-04 / This study, inserted in the theme of the use of digital teachnologies within Mathematics Education, discusses the teaching and learning of proof. It aims to investigate an approach to proof in geometry with its basis in geometrical constructions using the software Cabri-Géomètre. With this aim in mind, a teaching experiment involving students from the 7th grade of school from the public school system of the state of São Paulo was conducted. The experiment was carried out in two phases: the design phase and the analysis phase. In the design phase, three sets of activities were created and tested, two involved use of the dynamic geometry software, will the thirds was paper and pencil based. The dynamic geometry activities were inspired by Mascheroni´s geometry of the compass. During the analysis phase, Balacheff´s notions related to types of proof produced by students (pragmatic and conceptual) were employed (BALACHEFF, 1987, 1988). Through the medium of the dynamic geometry activities, the study sought to explore not only the impact of the dynamism but also how the availability of different tools for the solution of the same problem influenced students´ strategies and thinking. The activities drew from the possibilities associated with geometrical constructions, in terms of aspects inductive and deductive proofs as well as movements between these two poles. Results points to how the use of Cabri encouraged students to at least give attention to empirical verifications of geometrical proprieties within the constructed figures, but may also have contributed to the tendency to focus more on constructions and descriptions than on justifications. Another notable result relates to students´ difficulties with the notion of robust construction, indicating that the screen of Cabri is frequently confused with the paper and pencil environment / Este trabalho, inserido na temática do uso de tecnologias digitais, discute o ensino e aprendizagem da prova. O objetivo é investigar uma abordagem para a prova em geometria, tomando por objeto de estudo as construções geométricas no ambiente do Cabri-Géomètre. A fim de alcançar o objetivo proposto, foi elaborado um experimento de ensino envolvendo estudantes de uma 7ª série da rede pública estadual de São Paulo. Este experimento foi formado por duas fases, o design e a análise das atividades. Na fase de design, foram criados e aplicados três conjuntos de atividades, sendo um deles fora do ambiente do Cabri. As atividades tinham como uma inspiração a geometria do compasso (MASCHERONI, 1980). Para a fase de análise, buscou-se apoio na teoria de Balacheff (1987,1988) sobre as categorias de provas produzidas pelos aprendizes: pragmáticas e conceituais. Por meio das atividades desenvolvidas com o Cabri, além dos aspectos dinâmicos deste software, procurou-se explorar os diferentes tipos de ferramentas para a resolução de um mesmo problema proposto. Enfatizou-se, em grande parte das tarefas com construções geométricas, não apenas os aspectos indutivo e dedutivo das provas, mas também possíveis movimentos do primeiro rumo ao segundo. Um dos principais resultados obtidos aponta que o Cabri é bastante sugestivo aos aprendizes no sentido de que tende a facilitar as verificações empíricas de propriedades geométricas nas figuras e, além disso, em grande medida, se centram mais nas tarefas de construções e descrição que nas de justificativas. Outro resultado importante diz respeito às dificuldades dos aprendizes com a noção de construção robusta, indicando que a tela do Cabri é confundida, muitas vezes com o ambiente do lápis e papel

Made available in DSpace on 2016-04-27T16:58:49Z (GMT). No. of bitstreams: 1 ADRIANA MARIA COZZOLINO.pdf: 4568146 bytes, checksum: 0e32b55df54f9d137d6bfb0530e21ca9 (MD5) Previous issue date: 2008-12-19 / Secretaria da Educação do Estado de São Paulo / This work is inserted in the context of teaching-learning Spatial Geometry in Basic Education, in particular, teaching Perspective by High School students and the relations between three-dimensional objects and their representations in the plain. We have used the dynamic geometry environment, CABRI 3D, considering the limitations existing of the paper and pencil environment. The difficulties of students in relation to three-dimensional representations into two-dimensional environment, were researched by Parzysz (1988, 1989, 1991, 2001), and our work was basis in his theoretical Geometry presuppositions. Our aim is verify how the education of the perspective can help students to change or to articulate different points of view of three-dimensional geometric object. Besides, to notice how CABRI 3D can contribute with them, so that they will articulate the real image and its representations. Design Experiments was adopted as the methodology of this work. It was developed by Steffe and Thompson (2000), Doerr and Wood (2000), Cobb et al (2003) and Collins et al (2004). High School students of a private school of the state of São Paulo participated in this work. Their productions showed that the changes between the paper and pencil (static) environment and the dynamic geometry environment CABRI 3D, contributed so that the students mobilize and articulate knowledge between the image and its representations. Finally, we pretend that this work was used as a tool to enlarge the visualization capacity and to sensitize the look of the students for the representations perspective of three-dimensional objects / A presente pesquisa está inserida no contexto do ensino-aprendizagem da Geometria Espacial na Educação Básica, referindo-se, em particular, ao ensino da Perspectiva para alunos do Ensino Médio e as relações entre os objetos tridimensionais e suas representações no plano. Optamos por utilizar o ambiente de geometria dinâmica CABRI 3D, considerando as limitações no ambiente convencional papel e lápis. As dificuldades dos alunos com relação à representação plana de objetos espaciais são tratados por Parzysz (1988, 1989, 1991, 2001) e estes estudos serviram como referencial teórico para a nossa pesquisa. Procuramos verificar em que medida o ensino da perspectiva pode auxiliar o aluno a mudar ou articular diferentes pontos de vista sobre um objeto geométrico tridimensional e de que forma o CABRI 3D pode contribuir para que articulem a imagem real e suas representações. A metodologia utilizada foi o Design Experiments, fundamentada nos autores Steffe e Thompson (2000), Doerr e Wood (2000), Cobb et al (2003) e Collins et al (2004). Participaram do estudo alunos do Ensino Médio de uma escola particular da cidade de São Paulo. As produções dos alunos mostraram que as variações entre o ambiente papel e lápis (estático) e ambiente de geometria dinâmica CABRI 3D, contribuíram para que eles mobilizassem seus conhecimentos e articulassem entre a imagem e suas representações. Este trabalho foi utilizado como uma ferramenta para ampliar a capacidade de visualização e sensibilizar o olhar dos alunos para as representações em perspectiva, de objetos espaciais

Made available in DSpace on 2016-04-27T16:58:57Z (GMT). No. of bitstreams: 1 Melanie Lerner Grinkraut.pdf: 4483294 bytes, checksum: 498ebeb44b05124be4090304a7b550a5 (MD5) Previous issue date: 2009-08-13 / This present study looked into the professional development of two Mathematics teachers, as a result of their participation in a research project called AProvaME (Argumentation and Proof in Mathematics Education), carried out by Pontifícia Universidade Católica (PUC) of São Paulo. Besides participating as researchers in the project, these teachers were studying for their Professional Mathematics Education Master s degree and teaching in public high schools. The present research monitored their processes during two years, while they were developing, implementing and evaluating learning situations in Geometry, which searched for the proof construction from the students, by the integration of Cabri-Géomètre software in the activities. According to the AProvaME proposal, during their participation in the project, these teachers were involved in a context, where group practices, as reflection, collaboration and investigation, besides others related to teaching experience, as the reflection on their own practice, were developed. This study aimed to check to what extent the teacher s participation in this project, propitiated a change in their conceptions and practices, influencing their professional development. In order to reach this goal, the theoretical references articulated the theories about professional development, the proof and the use of technological resources in the educational environment. The research s methodology was focused in the qualitative investigation, using the case study, considered as analytic, investigating both teachers as multiple cases . These two teachers passed through different processes in their courses, while participating in the AProvaME, which occurred partly because their own personal characteristics, their experience as students and teachers and what they had lived in the project, leading to different evidences of professional development. To one of them, the participation in a group, where practices as reflection, collaboration and investigation were developed, turned to be catalyst to promote changing in conceptions and practices, reflecting in his professional development. The other one, who was not submitted to these practices in such a strong way, could not break with previous conceptions and practices. In spite of this, the results already suggest that to both teachers the participation in the project lead them to broaden their mathematical knowledge. They also became aware of the possibilities of computers use in the learning activities and the difficulties which involves this integration. In the end of the AProvaME, it was verified the importance given by the teachers to the experienced process, in a way that they started to take into account the students development mathematical skills, the reasoning involved in the proof process, even if many times the students were not able to reach the required mathematical formalization. This study presents indications that the way how researches projects are conducted, included in processes of continuity teacher s education programs, where occur group practices, such as reflection, collaboration and investigation, could establish excellent opportunities of professional development for the teachers that attended the project. However, individual and personal factors can also interfere, because the group does not always benefit to all the people involved. This study tried to reveal ways to rethink formative processes, which can result in professional development / Este trabalho investigou o desenvolvimento profissional de dois professores de Matemática, como decorrência de sua participação em um projeto de pesquisa, o AProvaME (Argumentação e Prova na Matemática Escolar), conduzido pela Pontifícia Universidade Católica de São Paulo (PUC). Além de participarem como pesquisadores no projeto, eram alunos do Mestrado Profissional em Ensino de Matemática e lecionavam no Ensino Médio em escolas públicas estaduais. A presente pesquisa acompanhou-os no decorrer de dois anos durante o processo em que elaboraram, aplicaram e analisaram situações de aprendizagem em conteúdos pertencentes à Geometria, que buscavam a construção da prova por parte de seus alunos, por meio da integração do software Cabri-Géomètre nas atividades. De acordo com a proposta do AProvaME, durante a participação neste projeto, eles estiveram inseridos em um contexto, no qual foram desenvolvidas práticas coletivas de reflexão, colaboração e investigação, além de outras relacionadas à experiência docente, como reflexões sobre a própria prática. Este estudo objetivou averiguar em que medida a participação destes professores no projeto promoveu transformações em concepções e práticas, e influenciou o seu desenvolvimento profissional. Para atingir tal objetivo, o referencial teórico articulou as teorias sobre o desenvolvimento profissional, a prova e o uso de recursos da informática em um contexto educacional. A metodologia de pesquisa localizou-se no âmbito da investigação qualitativa, usando o estudo de caso que, pôde ser caracterizado como analítico, considerando-se como casos múltiplos , os dois professores. Estes passaram por processos diferentes no decorrer de seus respectivos percursos inseridos no AProvaME, que ocorreram em parte devido às características pessoais, às experiências discente e docente anteriores e ao que cada um vivenciou no projeto, proporcionando indícios de desenvolvimento profissional diferenciados. Enquanto para um deles, a participação em uma prática de grupo reflexiva, colaborativa e investigativa mostrou-se catalisadora na promoção de mudanças em concepções e práticas, refletindo em seu desenvolvimento profissional, o outro não submetido a estas práticas de forma tão intensa, aliado a fatores pessoais, não conseguiu romper com concepções e práticas anteriores. Apesar disto, os resultados ainda sugerem que para ambos participar do projeto possibilitou a ampliação de seu conhecimento matemático em relação aos temas tratados; a sensibilização quanto às possibilidades de utilização dos computadores em atividades de ensino; e as dificuldades relacionadas com esta integração. Constatou-se ao final do AProvaME, a importância que atribuíram ao processo vivenciado, na medida em que passaram a valorizar as produções dos alunos, o raciocínio desenvolvido na elaboração da prova, ainda que, muitas vezes, estes não conseguissem atingir a formalização matemática esperada. Este estudo apresenta indícios de que a forma como projetos de pesquisa são conduzidos, inseridos em processos de formação continuada, nos quais ocorram práticas de grupo, como as de reflexão, colaboração e investigação, podem consistir em excelentes oportunidades de desenvolvimento profissional para os professores participantes. Contudo, fatores individuais e pessoais também podem interferir, pois nem sempre o grupo consegue beneficiar a todos os envolvidos. Este estudo procurou revelar caminhos para repensar-se processos de formação que possam resultar em desenvolvimento profissional

Made available in DSpace on 2016-04-27T16:59:04Z (GMT). No. of bitstreams: 1 Talita Carvalho Silva de Almeida.pdf: 3837664 bytes, checksum: 6aa928cfc78fbe58633dd69e12c49ccc (MD5) Previous issue date: 2010-04-26 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / This research aims to revisit the mathematical object Archimedean Solids through their constructions on the environment of Dynamic Geometry Cabri 3D. Thus, the research question was: Can the mathematical object Solids Archimedean be rescued as the object of education for the Basic School using the environment as habitat Dynamic Geometry Cabri 3D? To investigate processes of construction for these solid, we resort to a bibliographic developed based on material already prepared, consisting of books and scientific articles. The theoretical framework was based on the Theory of Didactic Transposition to promote the relationship between the epistemological analysis and didactic analysis, while identifying characteristics that determine the survival of the Archimedean Solids mathematical object as the object of education, and the theory of Register of Representation Semiotics of Duval (1995), to identify and analyze the register mobilized for the construction of solid as well as highlight treatments and conversions made. The methodological choice for literature contributed to the achievement of the desired goal, since it allowed us to find a mathematical procedure performed by Renaissance to obtain Archimedean from cut edges of Platonic solids. The analysis of the constructions helped us realize that the only figural treatments are not sufficient for the construction of the Archimedean solids in Cabri 3D, it is necessary to mobilize a record discursive support for the cut-off points on Platonic solids can be found. Accordingly, we find that Cabri 3D was confirmed as a habitat for the study of Archimedean Solids, because recognized as an object all the knowledge that determine the existence of mathematical object as an object of education / O presente trabalho tem como objetivo revisitar o objeto matemático Sólidos Arquimedianos por meio de suas construções no ambiente de Geometria Dinâmica Cabri 3D. Assim, a pergunta de pesquisa foi: o objeto matemático Sólidos Arquimedianos pode ser resgatado como objeto de ensino para a Escola Básica, utilizando como habitat o ambiente de Geometria Dinâmica Cabri 3D? Para investigar processos de construção para esses sólidos, recorremos a um estudo bibliográfico desenvolvido com base em material já elaborado, constituídos principalmente de livros e artigos científicos. O referencial teórico baseou-se na Transposição Didática e na Problemática Ecológica de Yves Chevallard (1991), para promover a articulação entre a análise epistemológica e a análise didática, além de apontar características outras que determinam a sobrevivência do objeto matemático Sólidos Arquimedianos enquanto objeto de ensino, e na teoria dos Registros de Representação Semiótica de Duval (1995), para identificar e analisar quais os registros mobilizados para a construção desses sólidos, bem como evidenciar os tratamentos e conversões efetuados. A escolha metodológica pela pesquisa bibliográfica contribuiu para o alcance do objetivo desejado, visto que nos permitiu encontrar um procedimento matemático realizado por renascentistas para a obtenção de arquimedianos a partir de cortes nas arestas de sólidos platônicos. As análises das construções realizadas ajudaram a perceber que os tratamentos apenas figurais não são suficientes para a construção dos Sólidos Arquimedianos no Cabri 3D, faz-se necessário mobilizar um registro discursivo suporte para que os pontos de corte em sólidos platônicos possam ser encontrados. Nesse sentido, constatamos que o Cabri 3D se confirmou como um habitat para o estudo dos Sólidos Arquimedianos, na medida em reconheceu como objeto todos os saberes que determinam a existência desse objeto matemático enquanto objeto de ensino