Asteroseismic Theory of Rapidly Oscillating Ap Stars

This paper reviews some of the important advances made over the last decade concerning theory of roAp stars.Comment: 9 pages, 5 figure

Impact of micro-telluric lines on precise radial velocities and its correction

Context: In the near future, new instruments such as ESPRESSO will arrive, allowing us to reach a precision in radial-velocity measurements on the order of 10 cm/s. At this level of precision, several noise sources that until now have been outweighed by photon noise will start to contribute significantly to the error budget. The telluric lines that are not neglected by the masks for the radial velocity computation, here called micro-telluric lines, are one such noise source. Aims: In this work we investigate the impact of micro-telluric lines in the radial velocities calculations. We also investigate how to correct the effect of these atmospheric lines on radial velocities. Methods: The work presented here follows two parallel lines. First, we calculated the impact of the micro-telluric lines by multiplying a synthetic solar-like stellar spectrum by synthetic atmospheric spectra and evaluated the effect created by the presence of the telluric lines. Then, we divided HARPS spectra by synthetic atmospheric spectra to correct for its presence on real data and calculated the radial velocity on the corrected spectra. When doing so, one considers two atmospheric models for the synthetic atmospheric spectra: the LBLRTM and TAPAS. Results: We find that the micro-telluric lines can induce an impact on the radial velocities calculation that can already be close to the current precision achieved with HARPS, and so its effect should not be neglected, especially for future instruments such as ESPRESSO. Moreover, we find that the micro-telluric lines' impact depends on factors, such as the radial velocity of the star, airmass, relative humidity, and the barycentric Earth radial velocity projected along the line of sight at the time of the observation.Comment: Accepted in A&

Assessing the mixing performance of extruders: indices and scale-up

This work proposes the use of global quantitative dispersive and distributive mixing indices to characterize the performance of a given screw. Calculation of these quantities uses a model of morphology evolution as a function of material and flow characteristics, which was coupled to a description of the flow developing along the screw from hopper to die. Scale-up on the basis of these indices is briefly discussed. Some results are presented in order to illustrate the usefulness of the methodology

HPC Cloud for Scientific and Business Applications: Taxonomy, Vision, and Research Challenges

High Performance Computing (HPC) clouds are becoming an alternative to on-premise clusters for executing scientific applications and business analytics services. Most research efforts in HPC cloud aim to understand the cost-benefit of moving resource-intensive applications from on-premise environments to public cloud platforms. Industry trends show hybrid environments are the natural path to get the best of the on-premise and cloud resources---steady (and sensitive) workloads can run on on-premise resources and peak demand can leverage remote resources in a pay-as-you-go manner. Nevertheless, there are plenty of questions to be answered in HPC cloud, which range from how to extract the best performance of an unknown underlying platform to what services are essential to make its usage easier. Moreover, the discussion on the right pricing and contractual models to fit small and large users is relevant for the sustainability of HPC clouds. This paper brings a survey and taxonomy of efforts in HPC cloud and a vision on what we believe is ahead of us, including a set of research challenges that, once tackled, can help advance businesses and scientific discoveries. This becomes particularly relevant due to the fast increasing wave of new HPC applications coming from big data and artificial intelligence.Comment: 29 pages, 5 figures, Published in ACM Computing Surveys (CSUR

The use of global mixing indices to assess mixing efficiency in single screw extrusion

Mixing indices can be derived from descriptions of morphology evolution of liquid-liquid or solid-liquid systems coupled to computations of flow and temperature along a plasticating screw (thus, including in the analysis the melting and melt conveying stages). In the case of liquid-liquid systems, distributive mixing depends essentially on droplet stretching and residence time, while dispersion takes into account the opposed effects of drop break-up and coalescence. Distributive mixing of solids-liquid systems depends on residence time and location (calculated via entropy), while dispersive mixing considers rupture and erosion phenomena

Generalised verification of the observer property in discrete event systems

The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure called OP-verifier II overcomes the limitations of the previously proposed verifier while keeping its computational complexity. Results are illustrated by a case study of a transfer line system

Generalised verification of the observer property in discrete event systems

The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure called OP-verifier II overcomes the limitations of the previously proposed verifier while keeping its computational complexity. Results are illustrated by a case study of a transfer line system

Complete high-precision entropic sampling

Monte Carlo simulations using entropic sampling to estimate the number of configurations of a given energy are a valuable alternative to traditional methods. We introduce {\it tomographic} entropic sampling, a scheme which uses multiple studies, starting from different regions of configuration space, to yield precise estimates of the number of configurations over the {\it full range} of energies, {\it without} dividing the latter into subsets or windows. Applied to the Ising model on the square lattice, the method yields the critical temperature to an accuracy of about 0.01%, and critical exponents to 1% or better. Predictions for systems sizes L=10 - 160, for the temperature of the specific heat maximum, and of the specific heat at the critical temperature, are in very close agreement with exact results. For the Ising model on the simple cubic lattice the critical temperature is given to within 0.003% of the best available estimate; the exponent ratios $\beta/\nu$ and $\gamma/\nu$ are given to within about 0.4% and 1%, respectively, of the literature values. In both two and three dimensions, results for the {\it antiferromagnetic} critical point are fully consistent with those of the ferromagnetic transition. Application to the lattice gas with nearest-neighbor exclusion on the square lattice again yields the critical chemical potential and exponent ratios $\beta/\nu$ and $\gamma/\nu$ to good precision.Comment: For a version with figures go to http://www.fisica.ufmg.br/~dickman/transfers/preprints/entsamp2.pd

Verification of the observer property in discrete event systems

The observer property is an important condition to be satisfied by abstractions of Discrete Event System (DES) models. This technical note presents a new algorithm that tests if an abstraction of a DES obtained through natural projection has the observer property. The procedure, called OP-Verifier, can be applied to (potentially nondeterministic) automata, with no restriction on the existence of cycles of 'non-relevant' events. This procedure has quadratic complexity in the number of states. The performance of the algorithm is illustrated by a set of experiments

Non scientific restrictions to poultry production: main global myth and beliefs.

Projeto/Plano de Ação: 11.11.11.111