abstract: With the advent of GPGPU, many applications are being accelerated by using CUDA programing paradigm. We are able to achieve around 10x -100x speedups by simply porting the application on to the GPU and running the parallel chunk of code on its multi cored SIMT (Single instruction multiple thread) architecture. But for optimal performance it is necessary to make sure that all the GPU resources are efficiently used, and the latencies in the application are minimized. For this, it is essential to monitor the Hardware usage of the algorithm and thus diagnose the compute and memory bottlenecks in the implementation. In the following thesis, we will be analyzing the mapping of CUDA implementation of BLIINDS-II algorithm on the underlying GPU hardware, and come up with a Kepler architecture specific solution of using shuffle instruction via CUB library to tackle the two major bottlenecks in the algorithm. Experiments were conducted to convey the advantage of using shuffle instru3ction in algorithm over only using shared memory as a buffer to global memory. With the new implementation of BLIINDS-II algorithm using CUB library, a speedup of around 13.7% was achieved. / Dissertation/Thesis / Masters Thesis Engineering 2017

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2016-05-03T23:21:32Z No. of bitstreams: 1 FranciscoJosePazChinchon_TESE.pdf: 11552837 bytes, checksum: 2c2ed2d175cc9f85e58e73ad305526c3 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2016-05-05T21:53:21Z (GMT) No. of bitstreams: 1 FranciscoJosePazChinchon_TESE.pdf: 11552837 bytes, checksum: 2c2ed2d175cc9f85e58e73ad305526c3 (MD5) / Made available in DSpace on 2016-05-05T21:53:21Z (GMT). No. of bitstreams: 1 FranciscoJosePazChinchon_TESE.pdf: 11552837 bytes, checksum: 2c2ed2d175cc9f85e58e73ad305526c3 (MD5) Previous issue date: 2015-08-28 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico (CNPq) / No presente trabalho de tese apresentamos o estudo rotacional e de momentum angular para uma amostra de estrelas com planetas confirmados e candidatas a possuir companheiras planeta?rias (Objetos de Interesse Kepler), ambas pertencentes a? missa?o Kepler. Para realizar estas estimativas, 3.807 estrelas foram analisadas conjuntamente mediante os me?todos Lomb-Scargle e wavelet, definindo um alto grau de confian?a quando os resultados concordavam dentro de um 10%. Para 540 estrelas conseguimos obter peri?odos rotacionais onde a significa?ncia dos me?todos era maior a 99% e dentre elas 63 na?o possui?am medic?o?es na literatura ate? Fevereiro de 2015. De acordo com os valores de massa presentes na literatura, a amostra final de 131 estrelas com planetas confirmados e 409 estrelas candidatas esta? definida pelo intervalo de massas de 0,48 ? 1,53 M?, que corres- ponde a tipos espectrais M ate? F tardio. Enquanto as relac?o?es de peri?odos, o conjunto de valores abrange o intervalo 2 ? 89 d, possuindo um alto grau de concorda?ncia com a literatura e com predic?o?es teo?ricas. Com as estimativas do momentum angular chegamos a corroborar a relac?a?o com a massa estelar proposta por Kraft para estrelas de tipo espectral F e G, mas permanece o desafio de prolongar o estudo para massas menores onde a estrutura interna estelar e? modificada e novos procedimentos devem ser utilizados. Adicionalmente ao estudo desta amostra principal, o conjunto total de estrelas da base Kepler foi analisada na busca de padro?es de rui?do. As metodologias, comparac?o?es com outras abordagens e detalhes da inspec?a?o visual sa?o aqui exibidos. Os resultados do conjunto de testes conduzidos (e.g., ana?lise Bayesiana, testes na?o parame?tricos) esta?o detalhados no texto. Os resultados de maior releva?ncia foram publicados em nosso trabalho Paz-Chincho?n et al. (2015).

