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

Sediment removal by prairie filter strips in row-cropped ephemeral watersheds

Twelve small watersheds in central Iowa were used to evaluate the effectiveness of prairie filter strips (PFS) in trapping sediment from agricultural runoff. Four treatments with PFS of different size and location (100% rowcrop, 10% PFS of total watershed area at footslope, 10% PFS at footslope and in contour strips, 20% PFS at footslope and in contour strips) arranged in a balanced incomplete block design were seeded in July 2007. All watersheds were in bromegrass ( L.) for at least 10 yr before treatment establishment. Cropped areas were managed under a no-till, 2-yr corn ( L.)-soybean [ (L.) Merr.] rotation beginning in 2007. About 38 to 85% of the total sediment export from cropland occurred during the early growth stage of rowcrop due to wet field conditions and poor ground cover. The greatest sediment load was observed in 2008 due to the initial soil disturbance and gradually decreased thereafter. The mean annual sediment yield through 2010 was 0.36 and 8.30 Mg ha for the watersheds with and without PFS, respectively, a 96% sediment trapping efficiency for the 4-yr study period. The amount and distribution of PFS had no significant impact on runoff and sediment yield, probably due to the relatively large width (37-78 m) of footslope PFS. The findings suggest that incorporation of PFS at the footslope position of annual rowcrop systems provides an effective approach to reducing sediment loss in runoff from agricultural watersheds under a no-till system

Amazon deforestation causes strong regional warming

Tropical deforestation impacts the climate through complex land–atmosphere interactions causing local and regional warming. However, whilst the impacts of deforestation on local temperature are well understood, the regional (nonlocal) response is poorly quantified. Here, we used remote-sensed observations of forest loss and dry season land–surface temperature during the period 2001 to 2020 to demonstrate that deforestation of the Amazon caused strong warming at distances up to 100 km away from the forest loss. We apply a machine learning approach to show nonlocal warming due to forest loss at 2–100 km length scales increases the warming due to deforestation by more than a factor 4, from 0.16 K to 0.71 K for each 10-percentage points of forest loss. We estimate that rapid future deforestation under a strong inequality scenario could cause dry season warming of 0.96 K across Mato Grosso state in southern Brazil over the period 2020 to 2050. Reducing deforestation could reduce future warming caused by forest loss to 0.4 K. Our results demonstrate the contribution of tropical deforestation to regional climate warming and the potential for reduced deforestation to deliver regional climate adaptation and resilience with important implications for sustainable management of the Amazon

Residual cognitive deficits 50 years after lead poisoning during childhood

The long term neurobehavioural consequences of childhood lead poisoning are not known. In this study adult subjects with a documented history of lead poisoning before age 4 and matched controls were examined with an abbreviated battery of neuropsychological tests including measures of attention, reasoning, memory, motor speed, and current mood. The subjects exposed to lead were inferior to controls on almost all of the cognitive tasks. This pattern of widespread deficits resembles that found in children evaluated at the time of acute exposure to lead rather than the more circumscribed pattern typically seen in adults exposed to lead. Despite having completed as many years of schooling as controls, the subjects exposed to lead were lower in lifetime occupational status. Within the exposed group, performance on the neuropsychological battery and occupational status were related, consistent with the presumed impact of limitations in neuropsychological functioning on everyday life. The results suggest that many subjects exposed to lead suffered acute encephalopathy in childhood which resolved into a chronic subclinical encephalopathy with associated cognitive dysfunction still evident in adulthood. These findings lend support to efforts to limit exposure to lead in childhood

Backward pion-nucleon scattering

A global analysis of the world data on differential cross sections and polarization asymmetries of backward pion-nucleon scattering for invariant collision energies above 3 GeV is performed in a Regge model. Including the $N_\alpha$, $N_\gamma$, $\Delta_\delta$ and $\Delta_\beta$ trajectories, we reproduce both angular distributions and polarization data for small values of the Mandelstam variable $u$, in contrast to previous analyses. The model amplitude is used to obtain evidence for baryon resonances with mass below 3 GeV. Our analysis suggests a $G_{39}$ resonance with a mass of 2.83 GeV as member of the $\Delta_{\beta}$ trajectory from the corresponding Chew-Frautschi plot.Comment: 12 pages, 16 figure

Connecting Numerical Relativity and Data Analysis of Gravitational Wave Detectors

Gravitational waves deliver information in exquisite detail about astrophysical phenomena, among them the collision of two black holes, a system completely invisible to the eyes of electromagnetic telescopes. Models that predict gravitational wave signals from likely sources are crucial for the success of this endeavor. Modeling binary black hole sources of gravitational radiation requires solving the Eintein equations of General Relativity using powerful computer hardware and sophisticated numerical algorithms. This proceeding presents where we are in understanding ground-based gravitational waves resulting from the merger of black holes and the implications of these sources for the advent of gravitational-wave astronomy.Comment: Appeared in the Proceedings of 2014 Sant Cugat Forum on Astrophysics. Astrophysics and Space Science Proceedings, ed. C.Sopuerta (Berlin: Springer-Verlag

Finite one dimensional impenetrable Bose systems: Occupation numbers

Bosons in the form of ultra cold alkali atoms can be confined to a one dimensional (1d) domain by the use of harmonic traps. This motivates the study of the ground state occupations $\lambda_i$ of effective single particle states $\phi_i$, in the theoretical 1d impenetrable Bose gas. Both the system on a circle and the harmonically trapped system are considered. The $\lambda_i$ and $\phi_i$ are the eigenvalues and eigenfunctions respectively of the one body density matrix. We present a detailed numerical and analytic study of this problem. Our main results are the explicit scaled forms of the density matrices, from which it is deduced that for fixed $i$ the occupations $\lambda_i$ are asymptotically proportional to $\sqrt{N}$ in both the circular and harmonically trapped cases.Comment: 22 pages, 8 figures (.eps), uses REVTeX

Merger of binary neutron stars of unequal mass in full general relativity

We present results of three dimensional numerical simulations of the merger of unequal-mass binary neutron stars in full general relativity. A $\Gamma$-law equation of state $P=(\Gamma-1)\rho\epsilon$ is adopted, where $P$, $\rho$, \varep, and $\Gamma$ are the pressure, rest mass density, specific internal energy, and the adiabatic constant, respectively. We take $\Gamma=2$ and the baryon rest-mass ratio $Q_M$ to be in the range 0.85--1. The typical grid size is $(633,633,317)$ for $(x,y,z)$ . We improve several implementations since the latest work. In the present code, the radiation reaction of gravitational waves is taken into account with a good accuracy. This fact enables us to follow the coalescence all the way from the late inspiral phase through the merger phase for which the transition is triggered by the radiation reaction. It is found that if the total rest-mass of the system is more than $\sim 1.7$ times of the maximum allowed rest-mass of spherical neutron stars, a black hole is formed after the merger irrespective of the mass ratios. The gravitational waveforms and outcomes in the merger of unequal-mass binaries are compared with those in equal-mass binaries. It is found that the disk mass around the so formed black holes increases with decreasing rest-mass ratios and decreases with increasing compactness of neutron stars. The merger process and the gravitational waveforms also depend strongly on the rest-mass ratios even for the range $Q_M= 0.85$--1.Comment: 32 pages, PRD68 to be publishe