Thesis (M.T.S.C.)--Miami University, Dept. of English, 2004. / Title from first page of PDF document. Includes bibliographical references (p. 36).

Submitted by Alison Vanceto (alison-vanceto@hotmail.com) on 2017-09-13T18:23:58Z No. of bitstreams: 1 DissWML.pdf: 4207155 bytes, checksum: 5811f047e7b65dbd43f52f60e16255ba (MD5) / Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-09-20T13:58:00Z (GMT) No. of bitstreams: 1 DissWML.pdf: 4207155 bytes, checksum: 5811f047e7b65dbd43f52f60e16255ba (MD5) / Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-09-20T13:58:07Z (GMT) No. of bitstreams: 1 DissWML.pdf: 4207155 bytes, checksum: 5811f047e7b65dbd43f52f60e16255ba (MD5) / Made available in DSpace on 2017-09-20T14:05:26Z (GMT). No. of bitstreams: 1 DissWML.pdf: 4207155 bytes, checksum: 5811f047e7b65dbd43f52f60e16255ba (MD5) Previous issue date: 2017-06-29 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / This research was started because of concerns regarding the teaching and learning of Counting Problems in Elementary School. With the intent of contributing to the construction of basic Combinatorial concepts, we elaborated exploratory-investigative tasks and we tried through these tasks, to analyze the answers that were made by students of an 8th grade of Elementary School, in order to answer the following investigative question: what learning occurs with the mobilization of registers of semiotic representation theory to do counting in a scenario of exploratory- investigative tasks in an 8th grade of Elementary School? The theoretical and methodological reference is constituted by the registers of semiotic representation theory propounded by Duval; by the theory of Mathematical Investigations, Ponte et al. Besides that the research also had the collaboration of Pessoa and Borba. We present a brief historical retrospective on the subject, besides a previous analysis of other works in the area and official documents aimed at teaching and learning of Mathematics subject regarding to contents of Counting Problems in Elementary School. The research was developed with a group of 25 students of the 8th grade Elementary School in a public school in São Paulo state, in the year 2016. The data collection was done through field notes (logbook), and from the records written by the students during the development of the sequence of tasks. Through this investigation, we could verify that the study of Counting Problems through exploratory-investigative tasks allows the articulation of different registers of semiotic representation, leading to a better understanding of this topic. / Esta pesquisa originou-se a partir de inquietações relacionadas ao ensino e aprendizagem de Problemas de Contagem no Ensino Fundamental. Com a intenção de contribuir para a construção de conceitos básicos de Combinatória, elaboramos tarefas de natureza exploratório-investigativas e procuramos por meio destas, analisar as respostas produzidas por estudantes de um 8o ano do Ensino Fundamental, com o intuito de responder a seguinte questão de investigação: que aprendizagem ocorre com a mobilização de registros de representação semiótica para a realização de contagens em um cenário de tarefas exploratório-investigativas num 8o ano do Ensino Fundamental? O referencial teórico e metodológico é constituído pela teoria dos registros de representação semiótica proposta por Duval e pela teoria das Investigações Matemáticas, proposta Ponte et al. Além disso o trabalho também contou com a colaboração de Pessoa e Borba. Realizamos um breve retrospecto histórico sobre o tema, além de uma análise previa de outros trabalhos na área, e documentos oficiais voltados para o ensino e aprendizagem da Matemática no que diz respeito a conteúdos relacionados a Problemas de Contagem no Ensino Fundamental. A pesquisa foi desenvolvida em uma turma de 25 alunos do 8o ano Ensino Fundamental de uma escola da rede pública de ensino do estado de São Paulo, no ano de 2016. A coleta de dados se deu por meio de notas de campo (diário de bordo), e dos registros produzidos pelos estudantes ao logo do desenvolvimento da sequência de tarefas. Através desta investigação, pudemos verificar que o estudo de Problemas de Contagem por meio de tarefas exploratório- investigativas possibilita a articulação entre diferentes registros de representação semiótica, o que leva a um melhor entendimento desse tema.