Orientadora: Profa. Dra. Anastasia Guidi Itokazu / Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Filosofia, 2017. / O presente trabalho tem por finalidade estudar como Johannes Kepler (1571-1630), em sua Astronomia Nova (1609), identifica e esboça uma nova astronomia, especialmente ao romper com o axioma platônico dos movimentos celestes circulares e uniformes ao propor uma órbita elíptica para o planeta Marte. Em particular, defendemos um ponto de vista que contraria a visão segundo a qual Kepler teria determinado a órbita elíptica de Marte utilizando única e exclusivamente os dados empíricos de Tycho Brahe (1546-1601). Este tipo de concepção se encontra bastante alinhada ao pensamento do grande tradutor das obras completas de Kepler, Max Caspar, que revela logo nas páginas iniciais da Astronomia Nova, na edição traduzida para o inglês por W. H. Donahue, a expressão aus der erfahrung bewiesen, cuja tradução do alemão remete à ideia de que as leis do movimento planetário teriam sido demonstradas por meio da experiência, ou seja, por meio dos dados observacionais. Com efeito, temos um entendimento que diverge desta visão estritamente empírica, pois consideramos a influência de duas hipóteses frequentemente negligenciadas pelos estudiosos de Kepler: a ação da força motriz solar sobre Marte, que daria conta de justificar a elipse mediante aspectos físicos ou metafísicos subjacentes ao método de cálculo, e o movimento de libração, responsável pelos fenômenos de aproximação e afastamento do planeta em relação ao Sol. Dessa forma, nossa pesquisa pretende esclarecer quais foram os pressupostos utilizados por Kepler para estabelecer o salto não trivial do círculo para a curva oval e, especialmente, da oval para a curva elíptica. / The present work aims to study how Johannes Kepler (1571-1630), in his Astronomia Nova (1609), identifies and outlines a new astronomy, especially when breaks the platonic axiom of circular and uniform celestial motions proposing an elliptical orbit for the planet Mars. In particular, we defend a point that contradicts the view according to which Kepler had determined the elliptical orbit of Mars using solely the empirical data of Tycho Brahe (1546- 1601). This kind of conception is very aligned with the thought of the great translator of the complete works of Kepler, Max Caspar, who reveals in the opening pages of the New Astronomy, in the edition translated into English by W. H. Donahue, the expression aus der erfahrung bewiesen, whose german translation refers to the idea that the laws of planetary motion had been demonstrated by experience, that is, through observational data. In fact, we have an understanding that diverges from this strictly empirical view, as we consider the influence of two hypotheses often neglected by Kepler's researches: the action of the sun's motive power on Mars, which would account to justify the ellipse by physical or metaphysical aspects underlying the method of calculation, and the movement of libration, responsible for the phenomena of approaching and the recession of the planet from the sun. In this way, our research aims to clarify what were the assumptions used by Kepler to establish the nontrivial jump from the circle to the oval figure and, especially, from the oval to the elliptical orbit.

Submitted by Mario BC (mario@bc.ufrpe.br) on 2018-08-29T12:40:37Z No. of bitstreams: 1 Renato Lima da Silva Barros.pdf: 1226035 bytes, checksum: b9618b8700d4b3f3cab590196ac83a00 (MD5) / Made available in DSpace on 2018-08-29T12:40:37Z (GMT). No. of bitstreams: 1 Renato Lima da Silva Barros.pdf: 1226035 bytes, checksum: b9618b8700d4b3f3cab590196ac83a00 (MD5) Previous issue date: 2012-09-05 / Many researches argue that the history of science can humanize the scientific content and relate them to the interests of ethical, cultural and political society. However, one must take into consideration that the history of science, and how, should be worked in the teaching learming to achieve education goals. Taking as cropping history, the German astronomer Johannes Kepler, through its laws this study sought to examine the potential of the story conveyed in textbooks of Physics High School of PNLEM, to overcome the common sense of science as absolute truth, tied to a universal scientific method, in the direction of science as a human construction. In general the historical information contained in textbooks are shallow, rarely allowing the understanding of the complexity of the process of the construction of scientific knowledge, thus contributing to distorted views of science. We observe, finally that authors fall short documents or original texts in textbooks. The inclusion of primary sources could provide more in depth discussions on the development of science. The books would need to incorporate in his speech on the history of science, information that would promote the understanding of science as a human endeavor and collective subject to criticism, and that interacts with the social environment, addressing certain episodes of history with greater detail through case studies that would enable deeper discussions. / Muitos pesquisadores defendem que a história da ciência pode humanizar os conteúdos científicos e relacioná-los aos interesses éticos, culturais e políticos da sociedade. Todavia, é preciso levar em consideração qual história da ciência, e como, deve ser trabalhada no processo de ensino aprendizagem para atingir os objetivos educacionais. Tomando como recorte da história, o astrônomo alemão Johannes Kepler, através de suas leis este trabalho procurou analisar o potencial da história veiculada em livros didáticos de Física do Ensino Médio do PNLEM, para superar o senso comum da ciência como verdade absoluta, atrelada a um método científico universal, na direção de ciência enquanto construção humana. Em geral as informações históricas contidas nos livros didáticos são superficiais, raramente permitindo a compreensão da complexidade do processo da construção do conhecimento científico, dessa forma contribuindo para visões deformadas da ciência. Observa-se, finalmente, que os autores inserem poucos documentos ou textos originais nos livros didáticos. A inclusão de fontes primárias poderia propiciar discussões mais aprofundadas sobre a elaboração da ciência. Os livros necessitariam incorporar, em seu discurso relativo à história da ciência, informações que favorecessem a compreensão da ciência como um empreendimento humano e coletivo, sujeito a críticas, e que interage com o meio social, abordando determinados episódios da história com maior riqueza de detalhes, através de estudos de caso que possibilitassem discussões mais profundas.

