A FLOW-THROUGH ACOUSTIC WAVEGUIDE FOR TWO-PHASE BUBBLY FLOW VOID FRACTION MEASUREMENT

In the Spallation Neutron Source (SNS) facility at Oak Ridge National Laboratory (ORNL), the deposition of a high-energy proton beam into the liquid mercury target forms bubbles whose asymmetric collapse cause Cavitation Damage Erosion (CDE) to the container walls, thereby reducing its usable lifetime. One proposed solution for mitigation of this damage is to inject a population of microbubbles into the mercury, yielding a compliant and attenuative medium that will reduce the resulting cavitation damage. This potential solution presents the task of creating a diagnostic tool to monitor bubble population in the mercury flow in order to correlate void fraction and damage. Details of an acoustic waveguide for the eventual measurement of two-phase mercury-helium flow void fraction are discussed. The assembly’s waveguide is a vertically oriented stainless steel cylinder with 5.08cm ID, 1.27cm wall thickness and 40cm length. For water experiments, a 2.54cm thick stainless steel plate at the bottom supports the fluid, provides an acoustically rigid boundary condition, and is the mounting point for a hydrophone. A port near the bottom is the inlet for the fluid of interest. A spillover reservoir welded to the upper portion of the main tube allows for a flow-through design, yielding a pressure release top boundary condition for the waveguide. A cover on the reservoir supports an electrodynamic shaker that is driven by linear frequency sweeps to excite the tube. The hydrophone captures the frequency response of the waveguide. The sound speed of the flowing medium is calculated, assuming a linear dependence of axial mode number on modal frequency (plane wave). Assuming that the medium has an effective-mixture sound speed, and that it contains bubbles which are much smaller than the resonance radii at the highest frequency of interest (Wood’s limit), the void fraction of the flow is calculated. Results for water and bubbly water of varying void fraction are presented, and serve to demonstrate the accuracy and precision of the apparatus.

QUANTITATIVE THREE DIMENSIONAL ELASTICITY IMAGING

Neoplastic tissue is typically highly vascularized, contains abnormal concentrations of extracellular proteins (e.g. collagen, proteoglycans) and has a high interstitial fluid pres- sure compared to most normal tissues. These changes result in an overall stiffening typical of most solid tumors. Elasticity Imaging (EI) is a technique which uses imaging systems to measure relative tissue deformation and thus noninvasively infer its mechanical stiffness. Stiffness is recovered from measured deformation by using an appropriate mathematical model and solving an inverse problem. The integration of EI with existing imaging modal- ities can improve their diagnostic and research capabilities. The aim of this work is to develop and evaluate techniques to image and quantify the mechanical properties of soft tissues in three dimensions (3D). To that end, this thesis presents and validates a method by which three dimensional ultrasound images can be used to image and quantify the shear modulus distribution of tissue mimicking phantoms. This work is presented to motivate and justify the use of this elasticity imaging technique in a clinical breast cancer screening study. The imaging methodologies discussed are intended to improve the specificity of mammography practices in general. During the development of these techniques, several issues concerning the accuracy and uniqueness of the result were elucidated. Two new algorithms for 3D EI are designed and characterized in this thesis. The first provides three dimensional motion estimates from ultrasound images of the deforming ma- terial. The novel features include finite element interpolation of the displacement field, inclusion of prior information and the ability to enforce physical constraints. The roles of regularization, mesh resolution and an incompressibility constraint on the accuracy of the measured deformation is quantified. The estimated signal to noise ratio of the measured displacement fields are approximately 1800, 21 and 41 for the axial, lateral and eleva- tional components, respectively. The second algorithm recovers the shear elastic modulus distribution of the deforming material by efficiently solving the three dimensional inverse problem as an optimization problem. This method utilizes finite element interpolations, the adjoint method to evaluate the gradient and a quasi-Newton BFGS method for optimiza- tion. Its novel features include the use of the adjoint method and TVD regularization with piece-wise constant interpolation. A source of non-uniqueness in this inverse problem is identified theoretically, demonstrated computationally, explained physically and overcome practically. Both algorithms were test on ultrasound data of independently characterized tissue mimicking phantoms. The recovered elastic modulus was in all cases within 35% of the reference elastic contrast. Finally, the preliminary application of these techniques to tomosynthesis images showed the feasiblity of imaging an elastic inclusion.

