Reduced organic sulfur: Analysis and interaction with mercury in the aquatic environment

Reduced organic sulfur (ROS) compounds are environmentally ubiquitous and play an important role in sulfur cycling as well as in biogeochemical cycles of toxic metals, in particular mercury. Development of effective methods for analysis of ROS in environmental samples and investigations on the interactions of ROS with mercury are critical for understanding the role of ROS in mercury cycling, yet both of which are poorly studied. Covalent affinity chromatography-based methods were attempted for analysis of ROS in environmental water samples. A method was developed for analysis of environmental thiols, by preconcentration using affinity covalent chromatographic column or solid phase extraction, followed by releasing of thiols from the thiopropyl sepharose gel using TCEP and analysis using HPLC-UV or HPLC-FL. Under the optimized conditions, the detection limits of the method using HPLC-FL detection were 0.45 and 0.36 nM for Cys and GSH, respectively. Our results suggest that covalent affinity methods are efficient for thiol enrichment and interference elimination, demonstrating their promising applications in developing a sensitive, reliable, and useful technique for thiol analysis in environmental water samples. The dissolution of mercury sulfide (HgS) in the presence of ROS and dissolved organic matter (DOM) was investigated, by quantifying the effects of ROS on HgS dissolution and determining the speciation of the mercury released from ROS-induced HgS dissolution. It was observed that the presence of small ROS (e.g., Cys and GSH) and large molecule DOM, in particular at high concentrations, could significantly enhance the dissolution of HgS. The dissolved Hg during HgS dissolution determined using the conventional 0.22 μm cutoff method could include colloidal Hg (e.g., HgS colloids) and truly dissolved Hg (e.g., Hg-ROS complexes). A centrifugal filtration method (with 3 kDa MWCO) was employed to characterize the speciation and reactivity of the Hg released during ROS-enhanced HgS dissolution. The presence of small ROS could produce a considerable fraction (about 40% of total mercury in the solution) of truly dissolved mercury (< 3 kDa), probably due to the formation of Hg-Cys or Hg-GSH complexes. The truly dissolved Hg formed during GSH- or Cys-enhanced HgS dissolution was directly reducible (100% for GSH and 40% for Cys) by stannous chloride, demonstrating its potential role in Hg transformation and bioaccumulation.

A methodology for formally modeling and analyzing software architecture of mobile agent systems

A methodology for formally modeling and analyzing software architecture of mobile agent systems provides a solid basis to develop high quality mobile agent systems, and the methodology is helpful to study other distributed and concurrent systems as well. However, it is a challenge to provide the methodology because of the agent mobility in mobile agent systems.^ The methodology was defined from two essential parts of software architecture: a formalism to define the architectural models and an analysis method to formally verify system properties. The formalism is two-layer Predicate/Transition (PrT) nets extended with dynamic channels, and the analysis method is a hierarchical approach to verify models on different levels. The two-layer modeling formalism smoothly transforms physical models of mobile agent systems into their architectural models. Dynamic channels facilitate the synchronous communication between nets, and they naturally capture the dynamic architecture configuration and agent mobility of mobile agent systems. Component properties are verified based on transformed individual components, system properties are checked in a simplified system model, and interaction properties are analyzed on models composing from involved nets. Based on the formalism and the analysis method, this researcher formally modeled and analyzed a software architecture of mobile agent systems, and designed an architectural model of a medical information processing system based on mobile agents. The model checking tool SPIN was used to verify system properties such as reachability, concurrency and safety of the medical information processing system. ^ From successful modeling and analyzing the software architecture of mobile agent systems, the conclusion is that PrT nets extended with channels are a powerful tool to model mobile agent systems, and the hierarchical analysis method provides a rigorous foundation for the modeling tool. The hierarchical analysis method not only reduces the complexity of the analysis, but also expands the application scope of model checking techniques. The results of formally modeling and analyzing the software architecture of the medical information processing system show that model checking is an effective and an efficient way to verify software architecture. Moreover, this system shows a high level of flexibility, efficiency and low cost of mobile agent technologies. ^

Resistance Performances: (Re)constructing Spaces of Resistance and Contention in the 2010-2011 University of Puerto Rico Student Movement

On the night of April 20, 2010, a group of students from the University of Puerto Rico (UPR), Río Piedras campus, met to organize an indefinite strike that quickly broadened into a defense of accessible public higher education of excellence as a fundamental right and not a privilege. Although the history of student activism in the UPR can be traced back to the early 1900s, the 2010-2011 strike will be remembered for the student activists’ use of new media technologies as resources that rapidly prompted and aided the numerous protests. This activist research entailed a critical ethnography and a critical discourse analysis (CDA) of traditional and alternative media coverage and treatment during the 2010 -2011 UPR student strike. I examined the use of the 2010-2011 UPR student activists’ resistance performances in constructing local, corporeal, and virtual spaces of resistance and contention during their movement. In particular, I analyzed the different tactics and strategies of resistance or repertoire of collective actions that student activists used (e.g. new media technologies) to frame their collective identities via alternative news media’s (re)presentation of the strike, while juxtaposing the university administration’s counter-resistance performances in counter-framing the student activists’ collective identity via traditional news media representations of the strike. I illustrated how both traditional and alternative media (re)presentations of student activism developed, maintained, and/or modified students activists’ collective identities. As such, the UPR student activism’s success should not be measured by the sum of demands granted, but by the sense of community achieved and the establishment of networks that continue to create resistance and change. These networks add to the debate surrounding Internet activism and its impact on student activism. Ultimately, the results of this study highlight the important role student movements have had in challenging different types of government policies and raising awareness of the importance of an accessible public higher education of excellence.