MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.

Tooth Tissue Engineering: Optimal Dental Stem Cell Harvest Based on Tooth Development

Our long-term objective is to devise reliable methods to generate biological replacement teeth exhibiting the physical properties and functions of naturally formed human teeth. Previously, we demonstrated the successful use of tissue engineering approaches to generate small, bioengineered tooth crowns from harvested pig and rat postnatal dental stem cells (DSCs). To facilitate characterizations of human DSCs, we have developed a novel radiographic staging system to accurately correlate human third molar tooth developmental stage with anticipated harvested DSC yield. Our results demonstrated that DSC yields were higher in less developed teeth (Stages 1 and 2), and lower in more developed teeth (Stages 3, 4, and 5). The greatest cell yields and colony-forming units (CFUs) capability was obtained from Stages 1 and 2 tooth dental pulp. We conclude that radiographic developmental staging can be used to accurately assess the utility of harvested human teeth for future dental tissue engineering applications.

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.

Large-N solutions of the Heisenberg and Hubbard-Heisenberg models on the anisotropic triangular lattice: application to Cs2CuCl4 and to the layered organic superconductors kappa-(BEDT-TTF)(2)X (BEDT-TTF bis(ethylene-dithio)tetrathiafulvalene); X anion)

We solve the Sp(N) Heisenberg and SU(N) Hubbard-Heisenberg models on the anisotropic triangular lattice in the large-N limit. These two models may describe respectively the magnetic and electronic properties of the family of layered organic materials K-(BEDT-TTF)(2)X, The Heisenberg model is also relevant to the frustrated antiferromagnet, Cs2CuCl4. We find rich phase diagrams for each model. The Sp(N) :antiferromagnet is shown to have five different phases as a function of the size of the spin and the degree of anisotropy of the triangular lattice. The effects of fluctuations at finite N are also discussed. For parameters relevant to Cs2CuCl4 the ground state either exhibits incommensurate spin order, or is in a quantum disordered phase with deconfined spin-1/2 excitations and topological order. The SU(N) Hubbard-Heisenberg model exhibits an insulating dimer phase, an insulating box phase, a semi-metallic staggered flux phase (SFP), and a metallic uniform phase. The uniform and SFP phases exhibit a pseudogap, A metal-insulator transition occurs at intermediate values of the interaction strength.

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.

Engineering the structures of nanoporous clays with micelles of alkyl polyether surfactants

Composite clay nanostructures (CCNs) were observed in intercalating Laponite clay with alumina in the presence of alkyl polyether surfactants which contain hydrophobic alkyl chains and ether groups. Such nanostructured clays are highly porous solids consisting of randomly orientated clay platelets intercalated with alumina nanoparticles. The pores in the product solids are larger than the dimension of the surfactant molecules, ranging from 2 to 10 nm. This suggests that the micelles of the surfactant molecules, rather than the molecules, act as templates in the synthesis. Interestingly, it is found that the size of the framework pores was directly proportional to the amount of the surfactants in terms of moles, but shows no evident dependence on the size of the surfactant molecules. Broad pore size distributions were observed for the product CCNs. This study demonstrates that introducing surfactants in the pillaring process of clays is a powerful strategy for tailoring the pore structures of nanoporous clays. With this new technique, it is possible to design and engineer such composite clay nanostructures with desired pore and surface properties by the proper choice of surfactant amounts and preparation conditions.

The mechanisms of combustion and continuous reactions during mechanical alloying

Some materials exhibit a combustion event during mechanical alloying, which results in the rapid transformation of reactants into products, while others show a slow transformation of reactants into products, In this paper, the continuous W + C --> WC reaction is compared to the Ti + C --> TiC combustion reaction. Rietveld refinement of X-ray diffraction patterns is used to show that these particular reactions proceed through different pathways, determined by crystallographic factors of the reactants. When a crystallographic relationship exists between the reactants and the products, such as that between W and WC, the product forms slowly over a period of time. In contrast, insertion of C into the Ti structure is associated with atomic rearrangements within the crowded lattice planes and the subsequent catastrophic failure of the reactant lattices results in combustion to form TiC. (C) 2001 Academic Press.

