The collision branching process

We consider a branching model, which we call the collision branching process (CBP), that accounts for the effect of collisions, or interactions, between particles or individuals. We establish that there is a unique CBP, and derive necessary and sufficient conditions for it to be nonexplosive. We review results on extinction probabilities, and obtain explicit expressions for the probability of explosion and the expected hitting times. The upwardly skip-free case is studied in some detail.

A study of modelling approaches for rail vehicle collision behaviour

A rigid wall model has been used widely in the numerical simulation of rail vehicle impacts. Finite element impact modelling of rail vehicles is generally based on a half-width and full-length or half-length structure, depending on the symmetry. The structure and components of rail vehicles are normally designed to cope with proof loading to ensure adequate ride performance. In this paper, the authors present a study of a rail vehicle with driving cab focused on improving the modelling approach and exploring the intrinsic structural weaknesses to enhance its crashworthiness. The underpinning research used finite element analysis and compared the behaviour of the rail vehicle in different impact scenarios. It was found that the simulation of a rigid wall impact can mask structural weaknesses; that even a completely symmetrical impact may lead to an asymmetrical result; that downward bending is an intrinsic weakness of conventional rail vehicles and that a rigid part of the vehicle structure, such as the body bolster, may cause uncoordinated deformation and shear fracture between the vehicle sections. These findings have significance for impact simulation, the full-scale testing of rail vehicles and rail vehicle design in general.

CFD analysis of one-dimensional infiltration in vadose zone

This study presents a CFD analysis constructed around PHYSICA, an open framework for multi-physics computational continuum mechanics modelling, to investigate the water movement in unsaturated porous media. The modelling environment is based on a cell-centred finite-volume discretisation technique. A number of test cases are performed in order to validate the correct implementation of Richard's equation for compressible and incompressible fluids. The pressure head form of the equation is used together with the constitutive relationships between pressure, volumetric water content and hydraulic conductivity described by Haverkamp and Van Genuchten models. The flow problems presented are associated with infiltration into initially dry soils with homogeneous or layered geologic settings. Comparison of results with the problems selected from literature shows a good agreement and validates the approach and the implementation.

Zone based systems design framework for the realisation of efficient block cipher based message authentication code algorithms

A zone based systems design framework is described and utilised in the implementation of a message authentication code (MAC) algorithm based on symmetric key block ciphers. The resulting block cipher based MAC algorithm may be used to provide assurance of the authenticity and, hence, the integrity of binary data. Using software simulation to benchmark against the de facto cipher block chaining MAC (CBC-MAC) variant used in the TinySec security protocol for wireless sensor networks and the NIST cipher block chaining MAC standard, CMAC; we show that our zone based systems design framework can lead to block cipher based MAC constructs that point to improvements in message processing efficiency, processing throughput and processing latency.