Mean drift forces on arrays of bodies due to incident long waves

The scattering of long water waves by an array of bodies is investigated using the method of matched asymptotic expansions. Two particular geometries are considered, these are a group of vertical cylinders extending throughout the depth and a group of floating hemispheres. From these solutions, the low-frequency limit of the ratio of the mean drift force on a group of N bodies to that on a single body is calculated. For a wide range of circumstances this drift force ratio is N2 which is in agreement with previous numerical work. Further drift force enhancement is possible for certain configurations of vertical cylinders

An expectation transformer approach to predicate abstraction and data independence for probabilistic programs

In this paper we revisit the well-known technique of predicate abstraction to characterise performance attributes of system models incorporating probability. We recast the theory using expectation transformers, and identify transformer properties which correspond to abstractions that yield nevertheless exact bound on the performance of infinite state probabilistic systems. In addition, we extend the developed technique to the special case of "data independent" programs incorporating probability. Finally, we demonstrate the subtleness of the extended technique by using the PRISM model checking tool to analyse an infinite state protocol, obtaining exact bounds on its performance