Corrections to Finite Size Scaling in Percolation

A 1/L-expansion for percolation problems is proposed, where L is the lattice finite length. The square lattice with 27 different sizes L = 18, 22 ... 1594 is considered. Certain spanning probabilities were determined by Monte Carlo simulations, as continuous functions of the site occupation probability p. We estimate the critical threshold pc by applying the quoted expansion to these data. Also, the universal spanning probability at pc for an annulus with aspect ratio r=1/2 is estimated as C = 0.876657(45)

Collapse of Primordial Clouds

We present here studies of collapse of purely baryonic Population III objects with masses ranging from $10M_\odot$ to $10^6M_\odot$. A spherical Lagrangian hydrodynamic code has been written to study the formation and evolution of the primordial clouds, from the beginning of the recombination era ($z_{rec} \sim 1500$) until the redshift when the collapse occurs. All the relevant processes are included in the calculations, as well as, the expansion of the Universe. As initial condition we take different values for the Hubble constant and for the baryonic density parameter (considering however a purely baryonic Universe), as well as different density perturbation spectra, in order to see their influence on the behavior of the Population III objects evolution. We find, for example, that the first mass that collapses is $8.5\times10^4M_\odot$ for $h=1$, $\Omega=0.1$ and $\delta_i={\delta\rho / \rho}=(M / M_o)^{-1/3}(1+z_{rec})^{-1}$ with the mass scale $M_o=10^{15}M_\odot$. For $M_o=4\times10^{17}M_\odot$ we obtain $4.4\times10^{4}M_\odot$ for the first mass that collapses. The cooling-heating and photon drag processes have a key role in the collapse of the clouds and in their thermal history. Our results show, for example, that when we disregard the Compton cooling-heating, the collapse of the objects with masses $>8.5\times10^4M_\odot$ occurs earlier. On the other hand, disregarding the photon drag process, the collapse occurs at a higher redshift.Comment: 10 pages, MN plain TeX macros v1.6 file, 9 PS figures. Also available at http://www.iagusp.usp.br/~oswaldo (click "OPTIONS" and then "ARTICLES"). MNRAS in pres

Collapse of Primordial Clouds II. The Role of Dark Matter

In this article we extend the study performed in our previous article on the collapse of primordial objects. We here analyze the behavior of the physical parameters for clouds ranging from $10^7M_\odot$ to $10^{15}M_\odot$. We studied the dynamical evolution of these clouds in two ways: purely baryonic clouds and clouds with non-baryonic dark matter included. We start the calculations at the beginning of the recombination era, following the evolution of the structure until the collapse (that we defined as the time when the density contrast of the baryonic matter is greater than $10^4$). We analyze the behavior of the several physical parameters of the clouds (as, e.g., the density contrast and the velocities of the baryonic matter and the dark matter) as a function of time and radial position in the cloud. In this study all physical processes that are relevant to the dynamical evolution of the primordial clouds, as for example photon-drag (due to the cosmic background radiation), hydrogen molecular production, besides the expansion of the Universe, are included in the calculations. In particular we find that the clouds, with dark matter, collapse at higher redshift when we compare the results with the purely baryonic models. As a general result we find that the distribution of the non-baryonic dark matter is more concentrated than the baryonic one. It is important to stress that we do not take into account the putative virialization of the non-baryonic dark matter, we just follow the time and spatial evolution of the cloud solving its hydrodynamical equations. We studied also the role of the cooling-heating processes in the purely baryonic clouds.Comment: 8 pages, MN plain TeX macros v1.6 file, 13 PS figures. Also available at http://www.iagusp.usp.br/~oswaldo (click "OPTIONS" and then "ARTICLES"). MNRAS in pres

Line-strength indices and velocity dispersions for 148 early-type galaxies in different environments

We have derived high quality line-strength indices and velocity dispersions for a sample of 148 early-type galaxies in different environments. The wavelength region covered by the observations ($\lambda \simeq 4600$ to 6600 Å) includes the Lick/IDS indices H${\beta}$, Mg1, Mg2, Mgb, Fe5015, Fe5270, Fe5335, Fe5406, Fe5709, Fe5782, NaD, TiO1 and TiO2. The data are intended to address possible differences of the stellar populations of early-type galaxies in low- and high-density environments. This paper describes the sample properties, explains the data reduction and presents the complete list of all the measurements. Most galaxies of the sample (85%) had no previous measurements of any Lick/IDS indices and for 30% of the galaxies we present first-time determinations of their velocity dispersions. Special care is taken to identify galaxies with emission lines. We found that 62 per cent of the galaxies in the sample have emission lines, as measured by the equivalent width of the [OIII] 5007Å line, EW[OIII] > 0.3 Å

Efficient Formal Verification for the Linux Kernel

Formal verification of the Linux kernel has been receiving increasing attention in recent years, with the development of many models, from memory subsystems to the synchronization primitives of the real-time kernel. The effort in developing formal verification methods is justified considering the large code-base, the complexity in synchronization required in a monolithic kernel and the support for multiple architectures, along with the usage of Linux on critical systems, from high-frequency trading to self-driven cars. Despite recent developments in the area, none of the proposed approaches are suitable and flexible enough to be applied in an efficient way to a running kernel. Aiming to fill such a gap, this paper proposes a formal verification approach for the Linux kernel, based on automata models. It presents a method to auto-generate verification code from an automaton, which can be integrated into a module and dynamically added into the kernel for efficient on-the-fly verification of the system, using in-kernel tracing features. Finally, a set of experiments demonstrate verification of three models, along with performance analysis of the impact of the verification, in terms of latency and throughput of the system, showing the efficiency of the approach