Prediction of the growth of wear-type rail corrugation

The growth behaviour of the vibrational wear phenomenon known as rail corrugation is investigated analytically and numerically using mathematical models. A simplified feedback model for wear-type rail corrugation that includes a wheel pass time delay is developed with an aim to analytically distil the most critical interaction occurring between the wheel/rail structural dynamics, rolling contact mechanics and rail wear. To this end, a stability analysis on the complete system is performed to determine the growth of wear-type rail corrugations over multiple wheelset passages. This analysis indicates that although the dynamical behaviour of the system is stable for each wheel passage, over multiple wheelset passages, the growth of wear-type corrugations is shown to be the result of instability due to feedback interaction between the three primary components of the model. The corrugations are shown analytically to grow for all realistic railway parameters. From this analysis an analytical expression for the exponential growth rate of corrugations in terms of known parameters is developed. This convenient expression is used to perform a sensitivity analysis to identify critical parameters that most affect corrugation growth. The analytical predictions are shown to compare well with results from a benchmarked time-domain finite element model. (C) 2004 Elsevier B.V. All rights reserved.

Interconvertibility of single-rail optical qubits

We show how to convert between partially coherent superpositions of a single photon with the vacuum by using linear optics and postselection based on homodyne measurements. We introduce a generalized quantum efficiency for such states and show that any conversion that decreases this quantity is possible. We also prove that our scheme is optimal by showing that no linear optical scheme with generalized conditional measurements, and with one single-rail qubit input, can improve the generalized efficiency. (c) 2006 Optical Society of America.

Wear-type rail corrugation prediction: Field study

Rail corrugation consists of undesirable periodic fluctuations in wear on railway track and costs the railway industry substantially for it's removal by regrinding. Much research has been performed on this problem, particularly over the past two decades, however, a reliable cure remains elusive for wear-type corrugations. Recently the growth behaviour of wear-type rail corrugation-has been investigated using theoretical and experimental models as part of the RailCRC Project (#18). A critical part of this work is the tuning and validation of these models via an extensive field testing program. Rail corrugations have been monitored for 2 years on sites throughout Australia. Measured rail surface profiles are used to determine corrugation growth rates on each site. Growth rates and other characteristics are compared with theoretical predictions from a computer model for validation. The results from several pertinent sites are presented and discussed.

An evaluation of a suburban railway pedestrian crossing safety programme

This study evaluated a programme of educational and environmental (access prevention) interventions designed to reduce the incidence of illegal and unsafe crossing of the rail corridor at a suburban station in Auckland, New Zealand. Immediately after the programme of interventions, the proportion of those crossing the rail corridor by walking across the tracks directly rather than using the nearby overbridge had decreased substantially. Three months later, the decrease was even greater. However, the educational and environmental interventions were introduced simultaneously so that the effects of each could not be separated, nor could other unmeasured factors be ruled out. Anonymous surveys administered immediately before and 3 months after the interventions indicated that while awareness of the illegality of walking across the tracks had increased slightly, perception of risk had not changed. This suggests that the educational interventions may have had less effect than the access prevention measures. (C) 2001 Elsevier Science Ltd. All rights reserved.

Characterization of two HKT1 homologues from Eucalyptus camaldulensis that display intrinsic osmosensing capability

Plants have multiple potassium (K+) uptake and efflux mechanisms that are expressed throughout plant tissues to fulfill different physiological functions. Several different classes of K+ channels and carriers have been identified at the molecular level in plants. K+ transporters of the HKT1 superfamily have been cloned from wheat (Triticum aestivum), Arabidopsis, and Eucalyptus camaldulensis. The functional characteristics as well as the primary structure of these transporters are diverse with orthologues found in bacterial and fungal genomes. In this report, we provide a detailed characterization of the functional characteristics, as expressed in Xenopus laevis oocytes, of two cDNAs isolated from E. camaldulensis that encode proteins belonging to the HKT1 superfamily of K+/Na+ transporters. The transport of K+ in EcHKT-expressing oocytes is enhanced by Na+, but K+ was also transported in the absence of Na+. Na+ is transported in the absence of K+ as has been demonstrated for HKT1 and AtHKT1. Overall, the E. camaldulensis transporters show some similarities and differences in ionic selectivity to HKT1 and AtHKT1. One striking difference between HKT1 and EcHKT is the sensitivity to changes in the external osmolarity of the solution. Hypotonic solutions increased EcHKT induced currents in oocytes by 100% as compared with no increased current in HKT1 expressing or uninjected oocytes. These osmotically sensitive currents were not enhanced by voltage and may mediate water flux. The physiological function of these osmotically induced increases in currents may be related to the ecological niches that E. camaldulensis inhabits, which are periodically flooded. Therefore, the osmosensing function of EcHKT may provide this species with a competitive advantage in maintaining K+ homeostasis under certain conditions.

Reasoning about real-time repetitions: terminating and nonterminating

It is common for a real-time system to contain a nonterminating process monitoring an input and controlling an output. Hence, a real-time program development method needs to support nonterminating repetitions. In this paper we develop a general proof rule for reasoning about possibly nonterminating repetitions. The rule makes use of a Floyd-Hoare-style loop invariant that is maintained by each iteration of the repetition, a Jones-style relation between the pre- and post-states on each iteration, and a deadline specifying an upper bound on the starting time of each iteration. The general rule is proved correct with respect to a predicative semantics. In the case of a terminating repetition the rule reduces to the standard rule extended to handle real time. Other special cases include repetitions whose bodies are guaranteed to terminate, nonterminating repetitions with the constant true as a guard, and repetitions whose termination is guaranteed by the inclusion of a fixed deadline. (C) 2002 Elsevier Science B.V. All rights reserved.