Les ordinateurs équipés d'accélérateurs sont omniprésents parmi les machines de calcul haute performance. Cette évolution a entraîné des efforts de recherche pour concevoir des outils permettant de programmer facilement des applications capables d'utiliser toutes les unités de calcul de ces machines. Le support d'exécution StarPU développé dans l'équipe STORM de INRIA Bordeaux, a été conçu pour servir de cible à des compilateurs de langages parallèles et des bibliothèques spécialisées (algèbre linéaire, développements de Fourier, etc.). Pour proposer la portabilité des codes et des performances aux applications, StarPU ordonnance des graphes dynamiques de tâches de manière efficace sur l’ensemble des ressources hétérogènes de la machine. L’un des aspects les plus difficiles, lors du découpage d’une application en graphe de tâches, est de choisir la granularité de ce découpage, qui va typiquement de pair avec la taille des blocs utilisés pour partitionner les données du problème. Les granularités trop petites ne permettent pas d’exploiter efficacement les accélérateurs de type GPU, qui ont besoin de peu de tâches possédant un parallélisme interne de données massif pour « tourner à plein régime ». À l’inverse, les processeurs traditionnels exhibent souvent des performances optimales à des granularités beaucoup plus fines. Le choix du grain d’un tâche dépend non seulement du type de l'unité de calcul sur lequel elle s’exécutera, mais il a en outre une influence sur la quantité de parallélisme disponible dans le système : trop de petites tâches risque d’inonder le système en introduisant un surcoût inutile, alors que peu de grosses tâches risque d’aboutir à un déficit de parallélisme. Actuellement, la plupart des approches pour solutionner ce problème dépendent de l'utilisation d'une granularité des tâches intermédiaire qui ne permet pas un usage optimal des ressources aussi bien du processeur que des accélérateurs. L'objectif de cette thèse est d'appréhender ce problème de granularité en agrégeant des ressources afin de ne plus considérer de nombreuses ressources séparées mais quelques grosses ressources collaborant à l'exécution de la même tâche. Un modèle théorique existe depuis plusieurs dizaines d'années pour représenter ce procédé : les tâches parallèles. Le travail de cette thèse consiste alors en l'utilisation pratique de ce modèle via l'implantation de mécanismes de gestion de tâches parallèles dans StarPU et l'implantation ainsi que l'évaluation d'ordonnanceurs de tâches parallèles de la littérature. La validation du modèle se fait dans le cadre de l'amélioration de la programmation et de l'optimisation de l'exécution d'applications numériques au dessus de machines de calcul modernes. / Hybrid computing platforms equipped with accelerators are now commonplace in high performance computing platforms. Due to this evolution, researchers concentrated their efforts on conceiving tools aiming to ease the programmation of applications able to use all computing units of such machines. The StarPU runtime system developed in the STORM team at INRIA Bordeaux was conceived to be a target for parallel language compilers and specialized libraries (linear algebra, Fourier transforms,...). To provide the portability of codes and performances to applications, StarPU schedules dynamic task graphs efficiently on all heterogeneous computing units of the machine. One of the most difficult aspects when expressing an application into a graph of task is to choose the granularity of the tasks, which typically goes hand in hand with the size of blocs used to partition the problem's data. Small granularity do not allow to efficiently use accelerators such as GPUs which require a small amount of task with massive inner data-parallelism in order to obtain peak performance. Inversely, processors typically exhibit optimal performances with a big amount of tasks possessing smaller granularities. The choice of the task granularity not only depends on the type of computing units on which it will be executed, but in addition it will influence the quantity of parallelism available in the system: too many small tasks may flood the runtime system by introducing overhead, whereas too many small tasks may create a parallelism deficiency. Currently, most approaches rely on finding a compromise granularity of tasks which does not make optimal use of both CPU and accelerator resources. The objective of this thesis is to solve this granularity problem by aggregating resources in order to view them not as many small resources but fewer larger ones collaborating to the execution of the same task. One theoretical machine and scheduling model allowing to represent this process exists since several decades: the parallel tasks. The main contributions of this thesis are to make practical use of this model by implementing a parallel task mechanism inside StarPU and to implement and study parallel task schedulers of the literature. The validation of the model is made by improving the programmation and optimizing the execution of numerical applications on top of modern computing machines.

