Behavioral Types for Embedded Software - A Survey

At present, there is a variety of formalisms for modeling and analyzing the communication behavior of components. Due to a tremendous increase in size and complexity of embedded systems accompanied by shorter time to market cycles and cost reduction, so called behavioral type systems become more and more important. This chapter presents an overview and a taxonomy of behavioral types. The intentions of this taxonomy are to provide a guidance for software engineers and to form the basis for future research.

Development of a genetic method to estimate effective spawner numbers in the NPF and Queensland tiger prawn fisheries

OBJECTIVES: 1. To critically evaluate a variety of mathematical methods of calculating effective population size (Ne) by conducting comprehensive computer simulations and by analysis of empirical data collected from the Moreton Bay population of tiger prawns. 2. To lay the groundwork for the application of the technology in the NPF. 3. To produce software for the calculation of Ne, and to make it widely available.

The composite Euler method for stiff stochastic differential equations

In this paper we present the composite Euler method for the strong solution of stochastic differential equations driven by d-dimensional Wiener processes. This method is a combination of the semi-implicit Euler method and the implicit Euler method. At each step either the semi-implicit Euler method or the implicit Euler method is used in order to obtain better stability properties. We give criteria for selecting the semi-implicit Euler method or the implicit Euler method. For the linear test equation, the convergence properties of the composite Euler method depend on the criteria for selecting the methods. Numerical results suggest that the convergence properties of the composite Euler method applied to nonlinear SDEs is the same as those applied to linear equations. The stability properties of the composite Euler method are shown to be far superior to those of the Euler methods, and numerical results show that the composite Euler method is a very promising method. (C) 2001 Elsevier Science B.V. All rights reserved.

Considerations in the design of a mixed-method cluster evaluation of a community programme for 'at-risk' young people

This article discusses the design of a comprehensive evaluation of a community development programme for young people 'at-risk' of self-harming behaviour. It outlines considerations in the design of the evaluation and focuses on the complexities and difficulties associated with the evaluation of a community development programme. The challenge was to fulfil the needs of the funding body for a broad, outcome-focused evaluation while remaining close enough to the programme to accurately represent its activities and potential effects at a community level. Specifically, the strengths and limitations of a mixed-method evaluation plan are discussed with recommendations for future evaluation practice.

Earth pressure on cantilever walls at design retained heights

There are many methods for the analysis and design of embedded cantilever retaining walls. They involve various different simplifications of the pressure distribution to allow calculation of the limiting equilibrium retained height and the bending moment when the retained height is less than the limiting equilibrium value, i.e. the serviceability case. Recently, a new method for determining the serviceability earth pressure and bending moment has been proposed. This method makes an assumption defining the point of zero net pressure. This assumption implies that the passive pressure is not fully mobilised immediately below the excavation level. The finite element analyses presented in this paper examine the net pressure distribution on walls in which the retained height is less, than the limiting equilibrium value. The study shows that for all practical walls, the earth pressure distributions on the front and back of the wall are at their limit values, Kp and K-a respectively, when the lumped factor of safety F-r is less than or equal to2.0. A rectilinear net pressure distribution is proposed that is intuitively logical. It produces good predictions of the complete bending moment diagram for walls in the service configuration and the proposed method gives results that have excellent agreement with centrifuge model tests. The study shows that the method for determining the serviceability bending moment suggested by Padfield and Mair(1) in the CIRIA Report 104 gives excellent predictions of the maximum bending moment in practical cantilever walls. It provides the missing data that have been needed to verify and justify the CIRIA 104 method.

A new wavelet-based method for the solution of the population balance equation

A new wavelet-based method for solving population balance equations with simultaneous nucleation, growth and agglomeration is proposed, which uses wavelets to express the functions. The technique is very general, powerful and overcomes the crucial problems of numerical diffusion and stability that often characterize previous techniques in this area. It is also applicable to an arbitrary grid to control resolution and computational efficiency. The proposed technique has been tested for pure agglomeration, simultaneous nucleation and growth, and simultaneous growth and agglomeration. In all cases, the predicted and analytical particle size distributions are in excellent agreement. The presence of moving sharp fronts can be addressed without the prior investigation of the characteristics of the processes. (C) 2001 Published by Elsevier Science Ltd.

