Improving Irrigation Scheduling and Water use Efficiency in Cotton

Cotton (Gossypium hirsutum L) is an important crop in the southern United States. The crop is grown in both irrigated and rainfed situations and is seldom free from periods of water shortages at some stage during the season. In recent years the need for consistency in yields and a stable cash flow has resulted in a rapid expansion in the number of irrigated acres of cotton in the Mississippi Delta. Irrigation research has, however, not kept pace with this expansion. This project represents a start at meeting this urgent need. The influence of weather patterns necessitates that these studies be conducted over several years, and the results given here are, therefore, only preliminary observations. The early termination of irrigation has not resulted in any significant decrease in yield or lint quality on the Sharkey clay, although there was a slight detrimental trend when irrigation was terminated too early in August. These studies have helped to clarify the relationship between soil-moisture deficit and plant stress, especially as relates to yield, for cotton cropped on a Sharkey clay soil. Evaluation of crop indicators of water deficit showed that leaf water potential and the air-canopy temperature differential are reliable indicators of the onset of water stress. Leaf extension growth is also a sensitive indicator, but of no practical value in irrigation management. With further research, leaf water potential and canopy-air temperature differentials could provide useful indicators for use in conjunction with traditional methods of scheduling irrigation for cotton in the humid mid-south. A better understanding of the irrigation requirements of the crop will improve management and will have a very significant dollar reduction in the cost of production of the crop

Multiparton Interactions in Photoproduction at HERA

The high energy photoproduction of jets is being observed at the ep collider, HERA. It may be that the HERA centre-of-mass energy is sufficiently large that the production of more than one pair of jets per ep collision becomes possible, owing to the large number density of the probed gluons. We construct a Monte Carlo model of such multiparton interactions and study their effects on a wide range of physical observables. The conclusion is that multiple interactions could have very significant effects upon the photoproduction final state and that this would for example make extractions of the gluon density in the photon rather difficult. Total rates for the production of many (i.e. > 2) jets could provide direct evidence for the presence of multiple interactions, although parton showering and hadronization significantly affect low transverse energy jets.Comment: 21 pages, 8 figures include

Viewpoint consistency in Z and LOTOS: A case study

Specification by viewpoints is advocated as a suitable method of specifying complex systems. Each viewpoint describes the envisaged system from a particular perspective, using concepts and specification languages best suited for that perspective. Inherent in any viewpoint approach is the need to check or manage the consistency of viewpoints and to show that the different viewpoints do not impose contradictory requirements. In previous work we have described a range of techniques for consistency checking, refinement, and translation between viewpoint specifications, in particular for the languages LOTOS and Z. These two languages are advocated in a particular viewpoint model, viz. that of the Open Distributed Processing (ODP) reference model. In this paper we present a case study which demonstrates how all these techniques can be combined in order to show consistency between a viewpoint specified in LOTOS and one specified in Z. Keywords: Viewpoints; Consistency; Z; LOTOS; ODP

Verifying linearizability on TSO architectures

Linearizability is the standard correctness criterion for fine-grained, non-atomic concurrent algorithms, and a variety of methods for verifying linearizability have been developed. However, most approaches assume a sequentially consistent memory model, which is not always realised in practice. In this paper we define linearizability on a weak memory model: the TSO (Total Store Order) memory model, which is implemented in the x86 multicore architecture. We also show how a simulation-based proof method can be adapted to verify linearizability for algorithms running on TSO architectures. We demonstrate our approach on a typical concurrent algorithm, spinlock, and prove it linearizable using our simulation-based approach. Previous approaches to proving linearizabilty on TSO architectures have required a modification to the algorithm's natural abstract specification. Our proof method is the first, to our knowledge, for proving correctness without the need for such modification

Diffractive Phenomena and Shadowing in Deep-Inelastic Scattering

Shadowing effects in deep-inelastic lepton-nucleus scattering probe the mass spectrum of diffractive leptoproduction from individual nucleons. We explore this relationship using current experimental information on both processes. In recent data from the NMC and E665 collaboration, taken at small x << 0.1 and Q^2 < 1 GeV^2, shadowing is dominated by the diffractive excitation and coherent interaction of low mass vector mesons. If shadowing is explored at small x > 1 GeV^2 as discussed at HERA, the situation is different. Here dominant contributions come from the coherent interaction of diffractively produced heavy mass states. Furthermore we observe that the energy dependence of shadowing is directly related to the mass dependence of the diffractive production cross section for free nucleon targets.Comment: 12 pages Latex, 8 figure

Admit your weakness: Verifying correctness on TSO architectures

“The final publication is available at http://link.springer.com/chapter/10.1007%2F978-3-319-15317-9_22 ”.Linearizability has become the standard correctness criterion for fine-grained non-atomic concurrent algorithms, however, most approaches assume a sequentially consistent memory model, which is not always realised in practice. In this paper we study the correctness of concurrent algorithms on a weak memory model: the TSO (Total Store Order) memory model, which is commonly implemented by multicore architectures. Here, linearizability is often too strict, and hence, we prove a weaker criterion, quiescent consistency instead. Like linearizability, quiescent consistency is compositional making it an ideal correctness criterion in a component-based context. We demonstrate how to model a typical concurrent algorithm, seqlock, and prove it quiescent consistent using a simulation-based approach. Previous approaches to proving correctness on TSO architectures have been based on linearizabilty which makes it necessary to modify the algorithm’s high-level requirements. Our approach is the first, to our knowledge, for proving correctness without the need for such a modification

Probing Coherent Vibrations of Organic Phosphonate Radical Cations with Femtosecond Time-Resolved Mass Spectrometry

Organic phosphates and phosphonates are present in a number of cellular components that can be damaged by exposure to ionizing radiation. This work reports femtosecond time-resolved mass spectrometry (FTRMS) studies of three organic phosphonate radical cations that model the DNA sugar-phosphate backbone: dimethyl methylphosphonate (DMMP), diethyl methylphosphonate (DEMP), and diisopropyl methylphosphonate (DIMP). Upon ionization, each molecular radical cation exhibits unique oscillatory dynamics in its ion yields resulting from coherent vibrational excitation. DMMP has particularly well-resolved 45 fs (732 ± 28 cm−1) oscillations with a weak feature at 610–650 cm−1, while DIMP exhibits bimodal oscillations with a period of ∼55 fs and two frequency features at 554 ± 28 and 670–720 cm−1. In contrast, the oscillations in DEMP decay too rapidly for effective resolution. The low- and high-frequency oscillations in DMMP and DIMP are assigned to coherent excitation of the symmetric O–P–O bend and P–C stretch, respectively. The observation of the same ionization-induced coherently excited vibrations in related molecules suggests a possible common excitation pathway in ionized organophosphorus compounds of biological relevance, while the distinct oscillatory dynamics in each molecule points to the potential use of FTRMS to distinguish among fragment ions produced by related molecules