Submitted by Rosa Assis (rosa_assis@yahoo.com.br) on 2017-11-13T17:55:10Z No. of bitstreams: 2 Raissa de Lourdes Estrela......pdf: 11340856 bytes, checksum: 5424f56ae3bb1095353ab041f9ce1311 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Paola Damato (repositorio@mackenzie.br) on 2017-12-07T11:57:17Z (GMT) No. of bitstreams: 2 Raissa de Lourdes Estrela......pdf: 11340856 bytes, checksum: 5424f56ae3bb1095353ab041f9ce1311 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-12-07T11:57:17Z (GMT). No. of bitstreams: 2 Raissa de Lourdes Estrela......pdf: 11340856 bytes, checksum: 5424f56ae3bb1095353ab041f9ce1311 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-02-06 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The stellar magnetic field plays a crucial role in the star internal mechanisms, as well as in the interactions with its environment. The study of starspots gives us information about the magnetic field of the star, and characterizes the cycle. Moreover, the analysis of solar-type stars is also useful to shed light onto the origin of the solar magnetic field. The objective of this work is to characterize the magnetic activity of stars. Initially, we studied two solar-type stars Kepler-17 and Kepler-63. Two methods were used to estimate the magnetic cycle length. The first one characterizes the spots (radius and intensity) by fitting the small variations in the light curve of a star caused by the occultation of a spot during a planetary transit. This approach yields the number of spots present in the stellar surface and the flux deficit subtracted from the star by their presence during each transit. The second method estimates the activity from the excess in the residuals of the transit lightcurves. This excess is obtained by subtracting a spotless model transit from the lightcurve, and then integrating all the residuals during the transit. The presence of long term periodicity is estimated from the analysis of a Lomb-Scargle periodogram of both time series. With the first method, we obtained Pcycle = 1.12 0.16 year (Kepler-17) and Pcycle = 1.27 0.16 year (Kepler-63), and for the second approach the values are 1.35 0.27 year and 1.27 0.12 year, respectively. Since the results of both methods agreed with each other, we used the second method to estimate short magnetic cycles of four more active stars with transiting planets observed by Kepler. These periods are consistent with short cycle periods of stars found in the literature. / O campo magnético desempenha um papel crucial nos mecanismos internos da estrela, assim como também nas interações com o seu meio. O estudo das manchas estelares nos dá informações sobre o campo magnético da estrela, e caracteriza o seu ciclo de atividade. Além disso, a análise de estrelas do tipo solar é muito importante para se entender a origem do campo magnético solar. O objetivo deste trabalho é caracterizar o campo magnético dessas estrelas. Inicialmente, nós estudamos duas estrelas do tipo solar: Kepler-17 e Kepler-63. Dois métodos foram usados para estimar o período da atividade magnética. O primeiro deles caracteriza as manchas (raio e intensidade) ao ajustar pequenas variações nas curvas de luz da estrela causadas pela ocultação de uma mancha durante um trânsito planetário. Com este método obtemos o número de manchas presentes na superfície da estrela e o déficit do fluxo da estrela devido a presença das manchas durante o trânsito. O segundo método nos dá uma estimativa da atividade magnética a partir da análise dos excessos nos resíduos das curvas de trânsito. Este excesso é obtido ao subtrair um modelo sem manchas da curva de luz observada, e em seguida integrando todos os resíduos durante o trânsito. A presença de uma periodicidade de longa duração é obtida ao se aplicar o periodograma Lomb Scargle nas séries temporais. Com o primeiro método, nós obtivemos Pciclo = 1,12 0,16 ano (Kepler-17) e Pciclo = 1,27 0,16 ano (Kepler-63), enquanto que com o segundo os valores são de 1,35 0,27 ano e 1,27 0,12 ano, respectivamente. Os resultados de ambos os métodos estão em acordo e confirmam a eficácia dos mesmos. Por ser mais eficiente, aplicamos o segundo método para mais 4 estrelas observadas pelo Kepler e estimamos períodos de ciclos de curta duração. Os períodos obtidos são consistentes com os períodos de curta duração encontrados na literatura para outras estrelas análogas ao Sol.