Search by Shape Examples: Modeling Nonrigid Deformation

We describe our work on shape-based image database search using the technique of modal matching. Modal matching employs a deformable shape decomposition that allows users to select example objects and have the computer efficiently sort the set of objects based on the similarity of their shape. Shapes are compared in terms of the types of nonrigid deformations (differences) that relate them. The modal decomposition provides deformation "control knobs" for flexible matching and thus allows for selecting weighted subsets of shape parameters that are deemed significant for a particular category or context. We demonstrate the utility of this approach for shape comparison in 2-D image databases; however, the general formulation is applicable to signals of any dimensionality.

Deformable Prototypes for Encoding Shape Categories in Image Databases

We describe a method for shape-based image database search that uses deformable prototypes to represent categories. Rather than directly comparing a candidate shape with all shape entries in the database, shapes are compared in terms of the types of nonrigid deformations (differences) that relate them to a small subset of representative prototypes. To solve the shape correspondence and alignment problem, we employ the technique of modal matching, an information-preserving shape decomposition for matching, describing, and comparing shapes despite sensor variations and nonrigid deformations. In modal matching, shape is decomposed into an ordered basis of orthogonal principal components. We demonstrate the utility of this approach for shape comparison in 2-D image databases.

An evaluation of reovirus as an effective therapeutic for cancer

Cancer is a global problem. Despite the significant advances made in recent years, a definitively effective therapeutic has yet to be developed. Oncolytic virology has fallen back into favour for the treatment of cancer with several viruses and viral vectors currently under investigation including vesicular stomatitis virus (VSV), adenovirus vectors and herpes simplex virus (HSV) vectors. Reovirus has an advantage over many viral vectors in that its wild-type form is non-pathogenic and will selectively infect transformed cells, particularly those mutated in the Ras pathway. These advantages make Reovirus an ideal candidate as a safe and non-toxic therapeutic. The aim of the first part of this study was to determine the effect, if any, of Reovirus on cell lines derived from cancers of the gastrointestinal tract. These cancers, particularly those of the oesophagus and stomach, have extremely poor prognoses and little improvement has been seen in survival of these patients in recent years. Reovirus as a single therapy showed promising results in cell lines of oesophageal, gastric and colorectal origin. Further study of partially resistant cell lines using a combination of Reovirus and conventional therapies, either chemotherapy or radiation, showed that a multi-modal approach to therapy is possible with Reovirus and no antagonism between Reovirus and other treatments was observed. The second part of this study focused on investigating a novel use of Reovirus in an in vivo setting. Cancer vaccination or the use of vaccines in cancer therapy is gaining momentum and success has been seen both in a prophylactic approach and a therapeutic approach. A cell-based Reovirus vaccine was used in both these approaches with encouraging success. When used as a prophylactic vaccine tumour development was subsequently inhibited even upon exposure to a tumorigenic dose of cells. The use of the cell-based Reovirus vaccine as a therapeutic for established tumours showed significant delay in tumour growth and a prolongation of survival in all models. This study has proven that Reovirus is an effective therapeutic in a range of cancers and the successful use of a cell-based Reovirus vaccine leads the way for new advancements in cancer immunotherapy.

Transport energy demand: techno-economic modelling and scenarios for Irish climate policy

The case for energy policy modelling is strong in Ireland, where stringent EU climate targets are projected to be overshot by 2015. Policy targets aiming to deliver greenhouse gas and renewable energy targets have been made, but it is unclear what savings are to be achieved and from which sectors. Concurrently, the growth of personal mobility has caused an astonishing increase in CO2 emissions from private cars in Ireland, a 37% rise between 2000 and 2008, and while there have been improvements in the efficiency of car technology, there was no decrease in the energy intensity of the car fleet in the same period. This thesis increases the capacity for evidenced-based policymaking in Ireland by developing techno-economic transport energy models and using them to analyse historical trends and to project possible future scenarios. A central focus of this thesis is to understand the effect of the car fleet‘s evolving technical characteristics on energy demand. A car stock model is developed to analyse this question from three angles: Firstly, analysis of car registration and activity data between 2000 and 2008 examines the trends which brought about the surge in energy demand. Secondly, the car stock is modelled into the future and is used to populate a baseline “no new policy” scenario, looking at the impact of recent (2008-2011) policy and purchasing developments on projected energy demand and emissions. Thirdly, a range of technology efficiency, fuel switching and behavioural scenarios are developed up to 2025 in order to indicate the emissions abatement and renewable energy penetration potential from alternative policy packages. In particular, an ambitious car fleet electrification target for Ireland is examined. The car stock model‘s functionality is extended by linking it with other models: LEAP-Ireland, a bottom-up energy demand model for all energy sectors in the country; Irish TIMES, a linear optimisation energy system model; and COPERT, a pollution model. The methodology is also adapted to analyse trends in freight energy demand in a similar way. Finally, this thesis addresses the gap in the representation of travel behaviour in linear energy systems models. A novel methodology is developed and case studies for Ireland and California are presented using the TIMES model. Transport Energy