Dynamic Behavior of the Jahn-Teller distorted Cu(H2O)(6)(2+) ion in Cu2+ doped Cs-2[Zn(H2O)(6)](ZrF6)(2) and the crystal structure of the host lattice

The temperature dependence of the X- and Q-band EPR spectra of Cs-2[Zn(H2O)(6)](ZrF6)(2) containing similar to1% Cu2+ is reported. All three molecular g-values vary with temperature, and their behavior is interpreted using a model in which the potential surface of the Jahn-Teller distorted Cu(H2O)(6)(2+) ion is perturbed by an orthorhombic strain induced by interactions with the surrounding lattice. The strain parameters are significantly smaller than those reported previously for the Cu(H2O)(6)(2+) ion in similar lattices. The temperature dependence of the two higher g-values suggests that in the present compound the lattice interactions change slightly with temperature. The crystal structure of the Cs-2[Zn(H2O)(6)](ZrF6)(2) host is reported, and the geometry of the Zn(H2O)(6)(2+) ion is correlated with lattice strain parameters derived from the EPR spectrum of the guest Cu2+ complex.

Thunderstorms - their importance in wind engineering (a case for the next generation wind tunnel)

This paper attempts a state-of-the-art summary of research into thunderstorm wind fields from an engineering perspective. The characteristics of thunderstorms and the two extreme wind events-tornadoes and downbursts-spawn by thunderstorms are described. The significant differences from traditional boundary layer flows are highlighted. The importance of thunderstorm gusts in the worldwide database of extreme wind events is established. Physical simulations of tornadoes and downbursts are described and discussed leading to the recommendation that Wind Engineering needs to focus more resources on the fundamental issue - What is the flow structure in the strongest winds? © 2002 Published by Elsevier Science Ltd.

The crystallography and morphology of Mo2C in ferrite

The orientation relationships between hexagonal Mo2C precipitates (H) in ferrite (B) have been determined by electron diffraction to an accuracy of +/-2degrees. With one exception, the 19 results are consistent with the previously reported Pitsch and Schrader (P/S) orientation relationship. However, these more accurate determinations show clearly that there is a systematic deviation of up to 5.5degrees from the exact P/S relationship and that this deviation consists of a small rotation about the parallel close packed directions-[100](B)//[2 (1) over bar(1) over bar0](H). The long direction of the Mo2C needles has been determined unequivocally in terms of the orientation relationship to be [100](B)//[2 (1) over bar(1) over bar0](H). Moire fringes between precipitate and matrix have been used to improve the accuracy of the orientation relationship results and to determine the lattice parameters of the carbide precipitates investigated. The Moire fringe analysis has shown small systematic departures from the exact parallelism between [100](B) and [2 (1) over bar(1) over bar0](H) along the length of Mo2C needles and a lowering of the carbide lattice parameter that is consistent with the replacement of Mo by Fe in the carbide. The orientation relationship results, including the observed systematic deviation from the exact P/S relationship, are shown to be consistent with the edge-to-edge model. (C) 2002 Kluwer Academic Publishers.

A new joint coding and modulation scheme for channels with clipping

A major limitation in any high-performance digital communication system is the linearity region of the transmitting amplifier. Nonlinearities typically lead to signal clipping. Efficient communication in such conditions requires maintaining a low peak-to-average power ratio (PAR) in the transmitted signal while achieving a high throughput of data. Excessive PAR leads either to frequent clipping or to inadequate resolution in the analog-to-digital or digital-to-analog converters. Currently proposed signaling schemes for future generation wireless communications suffer from a high PAR. This paper presents a new signaling scheme for channels with clipping which achieves a PAR as low as 3. For a given linear range in the transmitter's digital-to-analog converter, this scheme achieves a lower bit-error rate than existing multicarrier schemes, owing to increased separation between constellation points. We present the theoretical basis for this new scheme, approximations for the expected bit-error rate, and simulation results. (C) 2002 Elsevier Science (USA).