The diploma thesis deals with the use of our senses in art education. The theoretical part of the thesis clarifies concepts of "pedagogical constructivism, personality approach in the teaching of art education, creation as self-knowledge, sensory education", opens the question of experience as a starting point for art activities for contemporary pupils at the time of digital technologies. Our senses that come out of us are inseparable and ubiquitous, therefore they interfer with the various other components of our lives. So that's why the work tried to cover the senses to a wider extent of our conduct. Sometimes the theoretical part ranged from the chosen trajectory, but it was only because of the strong feelings of necessity to think about the question of human culture or at least to mention the anchoring of our education in history. This section also focuses on the psychological side of sensory sensitivity education. The five elaborated tasks in the didactic part bring a look into art lessons which characteristic features are experience, imagination, free decision and easiness, which originates from true sincerity and truthfulness towards oneself. The main inspirational component is sensory sensitivity. At the conclusion of the didactic part there is a summary of all reflective dialogues and...

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-29T18:03:18Z No. of bitstreams: 1 PAULO EDUARDO E SILVA BARBOSA - DISSERTAÇÃO PPGCC 2007..pdf: 549401 bytes, checksum: ffeac306fd7624758ab88a5062b5a5ae (MD5) / Made available in DSpace on 2018-08-29T18:03:18Z (GMT). No. of bitstreams: 1 PAULO EDUARDO E SILVA BARBOSA - DISSERTAÇÃO PPGCC 2007..pdf: 549401 bytes, checksum: ffeac306fd7624758ab88a5062b5a5ae (MD5) Previous issue date: 2007-02-23 / Todo programador ou engenheiro de software lida com um problema crônico na concepção de seus sistemas: violações das especificações ou requisitos de projeto. Essas violações necessitam de uma captura imediata, pois geralmente originam falhas que só podem ser descobertas tardiamente, a um custo de reparo bastante elevado. Nos últimos anos, pesquisadores da ciência da computação estão conseguindo um progressonotávelnodesenvolvimentodetécnicaseferramentasqueverificamautomaticamente requisitos e projeto. A abordagem em maior evidência chama-se verificação de modelos (model-checking). Verificação de modelos é uma técnica formal e algorítmica de se fazer verificação de propriedades de sistemas com um espaço de estados finito. Suas principais vantagens são o poder de automação e a qualidade dos resultados produzidos. Porém, esta técnica sofre de um problema fundamental — a explosão do espaço de estados — que se deve ao crescimento exponencial na estrutura que representa o comportamento de sistemas e à falta de recursos computacionais disponíveis para lidar com grandes quantidades de informação sobre o comportamento dos sistemas sob verificação. Este trabalho concentra-se em verificação de modelos utilizando plataformas de distribuição como tentativa de aliviar o problema citado. Mais detalhadamente, investigamos o uso de grades computacionais que rodam aplicações bag-of-tasks e formulamos algoritmos específicos para o processo de verificação. Aplicações bag-of-tasks são aplicações paralelas cujas tarefas são independentes entre si. Elas são as aplicações mais apropriadas para grades computacionais por permitirem heterogeneidade dos recursos. Aplicamos ferramentas de grades computacionais como uma camada entre a ferramenta de verificação e os recursos distribuídos compartilhados existentes e comparamos os quesitos desempenho e escala nos sistemas a serem verificados em relação às versões centralizadas de verificadores. A plataforma empregada na distribuição é muito atrativa no quesito custo, controle e escala. Através do compartilhamento de uma simples máquina, o engenheiro de sistemas ganha acesso a uma comunidade provedora de uma grande quantidade de recursos heterogêneos e automaticamente gerenciados para se fazer computação paralela seguindo sua filosofia. Durante o trabalho, essas vantagens são comparadas com suas desvantagens, como o alto custo de comunicação e a dificuldade de particionar o processo, por exemplo. O trabalho envolveu a produção das seguintes ferramentas: uma API genérica para a geração distribuída de grafos que representam o comportamento de sistemas concorrentes sobre plataformas de grades computacionais bag-of-tasks, um protótipo de verificação CTL que age de duas maneiras distintas, sendo on-the-fly durante a geração do espaço de estados ou sobre esse espaço de estados distribuído representado explicitamente seguindo a mesma filosofia de comunicação e versões simplificadas de simuladores de sistemas concorrentes sob alguns formalismos baseados em redes de Petri. Resultados experimentais sobre a aplicação deste ferramental são apresentados. / Every programmer or software engineer deals with a chronic problem during the conception of their systems: violations in the project requirements. These violations need to be discovered early be cause they generally produce errors that can be discovered later, at a very expensive cost to repair. In recent years, researchers in computer science are obtaining a notable progress in the development of techniques and tools to automatically verify requirements and designs. The most evidently approach is called model-checking. Model checking is a formal and algorithmic technique to perform properties verification in a finite state space of systems. Its main advantages are the automation power and the quality of the produced results. However this technique suffers from one big and foundamental problem - the state space explosion which is the absense of computational resources available today’s to deal with large amounts of information about the behavior of the systems under verification. This work investigates a solution to verify models in a distributed way using computational grids which runs bag-of-tasks applications, alleviating the mentioned problem. Bagof-tasks applications are those parallel applications which tasks arei ndependent of each other and are the applications most suited for computational grids because they allow heterogeneity between resources. We employ computational grid tools as a layer between between the verificationtooland the distributed shared resources. This verification is performed by adapted CTL algorithms to the bag-of-tasks philosophy. So we intend to obtain improvements in speed-up and scalability in the systems to be checked when compared to centralized versions of verifiers produced in side the group. Moreover,the employed middleware in the distribution is very attractive in the cost and control aspects. By sharing a single machine, the system engineer obtains access to a community that provides large amounts of heterogeneous resources automatically managed to perform parallel computation. This work included the production of the following tools: a generic API to the distributed generation of graphs that describes the behavior of concurrent systems under bag-of-tasks computational grids platforms, a prototype to check for CTL properties using on-the-fly algorithms or iterating over the generated fragments of the distributed graph. We also implemented simplified versions of simulators of concurrent systems following some formalisms based on Petri nets. Experimental results are also presented.

