Hazard and early warning analysis based on domain specific modeling technologies

An aim of proactive risk management strategies is the timely identification of safety related risks. One way to achieve this is by deploying early warning systems. Early warning systems aim to provide useful information on the presence of potential threats to the system, the level of vulnerability of a system, or both of these, in a timely manner. This information can then be used to take proactive safety measures. The United Nation’s has recommended that any early warning system need to have four essential elements, which are the risk knowledge element, a monitoring and warning service, dissemination and communication and a response capability. This research deals with the risk knowledge element of an early warning system. The risk knowledge element of an early warning system contains models of possible accident scenarios. These accident scenarios are created by using hazard analysis techniques, which are categorised as traditional and contemporary. The assumption in traditional hazard analysis techniques is that accidents are occurred due to a sequence of events, whereas, the assumption of contemporary hazard analysis techniques is that safety is an emergent property of complex systems. The problem is that there is no availability of a software editor which can be used by analysts to create models of accident scenarios based on contemporary hazard analysis techniques and generate computer code that represent the models at the same time. This research aims to enhance the process of generating computer code based on graphical models that associate early warning signs and causal factors to a hazard, based on contemporary hazard analyses techniques. For this purpose, the thesis investigates the use of Domain Specific Modeling (DSM) technologies. The contributions of this thesis is the design and development of a set of three graphical Domain Specific Modeling languages (DSML)s, that when combined together, provide all of the necessary constructs that will enable safety experts and practitioners to conduct hazard and early warning analysis based on a contemporary hazard analysis approach. The languages represent those elements and relations necessary to define accident scenarios and their associated early warning signs. The three DSMLs were incorporated in to a prototype software editor that enables safety scientists and practitioners to create and edit hazard and early warning analysis models in a usable manner and as a result to generate executable code automatically. This research proves that the DSM technologies can be used to develop a set of three DSMLs which can allow user to conduct hazard and early warning analysis in more usable manner. Furthermore, the three DSMLs and their dedicated editor, which are presented in this thesis, may provide a significant enhancement to the process of creating the risk knowledge element of computer based early warning systems.

Modular average case analysis: Language implementation and extension

Motivated by accurate average-case analysis, MOdular Quantitative Analysis (MOQA) is developed at the Centre for Efficiency Oriented Languages (CEOL). In essence, MOQA allows the programmer to determine the average running time of a broad class of programmes directly from the code in a (semi-)automated way. The MOQA approach has the property of randomness preservation which means that applying any operation to a random structure, results in an output isomorphic to one or more random structures, which is key to systematic timing. Based on original MOQA research, we discuss the design and implementation of a new domain specific scripting language based on randomness preserving operations and random structures. It is designed to facilitate compositional timing by systematically tracking the distributions of inputs and outputs. The notion of a labelled partial order (LPO) is the basic data type in the language. The programmer uses built-in MOQA operations together with restricted control flow statements to design MOQA programs. This MOQA language is formally specified both syntactically and semantically in this thesis. A practical language interpreter implementation is provided and discussed. By analysing new algorithms and data restructuring operations, we demonstrate the wide applicability of the MOQA approach. Also we extend MOQA theory to a number of other domains besides average-case analysis. We show the strong connection between MOQA and parallel computing, reversible computing and data entropy analysis.

The intra-Traveller debate on ‘Traveller ethnicity’ in the Republic of Ireland. A critical discourse analysis

