Os artigos de Euler sobre os números amigáveis

Among the many methodological resources that the mathematics teacher can use in the classroom, we can cite the History of Mathematics which has contributed to the development of activities that promotes students curiosity about mathematics and its history. In this regard, the present dissertation aims to translate and analyze, mathematically and historically, the three works of Euler about amicable numbers that were writed during the Eighteenth century with the same title: De numeris amicabilibus. These works, despite being written in 1747 when Euler lived in Berlin, were published in different times and places. The first, published in 1747 in Nova Acta Eruditorum and which received the number E100 in the Eneström index, summarizes the historical context of amicable numbers, mentions the formula 2nxy & 2nz used by his precursors and presents a table containing thirty pairs of amicable numbers. The second work, E152, was published in 1750 in Opuscula varii argument. It is the result of a comprehensive review of Euler s research on amicable numbers which resulted in a catalog containing 61 pairs, a quantity which had never been achieved by any mathematician before Euler. Finally, the third work, E798, which was published in 1849 at the Opera postuma, was probably the first among the three works, to be written by Euler

Cidade e identidade: discursividades imagético-espaciais e a construção da identidade espacial do Recife, Veneza Brasileira

This treatise analyzes the identitary setting called Veneza Brasileira (Brazilian Venice) which is subscribed to the discoursive materialization related to the imagetic setting (literary and mediatic) produced about the city of Recife. The main investigation of this research is to examine the way how the identitary setting called Veneza Brasileira has been constructed in the imagetic setting practices about the city of Recife in the nineteenth and twentieth centuries. This study is subscribed to the Applied Linguistics and considers the theoretical perspectives that come from the Cultural Studies which investigation basis is focused on authors such as: Hall (2006); Bauman (1999; 2001;2005); Silva (2000); and Castells (2000) related to the discussion over identity, as well as the discussion over Urban Studies presented in Santos (1997; 1999); Ferrara (1998); and Pesavento (2001). Moreover it is also based on the theoretical basis found in Foucault (2004; 2006; 2007). Furthermore theoretical-methodological approaches rely on the French Discourse Analysis (DA) found in Orlandi (2001); Gregolin (2007); and Courtine (2006). On being so, this treatise aims to: analyze the meaning effects over the production of the identitary setting, especially the so-called Veneza Brasileira, in the imagetic setting discoursive practices (Poems, Post Cards and Touristic Guides) which are produced over the urban setting of the city of Recife. This research is characterized by being qualitative and interpretative and the theoretical analytical approaches contributed to the reading of both poetic and iconic images presented in the excerpts of poems from the nineteenth century and early twentieth century in: Manuel Bandeira s poems, Carlos Pena Filho s poems, and João Cabral de Melo Neto s poems which were produced in the early and late twentieth century. Moreover, this study observed some photographic images in Post Cards and Touristic Guides related to the visiting of historical sites in Recife. One could conclude that the imagetic setting discourse about Recife produced different identitary effects over the so-called Veneza Brasileira along these three centuries: in the nineteenth century, the poetry constructed the utopia city along with the meaning effect of identitary unit; as for the twentieth century, one observed an oscillation between a utopia/heteroutopia city meaning effect of both united and fragmented identity, the latter one is prevalent. As for the twenty-first century, the media reconstructed over again the utopia city, and consequently, produced meaning effect of identitary unit. These same meaning effects of identity either corroborate or contradict to/with the concepts of the postmodernism over identity along these three centuries. In other words, considering the imagetic setting, this oscillation occurs in the proportion of one finds an (ex) inclusion of social agents that construct these same identities.

Sobre a natureza dos processos físicos de aquecimento da atmosfera de estrelas do tipo solar