This thesis in the first part deals with the work of sales representatives. In the second part is presented the company UniCredit Leasing CZ, in which it analyzedis by work management control of sales representatives - employees and the representatives of the self-employed. The thesis compares two models rank sales representative, and external and internal management sales representative. The conclusion is evaluated the situation researched the company and suggasted recommendations to improve the management of business performance data and also to determine whether the position of sales representative, which is controlled by externally, has the potential and prospects in the future.

This diploma thesis deals with conceptual knowledge of elementary school students about the forest ecosystem. Ecological relationships are represented in the textbooks analyzed, but they are not sufficiently explained and practically practiced. Tasks are aimed at determining the level of understanding of the relationship between organisms and between organisms and the environment. The level of pupils' knowledge of the context is reflected in the test tasks, the design and implementation of which was carried out by the author. After the test, a set of activities is used to correct the deficiencies. Totally moderate shifts towards improvement are achieved, but these differences do not account for the unambiguous success of applied activities. The research shows that pupils of the 5th grade of the primary school do not quite understand the relationships in the forest ecosystem.

The goal of my diploma thesisis to create a set of tasks for education at basic school. This thesis is especially focused on realization of tasks from practice.In theoretical part I deal with complex of inter-subject relations between described branches in this work, computer support, selection of 3D CAD programmes at basic school with regard to price availability and technical designing (drawing). The practical part is focused on working papers. This part allows the construction of product using the calculation of word task. This calculation makes theimage about that product easier and allows creation of model in the CAD programme and the final production. This thesis is checked up by pupils in ninth degree of basic school. The fundamental part of this work forms appendix of working papers, which are prepared for education. I consider the approachof solving the tasks for pupils at second degree of basic school to be innovative.

