A model of specification-based testing of interactive systems

In this paper we present a model of specification-based testing of interactive systems. This model provides the basis for a framework to guide such testing. Interactive systems are traditionally decomposed into a functionality component and a user interface component; this distinction is termed dialogue separation and is the underlying basis for conceptual and architectural models of such systems. Correctness involves both proper behaviour of the user interface and proper computation by the underlying functionality. Specification-based testing is one method used to increase confidence in correctness, but it has had limited application to interactive system development to date.

Finite element modelling of rock alteration and metamorphic process in hydrothermal systems

We use the finite element method to simulate the rock alteration and metamorphic process in hydrothermal systems. In particular, we consider the fluid-rock interaction problems in pore-fluid saturated porous rocks. Since the fluid rock interaction takes place at the contact interface between the pore-fluid and solid minerals, it is governed by the chemical reaction which usually takes place very slowly at this contact interface, from the geochemical point of view. Due to the relative slowness of the rate of the chemical reaction to the velocity of the pore-fluid flow in the hydrothermal system to be considered, there exists a retardation zone, in which the conventional static theory in geochemistry does not hold true. Since this issue is often overlooked by some purely numerical modellers, it is emphasized in this paper. The related results from a typical rock alteration and metamorphic problem in a hydrothermal system have shown not only the detailed rock alteration and metamorphic process, but also the size of the retardation zone in the hydrothermal system. Copyright (C) 2001 John Wiley & Sons, Ltd.

A 2D numerical model for simulating the physics of fault systems

Simulations provide a powerful means to help gain the understanding of crustal fault system physics required to progress towards the goal of earthquake forecasting. Cellular Automata are efficient enough to probe system dynamics but their simplifications render interpretations questionable. In contrast, sophisticated elasto-dynamic models yield more convincing results but are too computationally demanding to explore phase space. To help bridge this gap, we develop a simple 2D elastodynamic model of parallel fault systems. The model is discretised onto a triangular lattice and faults are specified as split nodes along horizontal rows in the lattice. A simple numerical approach is presented for calculating the forces at medium and split nodes such that general nonlinear frictional constitutive relations can be modeled along faults. Single and multi-fault simulation examples are presented using a nonlinear frictional relation that is slip and slip-rate dependent in order to illustrate the model.

Approximate controllability of second-order distributed implicit functional systems

In this paper we study the approximate controllability of control systems with states and controls in Hilbert spaces, and described by a second-order semilinear abstract functional differential equation with infinite delay. Initially we establish a characterization for the approximate controllability of a second-order abstract linear system and, in the last section, we compare the approximate controllability of a semilinear abstract functional system with the approximate controllability of the associated linear system. (C) 2008 Elsevier Ltd. All rights reserved.

Semiquantum versus semiclassical mechanics for simple nonlinear systems

Quantum mechanics has been formulated in phase space, with the Wigner function as the representative of the quantum density operator, and classical mechanics has been formulated in Hilbert space, with the Groenewold operator as the representative of the classical Liouville density function. Semiclassical approximations to the quantum evolution of the Wigner function have been defined, enabling the quantum evolution to be approached from a classical starting point. Now analogous semiquantum approximations to the classical evolution of the Groenewold operator are defined, enabling the classical evolution to be approached from a quantum starting point. Simple nonlinear systems with one degree of freedom are considered, whose Hamiltonians are polynomials in the Hamiltonian of the simple harmonic oscillator. The behavior of expectation values of simple observables and of eigenvalues of the Groenewold operator are calculated numerically and compared for the various semiclassical and semiquantum approximations.

A prospective study evaluating the efficacy of the artificial sphincter AMS 800 for the treatment of postradical prostatectomy urinary incontinence and the correlation between preoperative urodynamic and surgical outcomes

OBJECTIVES We have evaluated prospectively the long-term efficacy of the artificial urinary sphincter (AUS) AMS 800 for the treatment postradical prostatectomy urinary incontinence (PRPUI) patients. We also evaluated the correlation between preoperative urodynamic findings and surgical outcomes. METHODS From May 1997 to April 2003, 40 consecutive patients with PRPUI caused by intrinsic sphincter deficiency (ISD) were treated with the AMS 800. Mean age was 68.3 +/- 6.3 years. Continence status was evaluated on the basis of pad count, impact of urinary incontinence on the quality of life, complications, and surgical revisions. Preoperative urodynamic findings were correlated with surgical outcomes. RESULTS Follow-up ranged from 27 to 132 months (mean = 53.4 +/- 21.4 months). There was a significant reduction in pad count from 4.0 +/- 0.9 to 0.62 +/- 1.07 diapers per day (P <0.001) leading to continence in 90%. There was a significant reduction on the impact of incontinence decreasing from 5.0 +/- 0.7 to 1.4 +/- 0.93 (P <0.001) in a visual analogue scale (VAS). Surgical revision rate was 20%. Preoperative urodynamics was useful to identify sphincter deficiency. Except by a tendency of worse results in patients with reduced bladder compliance (RBC), other urodynamic parameters did not correlate with a worse surgical outcome. CONCLUSIONS The AMS 800 offers good long-term continence to most PRPUI patients. Preoperative findings like detrusor hyperactivity (DH), impaired detrusor contraction (IDC), low Valsalva leak point pressure, bladder outlet obstruction (BOO), and mild RBC were not associated with worse surgical outcomes.