In the present work, we have studied the nature of the physical processes of the coronal heating, considering as basis significant samples of single and binary evolved stars, that have been achieved with the ROSAT satellite. In a total of 191 simple stars were studied, classified in the literature as giants with spectral type F, G and K. The results were compared with those obtained from 106 evolved stars of spectral type F, G and K, which belong to the spectroscopic binary systems. Accurate measurements on rotation and information about binarity were obtained from De Medeiros s catalog. We have analysed the behavior of the coronal activity in function of diverse stellar parameters. With the purpose to better clarify the profile of the stars evolution, the HR diagram was built for the two samples of stars, the single and the binary ones. The evolved traces added in the diagram were obtained from the Toulouse-Geneve code, Nascimento et al. (2000). The stars were segregated in this diagram not only in range of rotational speed but also in range of X-ray flux. Our analysis shows clearly that the single stars and the binary ones have coronal activity controlled by physical process independent on the rotation. Non magnetic processes seem to be strongly influencing the coronal heating. For the binary stars, we have also studied the behavior of the coronal emission as a function of orbital parameters, such as period and eccentricity, in which it was revealed the existence of a discontinuity in the emission of X-rays around an orbital period of 100 days. The study helped to conclude that circular orbits of the binary stars are presented as a necessary property for the existence of a higher level ofX-rays emission, suggesting that the effect of the gravitational tide has an important role in the coronal activity level. When applied the Kolmogorov-Smirnov test (KS test ) for the Vsini and FX parameters to the samples of single and binary stars, we could evidence very relevant aspects for the understanding of the mechanisms inherent to the coronal activity. For the Vsini parameter, the differences between the single stars and the binary ones for rotation over 6.3 km/s were really remarkable. We believe, therefore, that the existence of gravitational tide is, at least, one of the factors that most contribute for this behavior. About the X-rays flux, the KS test showed that the behavior of the single and the binary stars, regarding the coronal activity, comes from the same origin

Estudo sistemático de estrelas variáveis na era dos grandes surveys

The interest in the systematic analysis of astronomical time series data, as well as development in astronomical instrumentation and automation over the past two decades has given rise to several questions of how to analyze and synthesize the growing amount of data. These data have led to many discoveries in the areas of modern astronomy asteroseismology, exoplanets and stellar evolution. However, treatment methods and data analysis have failed to follow the development of the instruments themselves, although much effort has been done. In present thesis, we propose new methods of data analysis and two catalogs of the variable stars that allowed the study of rotational modulation and stellar variability. Were analyzed the photometric databases fromtwo distinctmissions: CoRoT (Convection Rotation and planetary Transits) and WFCAM (Wide Field Camera). Furthermore the present work describes several methods for the analysis of photometric data besides propose and refine selection techniques of data using indices of variability. Preliminary results show that variability indices have an efficiency greater than the indices most often used in the literature. An efficient selection of variable stars is essential to improve the efficiency of all subsequent steps. Fromthese analyses were obtained two catalogs; first, fromtheWFCAMdatabase we achieve a catalog with 319 variable stars observed in the photometric bands Y ZJHK. These stars show periods ranging between ∼ 0, 2 to ∼ 560 days whose the variability signatures present RR-Lyrae, Cepheids , LPVs, cataclysmic variables, among many others. Second, from the CoRoT database we selected 4, 206 stars with typical signatures of rotationalmodulation, using a supervised process. These stars show periods ranging between ∼ 0, 33 to ∼ 92 days, amplitude variability between ∼ 0, 001 to ∼ 0, 5 mag, color index (J - H) between ∼ 0, 0 to ∼ 1, 4 mag and spectral type CoRoT FGKM. The WFCAM variable stars catalog is being used to compose a database of light curves to be used as template in an automatic classifier for variable stars observed by the project VVV (Visible and Infrared Survey Telescope for Astronomy) moreover it are a fundamental start point to study different scientific cases. For example, a set of 12 young stars who are in a star formation region and the study of RR Lyrae-whose properties are not well established in the infrared. Based on CoRoT results we were able to show, for the first time, the rotational modulation evolution for an wide homogeneous sample of field stars. The results are inagreement with those expected by the stellar evolution theory. Furthermore, we identified 4 solar-type stars ( with color indices, spectral type, luminosity class and rotation period close to the Sun) besides 400 M-giant stars that we have a special interest to forthcoming studies. From the solar-type stars we can describe the future and past of the Sun while properties of M-stars are not well known. Our results allow concluded that there is a high dependence of the color-period diagram with the reddening in which increase the uncertainties of the age-period realized by previous works using CoRoT data. This thesis provides a large data-set for different scientific works, such as; magnetic activity, cataclysmic variables, brown dwarfs, RR-Lyrae, solar analogous, giant stars, among others. For instance, these data will allow us to study the relationship of magnetic activitywith stellar evolution. Besides these aspects, this thesis presents an improved classification for a significant number of stars in the CoRoT database and introduces a new set of tools that can be used to improve the entire process of the photometric databases analysis

