Untangling unstructured programs

A method is presented for converting unstructured program schemas to strictly equivalent structured form. The predicates of the original schema are left intact with structuring being achieved by the duplication of he original decision vertices without the introduction of compound predicate expressions, or where possible by function duplication alone. It is shown that structured schemas must have at least as many decision vertices as the original unstructured schema, and must have more when the original schema contains branches out of decision constructs. The structuring method allows the complete avoidance of function duplication, but only at the expense of decision vertex duplication. It is shown that structured schemas have greater space-time requirements in general than their equivalent optimal unstructured counterparts and at best have the same requirements.

An evaluation of orogenic kinematic evolution utilizing crystalline and magnetic anisotropy in granitoids

The Silurian-Devonian Galway Granite Complex (GGC ~425-380Ma) is defined here as a suite of granitoid plutons that comprise the Main Galway Granite Batholith and the Earlier Plutons. The Main Batholith is a composite of the Carna Pluton in the west and the Kilkieran Pluton in the east and extends from Galway City ~130km to the west. The Earlier Plutons are spatially, temporally and structurally distinct, situated northwest of the Main Batholith and include the Roundstone, Omey, Inis and Letterfrack Plutons. The majority of isotopic and structural data currently available pertain to the Kilkieran Pluton, several tectonic models have already been devised for this part of the complex. These relate emplacement of the Kilkieran Pluton to extension across a large east-west Caledonian lineament, i.e. the Skird Rocks Fault, during late Caledonian transtension. No chronological data have been published that directly and accurately date the emplacement of the Carna Pluton or any of the Earlier Plutons. There is also a lack of data pertaining to the internal structure of these intrusions. Accordingly, no previous study has established the mechanisms of emplacement for the Earlier Plutons and only limited work is available for the Carna Pluton. As a consequense of this, constituents of the GGC have not previously been placed in a context relative to each other or to regional scale Silurio-Devonian kinematics. The current work focuses on the Omey, Roundstone and Carna Plutons. Here, results of detailed field and Anisotropy of Magnetic Susceptibiliy (AMS) fabric studies are presented. This work is complemented by geological mapping that focuses on fault dynamics and contact relationships. Interpretation of AMS data is aided by rock magnetic experiment data and petrographic microstructural evaluations of representative samples. A new geological map of the the Omey Pluton demonstrates that this intrusion has a defined roof and base which are gently inclined parallel to the fold hinge of the Connemara Antiform. AMS and petrographic data show the intrusion is cross cut by NNW-SSE shear zones that extend into the country rock. These pre-date and were active during magma emplacement. It is proposed that the Omey pluton was emplaced as a discordant phacolith. Pre-existing subvertical D5 faults in the host rock were reactived during emplacement, due to regional sinistral transpression, and served as centralised ascent conduits. A central portion of the Roundstone Pluton was mapped in detail for the first time. Two facies are identified, G1 forms the majority of the pluton and coeval G2 sheets cross cut G1 at the core of the pluton. NNW-SSE D5 faults mapped in the country rock extend across the pluton. These share a geometrical relationship with the distribution of submagmatic strain in the pluton and parallel the majoity of mapped subvertical G2 dykes. These data indicate that magma ascent was controlled by NNW-SSE conduits that are inherently related to those identifed in the Omey Pluton. It is proposed that the Roundstone Pluton is a punched laccolith, the symmetry and structure of which was controlled by pre-exising host rock structures and regional sinistral transpressive stress which presided during emplacement. Field relationships show the long axis of the Carna Pluton lies parallel to mulitple NNW-SSE shear zones. These are represented on a regional scale by the Clifden-Mace Fault which cross cuts the core of this intrusion. AMS and petrographic data show concentric emplacement fabrics were tectonically overprinted as magma cooled from the magmatic state due to this faulting. It is proposed that the Clifden-Mace Fault system was active during ascent and emplacement of the magma and that pluton inflation only terminated as this controlling structure went into compression due to the onset of regional transtension. U-Pb zircon laser ablation inductively coupled mass spectrometry (LA-ICP-MS) data has been compiled from four sample sites. New geochronological data from the Roundstone Pluton (RD1 = ± 3.2Ma) represent the oldest age determination obtained from any member of the GGC and demonstrates that this pluton predates the Carna Pluton by ~10Ma and probably intruded synchronously with the Omey Pluton (~422.5 ± 1.7Ma). Chronological data from the Carna Pluton (CN2 = 412.9 ± 2.5Ma; CN3 = 409.8 ± 7.2Ma; CN4 = 409.6 ± 3.6Ma) represent the first precise magma crystallisation age for this intrusion. This work shows this pluton is 10Ma older than the Kilkieran Pluton and that the supply of magma into the Carna Pluton had terminated by ~409Ma. Chronological, magnetic and field data have been utilised to evaluate the kinematic evolution of the Caledonides of western Ireland throughout the construction of the GGC. It is proposed that the GGC was constructed during four distinct episodes. The style of emplacement and the conduits used for magma transport to the site of emplacement was dependent on the orientation of local structures relative to the regional ambiant stress field. This philosophy is used to critically evaluate and progress existing hypotheses on the transition from regional transpression to regional transtension at the end of the Caledonian Orogeny.

Uncertainty visualization in 3D scalar data

One problem in most three-dimensional (3D) scalar data visualization techniques is that they often overlook to depict uncertainty that comes with the 3D scalar data and thus fail to faithfully present the 3D scalar data and have risks which may mislead users’ interpretations, conclusions or even decisions. Therefore this thesis focuses on the study of uncertainty visualization in 3D scalar data and we seek to create better uncertainty visualization techniques, as well as to find out the advantages/disadvantages of those state-of-the-art uncertainty visualization techniques. To do this, we address three specific hypotheses: (1) the proposed Texture uncertainty visualization technique enables users to better identify scalar/error data, and provides reduced visual overload and more appropriate brightness than four state-of-the-art uncertainty visualization techniques, as demonstrated using a perceptual effectiveness user study. (2) The proposed Linked Views and Interactive Specification (LVIS) uncertainty visualization technique enables users to better search max/min scalar and error data than four state-of-the-art uncertainty visualization techniques, as demonstrated using a perceptual effectiveness user study. (3) The proposed Probabilistic Query uncertainty visualization technique, in comparison to traditional Direct Volume Rendering (DVR) methods, enables radiologists/physicians to better identify possible alternative renderings relevant to a diagnosis and the classification probabilities associated to the materials appeared on these renderings; this leads to improved decision support for diagnosis, as demonstrated in the domain of medical imaging. For each hypothesis, we test it by following/implementing a unified framework that consists of three main steps: the first main step is uncertainty data modeling, which clearly defines and generates certainty types of uncertainty associated to given 3D scalar data. The second main step is uncertainty visualization, which transforms the 3D scalar data and their associated uncertainty generated from the first main step into two-dimensional (2D) images for insight, interpretation or communication. The third main step is evaluation, which transforms the 2D images generated from the second main step into quantitative scores according to specific user tasks, and statistically analyzes the scores. As a result, the quality of each uncertainty visualization technique is determined.