Formal change impact analyses for emulated control software

Processor emulators are a software tool for allowing legacy computer programs to be executed on a modern processor. In the past emulators have been used in trivial applications such as maintenance of video games. Now, however, processor emulation is being applied to safety-critical control systems, including military avionics. These applications demand utmost guarantees of correctness, but no verification techniques exist for proving that an emulated system preserves the original system’s functional and timing properties. Here we show how this can be done by combining concepts previously used for reasoning about real-time program compilation, coupled with an understanding of the new and old software architectures. In particular, we show how both the old and new systems can be given a common semantics, thus allowing their behaviours to be compared directly

CCRA3 flooding projections, task 2a: high resolution climate change projections — fluvial. Technical note

As part of the CCRA3 flooding projections project, this task provides: 1. estimates of percentage changes in flood peaks for locations across the UK, using UKCP18 probabilistic projections applied for a set of global mean surface temperature (GMST) changes (ranging from 1.0°C to 4.5°C in increments of 0.5°C); and 2. estimates of change in return period corresponding to a range of peak flow uplifts, as look-up tables, for locations across the UK. The data are provided for use within the Future Flood Explorer (FFE) to investigate potential future flood risks under climate change, under a range of adaptation options. This technical report details the methodology used to produce the flood peak and return period data, including differences in the methods used for Great Britain and Nothern Ireland

Localized f electrons in CexLa1-xRhIn5: dHvA Measurements

Measurements of the de Haas-van Alphen effect in CexLa1-xRhIn5 reveal that the Ce 4f electrons remain localized for all x, with the mass enhancement and progressive loss of one spin from the de Haas-van Alphen signal resulting from spin fluctuation effects. This behavior may be typical of antiferromagnetic heavy fermion compounds, inspite of the fact that the 4f electron localization in CeRhIn5 is driven, in part, by a spin-density wave instability.Comment: 4 pages, 4 figures, submitted to PR

A general T-matrix approach applied to two-body and three-body problems in cold atomic gases

We propose a systematic T-matrix approach to solve few-body problems with s-wave contact interactions in ultracold atomic gases. The problem is generally reduced to a matrix equation expanded by a set of orthogonal molecular states, describing external center-of-mass motions of pairs of interacting particles; while each matrix element is guaranteed to be finite by a proper renormalization for internal relative motions. This approach is able to incorporate various scattering problems and the calculations of related physical quantities in a single framework, and also provides a physically transparent way to understand the mechanism of resonance scattering. For applications, we study two-body effective scattering in 2D-3D mixed dimensions, where the resonance position and width are determined with high precision from only a few number of matrix elements. We also study three fermions in a (rotating) harmonic trap, where exotic scattering properties in terms of mass ratios and angular momenta are uniquely identified in the framework of T-matrix.Comment: 14 pages, 4 figure

Against all odds? Forming the planet of the HD196885 binary