Efeitos não-gaussianos em astrofísica e cosmologia

The recent astronomical observations indicate that the universe has null spatial curvature, is accelerating and its matter-energy content is composed by circa 30% of matter (baryons + dark matter) and 70% of dark energy, a relativistic component with negative pressure. However, in order to built more realistic models it is necessary to consider the evolution of small density perturbations for explaining the richness of observed structures in the scale of galaxies and clusters of galaxies. The structure formation process was pioneering described by Press and Schechter (PS) in 1974, by means of the galaxy cluster mass function. The PS formalism establishes a Gaussian distribution for the primordial density perturbation field. Besides a serious normalization problem, such an approach does not explain the recent cluster X-ray data, and it is also in disagreement with the most up-to-date computational simulations. In this thesis, we discuss several applications of the nonextensive q-statistics (non-Gaussian), proposed in 1988 by C. Tsallis, with special emphasis in the cosmological process of the large structure formation. Initially, we investigate the statistics of the primordial fluctuation field of the density contrast, since the most recent data from the Wilkinson Microwave Anisotropy Probe (WMAP) indicates a deviation from gaussianity. We assume that such deviations may be described by the nonextensive statistics, because it reduces to the Gaussian distribution in the limit of the free parameter q = 1, thereby allowing a direct comparison with the standard theory. We study its application for a galaxy cluster catalog based on the ROSAT All-Sky Survey (hereafter HIFLUGCS). We conclude that the standard Gaussian model applied to HIFLUGCS does not agree with the most recent data independently obtained by WMAP. Using the nonextensive statistics, we obtain values much more aligned with WMAP results. We also demonstrate that the Burr distribution corrects the normalization problem. The cluster mass function formalism was also investigated in the presence of the dark energy. In this case, constraints over several cosmic parameters was also obtained. The nonextensive statistics was implemented yet in 2 distinct problems: (i) the plasma probe and (ii) in the Bremsstrahlung radiation description (the primary radiation from X-ray clusters); a problem of considerable interest in astrophysics. In another line of development, by using supernova data and the gas mass fraction from galaxy clusters, we discuss a redshift variation of the equation of state parameter, by considering two distinct expansions. An interesting aspect of this work is that the results do not need a prior in the mass parameter, as usually occurs in analyzes involving only supernovae data.Finally, we obtain a new estimate of the Hubble parameter, through a joint analysis involving the Sunyaev-Zeldovich effect (SZE), the X-ray data from galaxy clusters and the baryon acoustic oscillations. We show that the degeneracy of the observational data with respect to the mass parameter is broken when the signature of the baryon acoustic oscillations as given by the Sloan Digital Sky Survey (SDSS) catalog is considered. Our analysis, based on the SZE/X-ray data for a sample of 25 galaxy clusters with triaxial morphology, yields a Hubble parameter in good agreement with the independent studies, provided by the Hubble Space Telescope project and the recent estimates of the WMAP

Ecologia alimentar do boto cinza, sotalia guianensis (van banédén, 1864), no litoral do rio grande do norte (rn)

This study investigated factors that influence the group size during the behavior foraging of estuarine dolphin Sotalia guianensis in the coast south of the state Rio Grande do Norte (RN), it also characterized the diet of estuarine dolphins and elaborated an otoliths catalog for aid in the identification of the preys found in the stomach contents. In relation to the group size during behaviour foraging, inside of the Curral Bay, larger frequency of solitary hunt was observed. Factors as tide variation, group composition and seasons didn't present correlation with the number of animals observed during a feeding episode. Capture success for participant was shown significantly larger when the animals hunted alone, what possibly explains the largest frequency of solitary hunt inside of the Curral Bay. About diet, were identified 18 bone fishes species, with predominance of species the families Haemulidae and Sciaenidae and five cephalopods species, including two new species in the diet of Sotalia guianensis in Brazil. Our results indicated that estuarine dolphin in the coast oriental from Rio Grande do Norte (RN) feeds predominantly of fish that form shoal, of habitat estuarino and producing of sounds. The analysis of the images, otoliths of 43 species of coastal fish of the coast of the state of Rio Grande do Norte (RN), aided by the offered descriptions, demonstrated to be an effective methodology for the knowledge of those structures, as well as it represented a form of reducing the subjectivity in the identification of the bone fishes found in stomach content

