Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2014-08-15T15:17:28Z No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Dissertacao Michelle M de Medeiros.pdf: 2738633 bytes, checksum: e1e98c1ee5ac88193602d29a282e5c6b (MD5) / Made available in DSpace on 2014-08-15T15:17:28Z (GMT). No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Dissertacao Michelle M de Medeiros.pdf: 2738633 bytes, checksum: e1e98c1ee5ac88193602d29a282e5c6b (MD5) Previous issue date: 2011-09-01 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / Celestial objects / Objetos celestes como a Lua e o Sol bloqueiam os raios cósmicos que vem de suas direções para a Terra, produzindo um défcit chamado de sombra. A medida deste défcit possibilita a determinação da resolução angular e do alinhamento de detectores de raios cósmicos, o estudo dos campos magnéticos terrestre, solar e interplanetário e a determinação da razão antipróton/próton na escala de energia TeV. Vários experimentos já observaram a sombra de raios cósmicos da Lua e/ou do Sol com o objetivo de calibrar seus detectores. Descrevemos neste trabalho o experimento MINOS e seus resultados da sombra da Lua e do Sol. Simulamos a sombra da Lua levando em conta seu movimento no céu e, para tanto, de nimos e testamos métodos de simulação e diferentes composições para os raios cósmicos. Também avaliamos várias proporções para antiprótons no fluxo de raios cósmicos a m de comparar com os resultados do experimento MINOS e conjecturar uma possível razão p=p para os dados observados. Ambos os métodos que de nimos, método do dé cit e da fonte de raios cósmicos, permitiram uma análise qualitativa da sombra. No entanto, só foi possível realizar uma análise quantitativa na simulação tendo a Lua como um défcit. Dessa forma, adotamos este método para as simulações subsequentes. Notamos algumas diferenças para as sombras obtidas usando próton e núcleo de hélio como partículas primárias de raios cósmicos. Todavia, a sombra encontrada combinando prótons (90%) e núcleos de hélio (10%) foi semelhante à sombra obtida apenas para prótons. Na simulação incluindo o movimento da Lua, avaliamos os efeitos do campo geomagnético na partícula primária, desde a Lua até a atmosfera terrestre, e nos múons (partícula secundária) desde sua produção até o nível do mar. Como esperado, obtivemos uma sombra da Lua mais similar com os resultados do experimento MINOS ao incluir a de exão tanto das partículas primárias dos raios cósmicos quanto das partículas do chuveiro do que considerando apenas o desvio destas últimas. Nossa simulação foi capaz de reproduzir a sombra provocada pela Lua com a localização do maior dé cit comparável àquela encontrada pelo experimento MINOS. Entretanto, ainda acrescentamos núcleos de hélio e antiprótons na simulação incluindo o movimento da Lua com o objetivo de melhorar o resultado. Obtivemos um défcit localizado o mais próximo possível do obtido pelo experimento MINOS usando a proporção p=p = 0;45. Tal resultado deve ser melhor estudado e a simulação aprimorada para que se determine esta razão entre antiprótons e prótons com a precisão adequada.

The investigations were carried out in the collection pears garden of the Lithuanian Institute of Horticulture in 2004.The aim of the work was to evaluate the manifestation of biological and morfometrical charakteristics of pears varieties of different origin to distinguish the desireable charakteristics and to recommend the varieties that are suitable for further selection in Lithuania. 161 pear cultivars were investigated. Phenological phases, their begginnig and duration, blossom injuries caused by spring frost, end of vegetation and fruits morphometrical parameters were evaluated. The latter two characters were estimated according to the scale 0 – 5: 0 – flowers not injured, 5 – all flowers injured in inflorescence. At the end of vegetation: 0 – leaf fall not started, 5 – all leaves are fallen. It was ascertained that 2,5  of investigated pear cultivars came into bloom on April 30. the phase of full bloom lasted for 12 days. On May 14 air temperature 1,5 m above land during spring frost dropped up to – 3,1 C degrees. Twelve cultivars did not show any symptoms of injury by frost, but blossoms of 12 ones were heavily damaged or killed. At the beginnig of November leaves were not fallen on fruit trees of 50 % pear cultivars and only 8 – 10 % cultivars ended vegetation.