O Curso de Espanhol/Português de Intercâmbio – CEPI é um curso a distância que tem como objetivo preparar os estudantes intercambistas participantes do Programa Escala, no âmbito da Associação de Universidades Grupo Montevidéu (AUGM), para a experiência de intercâmbio antes de a mobilidade espacial ocorrer. A partir da realização de tarefas que antecipem situações com as quais deverão lidar durante seu intercâmbio propriamente dito (SCHLATTER et al, 2007), buscou-se elaborar tarefas relevantes para tal contexto de intercâmbio na plataforma Moodle. Tendo em vista que as relações humanas ocorrem através do uso da linguagem e que essa, por sua vez, se dá por meio de gêneros, pode-se afirmar que são esses gêneros que organizam nossa comunicação (BAKHTIN, 2003). Para compor as condições de produção para os diferentes usos da língua em cenários relevantes para os intercambistas, as informações contidas nos enunciados das tarefas são fundamentais para orientar a compreensão dos alunos no que diz respeito ao que lhe é proposto. É a partir da leitura do enunciado da tarefa que o aluno encontrará uma motivação para a leitura do texto e para a produção de seu próprio texto em resposta à leitura feita. Essa motivação pode ser apresentada através da explicitação da situação comunicativa proposta: uma interlocução (quem lê/quem escreve), um propósito (para que) e a composição do texto (de que maneira). O foco deste trabalho é analisar as 23 tarefas de leitura e produção escrita elaboradas para a terceira edição do CEPI com o intuito de verificar se: 1) as ações projetadas nas tarefas refletem o que está proposto nos objetivos gerais e específicos do curso; e 2) as produções escritas dos alunos atualizam as ações projetadas por essas tarefas. Para isso, analiso os enunciados das tarefas com o intuito de verificar a explicitação dos componentes necessários para projetar a configuração da interlocução, critério fundamental para a realização da ação e, portanto, para cumprir a tarefa de leitura e escrita (SCHOFFEN, 2009; GOMES, 2009; CARILO, 2009). Analiso também 15 produções escritas de alunos do CEPI para verificar como esses textos atualizam as ações projetadas pelas tarefas. A análise apontou que os enunciados das tarefas analisadas explicitam o gênero discursivo de recepção e produção e que essas tarefas estão adequadas às ferramentas do Moodle na qual se apresentam para leitura/escrita. Além disso, é possível, a partir das produções dos alunos, verificar a realização das ações projetadas para tais tarefas. Com base nesses resultados, sugiro alterações nos enunciados das tarefas que explicitem mais detalhadamente as condições de produção para as ações projetadas, esperando contribuir para a discussão acerca da elaboração de tarefas de leitura e produção escrita no ensino de Línguas Adicionais no contexto a distância. / The Spanish and Portuguese Courses for University Exchange Students – CEPI is an online course that aims at preparing exchange students who are part of Programa Escala, within Montevideo Group Universities Association (AUGM), to the exchange experiences before their spatial mobility. By developing tasks that anticipate situations with which those students will deal during their exchange itself (SCHLATTER et al, 2007), we sought to develop tasks that would be relevant to this exchange context having Moodle as our online platform. Considering that human relationships arise through the use of language and that occurs through genres, it can be said that these genres organize our communication (BAKHTIN, 2003). In order to set production conditions to different uses of language in relevant scenarios for those exchange students, the information included in the tasks’ rubrics is crucial to guide students’ comprehension regarding what is being proposed. It is by reading the tasks’ rubrics that students will find motivation to read the text and to write their production as a response to that text they have read. This motivation might be presented by clarifying the communicative situation proposed in the rubrics: an interlocution (who reads/who writes), a purpose (what for) and the text composition (how). The present study has the objective of analyzing the twenty three reading and writing tasks developed to the third edition of CEPI in order to verify is 1) the actions projected by the tasks reflect what is proposed by the course’s general and specific objectives; and 2) the students’ written productions confirm those actions projected by the tasks. For that purpose, I analyze the tasks’ rubrics in order to verify the clarity regarding necessary components to project interlocution configuration, fundamental criterion to perform those actions and, therefore, to accomplish the reading and writing task (SCHOFFEN, 2009; GOMES, 2009; CARILO, 2009). I also analyze fifteen written productions from CEPI students to verify how those writings confirm the actions projected by the tasks. The analysis indicated that the tasks’ rubrics which were analyzed clarify discourse genres for reception and production and that those tasks are adequate to the tools of Moodle they are presented to be read/written. Furthermore, it is possible to verify that the students perform the actions projected by the tasks through their written productions. Based on these results, I suggest to alter some rubrics so that the tasks might further clarify production conditions to the projected actions, hoping, thereupon, to contribute to the discussion concerning reading and writing tasks development for Additional Language teaching in online context.