The stable archipelago in the region of the Pallas and Hansa dynamical families

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

The vinyl bromide optically pumped far infrared laser: New large offset emissions

We present the results of a study on vinyl bromide for the search for new far infrared (FIR) laser lines. As the pump source, we use a CW waveguide CO2 laser with a tunability of 290 MHz around each line in order to pump large offset vibrational transitions. As a consequence, we obtained 28 new FIR laser emissions; 24 of them have wavelengths greater than 500 mum and are, therefore, suitable to be used in high-field EPR spectroscopy, For each of the new lines, we give the wavelength, the offset of the pumping transition with respect to the center Frequency of the CO2 emission, the polarization relative to that of the pumping laser line, the operating pressure, and the relative intensity. We also present a catalog including data of all of the FIR laser lines observed from this molecule up to now.

Desenvolvimento formal de aplicações para smartcards

Smart card applications represent a growing market. Usually this kind of application manipulate and store critical information that requires some level of security, such as financial or confidential information. The quality and trustworthiness of smart card software can be improved through a rigorous development process that embraces formal techniques of software engineering. In this work we propose the BSmart method, a specialization of the B formal method dedicated to the development of smart card Java Card applications. The method describes how a Java Card application can be generated from a B refinement process of its formal abstract specification. The development is supported by a set of tools, which automates the generation of some required refinements and the translation to Java Card client (host) and server (applet) applications. With respect to verification, the method development process was formalized and verified in the B method, using the Atelier B tool [Cle12a]. We emphasize that the Java Card application is translated from the last stage of refinement, named implementation. This translation process was specified in ASF+SDF [BKV08], describing the grammar of both languages (SDF) and the code transformations through rewrite rules (ASF). This specification was an important support during the translator development and contributes to the tool documentation. We also emphasize the KitSmart library [Dut06, San12], an essential component of BSmart, containing models of all 93 classes/interfaces of Java Card API 2:2:2, of Java/Java Card data types and machines that can be useful for the specifier, but are not part of the standard Java Card library. In other to validate the method, its tool support and the KitSmart, we developed an electronic passport application following the BSmart method. We believe that the results reached in this work contribute to Java Card development, allowing the generation of complete (client and server components), and less subject to errors, Java Card applications.

A situação atual da indexação nas tarefas bibliotecárias

Na atualidade a atribuição dos descritores de assuntos ou indexação do conteúdo dos livros, nem sempre está associada ao contexto concreto de cada biblioteca, provocando, em muitos casos, que a recuperação por assuntos não resulte adequada. Neste trabalho analisam-se os principais desafios e perspectivas da indexação dos livros, os avanços de análises de assuntos nos catálogos de bibliotecas, examinam-se procedimentos, instrumentos, regras e condutas utilizadas nas análises e representação do conteúdo dos livros. Também se mostra a interação entre o ensino, a pesquisa e a atuação profissional necessária para que os estudantes possam desenvolver competências na análise, na representação e na procura da informação, assim como os princípios - provavelmente menos evidentes- da organização do conhecimento. Este trabalho coloca em evidência que as políticas de gestão da informação, mais quantitativas que qualitativas, deixam num segundo plano o processamento intelectual do conteúdo prejudicando, desta maneira, a recuperação por assuntos através do catalogo da biblioteca. Finalmente, se recolhe uma serie de propostas docentes relacionadas com a atribuição de descritores de assuntos em contextos bibliotecários.

JCML - Java Card Modeling Language: Definição e Implementação

Formal methods should be used to specify and verify on-card software in Java Card applications. Furthermore, Java Card programming style requires runtime verification of all input conditions for all on-card methods, where the main goal is to preserve the data in the card. Design by contract, and in particular, the JML language, are an option for this kind of development and verification, as runtime verification is part of the Design by contract method implemented by JML. However, JML and its currently available tools for runtime verification were not designed with Java Card limitations in mind and are not Java Card compliant. In this thesis, we analyze how much of this situation is really intrinsic of Java Card limitations and how much is just a matter of a complete re-design of JML and its tools. We propose the requirements for a new language which is Java Card compliant and indicate the lines on which a compiler for this language should be built. JCML strips from JML non-Java Card aspects such as concurrency and unsupported types. This would not be enough, however, without a great effort in optimization of the verification code generated by its compiler, as this verification code must run on the card. The JCML compiler, although being much more restricted than the one for JML, is able to generate Java Card compliant verification code for some lightweight specifications. As conclusion, we present a Java Card compliant variant of JML, JCML (Java Card Modeling Language), with a preliminary version of its compiler

