Nonlinear oscillator metamaterial model: numerical and experimental verification.

We verify numerically and experimentally the accuracy of an analytical model used to derive the effective nonlinear susceptibilities of a varactor-loaded split ring resonator (VLSRR) magnetic medium. For the numerical validation, a nonlinear oscillator model for the effective magnetization of the metamaterial is applied in conjunction with Maxwell equations and the two sets of equations solved numerically in the time-domain. The computed second harmonic generation (SHG) from a slab of a nonlinear material is then compared with the analytical model. The computed SHG is in excellent agreement with that predicted by the analytical model, both in terms of magnitude and spectral characteristics. Moreover, experimental measurements of the power transmitted through a fabricated VLSRR metamaterial at several power levels are also in agreement with the model, illustrating that the effective medium techniques associated with metamaterials can accurately be transitioned to nonlinear systems.

Increasing Motorcycle Taxi Driver Conspicuity in Tanzania

Motorcycle crash related injuries and deaths are increasing rapidly in many African nations. Utilizing conspicuity measures, such as wearing reflective, fluorescent safety vests, are effective as crash prevention strategies. Furthermore, use of some conspicuity measures is mandated by law among motorcycle-taxi drivers in Tanzania. Nonetheless, uptake remains low. Locally appropriate strategies to improve crash preventative behaviors are needed.

To explore whether use of conspicuity measures could be improved through eliminating cost-barriers, we tested a distribution strategy involving the provision of free motorcycle safety vests among a population of motorcycle-taxi drivers in Moshi, Tanzania. We conducted a cluster randomized controlled trial among 180 motorcycle-taxi drivers in which half of the participants (90) were randomized to the intervention arm and received a free reflective vest. The other half of the participants (90) were randomized to the control arm and did not receive free vests. Whether motorcycle taxi drivers used the reflective vest was then unobtrusively observed on city streets over a period of three months.

Mixed-effects logistic regression was used to estimate differential uptake of the vests between trial arms. At baseline, 3.3% of individuals in both arms used a reflective vest. In three months of follow-up, 79 drivers in the intervention arm and 82 drivers in the control arm were able to be observed. In the intervention arm the average proportion of observations during which drivers were observed to be using a reflective vest was 9.5%, compared to 2.0% in the control arm (odds ratio: 5.5, 95% confidence interval: 1.1-26.9, p-value: 0.04). Distribution of free reflective vests did lead to an increase in vest usage, however, the increase was minimal. Removing economic barriers alone appears insufficient to adequately improve adherence to conspicuity measures.

Evidence for GC-biased gene conversion as a driver of between-lineage differences in avian base composition.

BACKGROUND: While effective population size (Ne) and life history traits such as generation time are known to impact substitution rates, their potential effects on base composition evolution are less well understood. GC content increases with decreasing body mass in mammals, consistent with recombination-associated GC biased gene conversion (gBGC) more strongly impacting these lineages. However, shifts in chromosomal architecture and recombination landscapes between species may complicate the interpretation of these results. In birds, interchromosomal rearrangements are rare and the recombination landscape is conserved, suggesting that this group is well suited to assess the impact of life history on base composition. RESULTS: Employing data from 45 newly and 3 previously sequenced avian genomes covering a broad range of taxa, we found that lineages with large populations and short generations exhibit higher GC content. The effect extends to both coding and non-coding sites, indicating that it is not due to selection on codon usage. Consistent with recombination driving base composition, GC content and heterogeneity were positively correlated with the rate of recombination. Moreover, we observed ongoing increases in GC in the majority of lineages. CONCLUSIONS: Our results provide evidence that gBGC may drive patterns of nucleotide composition in avian genomes and are consistent with more effective gBGC in large populations and a greater number of meioses per unit time; that is, a shorter generation time. Thus, in accord with theoretical predictions, base composition evolution is substantially modulated by species life history.

Automatic verification of linear controller software

© 2015 IEEE.We consider the problem of verification of software implementations of linear time-invariant controllers. Commonly, different implementations use different representations of the controller's state, for example due to optimizations in a third-party code generator. To accommodate this variation, we exploit input-output controller specification captured by the controller's transfer function and show how to automatically verify correctness of C code controller implementations using a Frama-C/Why3/Z3 toolchain. Scalability of the approach is evaluated using randomly generated controller specifications of realistic size.