Ionic strontium fluorescence as a method for flow tagging velocimetry

A flow tagging technique based upon ionic fluorescence in strontium is investigated for applications to velocity measurements in gas flows. The method is based upon a combination of two laser based spectroscopic techniques, i.e. resonantly-enhanced ionisation and laser-induced ionic fluorescence. Strontium is first ionised and then planar laser-induced fluorescence is utilised to give 2D 'bright images' of the ionised region of the flow at a given time delay. The results show that this method can be used for velocity measurements. The velocities were measured in two types of air-acetylene flames - a slot burner and a circular burner yielding velocities of 5.1 +/- 0.1 m/s and 9.3 +/- 0.2 m/s, respectively. The feasibility of the method for the determination of velocities in faster flows than those investigated here is discussed.

Patient based method of assessing adverse events in clinical trials in rheumatology: the revised Stanford Toxicity Index

We describe the progress towards developing a patient rated toxicity index that meets all of the patient-important attributes defined by the OMERACT Drug Safety Working Party, These attributes are frequency, severity. importance to patient, importance to the clinician, impact on economics, impact on activities, and integration of adverse effects with benefits. The Stanford Toxicity Index (STI) has been revised to collect all attributes with the exception of impact on activities. However, since the STI is a part of the Health Assessment Questionnaire (HAQ). impact on activities is collected by the HAQ. In particular, a new question asks patients to rate overall satisfaction, taking into consideration both benefits and adverse effects. The nest step in the development of this tool is to ensure that the STI meets the OMERACT filter of truth, discrimination, and feasibility. Although truth and feasibility have been confirmed by comparisons within the ARAMIS database, discrimination needs to be assessed in clinical trials.

Theory of pseudomodes in quantum optical processes

This paper deals with non-Markovian behavior in atomic systems coupled to a structured reservoir of quantum electromagnetic field modes, with particular relevance to atoms interacting with the field in high-Q cavities or photonic band-gap materials. In cases such as the former, we show that the pseudomode theory for single-quantum reservoir excitations can be obtained by applying the Fano diagonalization method to a system in which the atomic transitions are coupled to a discrete set of (cavity) quasimodes, which in turn are coupled to a continuum set of (external) quasimodes with slowly varying coupling constants and continuum mode density. Each pseudomode can be identified with a discrete quasimode, which gives structure to the actual reservoir of true modes via the expressions for the equivalent atom-true mode coupling constants. The quasimode theory enables cases of multiple excitation of the reservoir to now be treated via Markovian master equations for the atom-discrete quasimode system. Applications of the theory to one, two, and many discrete quasimodes are made. For a simple photonic band-gap model, where the reservoir structure is associated with the true mode density rather than the coupling constants, the single quantum excitation case appears to be equivalent to a case with two discrete quasimodes.

A novel method for solid-phase synthesis of oligosaccharides using the N-1-(4,4-dimethyl-2,6-dioxocyclohexylidene)ethyl (Dde) linker

The application of the N-1-(4,4-dimethyl-2,6-dioxocyclohexylidene)ethyl (Dde) linker for the solid-phase synthesis of oligosaccharides is described. The oligosaccharide products can be cleaved from the resin by hydrazine, ammonia or primary amines, but the linker is stable under the conditions of oligosaccharide synthesis. The first sugar can be attached to the resin linker via a vinylogous amide bond, or by ether linkage using a p-aminobenzyl alcohol converter. (C) 2001 Elsevier Science Ltd. All rights reserved.

Theory of a mode-locked atom laser with toroidal geometry

We consider a possible technique for mode locking an atom laser, based on the generation of a dark soliton in a ring-shaped Bose-Einstein condensate, with repulsive atomic interactions. The soliton is a kink, with angular momentum per particle equal to (h) over bar /2. It emerges naturally when the condensate is stirred at the soliton velocity and cleansed with a periodic out coupler. The result is a replicating coherent field inside the atom laser, stabilized by topology. We give a numerical demonstration of the generation and stabilization of the soliton.