This dissertation assesses from an under-explored angle the enduring contention over Travellers’ ethnic recognition in the Republic of Ireland, particularly over the last decade. The novelty of this study concerns not only its specific focus on and engagement with the debate on ‘Traveller ethnicity’ among Traveller activists. It also pertains to the examination of Travellers’ arguments for and against ethnicity in light of critical theorisations as well as insights from identity politics. Furthermore, the adoption of a Critical Discourse Analytical framework offers new perspectives to this controversy and its potential implications. Finally, this thesis’ relevance extends beyond the contention on ‘Traveller ethnicity’ in itself. It also draws attention to the complex dynamics of colonisation and appropriation between the global and the local. Particularly, it points to the interplay between international human rights discourses and the local ones, formulated by NGOs struggling for equality. In this way it sheds light on more general issues such as the dialectical potential of human rights discourses: the benefits and pitfalls of framing recognition claims in the legalistic terms of human rights. In this study it is argued that the contention on ‘Traveller ethnicity’ defies a simplistic polarisation between Irish Travellers and the Irish State since it has been simultaneously played out within the Travelling community. Specifically, this study explores how ‘Traveller ethnicity’ has been introduced, embraced, promoted and contested within Traveller politics to the point of becoming a hotly debated and divisive issue among Traveller activists and at the heart of the community itself. Putting Traveller activists centre-stage, their discourses for and against ‘Traveller ethnicity’ are examined and assessed against one another and their potential implications for Traveller politics, policies and identities are pointed out. Contending discourses are historically contextualised as the product of specific structural, material and discursive configurations of power and socio-economic relations within Irish society. Discourses for and against ‘Traveller ethnicity’ are assessed as being significant beyond the representational level. They are regarded as contributing to dialectically constitute Travellers’ ways of being, representing and acting. Furthermore these discourses are considered as sites and means of power struggles, whose stakes are not only words, but relate to issues of power and leadership within the Travelling community; adjudications over material resources; the adoption of certain policy approaches over others; and, finally, the consolidation of certain subject positions over others for Travellers to draw upon and relate to mainstream society. This study highlights an ongoing ideological struggle for the naturalisation of ‘Traveller ethnicity’ as a self-evident ‘fact’, which involves no active choice by Travellers themselves. Overall, ‘Traveller ethnicity’ appears to constitute an enduring source of dilemmas for the Travelling community. These revolve around the contradictory potential of ethnicity claims-making —both its perils and advantages— and its status as a potent political strategic resource that can both challenge and reinforce existing power relations, policies and identities.

Migration: A Heideggerian analysis

The phenomenon of migration has been widely researched by the social sciences. Theories regarding the migrant have been developed in terms of the oppressive social context that is often encountered, proposing different alternatives to understand and overcome such oppression. Through the current project, an alternative view is presented that first, questions the accuracy of the social theories of migration and second, proposes an alternative understanding of this experience. Martin Heidegger’s phenomenology of Being offers a contextualized view of existence that nonetheless includes elements of our experience that are shared due to a common mode of being. I use Heidegger’s philosophy in order to broaden the understanding of the migrant’s experience analyzing those elements that he identifies as shared (for instance: human sociability, a desire for a home, the uncanny, etc.) and comparing them with common issues raised by migrants (identity, homesickness, belonging, etc.). In this way, I intend to present a more complete picture of the experience of migration that considers both empirical evidence of individual migrants and an existential analysis that incorporates the defining elements of our world and our existence as crucial means to understand any experience, including that of migration.

A policy analysis of key employability interventions for the educationally disadvantaged in further education: Comparative insights for Irish education

The aim of this study is to garner comparative insights so as to aid the development of the discourse on further education (FE) conceptualisation and the relationship of FE with educational disadvantage and employability. This aim is particularly relevant in Irish education parlance amidst the historical ambiguity surrounding the functioning of FE. The study sets out to critically engage with the education/employability/economy link (eee link). This involves a critique of issues relevant to participation (which extends beyond student activity alone to social relations generally and the dialogic participation of the disadvantaged), accountability (which extends beyond performance measures alone to encompass equality of condition towards a socially just end) and human capital (which extends to both collective and individual aspects within an educational culture). As a comparative study, there is a strong focus on providing a way of conceptualising and comparatively analysing FE policy internationally. The study strikes a balance between conceptual and practical concerns. A critical comparative policy analysis is the methodology that structures the study which is informed and progressed by a genealogical method to establish the context of each of the jurisdictions of England, the United States and the European Union. Genealogy allows the use of history to diagnose the present rather than explaining how the past has caused the present. The discussion accentuates the power struggles within education policy practice using what Fairclough calls a strategic critique as well as an ideological critique. The comparative nature of the study means that there is a need to be cognizant of the diverse cultural influences on policy deliberation. The study uses the theoretical concept of paradigmatic change to critically analyse the jurisdictions. To aid with the critical analysis, a conceptual framework for legislative functions is developed so as to provide a metalanguage for educational legislation. The specific contribution of the study, while providing a manner for understanding and progressing FE policy development in a globalized Ireland, is to clear the ground for a more well-defined and critically reflexive FE sector to operate and suggests a number of issues for further deliberation.

