CHARACTERIZING THE FIRST HISTORIC ERUPTION OF NABRO, ERITREA: INSIGHTS FROM THERMAL AND UV REMOTE SENSING

June 2011 saw the first historic eruption of Nabro volcano, one of an ongoing sequence of eruptions in the Afar-Red Sea region since 2005. It halted air travel in northern Africa, contaminated food and water sources, and displaced thousands from their homes. Due to its remote location, little was known about this event in terms of the quantity of erupted products and the timing and mechanisms of their emplacement. Geographic isolation, previous quiescence and regional civil unrest meant that this volcano was effectively unmonitored at the time of eruption, and opportunities for field study are limited. Using free, publicly available satellite data, I examined rates of lava effusion and SO2 emission in order to quantify the amount of erupted products and understand the temporal evolution of the eruption, as well as explore what information can be gleaned about eruption mechanisms using remote sensing data. These data revealed a bimodal eruption, beginning with explosive activity marked by high SO2 emission totalling 1824 - 2299 KT, and extensive ash fall of 270 - 440 km2. This gave way to a period of rapid effusion, producing a ~17 km long lava flow, and a volume of ~22.1 x 106 m3. Mass balance between the SO2 and lava flows reveals no sulfur 'excess', suggesting that nearly all of the degassed magma was extruded. The 2011 eruption of Nabro lasted nearly 6 weeks, and may be considered the second largest historic eruption in Africa. Work such as this highlights the importance of satellite remote sensing for studying and monitoring volcanoes, particularly those in remote regions that may be otherwise inaccessible.

DESIGN OF EFFICIENT IN-NETWORK DATA PROCESSING AND DISSEMINATION FOR VANETS

By providing vehicle-to-vehicle and vehicle-to-infrastructure wireless communications, vehicular ad hoc networks (VANETs), also known as the “networks on wheels”, can greatly enhance traffic safety, traffic efficiency and driving experience for intelligent transportation system (ITS). However, the unique features of VANETs, such as high mobility and uneven distribution of vehicular nodes, impose critical challenges of high efficiency and reliability for the implementation of VANETs. This dissertation is motivated by the great application potentials of VANETs in the design of efficient in-network data processing and dissemination. Considering the significance of message aggregation, data dissemination and data collection, this dissertation research targets at enhancing the traffic safety and traffic efficiency, as well as developing novel commercial applications, based on VANETs, following four aspects: 1) accurate and efficient message aggregation to detect on-road safety relevant events, 2) reliable data dissemination to reliably notify remote vehicles, 3) efficient and reliable spatial data collection from vehicular sensors, and 4) novel promising applications to exploit the commercial potentials of VANETs. Specifically, to enable cooperative detection of safety relevant events on the roads, the structure-less message aggregation (SLMA) scheme is proposed to improve communication efficiency and message accuracy. The scheme of relative position based message dissemination (RPB-MD) is proposed to reliably and efficiently disseminate messages to all intended vehicles in the zone-of-relevance in varying traffic density. Due to numerous vehicular sensor data available based on VANETs, the scheme of compressive sampling based data collection (CS-DC) is proposed to efficiently collect the spatial relevance data in a large scale, especially in the dense traffic. In addition, with novel and efficient solutions proposed for the application specific issues of data dissemination and data collection, several appealing value-added applications for VANETs are developed to exploit the commercial potentials of VANETs, namely general purpose automatic survey (GPAS), VANET-based ambient ad dissemination (VAAD) and VANET based vehicle performance monitoring and analysis (VehicleView). Thus, by improving the efficiency and reliability in in-network data processing and dissemination, including message aggregation, data dissemination and data collection, together with the development of novel promising applications, this dissertation will help push VANETs further to the stage of massive deployment.

DESIGN, SYNTHESIS AND APPLICATIONS OF FLUORESCENT AND ELECTROCHEMICAL PROBES

“Seeing is believing” the proverb well suits for fluorescent imaging probes. Since we can selectively and sensitively visualize small biomolecules, organelles such as lysosomes, neutral molecules, metal ions, anions through cellular imaging, fluorescent probes can help shed light on the physiological and pathophysiological path ways. Since these biomolecules are produced in low concentrations in the biochemical pathways, general analytical techniques either fail to detect or are not sensitive enough to differentiate the relative concentrations. During my Ph.D. study, I exploited synthetic organic techniques to design and synthesize fluorescent probes with desirable properties such as high water solubility, high sensitivity and with varying fluorescent quantum yields. I synthesized a highly water soluble BOIDPY-based turn-on fluorescent probe for endogenous nitric oxide. I also synthesized a series of cell membrane permeable near infrared (NIR) pH activatable fluorescent probes for lysosomal pH sensing. Fluorescent dyes are molecular tools for designing fluorescent bio imaging probes. This prompted me to design and synthesize a hybrid fluorescent dye with a functionalizable chlorine atom and tested the chlorine re-activity for fluorescent probe design. Carbohydrate and protein interactions are key for many biological processes, such as viral and bacterial infections, cell recognition and adhesion, and immune response. Among several analytical techniques aimed to study these interactions, electrochemical bio sensing is more efficient due to its low cost, ease of operation, and possibility for miniaturization. During my Ph.D., I synthesized mannose bearing aniline molecule which is successfully tested as electrochemical bio sensor. A Ferrocene-mannose conjugate with an anchoring group is synthesized, which can be used as a potential electrochemical biosensor.

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.

