A framework for specification-based testing

Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications-in this paper, it is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process. Flexibility is preserved, so that many testing strategies can be used. Important application areas of the framework are discussed, including refinement of test data, regression testing, and test oracles.

A comparison of computer-based methods for the determination of onset of muscle contraction using electromyography

Little consensus exists in the literature regarding methods for determination of the onset of electromyographic (EMG) activity. The aim of this study was to compare the relative accuracy of a range of computer-based techniques with respect to EMG onset determined visually by an experienced examiner. Twenty-seven methods were compared which varied in terms of EMG processing (low pass filtering at 10, 50 and 500 Hz), threshold value (1, 2 and 3 SD beyond mean of baseline activity) and the number of samples for which the mean must exceed the defined threshold (20, 50 and 100 ms). Three hundred randomly selected trials of a postural task were evaluated using each technique. The visual determination of EMG onset was found to be highly repeatable between days. Linear regression equations were calculated for the values selected by each computer method which indicated that the onset values selected by the majority of the parameter combinations deviated significantly from the visually derived onset values. Several methods accurately selected the time of onset of EMG activity and are recommended for future use. Copyright (C) 1996 Elsevier Science Ireland Ltd.

Electrical and chemical diagnostics of transformers insulation .A. Aged transformer samples

This paper describes the application of two relatively new diagnostic techniques for the determination of insulation condition in aged transformers. The techniques are (a) measurements of interfacial polarization spectra by a DC method and (b) measurements of molecular weight and its distribution by gel permeation chromatography. Several other electrical properties of the cellulose polymer were also investigated. Samples were obtained from a retired power transformer and they were analysed by the developed techniques. Six distribution transformers were also tested with the interfacial polarization spectra measurement technique, and the molecular weight of paper/pressboard samples from these transformers were also measured by the gel permeation chromatography. The variation of the results through different locations in a power transformer is discussed in this paper. The possible correlation between different measured properties was investigated and discussed in this paper.

Electrical and chemical diagnostics of transformers insulation .B. Accelerated aged insulation samples

This paper describes the analysis of accelerated aged insulation samples to investigate the degradation processes observed in the insulation from aged transformers. Short term accelerated ageing experiments were performed on paper wrapped insulated conductors and on pressboard samples. The condition of aged insulation samples was investigated by two relatively new diagnostic techniques: (a) measurements of interfacial polarization spectra by a DC method (b) measurements of molecular weight and its distribution by gel permeation chromatography. Several other electrical properties of the paper/pressboard samples were also studied. Possible correlations have been investigated among the different measured properties. The GPC results have been used to predict how molecular weights change with temperature and time.

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.

An investigation of the microstructure/electrical conductivity relationship in In2O3-substituted LSGM

The effect of controlled In3+ substitution on to the B-site in the perovskite oxygen ion conductor La0.9Sr0.1Ga0.8Mg0.2O2.85 (LSGM) has been examined with a view to exploring the influence on oxygen ion conductivity. In combination with the electrical conductivity study, detailed microstructural analysis was used to verify the location of the substituting cation and to determine the nature of secondary phase formation. The indium species clearly substituted for Ga3+ on the B-site of the lattice and the electrical conductivity showed a gradual decrease as the In+3 content increased. The interpretation of this data was complicated by the formation of the secondary phases LaInO3 and LaSrGaO4. (C) 2001 Elsevier Science Ltd. All rights reserved.

Application of Petrov-Galerkin methods to transient boundary value problems in chemical engineering: adsorption with steep gradients in bidisperse solids

Petrov-Galerkin methods are known to be versatile techniques for the solution of a wide variety of convection-dispersion transport problems, including those involving steep gradients. but have hitherto received little attention by chemical engineers. We illustrate the technique by means of the well-known problem of simultaneous diffusion and adsorption in a spherical sorbent pellet comprised of spherical, non-overlapping microparticles of uniform size and investigate the uptake dynamics. Solutions to adsorption problems exhibit steep gradients when macropore diffusion controls or micropore diffusion controls, and the application of classical numerical methods to such problems can present difficulties. In this paper, a semi-discrete Petrov-Galerkin finite element method for numerically solving adsorption problems with steep gradients in bidisperse solids is presented. The numerical solution was found to match the analytical solution when the adsorption isotherm is linear and the diffusivities are constant. Computed results for the Langmuir isotherm and non-constant diffusivity in microparticle are numerically evaluated for comparison with results of a fitted-mesh collocation method, which was proposed by Liu and Bhatia (Comput. Chem. Engng. 23 (1999) 933-943). The new method is simple, highly efficient, and well-suited to a variety of adsorption and desorption problems involving steep gradients. (C) 2001 Elsevier Science Ltd. All rights reserved.