Experience in testing the Motif interface

The testing and quality assurance of the Motif 1.0 graphical user-interface software are described. The testing goals, which fell into three general categories (code coverage, defect-density, and defect-arrival rate), and a deliverable formal test suite are examined. The three phases of the testing process-evaluation, test development, and regression testing-and the tools used in testing are discussed     

Galvani's frog: Harbinger of a new era

On 30 October 1786 Luigi Galvani gave the first account, at the Academy of Sciences of Bologna, about his experiments on animal electricity, of which he thought to have obtained evidence from the convulsions shown by a dissected frog, as soon as its hind-limbs were connected with the spinal cord by means of a metallic conductor. The publication of these experiments gave rise to Galvani's controversy with Volta, who denied the existence of animal electricity after discovering that there exists a potential difference between any couple of dissimilar conductors. This was a preliminary step that led Volta to the invention of the voltaic pile. Evidence of animal electricity was given about 1840 by Carlo Matteucci, using the astatic galvanometer invented by Leopoldo Nobili. This fundamental property of living organisms is now a well-advanced field of investigation by electrophysiology and bioelectrochemistry.     

Application of a leakage model to assess exfiltration from sewers.

The exfiltration of wastewater from sewer systems in urban areas causes a deterioration of soil and possibly groundwater quality. Beside the simulation of transport and degradation processes in the unsaturated zone and in the aquifer the analysis of the potential impact requires the estimation of quantity and temporal variation of wastewater exfiltration. Exfiltration can be assessed by the application of a leakage model. The hydrological approach was originally developed to simulate the interactions between the groundwater and surface water, it was adapted to allow for modelling of interactions between groundwater and sewer system. In order to approximate the exfiltration specific model parameters infiltration specific parameters were used as a basis. Scenario analysis of the exfiltration in the City of Dresden from 1997 to 1999 and during the flood event in August 2002 shows the variation and the extent of exfiltration rates.     

Analysis and synthesis of on-chip spiral inductors

This paper presents a physically based compact model for estimating high-frequency performance of spiral inductors. The model accurately accounts for skin and proximity effects in the metal conductors as well as eddy current losses in the substrate. The model shows excellent agreement with measured data mostly within 10% across a variety of inductor geometries and substrate dopings up to 20 GHz. A web-based spiral inductor synthesis and analysis tool COILS, which makes use of the compact models, is presented. An optimization algorithm using binary searches speeds up the synthesis of inductor designs.     

The glass fibre-polymer interface: II—Work of fracture and shear stresses

Pull-out experiments have been carried out on single production fibres under carefully controlled conditions. Four parameters were determined. The interfacial yield stresses, of about 9–14 MPa, were very much smaller than the shear strengths of the bulk polymers in the case of an epoxy, whether post-cured or not, and a non-post-cured polyester. Values for the work of fracture of the interface varied from 140 to 300 Jm^?2, and again were less than those of the polymer. Interface failure sometimes took place in the epoxy rather than at the fibre surface, whereas with the polyester it always took place at the fibre surface. After interface failure, pull-out was governed by friction, with maximum shear stresses of 7–10 MPa for polyester, and 21–34 MPa for epoxy, the higher values being obtained for the post-cured resins. Average frictional shear stresses were sometimes less than a half of the maximum shear stress, indicating that the fibre Poisson's shrinkage was playing an important role in the pull-out process. A silicone release agent reduced the frictional shear stresses to 2·5 MPa, with both resins.     

Polynomial-complexity deadlock avoidance policies for sequentialresource allocation systems

The development of efficient deadlock avoidance policies (DAPs) for sequential resource allocation systems (RASs) is a problem of increasing interest in the scientific community, largely because of its relevance to the design of large-scale flexibly automated manufacturing systems. Much of the work on this problem existing in the literature is focused on the so-called single-unit RAS model, which is the simplest model in the considered class of RASs. Furthermore, due to a well-established result stating that, even for single-unit RASs, the computation of the maximally permissive DAP is intractable (NP-hard), many researchers (including our group) have focused on obtaining good suboptimal policies which are computationally tractable (scalable) and provably correct. In the first part of the paper, it is shown, however, that for a large subset (in fact, a majority) of single-unit RASs, the optimal DAP can be obtained in real-time with a computational cost which is a polynomial function of the system size (i.e., the number of resource types and the distinct route stages of the processes running through the system). The implications of this result for the entire class of single-unit RASs are also explored. With a result on the design of optimal DAPs for single-unit RASs, the second part of the paper concentrates on the development of scalable and provably correct DAPs for the more general case of conjunctive RASs     

New advances on a posteriori error on constitutive relation in f.e. analysis

This paper deals with error estimators based on residuals on the constitutive relation which have been developed for the past 20 years at Cachan. Especially in the case of elasticity, these error estimators can become poor in situations where the material and the mesh are strongly anisotropic. The crucial point herein is the construction of equilibrated stress fields from the computed finite element solution. Therefore, in this paper, the approach and in particular this last point are re-examined. Several important modifications are introduced in the concepts and basic techniques. Hence, a new generation of error estimators which seem to be extremely robust upon initial applications has been generated.     

Linear crosstalk in 4×4 semiconductor optical amplifier gateswitch matrix

We report a comprehensive crosstalk investigation of a packaged InGaAsP/InP 4×4 semiconductor optical amplifier gate switch matrix, experimentally as well as theoretically. For a fully loaded switch with the same wavelength on all four inputs, all possible switching combinations are analyzed, thus yielding realistic crosstalk figures. Coherent and incoherent crosstalk phenomena are identified, and a switch crosstalk less than -40 dB has been measured     

Ultralow-voltage boron-doped diamond field emitter vacuum diode

A boron-doped diamond field emitter diode with ultralow turn-on voltage and high emission current is reported. The diamond field emitter diode structure with a built-in cap was fabricated using molds and electrostatic bonding techniques. The emission current versus anode voltage of the capped diamond emitter diode with boron doping, sp² content, and vacuum thermal electric (VTE) treatment shows a very low turn-on voltage of 2 V. A high emission current of 1 μA at an anode voltage of less than 10 V can be obtained from a single diamond tip. The turn-on voltage is significantly lower than comparable silicon field emitters