Vortex Shedding Dynamics in Long Aspect-Ratio Aerodynamics Bodies

The focus of the current dissertation is to study qualitatively the underlying physics of vortex-shedding and wake dynamics in long aspect-ratio aerodynamics in incompressible viscous flow through the use of the KLE method. We carried out a long series of numerical experiments in the cases of flow around the cylinder at low Reynolds numbers. The study of flow at low Reynolds numbers provides an insight in the fluid physics and also plays a critical role when applying to stalled turbine rotors. Many of the conclusions about the qualitative nature of the physical mechanisms characterizing vortex formation, shedding and further interaction analyzed here at low Re could be extended to other Re regimes and help to understand the separation of the boundary layers in airfoils and other aerodynamic surfaces. In the long run, it aims to provide a better understanding of the complex multi-physics problems involving fluid-structure-control interaction through improved mathematical computational models of the multi-physics process. Besides the scientific conclusions produced, the research work on streamlined and bluff-body condition will also serve as a valuable guide for the future design of blade aerodynamics and the placement of wind turbines and hydrakinetic turbines, increasing the efficiency in the use of expensive workforce, supplies, and infrastructure. After the introductory section describing the main fields of application of wind power and hydrokinetic turbines, we describe the main features and theoretical background of the numerical method used here. Then, we present the analysis of the numerical experimentation results for the oscillatory regime right before the onset of vortex shedding for circular cylinders. We verified the wake length of the closed near-wake behind the cylinder and analysed the decay of the wake at the wake formation region, and then studied the St-Re relationship at the Reynolds numbers before the wake sheds compared to the experimental data. We found a theoretical model that describes the time evolution of the amplitude of fluctuations in the vorticity field on the twin vortex wake, which accurately matches the numerical results in terms of the frequency of the oscillation and rate of decay. We also proposed a model based on an analog circuit that is able to interpret the concerning flow by reducing the number of degrees of freedom. It follows the idea of the non-linear oscillator and resembles the dynamics mechanism of the closed near-wake with a common configured sine wave oscillator. This low-dimensional circuital model may also help to understand the underlying physical mechanisms, related to vorticity transport, that give origin to those oscillations.

DESIGN AND APPLICATION OF WIRELESS PASSIVE MAGNETOELASTIC RESONANCE AND MAGNETOHARMONIC FORCE SENSORS

The objective of the work described in this dissertation is the development of new wireless passive force monitoring platforms for applications in the medical field, specifically monitoring lower limb prosthetics. The developed sensors consist of stress sensitive, magnetically soft amorphous metallic glass materials. The first technology is based on magnetoelastic resonance. Specifically, when exposed to an AC excitation field along with a constant DC bias field, the magnetoelastic material mechanically vibrates, and may reaches resonance if the field frequency matches the mechanical resonant frequency of the material. The presented work illustrates that an applied loading pins portions of the strip, effectively decreasing the strip length, which results in an increase in the frequency of the resonance. The developed technology is deployed in a prototype lower limb prosthetic sleeve for monitoring forces experienced by the distal end of the residuum. This work also reports on the development of a magnetoharmonic force sensor comprised of the same material. According to the Villari effect, an applied loading to the material results in a change in the permeability of the magnetic sensor which is visualized as an increase in the higher-order harmonic fields of the material. Specifically, by applying a constant low frequency AC field and sweeping the applied DC biasing field, the higher-order harmonic components of the magnetic response can be visualized. This sensor technology was also instrumented onto a lower limb prosthetic for proof of deployment; however, the magnetoharmonic sensor illustrated complications with sensor positioning and a necessity to tailor the interface mechanics between the sensing material and the surface being monitored. The novelty of these two technologies is in their wireless passive nature which allows for long term monitoring over the life time of a given device. Additionally, the developed technologies are low cost. Recommendations for future works include improving the system for real-time monitoring, useful for data collection outside of a clinical setting.