A language and toolkit for the specification, execution and monitoring of dependable distributed applications

PhD ThesisThis thesis addresses the problem of specifying the composition of distributed applications out of existing applications, possibly legacy ones. With the automation of business processes on the increase, more and more applications of this kind are being constructed. The resulting applications can be quite complex, usually long-lived and are executed in a heterogeneous environment. In a distributed environment, long-lived activities need support for fault tolerance and dynamic reconfiguration. Indeed, it is likely that the environment where they are run will change (nodes may fail, services may be moved elsewhere or withdrawn) during their execution and the specification will have to be modified. There is also a need for modularity, scalability and openness. However, most of the existing systems only consider part of these requirements. A new area of research, called workflow management has been trying to address these issues. This work first looks at what needs to be addressed to support the specification and execution of these new applications in a heterogeneous, distributed environment. A co- ordination language (scripting language) is developed that fulfils the requirements of specifying the composition and inter-dependencies of distributed applications with the properties of dynamic reconfiguration, fault tolerance, modularity, scalability and openness. The architecture of the overall workflow system and its implementation are then presented. The system has been implemented as a set of CORBA services and the execution environment is built using a transactional workflow management system. Next, the thesis describes the design of a toolkit to specify, execute and monitor distributed applications. The design of the co-ordination language and the toolkit represents the main contribution of the thesis.UK Engineering and Physical Sciences Research Council, CaberNet, Northern Telecom (Nortel)

A survey of compiler development aids

A theoretical background was established for the compilation process by dividing it into five phases and explaining the concepts and algorithms that underpin each. The five selected phases were lexical analysis, syntax analysis, semantic analysis, optimization, and code generation. Graph theoretical optimization techniques were presented, and approaches to code generation were described for both one-pass and multipass compilation environments. Following the initial tutorial sections, more than 20 tools that were developed to aid in the process of writing compilers were surveyed. Eight of the more recent compiler development aids were selected for special attention - SIMCMP/STAGE2, LANG-PAK, COGENT, XPL, AED, CWIC, LIS, and JOCIT. The impact of compiler development aids were assessed some of their shortcomings and some of the areas of research currently in progress were inspected

Nonlinear and distributed sensory estimation

Methods to improve performance of sensors with regard to sensor nonlinearity, sensor noise and sensor bandwidths are investigated and new algorithms are developed. The necessity of the proposed research has evolved from the ever-increasing need for greater precision and improved reliability in sensor measurements. After describing the current state of the art of sensor related issues like nonlinearity and bandwidth, research goals are set to create a new trend on the usage of sensors. We begin the investigation with a detailed distortion analysis of nonlinear sensors. A need for efficient distortion compensation procedures is further justified by showing how a slight deviation from the linearity assumption leads to a very severe distortion in time and in frequency domains. It is argued that with a suitable distortion compensation technique the danger of having an infinite bandwidth nonlinear sensory operation, which is dictated by nonlinear distortion, can be avoided. Several distortion compensation techniques are developed and their performance is validated by simulation and experimental results. Like any other model-based technique, modeling errors or model uncertainty affects performance of the proposed scheme, this leads to the innovation of robust signal reconstruction. A treatment for this problem is given and a novel technique, which uses a nominal model instead of an accurate model and produces the results that are robust to model uncertainty, is developed. The means to attain a high operating bandwidth are developed by utilizing several low bandwidth pass-band sensors. It is pointed out that instead of using a single sensor to measure a high bandwidth signal, there are many advantages of using an array of several pass-band sensors. Having shown that employment of sensor arrays is an economic incentive and practical, several multi-sensor fusion schemes are developed to facilitate their implementation. Another aspect of this dissertation is to develop means to deal with outliers in sensor measurements. As fault sensor data detection is an essential element of multi-sensor network implementation, which is used to improve system reliability and robustness, several sensor scheduling configurations are derived to identify and to remove outliers

Towards a model for teaching distributed computing in a distance-based educational environment

