962 research outputs found
Measurement of the inclusive branching fraction tau- ---> TAU-neutrino pi- pi0 + neutral meson(s)
Structured specifications for better verification of heap-manipulating programs
Abstract. Conventional specifications typically have a flat structure that is based primarily on the underlying logic. Such specifications lack structures that could have provided better guidance to the verification process. In this work, we propose to add three new structures to a specification framework for separation logic to achieve a more precise and better guided verification for pointer-based programs. The newly introduced structures empower users with more control over the verification process in the following ways: (i) case analysis can be invoked to take advantage of disjointness conditions in the logic. (ii) early, as opposed to late, instantiation can minimise on the use of existential quantification. (iii) formulae that are staged provide better reuse of the verification process. Initial experiments have shown that structured specifications can lead to more precise verification without incurring any performance overhead.
Evidence for the fourth P11 resonance predicted by the constituent quark model
It is pointed out that the third of five low-lying P11 states predicted by a
constituent quark model can be identified with the third of four states in a
solution from a three-channel analysis by the Zagreb group. This is one of the
so-called ``missing'' resonances, predicted at 1880 MeV. The fit of the Zagreb
group to the pi N -> eta N data is the crucial element in finding this fourth
resonance in the P11 partial wave.Comment: 8 pages, revtex; expanded acknowledgement
Relative sea-level change in Newfoundland, Canada during the past ∼3000 years
Several processes contributing to coastal relative sea-level (RSL) change in the North Atlantic Ocean are observed and/or predicted to have distinctive spatial expressions that vary by latitude. To expand the latitudinal range of RSL records spanning the past ∼3000 years and the likelihood of recognizing the characteristic fingerprints of these processes, we reconstructed RSL at two sites (Big River and Placentia) in Newfoundland from salt-marsh sediment. Bayesian transfer functions established the height of former sea level from preserved assemblages of foraminifera and testate amoebae. Age-depth models constrained by radiocarbon dates and chronohorizons estimated the timing of sediment deposition. During the past ∼3000 years, RSL rose by ∼3.0 m at Big River and by ∼1.5 m at Placentia. A locally calibrated geotechnical model showed that post-depositional lowering through sediment compaction was minimal. To isolate and quantify contributions to RSL from global, regional linear, regional non-linear, and local-scale processes, we decomposed the new reconstructions (and those in an expanded, global database) using a spatio-temporal statistical model. The global component confirms that 20th century sea-level rise occurred at the fastest, century-scale rate in over 3000 years (P > 0.999). Distinguishing the contributions from local and regional non-linear processes is made challenging by a sparse network of reconstructions. However, only a small contribution from local-scale processes is necessary to reconcile RSL reconstructions and modeled RSL trends. We identified three latitudinally-organized groups of sites that share coherent regional non-linear trends and indicate that dynamic redistribution of ocean mass by currents and/or winds was likely an important driver of sea-level change in the North Atlantic Ocean during the past ∼3000 years
A Taylor Model Based Description of the proof stress of magnesium AZ31 during hot working
A series of hot-compression tests and Taylor-model simulations were carried out with the intention of developing a simple expression for the proof stress of magnesium alloy AZ31 during hot working. A crude approximation of wrought textures as a mixture of a single ideal texture component and a random background was employed. The shears carried by each deformation system were calculated using a full-constraint Taylor model for a selection of ideal orientations as well as for random textures. These shears, in combination with the measured proof stresses, were employed to estimate the critical resolved shear stresses for basal slip, prismatic slip, ⟨c+a⟩ second-order pyramidal slip, and { } twinning. The model thus established provides a semianalytical estimation of the proof stress (a one-off Taylor simulation is required) and also indicates whether or not twinning is expected. The approach is valid for temperatures between ∼150 °C and ∼450 °C, depending on the texture, strain rate, and strain path
A Compact Beam Stop for a Rare Kaon Decay Experiment
We describe the development and testing of a novel beam stop for use in a
rare kaon decay experiment at the Brookhaven AGS. The beam stop is located
inside a dipole spectrometer magnet in close proximity to straw drift chambers
and intercepts a high-intensity neutral hadron beam. The design process,
involving both Monte Carlo simulations and beam tests of alternative beam-stop
shielding arrangements, had the goal of minimizing the leakage of particles
from the beam stop and the resulting hit rates in detectors, while preserving
maximum acceptance for events of interest. The beam tests consisted of
measurements of rates in drift chambers, scintilation counter hodoscopes, a gas
threshold Cherenkov counter, and a lead glass array. Measurements were also
made with a set of specialized detectors which were sensitive to low-energy
neutrons, photons, and charged particles. Comparisons are made between these
measurements and a detailed Monte Carlo simulation.Comment: 39 pages, 14 figures, submitted to Nuclear Instruments and Method
Practical API Protocol Checking with Access Permissions
Reusable APIs often define usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while affording a great deal of aliasing flexibility. We also developed Plural, a prototype tool that embodies our approach as an automated static analysis and includes several extensions we found useful in practice. This paper evaluates our approach along the following dimensions: (1) We report on experience in specifying relevant usage rules for a large Java standard API with our approach. We also specify several other Java APIs and identify recurring patterns. (2) We summarize two case studies in verifying third-party open-source code bases with few false positives using our tool. We discuss how tool shortcomings can be addressed either with code refactorings or extensions to the tool itself. These results indicate that our approach can be used to specify and enforce real API protocols in practice
Supersymmetry without R-parity : Constraints from Leptonic Phenomenology
R-parity conservation is an {\it ad hoc} assumption in the most popular
version of the supersymmetric standard model. Most studies of models which do
allow for R-parity violation have been restricted to various limiting
scenarios. The single-VEV parametrization used in this paper provides a
workable framework to analyze phenomenology of the most general theory of SUSY
without R-parity. We perform a comprehensive study of leptonic phenomenology at
tree-level. Experimental constraints on various processes are studied
individually and then combined to yield regions of admissible parameter space.
In particular, we show that large R-parity violating bilinear couplings are not
ruled out, especially for large .Comment: 56 pages Revtex with figures incorporated; typos (including
transcription typo in Table II) and minor corrections; proof-read version, to
appear in Phys. Rev.
Stability of the monoclinic phase in the ferroelectric perovskite PbZr(1-x)TixO3
Recent structural studies of ferroelectric PbZr(1-x)TixO3 (PZT) with x= 0.48,
have revealed a new monoclinic phase in the vicinity of the morphotropic phase
boundary (MPB), previously regarded as the the boundary separating the
rhombohedral and tetragonal regions of the PZT phase diagram. In the present
paper, the stability region of all three phases has been established from high
resolution synchrotron x-ray powder diffraction measurements on a series of
highly homogeneous samples with 0.42 <=x<= 0.52. At 20K the monoclinic phase is
stable in the range 0.46 <=x<= 0.51, and this range narrows as the temperature
is increased. A first-order phase transition from tetragonal to rhombohedral
symmetry is observed only for x= 0.45. The MPB, therefore, corresponds not to
the tetragonal-rhombohedral phase boundary, but instead to the boundary between
the tetragonal and monoclinic phases for 0.46 <=x<= 0.51. This result provides
important insight into the close relationship between the monoclinic phase and
the striking piezoelectric properties of PZT; in particular, investigations of
poled samples have shown that the monoclinic distortion is the origin of the
unusually high piezoelectric response of PZT.Comment: REVTeX file, 7 figures embedde
Evolution of Microstructure and Texture during Warm Rolling Of a Duplex Steel
The effect of warm rolling on the evolution of microstructure and texture in a duplex stainless steel (DSS) was investigated. For this purpose, a DSS steel was warm rolled up to 90 pct reduction in thickness at 498 K, 698 K, and 898 K (225 °C, 425 °C, and 625 °C). The microstructure with an alternate arrangement of deformed ferrite and austenite bands was observed after warm rolling; however, the microstructure after 90 pct warm rolling at 498 K and 898 K (225 °C and 625 °C) was more lamellar and uniform as compared to the rather fragmented and inhomogeneous structure observed after 90 pct warm rolling at 698 K (425 °C). The texture of ferrite in warm-rolled DSS was characterized by the presence of the RD (〈011〉//RD) and ND (〈111〉//ND) fibers. However, the texture of ferrite in DSS warm rolled at 698 K (425 °C) was distinctly different having much higher fraction of the RD-fiber components than that of the ND-fiber components. The texture and microstructural differences in ferrite in DSS warm rolled at different temperatures could be explained by the interaction of carbon atoms with dislocations. In contrast, the austenite in DSS warm rolled at different temperatures consistently showed pure metal- or copper-type deformation texture which was attributed to the increase in stacking fault energy at the warm-rolling temperatures. It was concluded that the evolution of microstructure and texture of the two constituent phases in DSS was greatly affected by the temperature of warm rolling, but not significantly by the presence of the other phas
- …