Polymer Light-Emitting Electrochemical Cells with Embedded Bipolar Electrodes: Visualizing Bipolar Electrochemistry in Solid State

The work presented in this thesis examines the properties of BPEs of various configurations and under different operating conditions in a large planar LEC system. Detailed analysis of time-lapsed fluorescence images allows us to calculate the doping propagation speed from the BPEs. By introducing a linear array of BPEs or dispersed ITO particles, multiple light-emitting junctions or a bulk homojunction have been demonstrated. In conclusion, it has been observed that both applied bias voltages and sizes of BPEs affected the electrochemical doping from the BPE. If the applied bias voltage was initially not sufficiently high enough, a delay in appearance of doping from the BPE would take place. Experiments of parallel BPEs with different sizes (large, medium, small) demonstrate that the potential difference across the BPEs has played a vital role in doping initiation. Also, the p-doping propagation distance from medium-sized BPE has displayed an exponential growth over the time-span of 70 seconds. Experiments with a linear array of BPEs with the same size demonstrate that the doping propagation speed of each floating BPE was the same regardless of its position between the driving electrodes. Probing experiments under high driving voltages further demonstrated the potential of having a much more efficient light emission from an LEC with multiple BPEs.

The Provenance and Geochemical Alteration of Bermudan Eolianites

Large calcareous eolianites cover the remote island of Bermuda, accounting for more than 90% of the limestone bedrock. This study examines the sedimentology and geochemistry of these eolianites to better understand Pleistocene oceanography and the meteoric alteration of subtropical carbonate sediments. Cluster analyses reveal that the eolian carbonate sediments fall into two natural groups that represent lagoonal and reefal end members of marine sediment production. Coral fragments are uncharacteristically absent, possibly destroyed prior to their incorporation into eolian deposits by endolithic microboring organisms or broken up during transport. Sediment assemblages lead to the following interpretations of the Bermudan offshore environment: (1) the Ledge Flats reef system along the southwestern coast has been active since MIS 11, contributing coralline algal-rich sediment to the northern beaches of Sandy’s Parish and acting as an energy barrier in the south, allowing for low energy sedimentation in the quiet back- reef region; (2) on the northeastern coast, the low energy back-reef region landward of the Ledge Flats has thrived since MIS 11; (3) during MIS 5e, slightly warmer water temperatures led to the hindrance of coralline algal growth along the southern coast and in the North Lagoon. These are the first interpretations of Pleistocene marine assemblages on Bermuda. Meteoric fluids progressively transformed the pristine carbonate sediments into hardened limestones in a predictable solubility-dependent manner. The progressive alteration is coincident with: (1) divergence of δ18O and δ13C values from those similar to unaltered sediment towards those of calcrete, due to interaction with CO2-charged meteoric fluids; (2) depletion of elements with low partitioning coefficients and low meteoric concentrations, such as barium, boron, magnesium, potassium, sodium, strontium, and uranium; (3) enrichment of iron from Terra Rossa-hosted iron oxides; (4) enrichment of aluminum via detrital minerals sourced from protosol horizons; and (5) manganese concentrations that remain uncharacteristically low, owing to the lack of a consistent manganese source. Elemental correlations are useful for characterizing meteoric diagenesis, assuming the primary mineralogy is recognized, all components have been fully altered, and inter-particle cements are ubiquitous.

Supporting Run-time Monitoring of UML-RT through Customizable Monitoring Configurations in PapyrusRT

Model Driven Engineering uses the principle that code can automatically be generated from software models which would potentially save time and cost of development. By this methodology, a systems structure and behaviour can be expressed in more abstract, high level terms without some of the accidental complexity that the use of a general purpose language can bring. Models are the actual implementation of the system unlike in traditional software development where models are often used for documentation purposes only. However once the code is generated from the model, testing and debugging activities tend to happen on the code level and the model is not updated. We believe that monitoring on the model level could potentially facilitate quality assurance activities as the errors are detected in the early phase of development. In this thesis, we create a Monitoring Configuration for an open source model driven engineering tool called PapyrusRT in Eclipse. We support the run-time monitoring of UML-RT elements with a tracing tool called LTTng. We annotate the model with monitoring information to be used by the code generator for adding tracepoint statements for the corresponding elements. We provide the option of a timing specification to discover latency errors on the model. We validate the results by creating and tracing real time models in PapyrusRT.