In 1619, Johannes Kepler published his magnum opus Harmonices mundi in which the astronomer derived distinct pitches and scales for each known planet in the solar system from calculations of various aspects of their orbital motions. This was the first theoretical realization of the ancient tradition of musica universalis (also called musica mundana), or music of the celestial bodies. It was not until the Estonian composer Urmas Sisask (b. 1960) began his compositional career by deriving his own “planetary scale,” however, that the theoretical musica universalis came into audible existence. Sisask’s work represents a distinctive musical voice among today’s choral composers, and although he is steadily gaining attention for his unique compositional style, only limited information exists about the specifics of his background, his interest in astronomy and shamanism, and the subsequent influence these interests have had on his choral music. At once traditional and modern, he bridges the gap between ancient Estonian folk song and the present. Through an application of exotic techniques including extreme repetition, ritualistically driving rhythms and sudden changes in timbre and texture; coupled with his own peculiarly crafted “planetary scale,” Urmas Sisask has created a completely unique body of work which is examined in this study by looking at representative works from his choral oeuvre including Gloria Patri…24 hymns for mixed choir, Magnificat, Ave Sol, and Benedictio.

A unique methodology for forecasting weather based on geocentric planetary alignments originated in ancient Mesopotamia. The method, called astrometeorology, was further developed by Greek, Arab, and Renaissance scientists including Ptolemy, Al-Kindi, Tycho Brahe and Joannes Kepler. A major 17th century effort to test the method in a Baconian fashion was made by John Goad. Building on the ideas of Kepler and Goad, I test an isolated component of the method, specifically a correlation between geocentric Sun-Saturn alignments and cold temperatures, using modern daily temperature data from New England, Central England, Prague and other locations. My hypothesis states there is a correlation, shown in daily temperature records, between cooling trends in specific regions and the geocentric alignments of the Sun and the planet Saturn. The hypothesis is supported by a number of tests that show lower temperatures on days when Sun-Saturn alignments occur, especially when near the equinoxes. The astronomy of this positioning suggests that tidal forces on the atmosphere may be part of a mechanism that would explain this effect. The abandonment of planetary weather forecasting by the intellectual elite in 16th and 17th century Europe is next organized as a history and discussion. In the final section, applications of the methodology to climate cycles is explored, particularly in regard to a 1536-year recurring cycle of outer planets and a cycle of similar length found in climate records. In addition, an account of biological processes that are structured around astronomical cycles is presented.

No description available.

