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     

Uniform and optimal schemes for stiff initial-value problems

We formulate a class of difference schemes for stiff initial-value problems, with a small parameter ε multiplying the first derivative. We derive necessary conditions for uniform convergence with respect to the small parameter ε, that is the solution of the difference scheme u_i^h satisfies |u_i^h−u(x_i)| Ch, where C is independent of h and ε. We also derive sufficient conditions for uniform convergence and show that a subclass of schemes is also optimal in the sense that |u_i^h−u(x_i)| C min (h, ε). Finally, we show that this class contains higher-order schemes.     

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.     

Alcohol consumption as a self-handicapping strategy in women.

Assessed whether women self-handicap with alcohol consumption prior to engaging in a social evaluation task, which may be more relevant to their self-esteem than the intellectual tasks used in past self-handicapping studies on substance use. 113 women (aged 19–32 yrs), who were evaluated as normal drinkers, performed either a solvable or an insolvable social judgment task and then received either success feedback or no feedback. Ss received access to alcoholic and nonalcoholic beverages while awaiting a retest. The study terminated before the retest. The self-handicapping hypothesis that noncontingent success would produce relatively greater alcohol consumption was not supported. Regardless of feedback, insolvable test Ss consumed more alcohol than did solvable test Ss. Findings suggest that the hypothesis may be limited as a general model of alcohol consumption in both sexes. (13 ref) (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

An asymptotically efficient ARMA estimator based on sample covariances

An asymptotically efficient autoregressive moving-average (ARMA) spectral estimator is presented, based on the sample covariances of observed time series. The estimate of the autoregressive (AR) part is shown to be identical to the optimal instrumental variable (IV) estimator in [7] although derived here using a different approach. The moving-average (MA) spectral parameter estimate is new.     

Mechanism of the skeletal isomerisation of linear butenes over ferrierite: analysis of side reactions

An investigation of the effect of reaction conditions on product distribution in the skeletal isomerisation reaction of linear butenes has been carried out. The main reaction routes over ferrierite have been identified. Beside the main product isobutene, major by-product formation occurs. The unwanted reactions include dimerisation of butene to form octenes, hydrogen transfer yielding small amounts of saturated C₃ and C₄ hydrocarbons and disproportionation producing propene and pentenes. The most abundant by-products were pentene and propene, though these were not formed in equimolar amounts as could be expected. Oligomerisation experiments of propene over ferrierite produced large amounts of butene and pentene, revealing the presence of adsorbed nonene. The cracking of this surface species to hexene and propene is the most likely reaction route for the excess propene formation. This additional path to propene formation operates mainly at temperatures above 623 K.