Resonant power conversion topologies for inductive charging of electrical vehicle batteries

This thesis is concerned with inductive charging of electric vehicle batteries. Rectified power form the 50/60 Hz utility feeds a dc-ac converter which delivers high-frequency ac power to the electric vehicle inductive coupling inlet. The inlet configuration has been defined by the Society of Automotive Engineers in Recommended Practice J-1773. This thesis studies converter topologies related to the series resonant converter. When coupled to the vehicle inlet, the frequency-controlled series-resonant converter results in a capacitively-filtered series-parallel LCLC (SP-LCLC) resonant converter topology with zero voltage switching and many other desirable features. A novel time-domain transformation analysis, termed Modal Analysis, is developed, using a state variable transformation, to analyze and characterize this multi-resonant fourth-orderconverter. Next, Fundamental Mode Approximation (FMA) Analysis, based on a voltage-source model of the load, and its novel extension, Rectifier-Compensated FMA (RCFMA) Analysis, are developed and applied to the SP-LCLC converter. The RCFMA Analysis is a simpler and more intuitive analysis than the Modal Analysis, and provides a relatively accurate closed-form solution for the converter behavior. Phase control of the SP-LCLC converter is investigated as a control option. FMA and RCFMA Analyses are used for detailed characterization. The analyses identify areas of operation, which are also validated experimentally, where it is advantageous to phase control the converter. A novel hybrid control scheme is proposed which integrates frequency and phase control and achieves reduced operating frequency range and improved partial-load efficiency. The phase-controlled SP-LCLC converter can also be configured with a parallel load and is an excellent option for the application. The resulting topology implements soft-switching over the entire load range and has high full-load and partial-load efficiencies. RCFMA Analysis is used to analyze and characterize the new converter topology, and good correlation is shown with experimental results. Finally, a novel single-stage power-factor-corrected ac-dc converter is introduced, which uses the current-source characteristic of the SP-LCLC topology to provide power factor correction over a wide output power range from zero to full load. This converter exhibits all the advantageous characteristics of its dc-dc counterpart, with a reduced parts count and cost. Simulation and experimental results verify the operation of the new converter.

Full moon dance

A Jazz Celtic World Music Fusion Jig. A jig time melody placed in a setting where the rhythm section plays in 4/4 and 6/4 time simultaneously over contemporary modal jazz voicings

On the run