Submitted by Ronildo Prado (ronisp@ufscar.br) on 2017-08-23T17:44:07Z No. of bitstreams: 1 DissPCSGS.pdf: 4962933 bytes, checksum: 743628f59c577aa14f19c97309925d35 (MD5) / Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-08-23T17:44:15Z (GMT) No. of bitstreams: 1 DissPCSGS.pdf: 4962933 bytes, checksum: 743628f59c577aa14f19c97309925d35 (MD5) / Approved for entry into archive by Ronildo Prado (ronisp@ufscar.br) on 2017-08-23T17:44:21Z (GMT) No. of bitstreams: 1 DissPCSGS.pdf: 4962933 bytes, checksum: 743628f59c577aa14f19c97309925d35 (MD5) / Made available in DSpace on 2017-08-23T17:44:27Z (GMT). No. of bitstreams: 1 DissPCSGS.pdf: 4962933 bytes, checksum: 743628f59c577aa14f19c97309925d35 (MD5) Previous issue date: 2016-12-14 / Não recebi financiamento / This research presents results of an investigation of educational pedagogy done with a group of second grade students from an Elementary School. The investigation involved observations of the Moon and educational activities used to teach about Moon phases. An overview of the academic literature on the teaching of the theme of the Moon and its phases was conducted, with a bibliographical review of theses and dissertations, journal articles, papers presented at selected conferences, and some international papers on this topic. From the literature review, it was found that there are few studies that actually address of how observation of the Moon in the sky can be used to effectively teach Moon phases to elementary school students. In this study, students observed and recorded the appearance of the Moon and its place in the sky through drawings. The drawings included the position of the Moon relative to the horizon and used observations made at the school and at their homes during part of a lunar month. Using these initial Moon observations and the student drawings, there were discussions in the classroom designed to consolidate student knowledge. In this research, the data were obtained through interviews, class records, and student observations notebooks. A control group was not used. The researcher was also the teacher of the class where the research was developed. The student observations made it possible for the students to perceive the Moon's apparent motion, as well as its change of appearance over several nights. Through classroom discussions centered on the observations, it was clear that the observations helped develop student concept knowledge of Moon phases that would be difficult to develop from classroom experiences that did not include observations. This experiential connection from the observation of the Moon fostered a relationship with the knowledge implied to the reality of nature. For the initial years, in the Astronomy teaching, this is an important link that can promote the learning of such contents, from the senses of the child and the teacher intervention in a flexible and open way. / Esta pesquisa apresenta resultados de uma investigação desenvolvida com uma turma de alunos do segundo ano do Ensino Fundamental envolvendo a observação da Lua. Inicialmente, com o objetivo de apresentar um panorama das pesquisas sobre o tema Lua e suas fases, foi feita uma revisão bibliográfica a partir de teses e dissertações, artigos de periódicos, trabalhos apresentados em eventos selecionados e alguns trabalhos internacionais. Como resultado, verificou-se que poucos são os trabalhos que utilizam a observação da Lua no céu como parte da metodologia para o ensino e a aprendizagem do tema. Como objetivo de pesquisa, foi proposta e estudada uma metodologia na qual os alunos observaram e registraram a Lua por meio de desenhos, incluindo o horizonte, na escola e em suas casas, ao longo de parte de uma lunação. Priorizando a observação do céu, a partir dos desenhos, houve discussões em sala que foram conduzidas objetivando a sistematização do conhecimento. Com uma pesquisa experimental, sem grupo de controle, os dados foram obtidos por meio de entrevistas, registros de aulas e cadernos de observações dos alunos. A pesquisadora também foi a professora da turma onde a pesquisa foi desenvolvida. A observação do céu possibilitou a percepção pelos alunos do movimento aparente da Lua, bem como sua mudança de aspecto ao longo de várias noites. Por meio das discussões em sala de aula, com o uso dos registros, foi evidenciado que o conhecimento da observação desenvolve um saber a partir da vivência que transcende os limites dados ao conteúdo em sala de aula, possibilitando discussões pouco valorizadas no ensino da Lua e suas fases. Essa conexão experiencial a partir da observação da Lua fomenta uma relação com o conhecimento implicado à realidade da natureza. Para os anos iniciais, no ensino de Astronomia, esta é uma vinculação importante que pode promover a aprendizagem de tais conteúdos, a partir dos sentidos da criança e da intervenção docente de modo flexível e aberto.