HD196885Ab is the most "extreme" planet-in-a-binary discovered to date, whose orbit places it at the limit for orbital stability. The presence of a planet in such a highly perturbed region poses a clear challenge to planet-formation scenarios. We investigate this issue by focusing on the planet-formation stage that is arguably the most sensitive to binary perturbations: the mutual accretion of kilometre-sized planetesimals. To this effect we numerically estimate the impact velocities $dv$ amongst a population of circumprimary planetesimals. We find that most of the circumprimary disc is strongly hostile to planetesimal accretion, especially the region around 2.6AU (the planet's location) where binary perturbations induce planetesimal-shattering $dv$ of more than 1km/s. Possible solutions to the paradox of having a planet in such accretion-hostile regions are 1) that initial planetesimals were very big, at least 250km, 2) that the binary had an initial orbit at least twice the present one, and was later compacted due to early stellar encounters, 3) that planetesimals did not grow by mutual impacts but by sweeping of dust (the "snowball" growth mode identified by Xie et al., 2010b), or 4) that HD196885Ab was formed not by core-accretion but by the concurent disc instability mechanism. All of these 4 scenarios remain however highly conjectural.Comment: accepted for publication by Celestial Mechanics and Dynamical Astronomy (Special issue on EXOPLANETS

HOx observations over West Africa during AMMA: impact of isoprene and NOx

Aircraft OH and HO2 measurements made over West Africa during the AMMA field campaign in summer 2006 have been investigated using a box model constrained to observations of long-lived species and physical parameters. "Good" agreement was found for HO2 (modelled to observed gradient of 1.23 ± 0.11). However, the model significantly overpredicts OH concentrations. The reasons for this are not clear, but may reflect instrumental instabilities affecting the OH measurements. Within the model, HOx concentrations in West Africa are controlled by relatively simple photochemistry, with production dominated by ozone photolysis and reaction of O(1D) with water vapour, and loss processes dominated by HO2 + HO2 and HO2 + RO2. Isoprene chemistry was found to influence forested regions. In contrast to several recent field studies in very low NOx and high isoprene environments, we do not observe any dependence of model success for HO2 on isoprene and attribute this to efficient recycling of HOx through RO2 + NO reactions under the moderate NOx concentrations (5–300 ppt NO in the boundary layer, median 76 ppt) encountered during AMMA. This suggests that some of the problems with understanding the impact of isoprene on atmospheric composition may be limited to the extreme low range of NOx concentrations

What is a β cell? - Chapter I in the Human Islet Research Network (HIRN) review series

BACKGROUND: The pancreatic β cell, as the sole source of the vital hormone insulin, has been under intensive study for more than a century. Given the potential of newly created insulin-producing cells as a treatment or even cure of type 1 diabetes (T1D) and possibly in severe cases of type 2 diabetes (T2D), multiple academic and commercial laboratories are working to derive surrogate glucose-responsive, insulin-producing cells. SCOPE OF REVIEW: The recent development of advanced phenotyping technologies, including molecular, epigenomic, histological, or functional, have greatly improved our understanding of the critical properties of human β cells. Using this information, here we summarize the salient features of normal, fully functional adult human β cells, and propose minimal criteria for what should rightfully be termed 'β cells' as opposed to insulin-producing but not fully-functional surrogates that we propose should be referred to as 'β-like' cells or insulin-producing cells. MAJOR CONCLUSIONS: Clear criteria can be established to differentiate fully functional, mature β cells from 'β-like' surrogates. In addition, we outline important knowledge gaps that must be addressed to enable a greater understanding of the β cell

The troublesome ticks research protocol: Developing a comprehensive, multidiscipline research plan for investigating human tick-associated disease in Australia

In Australia, there is a paucity of data about the extent and impact of zoonotic tick-related illnesses. Even less is understood about a multifaceted illness referred to as Debilitating Symptom Complexes Attributed to Ticks (DSCATT). Here, we describe a research plan for investigating the aetiology, pathophysiology, and clinical outcomes of human tick-associated disease in Australia. Our approach focuses on the transmission of potential pathogens and the immunological responses of the patient after a tick bite. The protocol is strengthened by prospective data collection, the recruitment of two external matched control groups, and sophisticated integrative data analysis which, collectively, will allow the robust demonstration of associations between a tick bite and the development of clinical and pathological abnormalities. Various laboratory analyses are performed including metagenomics to investigate the potential transmission of bacteria, protozoa and/or viruses during tick bite. In addition, multi-omics technology is applied to investigate links between host immune responses and potential infectious and non-infectious disease causations. Psychometric profiling is also used to investigate whether psychological attributes influence symptom development. This research will fill important knowledge gaps about tick-borne diseases. Ultimately, we hope the results will promote improved diagnostic outcomes, and inform the safe management and treatment of patients bitten by ticks in Australia

Orbital-selective Mott transitions: Heavy fermions and beyond

Quantum phase transitions in metals are often accompanied by violations of Fermi liquid behavior in the quantum critical regime. Particularly fascinating are transitions beyond the Landau-Ginzburg-Wilson concept of a local order parameter. The breakdown of the Kondo effect in heavy-fermion metals constitutes a prime example of such a transition. Here, the strongly correlated f electrons become localized and disappear from the Fermi surface, implying that the transition is equivalent to an orbital-selective Mott transition, as has been discussed for multi-band transition-metal oxides. In this article, available theoretical descriptions for orbital-selective Mott transitions will be reviewed, with an emphasis on conceptual aspects like the distinction between different low-temperature phases and the structure of the global phase diagram. Selected results for quantum critical properties will be listed as well. Finally, a brief overview is given on experiments which have been interpreted in terms of orbital-selective Mott physics.Comment: 29 pages, 4 figs, mini-review prepared for a special issue of JLT