Étudier l'émergence de savoirs lors de situations didactiques non finalisées par un savoir préfabriqué et pré-pensé nécessite un bouleversement des points de vue, aussi bien épistémologique que didactique. C'est pourquoi, pour l'étude de situations didactiques pour lesquelles le problème est l'essence, nous développons une nouvelle approche historique et repensons des outils pour les analyses didactiques. Nous proposons alors, pour un problème particulier, l'exploration des pavages archimédiens du plan, une enquête historique centrée sur l'activité du savant cherchant et sur l'influence de la relation aux objets dans la recherche. De ce point de vue, l'étude des travaux de Johannes Kepler à la recherche d'une harmonie du monde est particulièrement instructive. Nous proposons également, pour l'analyse des savoirs émergents en situation didactique, une utilisation d'outils liés à la sémiotique qui permet de mettre en évidence la dynamique de l'évolution des objets mathématiques. Nous pouvons finalement conclure quant à la possibilité de construire et mettre en œuvre des ≪ Situations Didactiques de Recherche de Problème ≫ assurant l'engagement du sujet dans la recherche, l'émergence et le développement d'objets mathématiques, la genèse de savoirs. L'étude nous conforte dans la nécessité d'une approche pragmatique des situations et la pertinence d'un regard différent sur les savoirs à l'école / The study of the emergence of knowledges in teaching situations not finalized by a prefabricated and pre-thought knowledge requires an upheaval of point of view, epistemological as well as didactic. For the study of learning situations in which the problem is the essence, we develop a new historical approach and we rethink the tools for didactic analyzes. We propose, then, for a particular problem, exploration of Archimedean tilings of the plane, a historical inquiry centered on the activity of the scientist in the process of research and on the influence of the relationship with objects. From this perspective, the study of Johannes Kepler’s work in search of a world harmony is particularly instructive. We also propose, for the analysis of the emerging knowledge in teaching situations, to use tools related to semiotics, which allows to highlight the dynamic of evolution of mathematical objects. We can finally conclude on the opportunity to build and implement “Didactic Situations of Problem Solving”, which ensure the commitment of the subject in the research, the emergence and development of mathematical objects, the genesis of knowledges. The study reinforces the necessity of a pragmatic approach of situations and the relevance of a different look at the knowledge at school

Há três décadas, os sistemas de informação corporativos eram projetados para apoiar a execução de tarefas pontuais. Atualmente, esses sistemas também precisam gerenciar os fluxos de trabalho (workflows) e processos de negócio de uma organização. Em comunidades científicas de físicos, astrônomos, biólogos, geólogos, entre outras, seus sistemas de informações distinguem-se dos existentes em ambientes corporativos por: tarefas repetitivas (como re-execução de um mesmo experimento), processamento de dados brutos em resultados adequados para publicação; e controle de condução de experimentos em diferentes ambientes de hardware e software. As diferentes características dos dois ambientes corporativo e científico propiciam que ferramentas e formalismos existentes ou priorizem o controle de fluxo de tarefas, ou o controle de fluxo de dados. Entretanto, há situações em que é preciso atender simultaneamente ao controle de transferência de dados e ao controle de fluxo de tarefas. Este trabalho visa caracterizar e delimitar o controle e representação do fluxo de dados em processos de negócios e workflows científicos. Para isso, são comparadas as ferramentas CPN Tools e KEPLER, que estão fundamentadas em dois formalismos: redes de Petri coloridas e grafos de workflow orientados a atores, respectivamente. A comparação é feita por meio de implementações de casos práticos, usando os padrões de controle de dados como base de comparação entre as ferramentas. / Three decades ago, business information systems were designed to support the execution of individual tasks. Todays information systems also need to support the organizational workflows and business processes. In scientific communities composed by physicists, astronomers, biologists, geologists, among others, information systems have different characteristics from those existing in business environments, like: repetitive procedures (such as re-execution of an experiment), transforming raw data into publishable results; and coordinating the execution of experiments in several different software and hardware environments. The different characteristics of business and scientific environments propitiate the existence of tools and formalisms that emphasize control-flow or dataflow. However, there are situations where we must simultaneously handle the data transfer and control-flow. This work aims to characterize and define the dataflow representation and control in business processes and scientific workflows. In order to achieve this, two tools are being compared: CPN Tools and KEPLER, which are based in the formalisms: colored Petri nets and actors-oriented workflow graphs, respectively. The comparison will be done through implementation of practical cases, using the dataflow patterns as comparison basis.