Island formation without attractive interactions

We show that adsorbates on surfaces can form islands even if there are no attractive interactions. Instead strong repulsion between adsorbates at short distances can lead to islands, because such islands increase the entropy of the adsorbates that are not part of the islands. We suggest that this mechanism cause the observed island formation in O/Pt(111), but it may be important for many other systems as well.Comment: 11 pages, 4 figure

Impeller blade design method for centrifugal compressors

The design of a centrifugal impeller with blades that are aerodynamically efficient, easy to manufacture, and mechanically sound is discussed. The blade design method described here satisfies the first two criteria and with a judicious choice of certain variables will also satisfy stress considerations. The blade shape is generated by specifying surface velocity distributions and consists of straight-line elements that connect points at hub and shroud. The method may be used to design radially elemented and backward-swept blades. The background, a brief account of the theory, and a sample design are described

Energy dissipation and scattering angle distribution analysis of the classical trajectory calculations of methane scattering from a Ni(111) surface

We present classical trajectory calculations of the rotational vibrational scattering of a non-rigid methane molecule from a Ni(111) surface. Energy dissipation and scattering angles have been studied as a function of the translational kinetic energy, the incidence angle, the (rotational) nozzle temperature, and the surface temperature. Scattering angles are somewhat towards the surface for the incidence angles of 30, 45, and 60 degree at a translational energy of 96 kJ/mol. Energy loss is primarily from the normal component of the translational energy. It is transfered for somewhat more than half to the surface and the rest is transfered mostly to rotational motion. The spread in the change of translational energy has a basis in the spread of the transfer to rotational energy, and can be enhanced by raising of the surface temperature through the transfer process to the surface motion.Comment: 8 pages REVTeX, 5 figures (eps

Stuttering equivalence is too slow!

Groote and Wijs recently described an algorithm for deciding stuttering equivalence and branching bisimulation equivalence, acclaimed to run in $\mathcal{O}(m \log n)$ time. Unfortunately, the algorithm does not always meet the acclaimed running time. In this paper, we present two counterexamples where the algorithms uses $\Omega(md)$ time. A third example shows that the correction is not trivial. In order to analyse the problem we present pseudocode of the algorithm, and indicate the time that can be spent on each part of the algorithm in order to meet the desired bound. We also propose fixes to the algorithm such that it indeed runs in $\mathcal{O}(m \log n)$ time.Comment: 11 page