Investigation into diode pumped modelocked ND based laser oscillators for the CLIC photoinjector system

The photo-injector system envisaged for the proposed CLIC linear e+-e- accelerator at CERN has a demanding set of specifications on output pulse structure, power and timing stability. This paper reports on results obtained with quasi-CW diode pumped laser oscillators with output stabilisation. A 300W 804nm diode array stack is used to side pump Nd:YLF (1047nm) crystals with 200μs pulses at 100Hz repetition rate. Using feedback from the laser output to control an acousto-optic loss modulator in the cavity, start-up spiking and Q-switched behaviour is suppressed. Preliminary results obtained on incorporation of a saturable absorbing mirror for passive modelocking are presented

Toric symplectic singular spaces I: isolated singularities

We generalize a theorem of Delzant classifying compact connected symplectic manifolds with completely integrable torus actions to certain singular symplectic spaces. The assumption on singularities is that if they are not finite quotient then they are isolated.Comment: 10 page

Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014

SPARK 2014 is a modern programming language and a new state-of-the-art tool set for development and verification of high-integrity software. In this paper, we explore the capabilities and limitations of its latest version in the context of building a flight stack for a high-altitude unmanned glider. Towards that, we deliberately applied static analysis early and continuously during implementation, to give verification the possibility to steer the software design. In this process we have identified several limitations and pitfalls of software design and verification in SPARK, for which we give workarounds and protective actions to avoid them. Finally, we give design recommendations that have proven effective for verification, and summarize our experiences with this new language

Cluster Winds Blow along Supercluster Axes

Within Abell galaxy clusters containing wide-angle tailed radio sources, there is evidence of a ``prevailing wind'' which directs the WAT jets. We study the alignment of WAT jets and nearby clusters to test the idea that this wind may be a fossil of drainage along large-scale supercluster axes. We also test this idea with a study of the alignment of WAT jets and supercluster axes. Statistical test neighbours indicate no alignment of WAT jets towards nearest clusters, but do indicate approximately 98% confidence in alignment with the long axis of the supercluster in which the cluster lies. We find a preferred scale for such superclusters of order 25 Mpc $h^{-1}$.Comment: Latex, 5 pages, with 5 postscript figures. To be published in MNRAS. Slight revisions to coincide with journal text. Linked to color image at http://kusmos.phsx.ukans.edu/~melott/images/A2634SUW.jp