Several technologies and languages exist for the development and implementation of distributed systems. Furthermore, several models for teaching computer programming and teaching programming in a distance-based educational environment exist. Limited literature, however, is available on models for teaching distributed computing in a distance-based educational environment. The focus of this study is to examine how distributed computing should be taught in a distance-based educational environment so as to ensure effective and quality learning for students. The required effectiveness and quality should be comparable to those for students exposed to laboratories, as commonly found in residential universities. This leads to an investigation of the factors that contribute to the success of teaching distributed computing and how these factors can be integrated into a distance-based teaching model. The study consisted of a literature study, followed by a comparative study of available tools to aid in the learning and teaching of distributed computing in a distance-based educational environment. A model to accomplish this teaching and learning is then proposed and implemented. The findings of the study highlight the requirements and challenges that a student of distributed computing in a distance-based educational environment faces and emphasises how the proposed model can address these challenges. This study employed qualitative research, as opposed to quantitative research, as qualitative research methods are designed to help researchers to understand people and the social and cultural contexts within which they live. The research methods employed are design research, since an artefact is created, and a case study, since “how” and “why” questions need to be answered. Data collection was done through a survey. Each method was evaluated via its own well-established evaluation methods, since evaluation is a crucial component of the research process.ComputingM. Sc. (Computer Science

Nonlinear and distributed sensory estimation

Methods to improve performance of sensors with regard to sensor nonlinearity, sensor noise and sensor bandwidths are investigated and new algorithms are developed. The necessity of the proposed research has evolved from the ever-increasing need for greater precision and improved reliability in sensor measurements. After describing the current state of the art of sensor related issues like nonlinearity and bandwidth, research goals are set to create a new trend on the usage of sensors. We begin the investigation with a detailed distortion analysis of nonlinear sensors. A need for efficient distortion compensation procedures is further justified by showing how a slight deviation from the linearity assumption leads to a very severe distortion in time and in frequency domains. It is argued that with a suitable distortion compensation technique the danger of having an infinite bandwidth nonlinear sensory operation, which is dictated by nonlinear distortion, can be avoided. Several distortion compensation techniques are developed and their performance is validated by simulation and experimental results. Like any other model-based technique, modeling errors or model uncertainty affects performance of the proposed scheme, this leads to the innovation of robust signal reconstruction. A treatment for this problem is given and a novel technique, which uses a nominal model instead of an accurate model and produces the results that are robust to model uncertainty, is developed. The means to attain a high operating bandwidth are developed by utilizing several low bandwidth pass-band sensors. It is pointed out that instead of using a single sensor to measure a high bandwidth signal, there are many advantages of using an array of several pass-band sensors. Having shown that employment of sensor arrays is an economic incentive and practical, several multi-sensor fusion schemes are developed to facilitate their implementation. Another aspect of this dissertation is to develop means to deal with outliers in sensor measurements. As fault sensor data detection is an essential element of multi-sensor network implementation, which is used to improve system reliability and robustness, several sensor scheduling configurations are derived to identify and to remove outliers

Heuristic, qualitative, and quantitative reasoning about steel bridge fatigue and fracture

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Civil Engineering, 1989.Includes bibliographical references.by W.M. Kim Roddis.Ph.D

Turbulent vortex shedding from a blunt trailing edge hydrofoil

Placed in a fluid stream, solid bodies can exhibit a separated flow that extends to their wake. The detachment of the boundary layer on both upper and lower surfaces forms two shear layers which generate above a critical value of Reynolds number a periodic array of discrete vortices termed von Kármán street. The body experiences a fluctuating lift force transverse to the flow caused by the asymmetric formation of vortices. The structural vibration amplitude is significantly amplified when the vortex shedding frequency lies close to a resonance frequency of the combined fluid-structure system. For resonance condition, fatigue cracks are likely to occur and lead to the premature failure of the mechanical system. Despite numerous and extensive studies on the topic, the periodic vortex shedding is considered to be a primary damage mechanism. The wake produced by a streamlined body, such as a hydrofoil, is an important issue for a variety of applications, including hydropower generation and marine vessel propulsion. However, the current state of the laboratory art focuses mainly in the wakes produced by hydraulically smooth bluff bodies at low Reynolds numbers. The present work considers a blunt trailing edge symmetric hydrofoil operating at zero angle of attack in a uniform high speed flow, Reh = 16.1·103 - 96.6·103 where the reference length h is the trailing edge thickness. Experiments are performed in the test section of the EPFL-LMH high speed cavitation tunnel. With the help of various measurement devices including laser Doppler vibrometer, particle image velocimetry, laser Doppler velocimetry and high speed digital camera, the effects of cavitation on the generation mechanism of the vortex street are investigated. Furthermore, the effects of a tripped turbulent boundary layer on the wake characteristics are analyzed and compared with the condition of a natural turbulent transition. In cavitation free regime and according to the Strouhal law, the vortex shedding frequency is found to vary quasi-linearly with the free-stream velocity provided that no hydrofoil resonance frequency is excited, the so-called lock-off condition. For such regime, the shed vortices exhibit strong span-wise instabilities and dislocations. A direct relation between vortex span-wise organization and vortex-induced vibration amplitude is found. In the case of resonance, the coherence of the vortex shedding process is significantly enhanced. The eigen modes are identified so that the lock-in of the vortex shedding frequency on a free-stream velocity range occurs for the first torsional mode. In the case of liquid flows, when the pressure falls below the vapor pressure, cavitation occurs in the vortex core. For lock-off condition, the cavitation inception index is linearly dependent on the square root of the Reynolds number which is in accordance with former models. For lock-in, it is significantly increased and makes clear that the vortex roll-up is amplified by the phase locked vibrations of the trailing edge. For the cavitation inception index and considering the trailing edge displacement velocity, a new correlation relationship that encompasses the lock-off and the lock-in conditions is proposed and validated. In addition, it is found that the transverse velocity of the trailing edge increases the vortex strength linearly. Therefore, the displacement velocity of the hydrofoil trailing edge increases the fluctuating forces on the body and this effect is additional to any increase of vortex span-wise organization, as observed for the lock-in condition. Cavitation developing in the vortex street cannot be considered as a passive agent for the visualization of the turbulent wake flow. The cavitation reacts on the wake as soon as it appears. At early stage of cavitation development, the vortex-induced vibration and flow velocity fluctuations are significantly increased. For fully developed cavitation, the vortex shedding frequency increases up to 15%, which is accompanied by the increase of the vortex advection velocity and reduction of the stream-wise and cross-stream inter-vortex spacings. These effects are addressed and thought to be a result of the increase of the vorticity by cavitation. Besides, it is shown that the cavitation does not obviously modify the vortex span-wise organization. Moreover, hydro-elastic couplings are found to be enabled/disabled by permitting a sufficient vortex cavitation development. The effects on the wake characteristics of a tripped turbulent boundary layer, as opposed to the natural turbulent transition, are investigated. The foil surface is hydraulically smooth and a fully effective boundary-layer tripping at the leading edge is achieved with the help of a distributed roughness. The vortex shedding process is found to be strongly influenced by the boundary-layer development. The tripped turbulent transition promotes the re-establishment of organized vortex shedding. In the context of the tripped transition and in comparison with the natural one, significant increases in the vortex span-wise organization, the induced hydrofoil vibration, the wake velocity fluctuations, the wake energies and the vortex strength are revealed. The vortex shedding process intermittency is decreased and the coherence is increased. Although the vortex shedding frequency is decreased, a modified Strouhal number based on the wake width at the end of the vortex formation region is constant and evidences the similarity of the wakes. This result leads to an effective estimation of the vortex shedding frequency

General Undergraduate Catalog, 2019-2020

Marshall University Undergraduate Course Catalog for the 2019-2020 academic year.https://mds.marshall.edu/catalog_2010-2019/1000/thumbnail.jp