Emission and holographic interferometry measurements in a superorbital expansion tube

Free-piston-driven expansion tubes are capable of generating flaw conditions over a wide range of enthalpies ranging from orbital up to superorbital velocities. Initial optical measurements aimed at investigating the flow in such a facility are presented. Emission studies were used to identify impurities in the how and to investigate spectral regions that are accessible by optical techniques. At moderate enthalpies, it was found that significant radiation resulted from metallic contaminants. At high enthalpies, the spectrum consisted of a number of atomic lines together with a broadband background component indicative of the presence of electrons. The presence of this radiation may limit the applicability of optical techniques that require spectral regions free from the influence of atomic transitions or background radiation. Emission spectroscopy (through Stark broadened hydrogen lines) and two-wavelength holographic interferometry were used to measure the electron number density behind a bow shock on a blunt body at conditions where significant ionization was observed. They yielded average concentrations of (3 +/- 1) x 10(17) cm(-3) from the emission measurements and (3.8 +/- 0.6) x 10(17) cm(-3) from the interferometry.

Velocimetry and thermometry of supersonic flow around a cylindrical body

The supersonic flow around a cylindrical body has been studied using two optical techniques. For both sets of measurements, the cylinder was mounted from the side of the tunnel, allowing investigation of the bow shock region as well as in the wake. A new technique, laser-enhanced ionization flow tagging, was used for streamwise velocity determinations behind the body. From these measurements, it was found that the downstream velocity outside the wake was (1.90 +/- 0.06) km/s, whereas inside the wake the velocity was about 0-500 m/s in the upstream direction. Planar laser induced fluorescence of nitric oxide was employed for temperature determinations. It was established that the freestream temperature was (2120 +/- 100) K, decreasing to around (1550 +/- 400) K in the wake.

Modeling ex vivo hematopoiesis using chemical engineering metaphors

Ex vivo hematopoiesis is increasingly used for clinical applications. Models of ex vivo hematopoiesis are required to better understand the complex dynamics and to optimize hematopoietic culture processes. A general mathematical modeling framework is developed which uses traditional chemical engineering metaphors to describe the complex hematopoietic dynamics. Tanks and tubular reactors are used to describe the (pseudo-) stochastic and deterministic elements of hematopoiesis, respectively. Cells at any point in the differentiation process can belong to either an immobilized, inert phase (quiescent cells) or a mobile, active phase (cycling cells). The model describes five processes: (1) flow (differentiation), (2) autocatalytic formation (growth),(3) degradation (death), (4) phase transition from immobilized to mobile phase (quiescent to cycling transition), and (5) phase transition from mobile to immobilized phase (cycling to quiescent transition). The modeling framework is illustrated with an example concerning the effect of TGF-beta 1 on erythropoiesis. (C) 1998 Published by Elsevier Science Ltd. All rights reserved.

Fuel stagnation temperature effects on mixing with supersonic combustion flows

An experimental study of the effect of fuel stagnation temperature on mixing in a supersonic hydrogen-air flame is described, The combustor consisted of a constant-area rectangular duct with a centrally located fuel-injection strut that spanned the width. A high-enthalpy stream of air was supplied by a free-piston shock tunnel, and heated hydrogen fuel, supplied by a gun-tunnel, was injected into the freestream as a coflowing planar jet. The freestream total enthalpies were 5.6, 6.5, and 9 MJ/kg, and fuel stagnation temperatures were 300, 450, and 700 K, Raising the fuel stagnation temperature increased the fuel velocity to be near that of the airstream and resulted in a decrease in the mixing rate, Even as the fuel and air velocities became equal, significant mixing still occurred because of a large difference in density, Increasing the freestream enthalpy reduced the difference between the initial air temperature and the adiabatic flame temperature, which in turn reduced the heat addition, and subsequently, the amount of pressure rise in the duct.

Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process

Over the past years, component-based software engineering has become an established paradigm in the area of complex software intensive systems. However, many techniques for analyzing these systems for critical properties currently do not make use of the component orientation. In particular, safety analysis of component-based systems is an open field of research. In this chapter we investigate the problems arising and define a set of requirements that apply when adapting the analysis of safety properties to a component-based software engineering process. Based on these requirements some important component-oriented safety evaluation approaches are examined and compared.

The new craft skills of engineering: The impact of innovation technology on engineering practices

This chapter explores the impact of innovation technologies such as simulation, modelling, and rapid prototyping on engineering practice. Innovation technologies help redefine the role of engineers in the innovation process, creating a new division of innovative labour both with and across organizations. This chapter also explores the boundaries of experimentation and inertia within particular domains of problem-solving to create new opportunities and value.

MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.