Effects of Simulated Drought on the Carbon Balance of Everglades Short-Hydroperiod Marsh

Hydrology drives the carbon balance of wetlands by controlling the uptake and release of CO2 and CH4. Longer dry periods in between heavier precipitation events predicted for the Everglades region, may alter the stability of large carbon pools in this wetland's ecosystems. To determine the effects of drought on CO2 fluxes and CH4 emissions, we simulated changes in hydroperiod with three scenarios that differed in the onset rate of drought (gradual, intermediate, and rapid transition into drought) on 18 freshwater wetland monoliths collected from an Everglades short-hydroperiod marsh. Simulated drought, regardless of the onset rate, resulted in higher net CO2 losses net ecosystem exchange (NEE) over the 22-week manipulation. Drought caused extensive vegetation dieback, increased ecosystem respiration (Reco), and reduced carbon uptake gross ecosystem exchange (GEE). Photosynthetic potential measured by reflective indices (photochemical reflectance index, water index, normalized phaeophytinization index, and the normalized difference vegetation index) indicated that water stress limited GEE and inhibited Reco. As a result of drought-induced dieback, NEE did not offset methane production during periods of inundation. The average ratio of net CH4 to NEE over the study period was 0.06, surpassing the 100-year greenhouse warming compensation point for CH4 (0.04). Drought-induced diebacks of sawgrass (C3) led to the establishment of the invasive species torpedograss (C4) when water was resupplied. These changes in the structure and function indicate that freshwater marsh ecosystems can become a net source of CO2 and CH4 to the atmosphere, even following an extended drought. Future changes in precipitation patterns and drought occurrence/duration can change the carbon storage capacity of freshwater marshes from sinks to sources of carbon to the atmosphere. Therefore, climate change will impact the carbon storage capacity of freshwater marshes by influencing water availability and the potential for positive feedbacks on radiative forcing.

Quantum transition state theory and solving a first order master equation for complex reactions numerically

The field of chemical kinetics is an exciting and active field. The prevailing theories make a number of simplifying assumptions that do not always hold in actual cases. Another current problem concerns a development of efficient numerical algorithms for solving the master equations that arise in the description of complex reactions. The objective of the present work is to furnish a completely general and exact theory of reaction rates, in a form reminiscent of transition state theory, valid for all fluid phases and also to develop a computer program that can solve complex reactions by finding the concentrations of all participating substances as a function of time. To do so, the full quantum scattering theory is used for deriving the exact rate law, and then the resulting cumulative reaction probability is put into several equivalent forms that take into account all relativistic effects if applicable, including one that is strongly reminiscent of transition state theory, but includes corrections from scattering theory. Then two programs, one for solving complex reactions, the other for solving first order linear kinetic master equations to solve them, have been developed and tested for simple applications.

A software tool that generates symbolic model verifier (SMV) input language from a predicate transition net

The purpose of this research was to apply model checking by using a symbolic model checker on Predicate Transition Nets (PrT Nets). A PrT Net is a formal model of information flow which allows system properties to be modeled and analyzed. The aim of this thesis was to use the modeling and analysis power of PrT nets to provide a mechanism for the system model to be verified. Symbolic Model Verifier (SMV) was the model checker chosen in this thesis, and in order to verify the PrT net model of a system, it was translated to SMV input language. A software tool was implemented which translates the PrT Net into SMV language, hence enabling the process of model checking. The system includes two parts: the PrT net editor where the representation of a system can be edited, and the translator which converts the PrT net into an SMV program.