Beyond simple imaging with energetic beams – nanopatterning, correlative microscopy and statistical analysis of inclusions

Electron microscopy (EM) has advanced in an exponential way since the first transmission electron microscope (TEM) was built in the 1930’s. The urge to ‘see’ things is an essential part of human nature (talk of ‘seeing is believing’) and apart from scanning tunnel microscopes which give information about the surface, EM is the only imaging technology capable of really visualising atomic structures in depth down to single atoms. With the development of nanotechnology the demand to image and analyse small things has become even greater and electron microscopes have found their way from highly delicate and sophisticated research grade instruments to key-turn and even bench-top instruments for everyday use in every materials research lab on the planet. The semiconductor industry is as dependent on the use of EM as life sciences and pharmaceutical industry. With this generalisation of use for imaging, the need to deploy advanced uses of EM has become more and more apparent. The combination of several coinciding beams (electron, ion and even light) to create DualBeam or TripleBeam instruments for instance enhances the usefulness from pure imaging to manipulating on the nanoscale. And when it comes to the analytic power of EM with the many ways the highly energetic electrons and ions interact with the matter in the specimen there is a plethora of niches which evolved during the last two decades, specialising in every kind of analysis that can be thought of and combined with EM. In the course of this study the emphasis was placed on the application of these advanced analytical EM techniques in the context of multiscale and multimodal microscopy – multiscale meaning across length scales from micrometres or larger to nanometres, multimodal meaning numerous techniques applied to the same sample volume in a correlative manner. In order to demonstrate the breadth and potential of the multiscale and multimodal concept an integration of it was attempted in two areas: I) Biocompatible materials using polycrystalline stainless steel and II) Semiconductors using thin multiferroic films. I) The motivation to use stainless steel (316L medical grade) comes from the potential modulation of endothelial cell growth which can have a big impact on the improvement of cardio-vascular stents – which are mainly made of 316L – through nano-texturing of the stent surface by focused ion beam (FIB) lithography. Patterning with FIB has never been reported before in connection with stents and cell growth and in order to gain a better understanding of the beam-substrate interaction during patterning a correlative microscopy approach was used to illuminate the patterning process from many possible angles. Electron backscattering diffraction (EBSD) was used to analyse the crystallographic structure, FIB was used for the patterning and simultaneously visualising the crystal structure as part of the monitoring process, scanning electron microscopy (SEM) and atomic force microscopy (AFM) were employed to analyse the topography and the final step being 3D visualisation through serial FIB/SEM sectioning. II) The motivation for the use of thin multiferroic films stems from the ever-growing demand for increased data storage at lesser and lesser energy consumption. The Aurivillius phase material used in this study has a high potential in this area. Yet it is necessary to show clearly that the film is really multiferroic and no second phase inclusions are present even at very low concentrations – ~0.1vol% could already be problematic. Thus, in this study a technique was developed to analyse ultra-low density inclusions in thin multiferroic films down to concentrations of 0.01%. The goal achieved was a complete structural and compositional analysis of the films which required identification of second phase inclusions (through elemental analysis EDX(Energy Dispersive X-ray)), localise them (employing 72 hour EDX mapping in the SEM), isolate them for the TEM (using FIB) and give an upper confidence limit of 99.5% to the influence of the inclusions on the magnetic behaviour of the main phase (statistical analysis).