Be-10/Be-7 tracer of atmospheric transport and stratosphere-troposphere exchange

The 10Be/7Be ratio is a sensitive tracer of atmospheric transport and stratosphere-troposphere exchange (STE). Data from five NASA aircraft field missions (PEM: West A and B, Tropics A; SONEX; and SUCCESS) have been assembled to produce the largest data set of 10Be,7Be, and their ratio collected to date (\u3e300 samples). Ratios near 0.60 are indicative of tropospheric air with little stratospheric influence, while higher ratios are found in stratospheric air. Samples from the lower stratosphere were all collected within 2.5 km of the tropopause and had ratios \u3e1.27. Of these lower stratosphere samples only 16% had ratios in excess of 3.0, suggesting that higher ratio air resides away from the tropopause. Seasonality observed in the10Be/7Be ratios results from the downwelling of air with elevated ratios from higher in the stratosphere in the spring and summer (midlatitudes) and from the decay of 7Be during descent in the winter polar vortex (high latitudes). Our results illustrate the complexity of STE and some of the mechanisms through which it occurs, including tropopause folding, mixing associated with subtropical jets, and the effect of synoptic systems such as hurricanes and northeasters. The10Be/7Be ratio provides important information beyond that which can be derived from studies that rely on chemical mixing ratios alone

A plan for the characterization, calibration, and evaluation of LAPR-2

A new airborne Linear Array Pushbroom Radiometer (LAPR-II) was built. LAPR-II will use linear arrays of silicon detectors to acquire four channels of digital image data for spectral bands within the visible and near infrared portions of the spectrum (0.4 - 1.0 micrometers). The data will be quantized to 10 bits, and spectral filters for each channel will be changeable in flight. The instrument will initially be flown aboard a NASA/Wallops' aircraft, and off nadir pointing of LAPR-II will be possible. Together, the instrument and its platform will provide a flexible readily available source of digital image data for scientific experiments. If LAPR-II is to serve as a precise scientific instrument, the instrument's characteristics must be quantitatively described and the data must be calibrated with respect to absolute radiometric units. The LAPR-II is described and the work required to characterize the instrument's spectral response, radiometric response, and spatial resolution and to calibrate the response from the many detectors per array is outlined

Estimation of stratospheric input to the Arctic troposphere: 7Be and 10Be in aerosols at Alert, Canada

Concentrations of 7Be and 210Pb in 2 years of weekly high-volume aerosol samples collected at Alert, Northwest Territories, Canada, showed pronounced seasonal variations. We observed a broad winter peak in 210Pb concentration and a spring peak in 7Be. These peaks were similar in magnitude and duration to previously reported results for a number of stations in the Arctic Basin. Beryllium 10 concentrations (determined only during the first year of this study) were well correlated with those of 7Be; the atom ratio 10Be/7Be was nearly constant at 2.2 throughout the year. This relatively high value of 10Be/7Be indicates that the stratosphere must constitute an important source of both Be isotopes in the Arctic troposphere throughout the year. A simple mixing model based on the small seasonal variations of 10Be/7Be indicates an approximately twofold increase of stratospheric influence in the free troposphere in late summer. The spring maxima in concentrations of both Be isotopes at the surface apparently reflect vertical mixing in rather than stratospheric injections into the troposphere. We have merged the results of the Be-based mixing model with weekly O3 soundings to assess Arctic stratospheric impact on the surface O3 budget at Alert. The resulting estimates indicate that stratospheric inputs can account for a maximum of 10-15% of the 03 at the surface in spring and for less during the rest of the year. These estimates are most uncertain during the winter. The combination of Be isotopic measurements and O3 vertical profiles could allow quantification of the contributions of O3 from the Arctic stratosphere and lower latitude regions to the O3 budget in the Arctic troposphere. Although at present the lack of a quantitative understanding of the temporal variation of O3 lifetime in the Arctic troposphere precludes making definitive calculations, qualitative examples of the power of this approach are given

Forward Analysis and Model Checking for Trace Bounded WSTS

We investigate a subclass of well-structured transition systems (WSTS), the bounded---in the sense of Ginsburg and Spanier (Trans. AMS 1964)---complete deterministic ones, which we claim provide an adequate basis for the study of forward analyses as developed by Finkel and Goubault-Larrecq (Logic. Meth. Comput. Sci. 2012). Indeed, we prove that, unlike other conditions considered previously for the termination of forward analysis, boundedness is decidable. Boundedness turns out to be a valuable restriction for WSTS verification, as we show that it further allows to decide all $\omega$-regular properties on the set of infinite traces of the system

Rates of erosion and landscape change along the Blue Ridge escarpment, southern Appalachian Mountains, estimated from in situ cosmogenic 10Be

The Blue Ridge escarpment, located within the southern Appalachian Mountains of Virginia and North Carolina, forms a distinct, steep boundary between the lower-elevation Piedmont and higher-elevation Blue Ridge physiographic provinces. To understand better the rate at which this landform and the adjacent landscape are changing, we measured cosmogenic 10Be in quartz separated from sediment samples (n = 50) collected in thirty-two streams and from three exposed bedrock outcrops along four transects normal to the escarpment, allowing us to calculate erosion rates integrated over 104–105 years. These basin-averaged erosion rates (5.4–49 m My-1) are consistent with those measured elsewhere in the southern Appalachians and show a positive relationship between erosion rate and average basin slope. Erosion rates show no relationship with basin size or relative position of the Brevard fault zone, a fundamental structural element of the region. The cosmogenic isotopic data, when considered along with the distribution of average basin slopes in each physiographic province, suggest that the escarpment is eroding on average more rapidly than the Blue Ridge uplands, which are eroding more rapidly than the Piedmont lowlands. This difference in erosion rates by geomorphic setting suggests that the elevation difference between the uplands and lowlands adjacent to the escarpment is being reduced but at extremely slow rates