AABA Modal/World Music Fusion piece. A modal piece with the A sections based on the D dorian mode and the B section based on the E flat dorian mode. The time signature moves around in the A section (between 6/8 and 9/8. The melody of the B section is fragmented and contains unorthodox phrase starting and ending points

The endless search for SA: spiritual ideology in Hindustāni music

This dissertation centres on philosophical attitudes presented by North Indian classical musicians in relation to the concept and experience of rāga improvisation. In Hindustāni music, there is a dynamic tension ideology and pragmatism, devotion and entertainment, fixity and improvisational freedom, and cognition and visceral experience. On one hand, rāga is an embodied methodological template for the creation of music. On the other hand, rāga improvisation is conceptualised as a path to metaphysical experience and as an evocation of an ineffable divine presence. A masterful rendition of rāga is both a re-enactment of a systematic prescribed formula and a spontaneous flow of consciousness. This study presents these apparent dichotomies to highlight ideological concerns, while simultaneously contextualising philosophical idealism in relation to pragmatic realities. A central paradigm is the manner in which pragmatic concerns are elevated in status and given spiritual significance. The dissertation begins with a view into historical and religious context. The discussion continues with a speculative investigation positing co-relations between Hindustāni music and central tenets of Indian philosophy, considering how rāga improvisation may manifest as a philosophy of sound. The study then explores the concept of rāga, a modal and conceptual construct that forms the heart of Indian classical music. The final three sections ground the subject of spiritual ideology within the life experience of Hindustāni musicians: ‘Transmission’ looks at the learning and enculturation process, which encapsulates values intrinsic to the ethos of Hindustāni music culture. ‘Practice’ explores the discipline, science and experience of musical practice, revealing core ideological concerns connecting spirituality to musical experience; and ‘Performance’ examines the live presentation of rāga improvisation, and the relationship between music as ‘entertainment’ and music as ‘devotion’. Both ethnographic and musicological, this research is the culmination of various fieldtrips to India, extensive interviews with Hindustāni musicians, fifteen year’s sitār training, and the study of relevant musicological and philosophical texts.

High-Q hybrid 3D-2D slab-3D photonic crystal microcavity.

The radiation loss in the escaping light cone with a two-dimensional (2D) photonic crystal slab microcavity can be suppressed by means of cladding the low-Q slab microcavity by three-dimensional woodpile photonic crystals with the complete bandgap when the resonance frequency is located inside the complete bandgap. It is confirmed that the hybrid microcavity based on a low-Q, single-defect photonic crystal slab microcavity shows improvement of the Q factor without affecting the mode volume and modal frequency. Whereas 2D slab microcavities exhibit Q saturation with an increase in the number of layers, for the analyzed hybrid microcavities with a small gap between the slab and woodpiles, the Q factor does not saturate.

VegeDog: Formalism, vegetarian dogs, and partonomies in transition

The pragmatics of 'vegetarian' and 'carnivorous' exhibits an asymmetry that we put in evidence by analyzing a newspaper report about vegetarian dog-owners imposing a vegetarian diet on their pets. More fundamental is the problem of partonomy versus containment, for which we attempt a naive but formal analysis applied to ingestion and the food chain, an issue we derive from the same text analyzed. Our formal tools belong in commonsense modelling, a domain of artificial intelligence related to extra-linguistic knowledge and pragmatics. We first provide an interpretation of events analyzed, and express it graphically in a semantic-network related representation, and propose an alternative that we express in terms of a modal logic, avoiding the full representational power of Hayes's "ontology for liquids".

Guest Editorial. Special Issue: Temporal logic in engineering

Logic-based models are thriving within artificial intelligence. A great number of new logics have been defined, and their theory investigated. Epistemic logics introduce modal operators for knowledge or belief; deontic logics are about norms, and introduce operators of deontic necessity and possibility (i.e., obligation or prohibition). And then we have a much investigated class—temporal logics—to whose application to engineering this special issue is devoted. This kind of formalism deserves increased widespread recognition and application in engineering, a domain where other kinds of temporal models (e.g., Petri nets) are by now a fairly standard part of the modelling toolbox.

Reified temporal logics: an overview

There are three main approaches to the representation of temporal information in AI literature: the so-called method of temporal arguments that simply extends functions and predicates of first-order language to include time as the additional argument; modal temporal logics which are extensions ofthe propositional or predicate calculus with modal temporal operators; and reified temporal logics which reify standard propositions of some initial language (e.g., the classical first-order or modal logic) as objects denoting propositional terms. The objective of this paper is to provide an overview onthe temporal reified approach by looking closely atsome representative existing systems featuring reified propositions, including those of Allen, McDermott, Shoham, Reichgelt, Galton, and Ma and Knight. We shall demonstrate that, although reified logics might be more complicated in expressing assertions about some given objects with respect to different times, they accord a special status to time and therefore have several distinct advantages in talking about some important issues which would be difficult (if not impossible) to express in other approaches.

Interaction design for teaching visually impaired students

This paper reports on the findings for a study on improving interaction design for teaching visually impaired students. The crux of the problem is the ability to draw and understand diagrams. The cognitive issues are often underestimated with insufficient attention being given to the use of metaphors, etc. and "one size fits all solutions" are often the norm. The findings of the original seed funded project have led to design criteria and to an application for a large scale project, to produce generic tools and to enable multi-modal teaching and learning, with connotations for the mentally as well as physically impaired.