Measurement of single spin asymmetry and fifth structure function for the p( e&ar; ,e'K +)Λ reaction with CEBAF Large Acceptance Spectrometer (CLAS)

The single spin asymmetry, ALT ′, and the polarized structure function, σ LT′, for the p( e&ar; , e′K +)Λ reaction in the resonance region have been measured and extracted using the CEBAF Large Acceptance Spectrometer (CLAS) at Jefferson Lab. Data were taken at an electron beam energy of 2.567 GeV. The large acceptance of CLAS allows for full azimuthal angle coverage over a large range of center-of-mass scattering angles. Results were obtained that span a range in Q 2 from 0.5 to 1.3 GeV2 and W from threshold up to 2.1 GeV and were compared to existing theoretical calculations. The polarized structure function is sensitive to the interferences between various resonant amplitudes, as well as to resonant and non-resonant amplitudes. This measurement is essential for understanding the structure of nucleons and searching for previously undetected nucleon excited states (resonances) predicted by quark models. The W dependence of the σ LT′ in the kinematic regions dominated by s and u channel exchange (cos qcmk = −0.50, −0.167, 0.167) indicated possible resonance structures not predicted by theoretical calculations. The σLT ′ behavior around W = 1.875 GeV could be the signature of a resonance predicted by the quark models and possibly seen in photoproduction. In the very forward angles where the reaction is dominated by the t-channel, the average σLT ′ was zero. There was no indication of the interference between resonances or resonant and non-resonant amplitudes. This might be indicating the dominance of a single t-channel exchange. Study of the sensitivity of the fifth structure function data to the resonance around 1900 MeV showed that these data were highly sensitive to the various assumptions of the models for the quantum number of this resonance. This project was part of a larger CLAS program to measure cross sections and polarization observables for kaon electroproduction in the nucleon resonance region. ^

A framework for specification and analysis of software architectures

Software architecture is the abstract design of a software system. It plays a key role as a bridge between requirements and implementation, and is a blueprint for development. The architecture represents a set of early design decisions that are crucial to a system. Mistakes in those decisions are very costly if they remain undetected until the system is implemented and deployed. This is where formal specification and analysis fits in. Formal specification makes sure that an architecture design is represented in a rigorous and unambiguous way. Furthermore, a formally specified model allows the use of different analysis techniques for verifying the correctness of those crucial design decisions. ^ This dissertation presented a framework, called SAM, for formal specification and analysis of software architectures. In terms of specification, formalisms and mechanisms were identified and chosen to specify software architecture based on different analysis needs. Formalisms for specifying properties were also explored, especially in the case of non-functional properties. In terms of analysis, the dissertation explored both the verification of functional properties and the evaluation of non-functional properties of software architecture. For the verification of functional property, methodologies were presented on how to apply existing model checking techniques on a SAM model. For the evaluation of non-functional properties, the dissertation first showed how to incorporate stochastic information into a SAM model, and then explained how to translate the model to existing tools and conducts the analysis using those tools. ^ To alleviate the analysis work, we also provided a tool to automatically translate a SAM model for model checking. All the techniques and methods described in the dissertation were illustrated by examples or case studies, which also served a purpose of advocating the use of formal methods in practice. ^

Response of diatom assemblages to 130 years of environmental change in Florida Bay (USA)

Coastal ecosystems around the world are constantly changing in response to interacting shifts in climate and land and water use by expanding human populations. The development of agricultural and urban areas in South Florida significantly modified its hydrologic regime and influenced rates of environmental change in wetlands and adjacent estuaries. This study describes changes in diatom species composition through time from four sediment cores collected across Florida Bay, for the purposes of detecting periods of major shifts in assemblage structure and identifying major drivers of those changes. We examined the magnitude of diatom assemblage change in consecutive 2-cm samples of the 210Pb-dated cores, producing a record of the past ~130 years. Average assemblage dissimilarity among successive core samples was ~30%, while larger inter-sample and persistent differences suggest perturbations or directional shifts. The earliest significant compositional changes occurred in the late 1800s at Russell Bank, Bob Allen Bank and Ninemile Bank in the central and southwestern Bay, and in the early 1900s at Trout Cove in the northeast. These changes coincided with the initial westward redirection of water from Lake Okeechobee between 1881 and 1894, construction of several canals between 1910 and 1915, and building the Florida Overseas Railroad between 1906 and 1916. Later significant assemblage restructurings occurred in the northeastern and central Bay in the late 1950s, early 1960s and early 1970s, and in the southwestern Bay in the 1980s. These changes coincide with climate cycles driving increased hurricane frequency in the 1960s, followed by a prolonged dry period in the 1970s to late 1980s that exacerbated the effects of drainage operations in the Everglades interior. Changes in the diatom assemblage structure at Trout Cove and Ninemile Bank in the 1980s correspond to documented eutrophication and a large seagrass die-off. A gradual decrease in the abundance of freshwater to brackish water taxa in the cores over ~130 years implies that freshwater deliveries to Florida Bay were much greater prior to major developments on the mainland. Salinity, which was quantitatively reconstructed at these sites, had the greatest effect on diatom communities in Florida Bay, but other factors—often short-lived, natural and anthropogenic in nature—also played important roles in that process. Studying the changes in subfossil diatom communities over time revealed important environmental information that would have been undetected if reconstructing only one water quality variable.