[pt] A migração heterogênea de computações se refere ao movimento de uma computação em execução entre plataformas diferentes. Trata-se de um procedimento difícil, que requer mecanismos de captura e restauração do estado de execução que permitam a identificação da estrutura da computação e seus dados. Estes mecanismos, quando oferecidos, aparecem tradicionalmente na forma de soluções ad-hoc que são difíceis de adaptar aos requisitos de diferentes aplicações. Esta tese discute a necessidade da presença de suporte para captura e restauração de execuções nas linguagens de programação. Este suporte deve ser genérico o suficiente para que sobre ele possam ser implantadas diferentes políticas de captura e restauração, tanto no contexto de migração como no de persistência heterogêneas. Este trabalho estende a linguagem de programação Lua com uma API que permite ao programador reificar estruturas internas de execução em entidades manipuláveis da linguagem, para estudar os mecanismos básicos que uma linguagem deveria oferecer para permitir a implementação de diferentes políticas. / [en] The heterogeneous migration of computations allow computations to move between different platforms. It is a difficult procedure, that demands mechanisms for the capture and restoration of the state of the execution allowing for the identification of the structure of the computation and its data. This support, when offered, commonly appears in the form of ad-hoc solutions which are difficult to tailor or adapt to different needs. This thesis discusses the need for this support in current programming languages. This support must allow the implementation of different appliications that can profit from the ability of capturing and restoring computations heterogeneously, like migration and persistence. To experiment with this item, we extend the Lua programming language with an API that allows the programmer to reify the internal structures of execution into manipulable language entities, to explore the basic mechanisms a language should provide in order to support the implementation of diferent policies.