Cosmogenic Production of Be-7 and Be-10 in Water Targets

We have measured Be-10(t(sub 1/2) = 1.5 x 10(exp 6) years) and Be-7 (t(sub 1/2) = 53.28 days) concentrations in water targets exposed for 1 to 2 years at Echo Lake, Colorado (elevation = 3246 m) and at La Jolla, California (140 m). Neutron monitor data were used to normalize the measured concentrations in order to calculate production rates equivalent to the cosmic ray flux averaged over four solar cycles (43 years). The Be-7 production rates thus obtained correspond to 6.03 +/- 0.07 x 10(exp -6) atom/g.O/s at Echo Lake and 5.06 +/- 0.20 x 10(exp -7) atom/g.O/ s at La Jolla. The Be-10 production rates correspond to 3.14 +/- 0.18 x 10(exp -6) atom/g.O/s at Echo Lake and 2.68 +/- 0.47 x 10(exp -7) atom/g.O/s at La Jolla. When compared with Be-10 production rates determined in Be-10-saturated rocks from the Antarctic and with theoretical calculations based on meteorite and lunar sample data, we find that the million-year average production rate is about 14 - 17% greater than the present production rate averaged over the last four solar cycles. Comparison with production rates determined by measuring glacially polished rocks from the Sierra Nevada in California indicates that average production (based on a revised 13,000-year deglaciation age and a geographic latitude correction) is a about 11% greater than the average over the last four solar cycles. The measured Be-10/Be-7 production ratio in oxygen is 0.52 +/- 0.03 at Echo Lake and 0.55 +/- 0.07 at La Jolla

The complexity of coverability in ν-Petri nets

We show that the coverability problem in ν-Petri nets is complete for ‘double Ackermann’ time, thus closing an open complexity gap between an Ackermann lower bound and a hyper-Ackermann upper bound. The coverability problem captures the verification of safety properties in this nominal extension of Petri nets with name management and fresh name creation. Our completeness result establishes ν-Petri nets as a model of intermediate power among the formalisms of nets enriched with data, and relies on new algorithmic insights brought by the use of well-quasi-order ideals

Automatic Verification of Erlang-Style Concurrency

This paper presents an approach to verify safety properties of Erlang-style, higher-order concurrent programs automatically. Inspired by Core Erlang, we introduce Lambda-Actor, a prototypical functional language with pattern-matching algebraic data types, augmented with process creation and asynchronous message-passing primitives. We formalise an abstract model of Lambda-Actor programs called Actor Communicating System (ACS) which has a natural interpretation as a vector addition system, for which some verification problems are decidable. We give a parametric abstract interpretation framework for Lambda-Actor and use it to build a polytime computable, flow-based, abstract semantics of Lambda-Actor programs, which we then use to bootstrap the ACS construction, thus deriving a more accurate abstract model of the input program. We have constructed Soter, a tool implementation of the verification method, thereby obtaining the first fully-automatic, infinite-state model checker for a core fragment of Erlang. We find that in practice our abstraction technique is accurate enough to verify an interesting range of safety properties. Though the ACS coverability problem is Expspace-complete, Soter can analyse these verification problems surprisingly efficiently.Comment: 12 pages plus appendix, 4 figures, 1 table. The tool is available at http://mjolnir.cs.ox.ac.uk/soter

Beryllium-10 and Aluminum-26 in Individual Cosmic Spherules from Antarctica

We present data for the cosmogenic nuclides Be-10 and A-26 in a suite of 24 extraterrestrial spherules, collected from Antarctic moraines and deep sea sediments. All of the 10 large spherules collected in glacial till at Lewis Cliff are extraterrestrial. As in earlier work, the great majority of particles show prominent solar cosmic-ray (SCR) production of Al-26, indicating bombardment ages on the order of 106 years or even longer. These long ages are in direct contradiction to model ages for small particles in the inner Solar System and may require reconsideration of models of small particle lifetimes. A small fraction of the particles so far measured (6/42) possess cosmogenic radionuclide patterns consistent with predictions for meteoroid spall droplets. We believe that most of the spherules were bombarded in space primarily as bodies not much larger than their present size. The content of in situ produced Be-10 and Al-26 in quartz pebbles in the same moraine suggests that these spherules may have on average a significant terrestrial age

On the Invariant Theory of Weingarten Surfaces in Euclidean Space

We prove that any strongly regular Weingarten surface in Euclidean space carries locally geometric principal parameters. The basic theorem states that any strongly regular Weingarten surface is determined up to a motion by its structural functions and the normal curvature function satisfying a geometric differential equation. We apply these results to the special Weingarten surfaces: minimal surfaces, surfaces of constant mean curvature and surfaces of constant Gauss curvature.Comment: 16 page