740 research outputs found
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
, , and trajectories, we
reproduce both angular distributions and polarization data for small values of
the Mandelstam variable , 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 resonance with a mass of 2.83 GeV as
member of the 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 of effective single particle states
, in the theoretical 1d impenetrable Bose gas. Both the system on a
circle and the harmonically trapped system are considered. The and
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 the occupations
are asymptotically proportional to 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 -law
equation of state is adopted, where , ,
\varep, and are the pressure, rest mass density, specific internal
energy, and the adiabatic constant, respectively. We take and the
baryon rest-mass ratio to be in the range 0.85--1. The typical grid size
is for . 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 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 --1.Comment: 32 pages, PRD68 to be publishe
- âŠ