Microwave Gaseous Discharges

Contains reports on three research projects

Probing vibrational modes in silica glass using inelastic neutron scattering with mass contrast

The effective vibrational density of states (VDOS) has been derived from inelastic neutron-scattering data, for isotopically substituted Si O 18 2 and Si O 16 2 glasses, to gain information about the relative contribution to the Si and O partial VDOS. This is a necessary point of comparison for vibrational mode analyses of molecular-dynamics models. The mass contrast has led to a measurable shift between vibrational mode frequencies in the effective VDOS of Si O 18 2 and Si O 16 2, which is well reproduced in an ab initio simulation. The vibrational band centered at 100.2 meV is confirmed to have significantly lower contribution from the oxygen partial VDOS, than the higher (150.3 and 135.8 meV) and lower energy bands (53.3 meV)

The JKind Model Checker

JKind is an open-source industrial model checker developed by Rockwell Collins and the University of Minnesota. JKind uses multiple parallel engines to prove or falsify safety properties of infinite state models. It is portable, easy to install, performance competitive with other state-of-the-art model checkers, and has features designed to improve the results presented to users: inductive validity cores for proofs and counterexample smoothing for test-case generation. It serves as the back-end for various industrial applications.Comment: CAV 201

Microwave Gaseous Discharges

Contains reports on two research projects

Can we see pulsars around Sgr A*? - The latest searches with the Effelsberg telescope

Radio pulsars in relativistic binary systems are unique tools to study the curved space-time around massive compact objects. The discovery of a pulsar closely orbiting the super-massive black hole at the centre of our Galaxy, Sgr A*, would provide a superb test-bed for gravitational physics. To date, the absence of any radio pulsar discoveries within a few arc minutes of Sgr A* has been explained by one principal factor: extreme scattering of radio waves caused by inhomogeneities in the ionized component of the interstellar medium in the central 100 pc around Sgr A*. Scattering, which causes temporal broadening of pulses, can only be mitigated by observing at higher frequencies. Here we describe recent searches of the Galactic centre region performed at a frequency of 18.95 GHz with the Effelsberg radio telescope.Comment: 3 pages, 2 figures, Proceedings of IAUS 291 "Neutron Stars and Pulsars: Challenges and Opportunities after 80 years", 201

Microwave Gaseous Discharges

Contains reports on four research projects

New Binary and Millisecond Pulsars from Arecibo Drift-Scan Searches

We discuss four recycled pulsars found in Arecibo drift-scan searches. PSR J1944+0907 has a spin period of 5.2 ms and is isolated. The 5.8-ms pulsar J1453+19 may have a low-mass companion. We discuss these pulsars in the context of isolated millisecond pulsar formation and the minimum spin period of neutron stars. The isolated 56-ms pulsar J0609+2130 is possibly the remnant of a disrupted double neutron star binary. The 41-ms pulsar J1829+2456 is in a relativistic orbit. Its companion is most likely another neutron star, making this the eighth known double neutron star binary system.Comment: 6 pages, 3 figures, to appear in proceedings of Aspen Center for Physics Conference on ``Binary Radio Pulsars'' Eds. F. Rasio and I. Stair