BSmart: desenvolvimento rigoroso de aplicações Java Card com base no método formal B

Java Card technology allows the development and execution of small applications embedded in smart cards. A Java Card application is composed of an external card client and of an application in the card that implements the services available to the client by means of an Application Programming Interface (API). Usually, these applications manipulate and store important information, such as cash and confidential data of their owners. Thus, it is necessary to adopt rigor on developing a smart card application to improve its quality and trustworthiness. The use of formal methods on the development of these applications is a way to reach these quality requirements. The B method is one of the many formal methods for system specification. The development in B starts with the functional specification of the system, continues with the application of some optional refinements to the specification and, from the last level of refinement, it is possible to generate code for some programming language. The B formalism has a good tool support and its application to Java Card is adequate since the specification and development of APIs is one of the major applications of B. The BSmart method proposed here aims to promote the rigorous development of Java Card applications up to the generation of its code, based on the refinement of its formal specification described in the B notation. This development is supported by the BSmart tool, that is composed of some programs that automate each stage of the method; and by a library of B modules and Java Card classes that model primitive types, essential Java Card API classes and reusable data structures

Consistência na indexação em bibliotecas universitárias brasileiras

The aim of this paper is to evaluate the consistency indexes among 30 Brazilian university libraries from the south and south-east regions through a specific mathematical formula. It was selected a sample of 30 university libraries that, according to the information in their official sites, have a collection consisted of more than 100.000 copies and allow the search into the on-line catalog. Searches were carried out in every university by means of their sites, requesting books that contained a certain word in its title and were printed in a certain year. The response was a list of available titles in the library, from which we chose at random a title and asked to visualize the complete record to verify the existence of a given subject. This procedure was repeated until we found the same title in five libraries with the chosen subjects. The result is 10 trials, each one consisting of one figure and one table showing the selected libraries, the subjects, the documentary languages ( tools) and the consistency indexes relaxed and rigid. These trials show great discrepancy between the values of consistency indexes with intervals between 73,3% to 34,4% in the relaxed index, and between 60% and 9,6% in the rigid one. It was revealed that the coincidence in determining the subjects is not too high remaining below 39%. It is concluded that the difference between the consistency indexes may be due to factors as: incompatibility among documentary languages; lack of updating of these languages so as to follow the knowledge evolution; absence of a well-defined indexing policy with guidelines clearly established. Procedures of indexing followed by indexers could contribute to the consistency index to be bigger in percentage, since there would be parameters for the indexing process.

KitSmart: Uma biblioteca de componentes para o desenvolvimento rigoroso de aplicações Java Card com o método B

The development of smart card applications requires a high level of reliability. Formal methods provide means for this reliability to be achieved. The BSmart method and tool contribute to the development of smart card applications with the support of the B method, generating Java Card code from B specifications. For the development with BSmart to be effectively rigorous without overloading the user it is important to have a library of reusable components built in B. The goal of KitSmart is to provide this support. A first research about the composition of this library was a graduation work from Universidade Federal do Rio Grande do Norte, made by Thiago Dutra in 2006. This first version of the kit resulted in a specification of Java Card primitive types byte, short and boolean in B and the creation of reusable components for application development. This work provides an improvement of KitSmart with the addition of API Java Card specification made in B and a guide for the creation of new components. The API Java Card in B, besides being available to be used for development of applications, is also useful as a documentation of each API class. The reusable components correspond to modules to manipulate specific structures, such as date and time. These structures are not available for B or Java Card. These components for Java Card are generated from specifications formally verified in B. The guide contains quick reference on how to specify some structures and how some situations were adapted from object-orientation to the B Method. This work was evaluated through a case study made through the BSmart tool, that makes use of the KitSmart library. In this case study, it is possible to see the contribution of the components in a B specification. This kit should be useful for B method users and Java Card application developers