Evaluation of three different adhesive systems using a bacterial method to develop secondary caries in vitro

Purpose: To assess the effects of three different dental adhesive systems on the formation of secondary root caries, in vitro, with a standardized interfacial gap in a filled cavity model. Methods: 40 sound human molars were selected and randomly assigned to four experimental groups: Clearfil SE Bond (CSEB), Xeno III (X-III), Scotchbond Multi-Purpose Plus (SBMP) and negative control (NC) without an adhesive system. After the standardized Class V cavity preparations on the buccal and lingual surfaces, restorations were placed with resin composite (Filtek Z250) using a standardized interfacial gap, using a 3 x 2 mm piece of 50 mu m metal matrix. The teeth were sterilized with gamma irradiation and exposed to a cariogenic challenge using a bacterial system with Streptococcus mutans. Depth and extension of wall lesions formed and the depth of outer lesions were measured by software coupled with light microscopy. Results: For wall lesion extension the ANOVA test showed differences between groups except between X-HI and SBMP (P= 0.294). The Tukey`s test of confidence intervals indicated smaller values for the CSEB group than for the others. For wall lesion depth the CSEB group also presented the smallest mean values of wall lesion depth when compared to the others (P< 0.0001) for all comparisons using Tukey`s test. Regarding outer lesion depth, all adhesives showed statistically similar behavior. SEM evaluation of the morphologic appearance of caries lesions confirmed the statistical results showing small caries lesion development for cavities restored with CSEB adhesive system, which may suggest that this adhesive system interdiffusion zone promoted a good interaction with subjacent dentin protecting the dental tissues from recurrent caries. (Am J Dent 2010;23:93-97).

The mu-way intersection problem for m-cycle systems

An m-cycle system of order upsilon is a partition of the edge-set of a complete graph of order upsilon into m-cycles. The mu -way intersection problem for m-cycle systems involves taking mu systems, based on the same vertex set, and determining the possible number of cycles which can be common to all mu systems. General results for arbitrary m are obtained, and detailed intersection values for (mu, m) = (3, 4), (4, 5),(4, 6), (4, 7), (8, 8), (8, 9). (For the case (mu, m)= (2, m), see Billington (J. Combin. Des. 1 (1993) 435); for the case (Cc,m)=(3,3), see Milici and Quattrochi (Ars Combin. A 24 (1987) 175. (C) 2001 Elsevier Science B.V. All rights reserved.

The metamorphosis of lambda-fold 4-wheel systems into lambda-fold 4-cycle systems

A 4-wheel is a simple graph on 5 vertices with 8 edges, formed by taking a 4-cycle and joining a fifth vertex (the centre of the 4-wheel) to each of the other four vertices. A lambda -fold 4-wheel system of order n is an edge-disjoint decomposition of the complete multigraph lambdaK(n) into 4-wheels. Here, with five isolated possible exceptions when lambda = 2, we give necessary and sufficient conditions for a lambda -fold 4-wheel system of order n to be transformed into a lambda -fold Ccyde system of order n by removing the centre vertex from each 4-wheel, and its four adjacent edges (retaining the 4-cycle wheel rim), and reassembling these edges adjacent to wheel centres into 4-cycles.

On single laws for varieties of quasigroups associated with extended cycle systems

It has been previously shown by Lindner and Rodger that quasigroups associated with 2-perfect extended m-cycle systems can be equationally defined if and only if m is an element of {3, 5, 7}. In this paper we present a single identity for each such m which is equivalent to the identities given for these varieties.

Quantum nonlinear dynamics of continuously measured systems

Classical dynamics is formulated as a Hamiltonian flow in phase space, while quantum mechanics is formulated as unitary dynamics in Hilbert space. These different formulations have made it difficult to directly compare quantum and classical nonlinear dynamics. Previous solutions have focused on computing quantities associated with a statistical ensemble such as variance or entropy. However a more diner comparison would compare classical predictions to the quantum predictions for continuous simultaneous measurement of position and momentum of a single system, in this paper we give a theory of such measurement and show that chaotic behavior in classical systems fan be reproduced by continuously measured quantum systems.