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.

Decentralized control design for nonlinear plants: a v-metric approach

In this paper, a new v-metric based approach is proposed to design decentralized controllers for multi-unit nonlinear plants that admit a set of plant decompositions in an operating space. Similar to the gap metric approach in literature, it is shown that the operating space can also be divided into several subregions based on a v-metric indicator, and each of the subregions admits the same controller structure. A comparative case study is presented to display the advantages of proposed approach over the gap metric approach. (C) 2000 Elsevier Science Ltd. All rights reserved.

Coupled experimental and thermodynamic modeling studies for metallurgical smelting and coal combustion slag systems

An extensive research program focused on the characterization of various metallurgical complex smelting and coal combustion slags is being undertaken. The research combines both experimental and thermodynamic modeling studies. The approach is illustrated by work on the PbO-ZnO-Al2O3-FeO-Fe2O3-CaO-SiO2 system. Experimental measurements of the liquidus and solidus have been undertaken under oxidizing and reducing conditions using equilibration, quenching, and electron probe X-ray microanalysis. The experimental program has been planned so as to obtain data for thermodynamic model development as well as for pseudo-ternary Liquidus diagrams that can be used directly by process operators. Thermodynamic modeling has been carried out using the computer system FACT, which contains thermodynamic databases with over 5000 compounds and evaluated solution models. The FACT package is used for the calculation of multiphase equilibria in multicomponent systems of industrial interest. A modified quasi-chemical solution model is used for the liquid slag phase. New optimizations have been carried out, which significantly improve the accuracy of the thermodynamic models for lead/zinc smelting and coal combustion processes. Examples of experimentally determined and calculated liquidus diagrams are presented. These examples provide information of direct relevance to various metallurgical smelting and coal combustion processes.

Mechanisms of substitution reactions on cyclometallated platinum(IV) complexes: "Quasi-labile" systems

The substitution reactions of SMe2 by phosphines (PMePh2, PEtPh2, PPh3, P(4-MeC6H4)(3), P(3-MeC6H4)(3), PCy3) on Pt-IV complexes having a cyclometalated imine ligand, two methyl groups in a cis-geometrical arrangement, a halogen, and a dimethyl sulfide as ligands, [Pt(CN)(CH3)(2)(X)(SMe2)], have been studied as a function of temperature, solvent, and electronic and steric characteristics of the phosphines and the X and CN ligands. In all cases, a limiting dissociative mechanism has been found, where the dissociation of the SMe2 ligand corresponds to the rate-determining step. The pentacoordinated species formed behaves as a true pentacoordinated Pt-IV compound in a steady-state concentration, given the solvent independence of the rate constant. The X-ray crystal structures of two of the dimethyl sulfide complexes and a derivative of the pentacoordinate intermediate have been determined. Differences in the individual rate constants for the entrance of the phosphine ligand can only be estimated as reactivity ratios. In all cases an effect of the phosphine size is detected, indicating that an associative step takes place from the pentacoordinated intermediate. The nature of the (CN) imine and X ligands produces differences in the dimethyl sulfide dissociation reactions rates, which can be quantified by the corresponding DeltaS double dagger values (72, 64, 48, 31, and 78 J K-1 mol(-1) for CN/X being C6H4CHNCH2C6H5/Br, C6H4CHNCH2-(2,4,6-(CH3)(3))C6H2/Br, C6H4CHNCH2C6H5/Cl, C6Cl4CHNCH2C6H5/Cl, and C6W4CH2NCHC6H5/ Pr, respectively). As a whole, the donor character of the coordinated C-aromatic and X atoms have the greatest influence on the dissociativeness of the rate-determining step.

The fine structure of (v, 3) directed triple systems: v equivalent to 2 (mod 3)

The fine structure of a directed triple system of index lambda is the vector (c(1), c(2),...,C-lambda), where c(i) is the number of directed triples appearing precisely i times in the system. We determine necessary and sufficient conditions for a vector to be the fine structure of a directed triple system of index 3 for upsilon = 2 (mod 3).

Experimental study of phase equilibria in the systems Fe-Zn-O and Fe-Zn-Si-O at metallic iron saturation

The reported experimental work on the systems Fe-Zn-O and Fe-Zn-Si-O in equilibrium with metallic iron is part of a wider research program that combines experimental and thermodynamic computer modeling techniques to characterize zinc/lead industrial slags and sinters in the system PbO-ZnO-SiO2-CaO-FeO-Fe2O3. Extensive experimental,investigations using high-temperature equilibration and quenching techniques followed by electron probe X-ray microanalysis (EPMA) were carried out. Special experimental; procedures were developed to enable accurate measurements in these ZnO-containing systems to be performed in equilibrium with metallic iron; The systems Fe-Zn-O and FeZn-Si-O were experimentally investigated in equilibrium with metallic iron in the temperature ranges 900 degreesC to 1200 degreesC (1173 to 1473 K) and from 1000 degreesC to 1350 degreesC (1273 to 1623 K), respectively. The liquidus surface in the system Fe-Zn-Si-O in equilibrium with metallic iron was characterized in the composition ranges 0 to 33 wt pet ZnO and 0 to 40 wt pet SiO2. The wustite (Fe,Zn)O, zincite (Zn,Fe)O, willemite (Zn,Fe)(2)SiO4, arid fayalite: (Fe,Zn)(2)SiO4 solid solutions in equilibrium with metallic iron were measured.

Quantum spin ladder systems associated with su(2 vertical bar 2)

Two integrable quantum spin ladder systems will be introduced associated with the fundamental su(2 \2) solution of the Yang-Baxter equation. The first model is a generalized quantum Ising system with Ising rung interactions. In the second model the addition of extra interactions allows us to impose Heisenberg rung interactions without violating integrability. The existence of a Bethe ansatz solution for both models allows us to investigate the elementary excitations for antiferromagnetic rung couplings. We find that the first model does not show a gap whilst in the second case there is a gap for all positive values of the rung coupling.