Orientador: Orna Messer Levin / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Estudos da Linguagem / Made available in DSpace on 2018-08-12T15:30:18Z (GMT). No. of bitstreams: 1 Guilhen_Ellen_M.pdf: 1100602 bytes, checksum: 2de411dc68486b8c574bcb1e7309444b (MD5) Previous issue date: 2008 / Resumo: No final do século XIX, uma cena particular da peça Hamlet (1600), de Shakespeare - o suicídio-acidente da jovem Ofélia, descrito na cena VII do quarto ato - adquire especial destaque nos poemas simbolistas, inclusive nos brasileiros. Sem deixar de trazer para a comparação os poemas "ofélicos" de Jules Laforgue, Georges Rodenbach, Laurent Tailhade, António Nobre, essa pesquisa escolheu analisar os desdobramentos e as releituras da cena nos poemas dos brasileiros Valentim de Magalhães, Cruz e Sousa, Alphonsus de Guimaraens, Guerra Duval, Da Costa e Silva, Eduardo Guimaraens, Alceu Wamosy, entre outros. A explicação encontrada para a recorrência na poesia simbolista da imagem de Ofélia morta nas águas foi a dissolução total da personagem no elemento água (o "nada substancial", para Gaston Bachelard), reproduzindo o desejo do homem finissecular de mergulhar no Nada, no Vazio. Essa associação de Ofélia ao Vazio foi distribuída, tendo como base os poemas encontrados, em três subtópicas: a união dos cadáveres-amantes - herança do Ultra-romantismo - na qual a confusão dos corpos, completamente amalgamados, remete ao estado de androginia; a esterilidade polar - especificidade do Simbolismo - na qual as grandes extensões geladas, denunciando um afastamento do ritmo da vida, produzem uma luz fria, alimentada pelo auto-refletir; e a metapoesia - prenúncio do Modernismo - na qual a própria Arte, representada por símbolos castos e/ou estéreis, é vista como o último reduto da crença do poeta. Em todas essas três divisões, é patente a presença da Lua e de outras figuras circulares, representando, ao mesmo tempo, a plenitude (o bastar a si mesmo) e a esterilidade (o círculo que de nada se alimenta e nada produz), o que indica um afastamento significativo do retrato romântico de Ofélia. / Abstract: At the end of the 19th century, a particular scene from Shakespeare's Hamlet (1600) - young Ophelia's accident-suicide, described in Act IV, Scene VII - gets in the spotlight of symbolist poems, including the Brazilian ones. This research aims at analysing the spin-offs and rereadings of the referred scene in the Brazilian poems of Valentim de Magalhães, Cruz e Souza, Alphonsus de Guimaraens, Guerra Duval, Da Costa e Silva, Eduardo Guimaraens, Alceu Wamosy, among others, in comparison to the "ophelian" poems of Jules Laforgue, Georges Rodenbach, Laurent Tailhade and António Nobre. The explanation for the repetition of the image of dead Ophelia in the water in the symbolist poetry was the total dissolution of the character in the water element (the "substantial nothingness", according to Bachelard), reproducing an end-ofcentury wish to immerse into Nothingness, into Emptiness. Ophelia's association to Emptiness was distributed, based on the found poems, into three subtopics: the union of the lovers' corpses - as a heritage from Ultra-Romanticism - in which the confusion of the bodies, totally amalgamated, reminds us of the state of androginy; the polar sterility - a particularity of Symbolism -, in which great cold extensions, which reveal a separation from the rhythm of life, produce a cold light, fed by self-reflections; and the metapoetry - a herald of Modernism - in which Art itself, represented by chaste or sterile symbols, is seen as the poet's last stand of faith. The Moon, as well as other circular images, is remarkably present in all these three divisions, simultaneously indicating plenitude (self-sufficiency) and sterility (the circle in which nothing is fed and nothing is produced), which shows a significant distance from Ophelia's romantic picture. / Mestrado / Teoria e Critica Literaria / Mestre em Teoria e História Literária

Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-10-14T13:52:21Z No. of bitstreams: 1 gheysalemesgoncalvesgama.pdf: 1182107 bytes, checksum: 912509e96681c2fd141d71172c4f3737 (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-10-22T13:06:55Z (GMT) No. of bitstreams: 1 gheysalemesgoncalvesgama.pdf: 1182107 bytes, checksum: 912509e96681c2fd141d71172c4f3737 (MD5) / Made available in DSpace on 2016-10-22T13:06:55Z (GMT). No. of bitstreams: 1 gheysalemesgoncalvesgama.pdf: 1182107 bytes, checksum: 912509e96681c2fd141d71172c4f3737 (MD5) Previous issue date: 2008-08-15 / Esse trabalho de dissertação procura compreender alguns sentidos e significados que são colocados em jogo quando refletimos sobre o imaginário, privilegiando um momento em especial: as viagens de lua-de-mel. Assim, o presente estudo pretende analisar, sob a perspectiva antropológica, representações envolvidas no que tange ao imaginário da lua-de-mel num determinado grupo, que abrange sete casais de camada média, que casaram e vivem na cidade de Juiz de Fora, Minas Gerais. Para tanto, lançaremos mão de conceitos e teorias que nos auxiliarão a pensarmos nosso objeto de pesquisa, como imaginário, turismo, ritual, família, casamento e a própria lua-de-mel. Examinamos, por fim, de que forma os aspectos simbólicos e as categorias que surgem desse campo polissêmico se relacionam e se opõem, nos auxiliando a interpretar a "teia de significados" construída e reconstruída pelos sujeitos envolvidos nessa prática cultural. / This thesis tries to understand some of the meanings that come into play when we reflect upon the imaginary dimension, and we will focus on a special concept: honeymoon trips. Thus, the present study analyses, under the anthropological perspective, the representations of honeymoon trips in a group of seven middle-class couples who married and live in the city of Juiz de Fora , M.G., Brazil . We will make use of concepts and theories that will help us analyse the following concepts: the imaginary dimension, tourism, rituals, the family, weddings and honeymoon trips. We will also evaluate how symbolic aspects that arise from this polysemic field relate and conflict with one another, enabling an interpretation of the web of meanings that are constructed and reconstructed by individuals involved in this cultural practice.

Submitted by Kamila Costa (kamilavasconceloscosta@gmail.com) on 2015-08-03T12:38:15Z No. of bitstreams: 2 Dissertação - Francisco de A P Januário.pdf: 1215702 bytes, checksum: 7f02a7976f19b94633a48b22a4990adf (MD5) ficha_catalografica.pdf: 1919 bytes, checksum: cbf0df9103c43df7202f18e8010435b9 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-08-04T15:34:24Z (GMT) No. of bitstreams: 2 Dissertação - Francisco de A P Januário.pdf: 1215702 bytes, checksum: 7f02a7976f19b94633a48b22a4990adf (MD5) ficha_catalografica.pdf: 1919 bytes, checksum: cbf0df9103c43df7202f18e8010435b9 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-08-04T15:38:25Z (GMT) No. of bitstreams: 2 Dissertação - Francisco de A P Januário.pdf: 1215702 bytes, checksum: 7f02a7976f19b94633a48b22a4990adf (MD5) ficha_catalografica.pdf: 1919 bytes, checksum: cbf0df9103c43df7202f18e8010435b9 (MD5) / Made available in DSpace on 2015-08-04T15:38:25Z (GMT). No. of bitstreams: 2 Dissertação - Francisco de A P Januário.pdf: 1215702 bytes, checksum: 7f02a7976f19b94633a48b22a4990adf (MD5) ficha_catalografica.pdf: 1919 bytes, checksum: cbf0df9103c43df7202f18e8010435b9 (MD5) Previous issue date: 2015-04-01 / CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico / The development of programs written in Lua programming language, which is largely used in applications for digital TV and games, can cause errors, deadlocks, arithmetic overflow, and division by zero. This work aims to propose a methodology for checking programs written in Lua programming language using the Efficient SMT-Based Context-BoundedModel Checker (ESBMC) tool, which represents the state-of-the-art context-bounded model checker. It is used for ANSI-C/C++ programs and has the ability to verify array out-of-bounds, division by zero, and user-defined assertions. The proposed approach consists in translating programs written in Lua to an intermediate language, which are further verified by ESBMC. The translator is developed with the ANTLR (ANother Tool for Language Recognition) tool, which is used for developing the lexer and parser, based on the Lua language grammar. This work is motivated by the need for extending the benefits of bounded model checking, based on satisfiability modulotheories, to programs written in Lua programming language. The experimental results show that the proposed methodology can be very effective, regarding model checking (safety) of Luaprogramming language properties. / O desenvolvimento de programas escritos na linguagem de programação Lua, que é muito utilizada em aplicações para TV digital e jogos, pode gerar erros, deadlocks, estouro aritmético e divisão por zero. Este trabalho tem como objetivo propor uma metodologia de verificação para programas escritos na linguagem de programação Lua usando a ferramenta Efficient SMT-Based Context-Bounded Model Checker (ESBMC), que representa o estado da arte em verificação de modelos de contexto limitado. O ESBMC é aplicado a programas embarcados ANSI-C/C++ e possui a capacidade de verificar estouro de limites de vetores, divisão por zero e assertivas definidas pelo usuário. A abordagem proposta consiste na tradução de programas escritos em Lua para uma linguagem intermediária, que é posteriormente verificada pelo ESBMC. O tradutor foi desenvolvido com a ferramenta ANTLR (do inglês “ANother Tool for Language Recognition”), que é utilizada na construção de analisadores léxicos e sintáticos, a partir da gramática da linguagem Lua. Este trabalho é motivado pela necessidade de se estender os benefícios da verificação de modelos, baseada nas teorias de satisfatibilidade, a programas escritos na linguagem de programação Lua. Os resultados experimentais mostram que a metodologia proposta pode ser muito eficaz, no que diz respeito à verificação de propriedades (segurança) da linguagem de programação Lua.

This thesis analyzes the configuration and security requirements of an auto-mated assignment testing system. The requirements for a flexible yet powerfulconfiguration format is discussed in depth, and an appropriate configurationformat is chosen. Additionally, the overall security requirements of this systemis discussed, analyzing the different alternatives available to fulfill the require-ments. / <p>Framläggningen redan avklarad.</p>

Aim of this thesis is design and realization of serial communication monitor. The thesis describes creation of hardware device responsible for collecting data from analyzed communications and for distribution of these data by USB bus. Thesis also explains connection between serial monitor and software Wireshark by extcap interface. Visualization of data in readable format is done by decoding script, which is tested by selected protocol. The last part of the study is focused on evaluation of data permeability of hardware device according to data line fullness.

Neste projeto fazemos uma discussão sobre o Ensino de Astronomia, em particular sobre o conteúdo das fases da Lua, na perspectiva da formação de conceitos a partir da Teoria histórico-cultural da Atividade. Com base nesse referencial, lançamos uma proposição teórica que relaciona determinado conceito com suas atividades genéticas, isto é, as atividades historicamente determinadas e culturalmente sistematizadas nas quais o conceito emerge. A essa proposição demos o nome de conceito-atividade. A implicação direta dessa relação é que os conceitos passam a ser entendidos como entidades abertas, dinâmicas, multifacetas e controversas. Para explicitar essas outras qualidades do conceito para o caso da Lua, recorremos a alguns episódios e debates da História da Ciência e elementos da cultura popular que serviram de subsídios para analisar a gênese histórica do conceito de Lua e os sentidos a ela atribuídos. Ainda como parte dessa dissertação, apresentamos e avaliamos a implementação de uma proposta didática para os anos finais do Ensino Fundamental cujo propósito era de ensinar a Lua e suas fases e discutir alguns de seus outros sentidos históricos e culturais. As atividades propostas foram bastante diversificadas, compreendendo: observação, simulação, modelização, interpretação e produção textual, desenho, entrevistas, tomadas de medidas e estimativas. As avaliações dos alunos apontam uma compreensão adequada do modelo astronômico. / In this project we reflect on the Astronomy Education, in particular the content of the phases of the Moon, with respect to the formation of concepts from culturalhistorical activity theory. From this framework, we developed a theoretical proposition that relates a given concept with its genetic activities, i.e., activities historically determined and culturally systematized which the concept emerges directed to a purpose. The proposition that we called a concept-activity. The implication of this relationship is that the concepts are understood as open, dynamic, multifaceted and controversial entities. To make clear these qualities from concept to the case of the Moon, we resorting to some episodes and debates of the History of Science. Also as part of this dissertation, we present, discuss and evaluate the implementation of a proposal to the end of secondary school. The sequence of fifteen classes was compiled with the purpose of teaching about the moon and its phases along with some of the other historical meanings attributed by human culture.