Previsões meteorológicas para longos períodos de tempo estão se tornando cada vez mais importantes. A preocupação mundial com as consequências da mudança do clima tem estimulado pesquisas para determinar o seu comportamento nas próximas décadas. Ao mesmo tempo, os passos necessários para definir uma melhor modelagem e simulação do clima e/ou tempo estão longe da precisão desejada. Aumentar o refinamento da superfície terrestre e, consequentemente, aumentar o número de pontos discretos (utilizados para a representação da atmosfera) na modelagem climática e precisão das soluções computadas é uma meta que está em conflito com o desempenho das aplicações numéricas. Aplicações que envolvem a interação de longos períodos de tempo e incluem um grande número de operações possuem um tempo de execução inviável para as arquiteturas de computadores tradicionais. Para superar esta situação, um modelo climatológico pode adotar diferentes níveis de refinamento da superfície terrestre, utilizando mais pontos discretos somente em regiões onde uma maior precisão é requerida. Este é o caso de Ocean-Land-AtmosphereModel, que permite o refinamento estático de uma determinada região no início da execução do código. No entanto, um refinamento dinâmico possibilitaria uma melhor compreensão das condições climáticas específicas de qualquer região da superfície terrestre que se tivesse interesse, sem a necessidade de reiniciar a execução da aplicação. Com o surgimento das arquiteturas multi-core e a adoção de GPUs para a computação de propósito geral, existem diferentes níveis de paralelismo. Hoje há paralelismo interno ao processador, entre processadores e entre computadores. Com o objetivo de extrair ao máximo a performance dos computadores atuais, é necessário utilizar todos os níveis de paralelismo disponíveis durante o desenvolvimento de aplicações concorrentes. No entanto, nenhuma interface de programação paralela explora simultaneamente bem os diferentes níveis de paralelismo existentes. Baseado neste contexto, esta tese investiga como explorar diferentes níveis de paralelismo em modelos climatológicos usando interfaces clássicas de programação paralela de forma combinada e como é possível prover refinamento de malhas em tempo de execução para estes modelos. Os resultados obtidos a partir de implementações realizadas mostraram que é possível reduzir o tempo de execução de uma simulação atmosférica utilizando diferentes níveis de paralelismo, através do uso combinado de interfaces de programação paralela. Além disso, foi possível prover maior desempenho na execução de aplicações climatológicas que utilizam refinamento de malhas em tempo de execução. Com isso, uma malha de maior resolução para a representação da atmosfera terrestre pode ser adotada e, consequentemente, as previsões numéricas serão mais precisas. / Weather forecasts for long periods of time has emerged as increasingly important. The global concern with the consequences of climate changes has stimulated researches to determine the climate in coming decades. At the same time the steps needed to better defining the modeling and the simulation of climate/weather is far of the desired accuracy. Upscaling the land surface and consequently to increase the number of points used in climate modeling and the precision of the computed solutions is a goal that conflicts with the performance of numerical applications. Applications that include the interaction of long periods of time and involve a large number of operations become the expectation for results infeasible in traditional computers. To overcome this situation, a climatic model can take different levels of refinement of the Earth’s surface, using more discretized elements only in regions where more precision are required. This is the case of Ocean-Land- Atmosphere Model, which allows the static refinement of a particular region of the Earth in the early execution of the code. However, a dynamic mesh refinement could allow to better understand specific climatic conditions that appear at execution time of any region of the Earth’s surface, without restarting execution. With the introduction of multi-core processors and GPU boards, computers architectures have many parallel layers. Today, there are parallelism inside the processor, among processors and among computers. In order to use the best performance of the computers it is necessary to consider all parallel levels to distribute a concurrent application. However, nothing parallel programming interface abstracts all these different parallel levels. Based in this context, this thesis investigates how to explore different levels of parallelism in climatological models using mixed interfaces of parallel programming and how these models can provide mesh refinement at execution time. The performance results show that is possible to reduce the execution time of atmospheric simulations using different levels of parallelism, through the combined use of parallel programming interfaces. Higher performance for the execution of atmospheric applications that use online mesh refinement was also provided. Therefore, more mesh resolution to describe the Earth’s atmosphere can be adopted, and consequently the numerical forecasts are more accurate.