A Bayesian method for pulsar template generation

Extracting Times of Arrival from pulsar radio signals depends on the knowledge of the pulsars pulse profile and how this template is generated. We examine pulsar template generation with Bayesian methods. We will contrast the classical generation mechanism of averaging intensity profiles with a new approach based on Bayesian inference. We introduce the Bayesian measurement model imposed and derive the algorithm to reconstruct a "statistical template" out of noisy data. The properties of these "statistical templates" are analysed with simulated and real measurement data from PSR B1133+16. We explain how to put this new form of template to use in analysing secondary parameters of interest and give various examples: We implement a nonlinear filter for determining ToAs of pulsars. Applying this method to data from PSR J1713+0747 we derive ToAs self consistently, meaning all epochs were timed and we used the same epochs for template generation. While the average template contains fluctuations and noise as unavoidable artifacts, we find that the "statistical template" derived by Bayesian inference quantifies fluctuations and remaining uncertainty. This is why the algorithm suggested turns out to reconstruct templates of statistical significance from ten to fifty single pulses. A moving data window of fifty pulses, taking out one single pulse at the beginning and adding one at the end of the window unravels the characteristics of the methods to be compared. It shows that the change induced in the classical reconstruction is dominated by random fluctuations for the average template, while statistically significant changes drive the dynamics of the proposed method's reconstruction. The analysis of phase shifts with simulated data reveals that the proposed nonlinear algorithm is able to reconstruct correct phase information along with an acceptable estimation of the remaining uncertainty.Comment: 21 pages, 16 figures, submitted to MNRA

Comparison of porcine thorax to gelatine blocks for wound

Published online first in International Journal of Legal Medicine. The support of EPSRC and The Home Office are recognised. Open Access, this article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http:/ /creativecommons.org/licenses/by/4.0/)Tissue simulants are typically used in ballistic testing as substitutes for biological tissues. Many simulants have been used, with gelatine amongst the most common. While two concentrations of gelatine (10 and 20 %) have been used extensively, no agreed standard exists for the preparation of either. Comparison of ballistic damage produced in both concentrations is lacking. The damage produced in gelatine is also questioned, with regards to what it would mean for specific areas of living tissue. The aim of the work discussed in this paper was to consider how damage caused by selected pistol and rifle ammunition varied in different simulants. Damage to gelatine blocks 10 and 20 % in concentration were tested with 9 mm Luger (9 × 19 full metal jacket; FMJ) rounds, while damage produced by .223 Remington (5.56 × 45 Federal Premium® Tactical® Bonded®) rounds to porcine thorax sections (skin, underlying tissue, ribs, lungs, ribs, underlying tissue, skin; backed by a block of 10 % gelatine) were compared to 10 and 20 % gelatine blocks. Results from the .223 Remington rifle round, which is one that typically expands on impact, revealed depths of penetration in the thorax arrangement were significantly different to 20 % gelatine, but not 10 % gelatine. The level of damage produced in the simulated thoraxes was smaller in scale to that witnessed in both gelatine concentrations,though greater debris was produced in the thoraxes.The support of EPSRC and The Home Office are recognised

PSR J1453+1902 and the radio luminosities of solitary versus binary millisecond pulsars

We present 3 yr of timing observations for PSR J1453+1902, a 5.79-ms pulsar discovered during a 430-MHz drift-scan survey with the Arecibo telescope. Our observations show that PSR J1453+1902 is solitary and has a proper motion of 8(2) mas/yr. At the nominal distance of 1.2 kpc estimated from the pulsar's dispersion measure, this corresponds to a transverse speed of 46(11) km/s, typical of the millisecond pulsar population. We analyse the current sample of 55 millisecond pulsars in the Galactic disk and revisit the question of whether the luminosities of isolated millisecond pulsars are different from their binary counterparts. We demonstrate that the apparent differences in the luminosity distributions seen in samples selected from 430-MHz surveys can be explained by small-number statistics and observational selection biases. An examination of the sample from 1400-MHz surveys shows no differences in the distributions. The simplest conclusion from the current data is that the spin, kinematic, spatial and luminosity distributions of isolated and binary millisecond pulsars are consistent with a single homogeneous population.Comment: 8 pages, 5 figures and 3 tables, accepted for publication by MNRA

Limits on the Mass, Velocity and Orbit of PSR J1933−-6211

We present a high-precision timing analysis of PSR J1933$-$6211, a millisecond pulsar (MSP) with a 3.5-ms spin period and a white dwarf (WD) companion, using data from the Parkes radio telescope. Since we have accurately measured the polarization properties of this pulsar we have applied the matrix template matching approach in which the times of arrival are measured using full polarimetric information. We achieved a weighted root-mean-square timing residuals (rms) of the timing residuals of 1.23 $\rm \mu s$, 15.5$\%$ improvement compared to the total intensity timing analysis. After studying the scintillation properties of this pulsar we put constraints on the inclination angle of the system. Based on these measurements and on $\chi^2$ mapping we put a 2-$\sigma$ upper limit on the companion mass (0.44 M$_\odot$). Since this mass limit cannot reveal the nature of the companion we further investigate the possibility of the companion to be a He WD. Applying the orbital period-mass relation for such WDs, we conclude that the mass of a He WD companion would be about 0.26$\pm$0.01 M$_\odot$ which, combined with the measured mass function and orbital inclination limits, would lead to a light pulsar mass $\leqslant$ 1.0 M$_\odot$. This result seems unlikely based on current neutron star formation models and we therefore conclude that PSR J1933$-$6211 most likely has a CO WD companion, which allows for a solution with a more massive pulsar

XY checkerboard antiferromagnet in external field

Ordering by thermal fluctuations is studied for the classical XY antiferromagnet on a checkerboard lattice in zero and finite magnetic fields by means of analytical and Monte Carlo methods. The model exhibits a variety of novel broken symmetries including states with nematic ordering in zero field and with triatic order parameter at high fields.Comment: 6 page

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

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)