Understanding volcanic processes using UV camera measurements of sulfur dioxide and coincident infrasound and seismicity

The exsolution of volatiles from magma maintains an important control on volcanic eruption styles. The nucleation, growth, and connectivity of bubbles during magma ascent provide the driving force behind eruptions, and the rate, volume, and ease of gas exsolution can affect eruptive activity. Volcanic plumes are the observable consequence of this magmatic degassing, and remote sensing techniques allow us to quantify changes in gas exsolution. However, until recently the methods used to measure volcanic plumes did not have the capability of detecting rapid changes in degassing on the scale of standard geophysical observations. The advent of the UV camera now makes high sample rate gas measurements possible. This type of dataset can then be compared to other volcanic observations to provide an in depth picture of degassing mechanisms in the shallow conduit. The goals of this research are to develop a robust methodology for UV camera field measurements of volcanic plumes, and utilize this data in conjunction with seismoacoustic records to illuminate degassing processes. Field and laboratory experiments were conducted to determine the effects of imaging conditions, vignetting, exposure time, calibration technique, and filter usage on the UV camera sulfur dioxide measurements. Using the best practices determined from these studies, a field campaign was undertaken at Volcán de Pacaya, Guatemala. Coincident plume sulfur dioxide measurements, acoustic recordings, and seismic observations were collected and analyzed jointly. The results provide insight into the small explosive features, variations in degassing rate, and plumbing system of this complex volcanic system. This research provides useful information for determining volcanic hazard at Pacaya, and demonstrates the potential of the UV camera in multiparameter studies.

MINING AND VERIFICATION OF TEMPORAL EVENTS WITH APPLICATIONS IN COMPUTER MICRO-ARCHITECTURE RESEARCH

Computer simulation programs are essential tools for scientists and engineers to understand a particular system of interest. As expected, the complexity of the software increases with the depth of the model used. In addition to the exigent demands of software engineering, verification of simulation programs is especially challenging because the models represented are complex and ridden with unknowns that will be discovered by developers in an iterative process. To manage such complexity, advanced verification techniques for continually matching the intended model to the implemented model are necessary. Therefore, the main goal of this research work is to design a useful verification and validation framework that is able to identify model representation errors and is applicable to generic simulators. The framework that was developed and implemented consists of two parts. The first part is First-Order Logic Constraint Specification Language (FOLCSL) that enables users to specify the invariants of a model under consideration. From the first-order logic specification, the FOLCSL translator automatically synthesizes a verification program that reads the event trace generated by a simulator and signals whether all invariants are respected. The second part consists of mining the temporal flow of events using a newly developed representation called State Flow Temporal Analysis Graph (SFTAG). While the first part seeks an assurance of implementation correctness by checking that the model invariants hold, the second part derives an extended model of the implementation and hence enables a deeper understanding of what was implemented. The main application studied in this work is the validation of the timing behavior of micro-architecture simulators. The study includes SFTAGs generated for a wide set of benchmark programs and their analysis using several artificial intelligence algorithms. This work improves the computer architecture research and verification processes as shown by the case studies and experiments that have been conducted.

SELECTED CHEMOAUTOTROPHIC PROCESSES IN WASTEWATER TREATMENT: LOW TEMPERATURE NITRIFICATION INHIBITION BY AN AZO DYE AND BIOFILTRATION FOR ODOR CONTROL OF HYDROGEN SULFIDE

Biochemical processes by chemoautotrophs such as nitrifiers and sulfide and iron oxidizers are used extensively in wastewater treatment. The research described in this dissertation involved the study of two selected biological processes utilized in wastewater treatment mediated by chemoautotrophic bacteria: nitrification (biological removal of ammonia and nitrogen) and hydrogen sulfide (H2S) removal from odorous air using biofiltration. A municipal wastewater treatment plant (WWTP) receiving industrial dyeing discharge containing the azo dye, acid black 1 (AB1) failed to meet discharge limits, especially during the winter. Dyeing discharge mixed with domestic sewage was fed to sequencing batch reactors at 22oC and 7oC. Complete nitrification failure occurred at 7oC with more rapid nitrification failure as the dye concentration increased; slight nitrification inhibition occurred at 22oC. Dye-bearing wastewater reduced chemical oxygen demand (COD) removal at 7oC and 22oC, increased i effluent total suspended solids (TSS) at 7oC, and reduced activated sludge quality at 7oC. Decreasing AB1 loading resulted in partial nitrification recovery. Eliminating the dye-bearing discharge to the full-scale WWTP led to improved performance bringing the WWTP into regulatory compliance. BiofilterTM, a dynamic model describing the biofiltration processes for hydrogen sulfide removal from odorous air emissions, was calibrated and validated using pilot- and full-scale biofilter data. In addition, the model predicted the trend of the measured data under field conditions of changing input concentration and low effluent concentrations. The model demonstrated that increasing gas residence time and temperature and decreasing influent concentration decreases effluent concentration. Model simulations also showed that longer residence times are required to treat loading spikes. BiofilterTM was also used in the preliminary design of a full-scale biofilter for the removal of H2S from odorous air. Model simulations illustrated that plots of effluent concentration as a function of residence time or bed area were useful to characterize and design biofilters. Also, decreasing temperature significantly increased the effluent concentration. Model simulations showed that at a given temperature, a biofilter cannot reduce H2S emissions below a minimum value, no matter how large the biofilter.